Sites

On Sense and Reference (Popularity: )

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

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, ...

Kurt Gödel Society (Popularity: )

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

Hilbert's Program (Popularity: )

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

Syllogistic logic online (Popularity: )

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

The Bernays Project (Popularity: )

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

Peirce Edition Project (IUPUI) (Popularity: )

Organize and date the manuscripts to produce an approved scholarly edition of Peirce's writings (Indianapolis, ...

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

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

Old Directions in Free Logic (Popularity: )

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

Frege: Two Theses, Two Senses (Popularity: )

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

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 ...

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

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

Georg Cantor (Popularity: )

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

Gottlob Frege (Popularity: )

Biography from the MacTutor History of Mathematics archive.

Papers of George Boole (Popularity: )

Brief overview of his papers at University College Cork Library.

Charles Sanders Peirce (Popularity: )

Discusses the scientist's interest in infinite sets, probability theory, two distinct kinds of induction and ...

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

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

Gödel's Ontological Argument (Popularity: )

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

Alonzo Church (Popularity: )

Biography from the MacTutor History of Mathematics archive.