Abstract

Beall and Murzi (J Philos 110(3):143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules (over sufficiently expressive base theories). As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field (Notre Dame J Form Log 58(1):1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi (J Philos Log. doi:10.1007/s10992-017-9438-x, 2017), is a generalisation of Kripke’s notion of grounded truth (J Philos 72:690–716, 1975), and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic (nor, more generally, of a revisionary approach to semantic paradox), we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches.

Highlights

  • Introduction1.1), we introduce the Knower and Curry’s paradoxes

  • We begin by offering a presentation of the KV-construction in Sect. 3.1.18 We argue in Sect. 3.2 that one of the models that results from the KVconstruction suggests a coherent interpretation of naïve validity: grounded validity

  • We review the case for Validity Proof (VP), VDm, V-Schema, and V-Schema+, construing naïve validity as grounded validity

Read more

Summary

Introduction

1.1), we introduce the Knower and Curry’s paradoxes We present the v-Curry paradox, and briefly introduce Beall and Murzi’s argument for VP and VD We present the v-Curry paradox, and briefly introduce Beall and Murzi’s argument for VP and VD (Sect. 1.3) and Field’s preliminary discussion thereof (Sect. 1.4)

Technical premilinaries
The Knower and Curry’s paradox
The v-Curry paradox
Field on the V-Schema
The case against VP and VD
Classicality constraints
Field’s argument from definability
Validity as necessary truth-preservation
Validity as preservation of truth-in-M
Validity as provability-in-S
Hierarchical validity
The KV-construction
Grounded validity
The naïve principles for validity
What’s rejected: reflexivity and the full VD
Grounded validity and Löb’s theorem
Concluding remarks
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call