IFL2 Chapter 23: Translations

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.

2 thoughts on “IFL2 Chapter 23: Translations”

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top