# Logic and Foundations

- 1
- Classical Logic
- Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

- 3
- Set Theory and Foundations of Mathematics
- 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
- 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.

- 6
- Problem Solving Environments Home Page
- This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.

- 7
- FOM
- A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.

- 8
- Foundations of Mathematics
- 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
- 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
- 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
- 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.

- 15
- Aristotle's Reform of Paideia
- Article by Evelyn Barker, arguing that the principal aim of Aristotle's Organon was to reform the contemporary paedagogical role of dialectic.

- 16
- Logic
- Entry in the Catholic Encyclopaedia (1917), dominated by a historical survey from Indian and Pre-Aristotelian philosophy to the Logic of John Stuart Mill.