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.
- 14
- 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.
- 15
- 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.
- 18
- Texas Action Group
- TAG is group of researchers interested in the study of formal and automated reasoning about the effects of actions using action languages, logic programming under the answer set semantics, and related ideas.