The Tech Lab Oct 10, 2008
Early AI focussed on symbolic logic, which computers are very good at but people aren't so that wasn't really getting at what it means for a human to be intelligent. Can we expect computers ever to begin to emulate the achievements of human intelligence. (BBC News -- Science)
Jumping into the schemata of Stoppard May 2, 2008
This group of philosophers distinguished themselves with two fundamental beliefs - experience is the only source of knowledge, and logical analysis performed in conjunction with symbolic logic is the preferred approach to philosophical problems. These concepts are fundamental to George's questions on the existence of God. (Middlebury College -- The Campus, VT)
The Year of Mathemagical Thinking Mar 8, 2008
It was a very odd book, a rattlebag of art, mathematics, music, philosophy, symbolic logic, computers, genetics, paradoxes, palindromes and Zen koans among many, many other things. Most of it went way over my head--my precocious older sister, who later became a mathematician, and even later a sculptor, was the real target audience--but it was playfully written and deeply weird and off-the-charts smart and generally just the thing for a household of pretentious, alienated adolescents to chew on. (Time.com)
Congressional Snake Pit Jul 10, 2007
The same professor who wrote the first treatise on symbolic logic also wrote "Alice in Wonderland." "A good catchword can obscure analysis for fifty years," said Justice Oliver Wendell Holmes. If so, then we may be hearing about "diversity," "social justice" and "a living wage" for many years to come. (Human Events Online)
You're never too old to be young: Muscatine native's childhood curiosity an ingredient for success Feb 6, 2007
He has taught a range of courses in symbolic logic, philosophy of science and the foundation of physics. For many years, Jarrett has been immersed in research in the foundations of quantum mechanics, which is a mathematical theory for predicting the behaviors of microscopic particles. (Muscatine Journal, IO)
