## Philosophy of Logic

### Categories

- Conditionals and Entailment (5)
- Contradiction and Inconsistency (4)
- Identity (4)
- Informal Logic (11)
- Logic and Knowledge (4)
- Logic and Ontology (5)

- Paradoxes (9)
- Philosophers (1)
- Problem of Induction (4)
- Semantics of Logic (4)
- Truth Definitions (9)
- Vagueness (5)

### Links

#### Frege's Theorem

http://plato.stanford.edu/entries/frege-logic/index.html

Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hume's principle.

#### Logic and Mathematics

http://www.math.psu.edu/simpson/papers/philmath/

Essay on the nature of logic and its relationship to the philosophy of mathematics, written by Stephen G. Simpson.

#### Why Aristotelian Logic does not Work

http://www.abelard.org/category/category.htm

An essay at Abelard.org outlining an argument against Aristotelian syllogistic. The argument focusses upon the relationship between Aristotle's categories and his conception of being, attacking them from an idealist position drawing upon Brouwerian intuitionism and some Zen philosophy.

#### Logic

http://www.philosophypages.com/lg/

An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level.

#### Peirce's Logic

http://plato.stanford.edu/entries/peirce-logic/

Article in the Stanford Encyclopaedia of Philosophy, by Eric Hammer.

#### Symbolic Logic

http://www.earlham.edu/~peters/courses/log/loghome.htm

Online resources provided to supplement undergraduate course taught by Peter Suber. Good collection of handouts.

#### PHILOG

The Danish Network for Philosophical Logic and its Applications.

#### Tips on Translating English into First-Order Logic

http://www.earlham.edu/~peters/courses/log/transtip.htm

An introductory guide by Peter Suber.