Logic
(Up) | See also: Modal Logic, Equational Logic, Algebraic Logic, Proof Theory, Lambda Calculus, FoM, Incompleteness
Web resources
Propositional Logic \| Internet Encyclopedia of Philosophy ★
Natural Deduction \| Internet Encyclopedia of Philosophy ★★★
Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy) ★
Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy) ★★ 💭
Survey of Computability Logic ★
Provability Logic (Stanford Encyclopedia of Philosophy) ★
Intensional Logic (Stanford Encyclopedia of Philosophy)
Self-verifying theories - Wikipedia
Bernays--Schönfinkel class - Wikipedia
Deflationary theory of truth - Wikipedia
Are opinions considered sentences in logic? - Philosophy Stack Exchange ★★★
lo.logic - Metamathematics of buts - MathOverflow ★
logic - What framework or tool solves the Barber Paradox? - Philosophy Stack Exchange ★
What assumptions and methodology do metaproofs of logic theorems use and employ? - MathOverflow ★
(in FoM) getting rid of existential quantifiers - MathOverflow ★
(in Mathematics) Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare ★★
(in Type Theory) Type Theory and Mathematical Logic \| artagnon.com ★
Papers
On the Unusual Effectiveness of Logic in Computer Science (online @ www.cs.rice.edu) ★ 💭
The Galois Connection between Syntax and Semantics (online @ www.logicmatters.net) ★ 💭
Syntax versus Semantics (online @ arxiv.org) ★ 💭
Towards Applied Theories based on Computability Logic (online @ arxiv.org)
(in Term Rewriting) A Constructive Semantics for Rewriting Logic ★★ 💭
Books
Introduction to Mathematical Proof (online @ monks.scranton.edu) ★★ 💭
Logic (Hodges) (borrow @ archive.org) 💭
Mathematical logic and formalized theories (borrow @ archive.org) 💭
Mathematical Logic (Kleene) (borrow @ archive.org) 🏛️ 💭
Mathematical Logic (Quine) (online @ archive.org) 🏛️ 💭
Deductive Logic: a programed introduction (borrow @ archive.org) 💭
The Blackwell Guide To Philosophical Logic (online @ archive.org)
Handbook of Logic in Computer Science, Volume 1 (borrow @ archive.org) 💭
Handbook of Logic and Proof Techniques for Computer Science (borrow @ archive.org)
Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ archive.org) 💭
Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow @ archive.org)
Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow @ archive.org)
Simply Logical (online @ book.simply-logical.space, github.com) ★ 💭
(in Mathematics) Compactness and Contradiction (online @ terrytao.wordpress.com)
(in Philosophy) The Cognitive Connection: Thought and Language in Man and Machine (borrow @ archive.org) ★★★ 💭
(in Theory of Computation) Theory of Deductive Systems and its Applications (borrow @ archive.org) ★★★ 💭