Directory: Top/Society/Philosophy/Philosophy_of

Top / Society / Philosophy / Philosophy_of_Logic /

Frege's Theorem
Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hu
http://plato.stanford.edu/entries/frege-logic/index.html
Stanford.edu ~ Site Info Whois Trace Route RBL Check

Logic and Mathematics
Essay on the nature of logic and its relationship to the philosophy of mathematics, written by Stephen G. Simpson.
http://www.math.psu.edu/simpson/papers/philmath/
Psu.edu ~ Site Info Whois Trace Route RBL Check

Why Aristotelian Logic does not Work
An essay at Abelard.org outlining an argument against Aristotelian syllogistic.
http://www.abelard.org/category/category.htm
Abelard.org ~ Site Info Whois Trace Route RBL Check

Logic
An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level.
http://www.philosophypages.com/lg/
Philosophypages.com ~ Site Info Whois Trace Route RBL Check

Peirce's Logic
Article in the Stanford Encyclopaedia of Philosophy, by Eric Hammer.
http://plato.stanford.edu/entries/peirce-logic/
Stanford.edu ~ Site Info Whois Trace Route RBL Check

Nordic Journal of Philosophical Logic (NJPL)
Edited at Dep. of Philosophy, Univ. of Oslo, published by Scandinavian U.P. in hard copy and on WWW. Full-text Web edition free for personal use.
http://www.hf.uio.no/filosofi/njpl/
Uio.no ~ Site Info Whois Trace Route RBL Check

Symbolic Logic
Online resources provided to supplement undergraduate course taught by Peter Suber. Good collection of handouts.
http://www.earlham.edu/~peters/courses/log/loghome.htm
Earlham.edu ~ Site Info Whois Trace Route RBL Check

PHILOG
The Danish Network for Philosophical Logic and its Applications.
http://www.philog.ruc.dk/
Ruc.dk ~ Site Info Whois Trace Route RBL Check

Tips on Translating English into First-Order Logic
An introductory guide by Peter Suber.
http://www.earlham.edu/~peters/courses/log/transtip.htm
Earlham.edu ~ Site Info Whois Trace Route RBL Check

The Logic Course
An interactive course in formal logic, with tutorials and quizzes on critical thinking, truth-tables, and sentential.
http://www.thelogiccourse.com/
Thelogiccourse.com ~ Site Info Whois Trace Route RBL Check