Description: Peter Smith's Logic Matters blog, plus pages for his Intro to Formal Logic, Gödel books, and Logic Study Guide. Also LaTeX for logicians.
Example domain paragraphs
MAIN SITE > > BLOG IFL GÖDEL CATS TYL ARCHIVE LaTeX About PS Search for: Search Search Home Blog Formal Logic Gödel’s Theorems Category theory Teach Yourself Logic Archive LaTeX for Logicians Menu Toggle General info Logic Symbols Natural deduction Tree proofs Diagrams Logicians’ miscellany Conference/classroom About PS Logic Matters Main Menu Search for: Search Search Home Blog Formal Logic Gödel’s Theorems Category theory Teach Yourself Logic Archive LaTeX for Logicians Menu Toggle General info Logic Symb
LOGIC MATTERS BLOG Peter Smith’s occasional blog posts on logic, music, and other enthusiasms. Most recent posts: ‘ More revised category theory chapters ’ (Aug 21) ; ‘ Dame Janet Baker ’ (Aug 21) ; ‘ New book notes ’ (Aug 24) .
INTRO TO FORMAL LOGIC . A corrected version of the second edition of An Introduction to Formal Logic is freely available here. There are also links to answers to exercises and to various supplementary materials.
Inquiry Into Inquiry