Field's Logic of Truth

Saving Truth from Paradox is a re-exciting development. The 70s and 80s were a time of excitement among people working on the semantic paradoxes. There were continual formal developments, with the constant hope that these results would yield deep insights. The enthusiasm wore off, however, as people became more cognizant of the disparity between what they had accomplished, impressive as it was, and what they had hoped to accomplish. They moved onto other problems that they hoped would prove more yielding. That, at least, was how it seemed to me, so I was delighted to see a dramatically new formal development that is likely to rekindle our enthusiasm

Semantic Criteria of Correct Formalization

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context