PHI 340, Philosophical Logic

Links

Stanford Online Encyclopedia of Philosophy Articles

• Modal logic
• Many-valued logic
• Paraconsistent logic
• Temporal logic
• Relevance logic
• Intuitionistic logic
• Substructural logic
• Logical consequence
• Logical constants
• Mally's deontic logic
• Fitch's paradox
• Sorites paradox

Wikipedia Articles (Warning: Although generally reliable, these articles have not necessarily been written, or reviewed by experts on the various topics.)

• Logic category
• Philosophical logic category
• Modal logic
• Deontic logic
• Linear logic
• Relevance logic
• Kripke semantics
• Intuitionistic logic
• Liar paradox
• Proof theory
• Proof theoretic semantics
• Sequent calculus
• Natural deduction
• Free logic
• Cut-elimination theorem

The Internet Encyclopedia of Philosophy

• Logical consequence
• Liar paradox

Typesetting

• Typesetting logic tableaux with LaTeX
• LaTeX for logicians

Miscellaneous

• ProofTheory.ORG
• Princeton logic wiki web
• Peter Suber's bibliography of non-standard logics