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/Ruth_Byrne/mental_models/critics.html
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
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