Logic and Knowledge (Philosophy of Logic)

Logic and Knowledge Sites:

Logic and Artificial Intelligence Logic and Artificial Intelligence: Report by Selmer Bringsjord, discussing the history of Artificial Intelligence, and its close relationship to work in logic. (Logic and Knowledge) http://www.rpi.edu/~brings/LOG+AI/lai/lai.html Between Logic and Heuristic Between Logic and Heuristic: Article by S. L. Katretchko, presented at the 20th World Congress of Philosophy. (Logic and Knowledge) http://www.bu.edu/wcp/Papers/Logi/LogiKatr.htm Conceptanalysis, Language and Logic 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. (Logic and Knowledge) http://www.jkerkkonen.com/ Critics of the Model Theory of Deduction 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. (Logic and Knowledge) http://www.tcd.ie/Psychology/Ruth_Byrne/mental_models/critics.html