The logics of a universal language

Asian Journal of Philosophy 3 (1):1-22 (2024)
  Copy   BIBTEX

Abstract

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, we argue that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,439

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On validity paradoxes and (some of) their solutions.Edson Bezerra - 2023 - Principia: An International Journal of Epistemology 27 (3):519-538.
Naïve validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.
Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - 2020 - In Martin Blicha & Igor Sedlar (eds.), The Logica Yearbook 2019. College Publications. pp. 67-82.
Empty Logics.Federico Pailos - 2021 - Journal of Philosophical Logic 51 (6):1387-1415.
Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.

Analytics

Added to PP
2024-02-16

Downloads
22 (#712,811)

6 months
22 (#159,065)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)

Citations of this work

No citations found.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.

View all 48 references / Add more references