Directory of Logic and Foundations Resources

Home > Science > Math > Logic and Foundations

This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other. If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources. If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.

Subcategories

• Category Theory
• Computability
• Computational Logic
• Directories
• Education
• Foundations
• Game Semantics
• History
• Knowledge Representation and Planning
• Meetings
• Model Theory
• Nonstandard Logics and Extensions
• Online Discussion Groups
• Organizations
• People
• Philosophy of Logic
• Proof Theory
• Publications
• Research Groups and Centers
• Set Theory
• Software

Resources in This Category

• Classical Logic

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

• Computability Logic Homepage

  http://www.cis.upenn.edu/~giorgi/cl.html
  Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

• Introduction to Mathematical Logic

  http://www.ltn.lv/~podnieks/mlog/ml.htm
  Hyper-textbook for students by V. Detlovs and K. Podnieks.

• Set Theory and Foundations of Mathematics

  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.

Related Categories

• Home > Computers > Artificial Intelligence > Philosophy
• Home > Computers > Programming > Languages > Logic-based
• Home > Society > Philosophy > Philosophy of Language
• Home > Society > Philosophy > Philosophy of Science > Mathematics

Other Languages

• Spanish
• Italian
• Russian
• German
• Japanese
• Polish
• French

 

Home > Science > Math > Logic and Foundations

 

---

 

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