[FOM] consistency and completeness in natural language

Torkel Franzen torkel at sm.luth.se
Sun Apr 6 15:51:13 EDT 2003


  Hartley Slater says:

  >Clearly Prior was not a logician, by these standards (see chapter 7 
  >of 'Objects of Thought' again).

  Apparently you interpret my comments as making some interesting claim,
whereas they were intended as uncontroversial observations. We do define
truth in logic as a property of sentences, and prove various results on
the basis of this definition, which involves no use-mention confusion.

---
Torkel Franzen


More information about the FOM mailing list