  |
Critics of the Model Theory of Deduction - http://www.tcd.ie/Psychology/other/Ruth_Byrne/mental_models/critics.html
Which approach to formalism better matches our normal reasoning, proof theory or model theory? Resource page concerned with this controversy maintained by Ruth Byrne. |
  |
Between Logic and Heuristic - http://www.bu.edu/wcp/Papers/Logi/LogiKatr.htm
Article by S. L. Katretchko, presented at the 20th World Congress of Philosophy. |
  |
Logic and Artificial Intelligence - http://www.rpi.edu/~brings/LOG+AI/lai/lai.html
Report by Selmer Bringsjord, discussing the history of Artificial Intelligence, and its close relationship to work in logic. |
 |
Conceptanalysis, Language and Logic - http://www.jkerkkonen.com/
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. |