Web Directory

» Between Logic and Heuristic
   Article by S. L. Katretchko, presented at the 20th World Congress of Philosophy.
   http://www.bu.edu/wcp/Papers/Logi/LogiKatr.htm

» 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.
   http://www.jkerkkonen.com/

» 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.
   http://www.tcd.ie/Psychology/other/Ruth_Byrne/mental_models/critics.html

» Logic and Artificial Intelligence
   Report by Selmer Bringsjord, discussing the history of Artificial Intelligence, and its close relationship to work in logic.
   http://www.rpi.edu/~brings/LOG+AI/lai/lai.html