Notes On ω-inconsistent Theories of Truth in Second-Order Languages

Barrio, Eduardo und Picollo, Lavinia (28. Oktober 2013): Notes On ω-inconsistent Theories of Truth in Second-Order Languages. In: The Review of Symbolic Logic, Bd. 6, Nr. 4: S. 733-741

Abstract

It is widely accepted that a theory of truth for arithmetic should be consistent, but ω-consistency is less frequently required. This paper argues that ω-consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting ω-inconsistent truth theories for arithmetic is unsatisfiability. In order to bring out this point, well known ω-inconsistent theories of truth are considered: the revision theory of nearly stable truth T# and the classical theory of symmetric truth FS. Briefly, we present some conceptual problems with ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Themengebiete: 100 Philosophie und Psychologie > 160 Logik
• Sprache: Englisch