Aristotelian and Modern Logic (Popularity: )

Article by Katalin Havas, discussing the nature of progress in logic, and the idea of ...

On Sense and Reference (Popularity: )

English translation of Gottlob Frege's 1892 "Über Sinn und Bedeutung," by Max Black.

The Bernays Project (Popularity: )

Research project to edit and translate Bernays's philosophical writings into English.

Skolem Issue of the Nordic Journal of Philosophical Logic (Popularity: )

Special issue with articles by Jens Erik Fenstad, Herman Ruge Jervell, Hao Wang, Grigori Mints, ...

Syllogistic logic online (Popularity: )

This site contains an online program for studying Aristotle's syllogistic logic. The theory of Aristotle's ...

Hilbert's Program (Popularity: )

In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which ...

Alan Mathison Turing (1912-1954) (Popularity: )

British mathematician, cryptographer, and one of the key inventors of the modern computer. After his ...

Georg Cantor (Popularity: )

Biography of Georg Cantor (1845-1918) from the MacTutor History of Mathematics Archive.

Georg Cantor (Popularity: )

Brief biography from the Real Analysis website.

Lukasiewicz in Dublin (Popularity: )

An International Conference on the work of Jan Lukasiewicz - Dublin, July 7-10 1996. Scientific ...

Kurt Gödel Society (Popularity: )

International organization for the promotion of research in the areas of Logic, Philosophy, History of ...

Gödel's Ontological Argument (Popularity: )

Paper by Chris Small about Gödel's proof of the existence of God.

Aristotle's Singular Negative Syllogistic and Free Logic (Popularity: )

Article by V.I. Markin, Moscow State University.

Frege: Two Theses, Two Senses (Popularity: )

Article by Carlo Penco discusses a vacillation by Frege in his account of the relation ...

Old Directions in Free Logic (Popularity: )

Article by Gyula Klima. An analysis of the controversy over existential import in syllogistic theory, ...

The Bulletin of Symbolic Logic, June 1999 (Popularity: )

Contains paper on Tarski's system of geometry, by Tarski and Givant.

Papers of George Boole (Popularity: )

Brief overview of his papers at University College Cork Library.

Mathematical Problems of David Hilbert (Popularity: )

Text of Hilbert's 1900 address in English.

Alan Turing (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Alonzo Church (Popularity: )

Biography from the MacTutor History of Mathematics archive.