Logic ----- [(Up)](../../README.md#topics) | _See also: [Modal Logic](../Modal%20Logic/README.md#modal-logic), [Equational Logic](../Equational%20Logic/README.md#equational-logic), [Algebraic Logic](../Algebraic%20Logic/README.md#algebraic-logic), [Proof Theory](../Proof%20Theory/README.md#proof-theory), [Lambda Calculus](../Lambda%20Calculus/README.md#lambda-calculus), [FoM](../FoM/README.md#fom), [Incompleteness](../Incompleteness/README.md#incompleteness)_ - - - - ### Web resources [Propositional Logic \| Internet Encyclopedia of Philosophy](https://iep.utm.edu/propositional-logic-sentential-logic/) ★ [Natural Deduction \| Internet Encyclopedia of Philosophy](https://iep.utm.edu/natural-deduction/) ★★★ [Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/natural-deduction/) ★ [Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-higher-order/) ★★ [💭](commentary/Chris%20Pressey.md#second-order-and-higher-order-logic-stanford-encyclopedia-of-philosophy) [Survey of Computability Logic](http://www.csc.villanova.edu/%7Ejaparidz/CL/) ★ [Provability Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-provability/) ★ [Intensional Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-intensional/) [The Herbrand Manifesto](http://intrologic.stanford.edu/extras/manifesto.html) ★★★ [Self-verifying theories - Wikipedia](https://en.wikipedia.org/wiki/Self-verifying_theories) [Bernays--Schönfinkel class - Wikipedia](https://en.wikipedia.org/wiki/Bernays%E2%80%93Sch%C3%B6nfinkel_class) [Deflationary theory of truth - Wikipedia](https://en.wikipedia.org/wiki/Deflationary_theory_of_truth) [Are opinions considered sentences in logic? - Philosophy Stack Exchange](https://philosophy.stackexchange.com/questions/106492/are-opinions-considered-sentences-in-logic) ★★★ [lo.logic - Metamathematics of buts - MathOverflow](https://mathoverflow.net/questions/381620/metamathematics-of-buts) ★ [logic - What framework or tool solves the Barber Paradox? - Philosophy Stack Exchange](https://philosophy.stackexchange.com/questions/106626/what-framework-or-tool-solves-the-barber-paradox) ★ [What assumptions and methodology do metaproofs of logic theorems use and employ? - MathOverflow](http://mathoverflow.net/questions/8853/what-assumptions-and-methodology-do-metaproofs-of-logic-theorems-use-and-employ) ★ _(in [FoM](../FoM/README.md#fom))_ [getting rid of existential quantifiers - MathOverflow](http://mathoverflow.net/questions/90324/getting-rid-of-existential-quantifiers) ★ _(in [Mathematics](../Mathematics/README.md#mathematics))_ [Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare](https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/pages/readings/) ★★ _(in [Type Theory](../Type%20Theory/README.md#type-theory))_ [Type Theory and Mathematical Logic \| artagnon.com](https://artagnon.com/logic) ★ ### Papers On the Unusual Effectiveness of Logic in Computer Science (online @ [www.cs.rice.edu](https://www.cs.rice.edu/~vardi/papers/aaas99.jsl.pdf)) ★ [💭](commentary/Chris%20Pressey.md#on-the-unusual-effectiveness-of-logic-in-computer-science) The Galois Connection between Syntax and Semantics (online @ [www.logicmatters.net](https://www.logicmatters.net/2010/06/03/the-galois-connection-between-syntax-and-semantics/)) ★ [💭](commentary/Chris%20Pressey.md#the-galois-connection-between-syntax-and-semantics) Syntax versus Semantics (online @ [arxiv.org](https://arxiv.org/abs/1507.04678)) ★ [💭](commentary/Chris%20Pressey.md#syntax-versus-semantics) Towards Applied Theories based on Computability Logic (online @ [arxiv.org](https://arxiv.org/abs/0805.3521v4)) _(in [Term Rewriting](../Term%20Rewriting/README.md#term-rewriting))_ [A Constructive Semantics for Rewriting Logic](https://digitalcommons.uri.edu/oa_diss/268/) ★★ [💭](commentary/Chris%20Pressey.md#a-constructive-semantics-for-rewriting-logic) ### Books Introduction to Mathematical Proof (online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf)) ★★ [💭](commentary/Chris%20Pressey.md#introduction-to-mathematical-proof) Logic (Hodges) (borrow @ [archive.org](https://archive.org/details/logic00hodg)) [💭](commentary/Chris%20Pressey.md#logic-hodges) Mathematical logic and formalized theories (borrow @ [archive.org](https://archive.org/details/mathematicallogi0000roge)) [💭](commentary/Chris%20Pressey.md#mathematical-logic-and-formalized-theories) Mathematical Logic (Kleene) (borrow @ [archive.org](https://archive.org/details/mathematicallogi0000klee)) 🏛️ [💭](commentary/Chris%20Pressey.md#mathematical-logic-kleene) Mathematical Logic (Quine) (online @ [archive.org](https://archive.org/details/QUINEMathematicalLogic)) 🏛️ [💭](commentary/Chris%20Pressey.md#mathematical-logic-quine) Deductive Logic: a programed introduction (borrow @ [archive.org](https://archive.org/details/deductivelogicpr0000john)) [💭](commentary/Chris%20Pressey.md#deductive-logic-a-programed-introduction) The Blackwell Guide To Philosophical Logic (online @ [archive.org](https://archive.org/details/lou-goble-the-blackwell-guide-to-philosophical-logic)) Handbook of Logic in Computer Science, Volume 1 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0001unse_z8j4)) [💭](commentary/Chris%20Pressey.md#handbook-of-logic-in-computer-science-volume-1) Handbook of Logic and Proof Techniques for Computer Science (borrow @ [archive.org](https://archive.org/details/handbookoflogicp0000kran)) Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0001unse)) [💭](commentary/Chris%20Pressey.md#handbook-of-logic-in-artificial-intelligence-and-logic-programming-vol-1) Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0002unse)) Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0004unse)) Simply Logical (online @ [book.simply-logical.space](https://book.simply-logical.space/src/simply-logical.html), [github.com](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf)) ★ [💭](commentary/Chris%20Pressey.md#simply-logical) _(in [Mathematics](../Mathematics/README.md#mathematics))_ Compactness and Contradiction (online @ [terrytao.wordpress.com](https://terrytao.wordpress.com/wp-content/uploads/2011/06/blog-book.pdf)) _(in [Philosophy](../Philosophy/README.md#philosophy))_ The Cognitive Connection: Thought and Language in Man and Machine (borrow @ [archive.org](https://archive.org/details/cognitiveconnect0000levi)) ★★★ [💭](commentary/Chris%20Pressey.md#the-cognitive-connection-thought-and-language-in-man-and-machine) _(in [Theory of Computation](../Theory%20of%20Computation/README.md#theory-of-computation))_ Theory of Deductive Systems and its Applications (borrow @ [archive.org](https://archive.org/details/TheoryofDe_00_Masl)) ★★★ [💭](commentary/Chris%20Pressey.md#theory-of-deductive-systems-and-its-applications)