- Logic and Artificial Intelligence - Report by Selmer Bringsjord, discussing the history of Artificial Intelligence, and its close relationship to work in logic.
- Between Logic and Heuristic - Article by S. L. Katretchko, presented at the 20th World Congress of Philosophy.
- 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.
- 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.
|
