| 1. | Logic and Artificial Intelligence | | | Report by Selmer Bringsjord, discussing the history of Artificial Intelligence, and its close relationship to work in logic.
www.rpi.edu |
| 3. | Critics of the Model Theory of Deduction | | | Which approach to formalism better matches our normal reasoning, proof theory or model theory? Resource page concerned with this controversy maintained by Ruth Byrne.
www.tcd.ie |
| 4. | Conceptanalysis, Language and Logic | | | Short review to the history and the founders of conceptanalysis. Discusses the scheme of languages, logic and abstractions and presents a 2-level theory of science's language.
www.jkerkkonen.com |
| | |