Skip to content

Releases: rzach/forallx-yyc

Fall 2023

02 Sep 17:07
Compare
Choose a tag to compare

Changes in Fall 2023 edition

  • Fully accessible HTML version and SCORM packages using BookML (issue 23). This required many changes under the hood; see the blog post on technical details.
  • Proofs now label premises by PR and assumptions by AS (helps with accessibility, and makes textbook match Carnap's conventions more closely).
  • New chapter 13 (Limitations of TFL) based in part on section 12.5 of F21 edition.
  • New chapter 35 (Properties of relations)
  • Removed confusing sketch of soundness proof from chapter 22 (issue 66)
  • Moved section 30.4 (Satisfaction of formulas) to section 32.2 (Expressibility) and expanded it.
  • Added solutions to problems in chapters 7 and 29 (Ambiguity)
  • Added explanation on quantifier restriction at end of section 25.4 (issue 57)
  • Added material to section 27.3 on vacuous quantification, revised definitions of substitution to substitute only free occurrences of variables, and added section 36.6 to explain what can go wrong if you're not careful with substitution (issue 77)
  • Revisions to section 4.2 to bring it in line with the terminology of chapter 3.
  • Added brief discussion of asymmetric use of “and” in section 5.2
  • Many minor revisions, fixed typos, and fixed formatting

Fall 2020 edition (final revision)

20 Jun 18:04
Compare
Choose a tag to compare

The Fall 2020 edition of forall x: YYC with all corrections.