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.
In 23.2, I believe that (5) is a translation of Newton’s FIRST law, not the second.
Oops!