Restriction by noncontraction

This paper investigates how naive theories of truth fare with respect to a set of extremely plausible principles of restricted quantification. It is first shown that both nonsubstructural theories as well as certain substructural theories cannot validate all those principles. Then, pursuing further...

Descripción completa

Detalles Bibliográficos
Autor: Zardini, Elia
Tipo de recurso: artículo
Fecha de publicación:2016
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/131427
Acceso en línea:https://hdl.handle.net/20.500.14352/131427
Access Level:acceso abierto
Palabra clave:164
Analetheism
Contraction
Dialetheism
Naive truth
Restricted quantification
Substructural logics
Transitivity
Lógica simbólica y matemática (Filosofía)
1102.03 Lógica Formal
Descripción
Sumario:This paper investigates how naive theories of truth fare with respect to a set of extremely plausible principles of restricted quantification. It is first shown that both nonsubstructural theories as well as certain substructural theories cannot validate all those principles. Then, pursuing further an approach to the semantic paradoxes that the author has defended elsewhere, the theory of restricted quantification available in a specific naive theory that rejects the structural property of contraction is explored. It is shown that the theory validates all the principles in question, and it is argued that other prima facie plausible principles that the theory fails to validate are objectionable on independent grounds.