# Logic and Foundations

- 1
- Classical Logic
- Page http://plato.stanford.edu/entries/logic-classical/
- Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

- 2
- Introduction to Mathematical Logic
- Page http://www.ltn.lv/~podnieks/mlog/ml.htm
- Hyper-textbook for students by V. Detlovs and K. Podnieks.

- 3
- Set Theory and Foundations of Mathematics
- Page http://www.settheory.net/
- Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.

- 4
- Hypercomputation Research Network
- Page http://www.hypercomputation.net/
- The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.

- 5
- Open Questions in Recursion Theory
- Page http://math.berkeley.edu/~slaman/qrt/
- Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].

- 6
- Problem Solving Environments Home Page
- Page http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi
- This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.

- 7
- FOM
- Page http://www.cs.nyu.edu/mailman/listinfo/fom/
- A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.

- 8
- Foundations of Mathematics
- Page http://sakharov.net/foundation.html
- Reviews the foundations of mathematics with reference materials structured as content pages of a book. Includes links to expository materials.

- 9
- Hilbert II - Mathematical Foundation Project
- Page http://www.qedeq.org/
- The Goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it.

- 10
- Mizar Project
- Page http://www.mizar.org/
- An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

- 11
- Practical Foundations of Mathematics
- Page http://www.paultaylor.eu/~pt/prafm/
- Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science.

- 14
- Game_Semantics
- Page http://open-site.org/Science/Mathematics/Logic/Game_Semantics/
- Open Encyclopedia article.

- 15
- Aristotle's Logic
- Page http://www.philosophypages.com/hy/2n.htm
- Introductory article by Garth Kemerling.

- 16
- Aristotle's Reform of Paideia
- Page http://www.bu.edu/wcp/Papers/Anci/AnciBark.htm
- Article by Evelyn Barker, arguing that the principal aim of Aristotle's Organon was to reform the contemporary paedagogical role of dialectic.

- 17
- Logic
- Page http://www.newadvent.org/cathen/09324a.htm
- Entry in the Catholic Encyclopaedia (1917), dominated by a historical survey from Indian and Pre-Aristotelian philosophy to the Logic of John Stuart Mill.

- 18
- On Dialectic
- Page http://www9.georgetown.edu/faculty/jod/texts/dialecticatrans.html
- By St. Augustine. Latin original together with translation by J. Marchand.