Commentary by Chris Pressey

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.

Logic

Logic (Hodges)

• rating: TODO

A very gentle, informal, conversational introduction to elementary logic.

Mathematical logic and formalized theories

• rating: TODO

A fairly gentle introduction to formal logic, starting with propositional logic, then first-order, first-order with equality, second-order logic, then the Peano axioms, and so on.

Mathematical Logic (Kleene)

• rating: classic

A book on mathematical logic written by Kleene.

Mathematical Logic (Quine)

• rating: classic

A book on mathematical logic written by Quine.

Deductive Logic: a programed introduction

• rating: 0

"Programed" means the thing is one big exercise sheet. Individual questions with answers are called "frames". In fact, "The Little Lisper", "The Little Schemer", "The Reasoned Schemer", etc, are all in this format too.

The Blackwell Guide To Philosophical Logic

• rating: TODO

.

Handbook of Logic in Computer Science, Volume 1

• rating: TODO

1. (Valuation Systems and Consequence Relations)

2. (Recursion Theory)

3. Universal Algebra

Section 2.3 -- algebraic semantics of WHILE programs

Section 3.3 -- congruences and quotient algebras

5. (Category Theory)

6. Topology

some interesting connections to liveness etc but maybe not all that great

Section 3.4 closure operators

7. (Model Theory)

Handbook of Logic and Proof Techniques for Computer Science

• rating: TODO

.

Handbook of logic in artificial intelligence and logic programming, Vol 1

• rating: TODO
• useful: true

Notes on Chapter "Equational Reasoning and Term Rewriting Systems" by David A. Plaisted, pp. 273:

It has the rules of inference for equational logic in it, but comes at it from a slightly different angle: an equation is a pair of terms with = in the middle, and a set of equations is an "equation system"; and any equation system can be manipulated using These 5 Weird Rules.

Goes into term rewriting, with the usual stuff: confluence, critical pairs, Knuth-Bendix completion...

Simply Logical

• rating: 1

Intro to logic using Prolog. Keeps calling it "clausal logic", which is probably a good thing, in this context. The use of logic programming to teach logic is interesting, and there is a fully interactive online version where you can execute the examples and play with them to understand them better, which is almost certainly also a good thing, but the jury's still out, as far as I'm concerned, on whether it results in a good way to learn logic; I have a hard time seeing how this book is not "just" teaching logic programming "instead".

Introduction to Mathematical Proof

• rating: 2

Basically a short (91 pages) introductory textbook on the subject of applying logic to mathematical reasoning for undergraduates to start writing proofs.

It's open source and it discusses a number of toy proof systems, and these two things alone probably place it above a considerable number of other tutorials.

On the Unusual Effectiveness of Logic in Computer Science

• rating: 1

The basic idea is that logic informs computer science, a lot. The examples they give are

• Descriptive Complexity => [Computational] Complexity Theory
• Logic => Database Queries
• Type Theory => Programming Languages
• Reasoning about Knowledge (Modal Logic, for AI I guess)
• Automated Verification of Semiconductor Designs

This is not, btw, the one with "Blackboard Scheme". I think I know which one that was, but it's not this one.

The Galois Connection between Syntax and Semantics

• rating: 1

Smith goes into how there is a Galois connection between the syntax and semantics of a logical system. I think the idea could be applied to any formal language that has been given a semantics. (Is semantics a quotient of syntax? Does taking a quotient induce a Galois connection? I wonder, I mean, I think so because it seems to just be two different ways of talking about the same thing, or at least closely related things...)

Syntax versus Semantics

• rating: 1

Distinguishing symbols pertaining to the syntax, from symbols pertaining to the semantics, by colouring them differently.

Towards Applied Theories based on Computability Logic

• rating: 0

.

Propositional Logic | Internet Encyclopedia of Philosophy

• rating: 1

.

Natural Deduction | Internet Encyclopedia of Philosophy

• rating: 3

.

Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)

• rating: 1

.

Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)

• rating: 2

future-rating: 2.5

Survey of Computability Logic

• rating: 1

.

Provability Logic (Stanford Encyclopedia of Philosophy)

• rating: 1

.

Intensional Logic (Stanford Encyclopedia of Philosophy)

• rating: 0

.

The Herbrand Manifesto

• rating: 3

.

Self-verifying theories - Wikipedia

• rating: 3

.

Bernays--Schönfinkel class - Wikipedia

• rating: 1

.

Are opinions considered sentences in logic? - Philosophy Stack Exchange

• rating: 3

.

lo.logic - Metamathematics of buts - MathOverflow

• rating: 1

.

logic - What framework or tool solves the Barber Paradox? - Philosophy Stack Exchange

• rating: 1

.

What assumptions and methodology do metaproofs of logic theorems use and employ? - MathOverflow

• rating: 1

.