Here’s another draft chapter from the planned second edition of *IFL*. This one discusses some general issues about translating to and from the formal language(s) of quantificational logic, and also gives lots of worked examples. [Link now removed] Purists might, I suppose, be upset by the reliance on Loglish as half-way house to aid understanding and translation; but by my lights this would be being too pernickety by half! Comments on the last section in particular would be welcome.

Scott WellerIn 23.2, I believe that (5) is a translation of Newton’s FIRST law, not the second.

Peter SmithOops!