Directory of Logic and Knowledge Resources

Resources in This Category

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.
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.
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.

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us