When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

In some recent papers, Cobreros, Egré, Ripley and van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a non-transitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this paper we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have non-trivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this paper is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this paper, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be non-trivially achieved if self-reference is expressed through identities. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω -inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show (...) that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω - inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

El contenido de la presente discusión de Análisis Filosófico surge a partir de diversas actividades organizadas por mí en SADAF y en la UBA. En primer lugar, Roy Cook dictó en SADAF el seminario de investigación intensivo On Yablo's Paradox durante la última semana de julio de 2011. En el seminario, el profesor Cook presentó el manuscrito aún sin finalizar de su libro The Yablo Paradox: An Essay on Circularity, Oxford, Oxford UP, (en prensa). Extensas y apasionantes discusiones ocurrieron durante (...) esos encuentros sobre circularidad y construcciones infinitarias. Fue en ese tiempo, donde me surgió la idea de editar una discusión sobre las ideas que Cook defiende en ese trabajo. El proyecto era una extensión natural del trabajo que veníamos realizando con mi grupo de investigación en temas vinculados al concepto de verdad, autorreferencia y paradojas. Luego, durante el segundo cuatrimestre de 2011, dicté el seminario La paradoja de Yablo, en el instituto de filosofía de la UBA. Algunos de los borradores de los artículos que aparecen en el presente volumen tienen su origen en este curso. Finalmente, invité por segunda vez al profesor Cook al Symposium on Yablo's Paradox realizado en SADAF en julio de 2012. En esta oportunidad, se presentaron las versiones finales de los artículos de Lavinia Picollo, Paula Teijeiro, Federico Pailos, Diego Tajer, Lucas Rosenblatt e Ignacio Ojea que se incluyen a continuación. El encuentro incluyó las inteligentes réplicas del profesor Cook y profundas discusiones sobre los mencionados temas lógicosemánticos. Quiero agradecer a todos los integrantes del Gaf[log] que participaron activamente en las mencionadas actividades, ya sea en la publicación posterior o en los coloquios y seminarios que le dieron origen. Agradezco al Comité editorial de Análisis Filosófico, en especial a Alberto Moretti, quienes apoyaron desde sus comienzos este proyecto. Finalmente, y de manera especial, quiero expresar mi gratitud al profesor Roy Cook, quien no sólo apoyó e inspiró el proyecto desde sus comienzos, sino que además compartió generosamente sus ideas y las discutió con estimulante pasión. (shrink)

Belnap and Gupta have recently maintained that truth is a circular concept: its extension cannot be established without being previously hypothesized. This has led Yaqub to claim that the circular character in question cannot be made compatible with the thesis that semantic properties tlre supervenient ones. Belnap and Gupta have explicitly denied sitch a claim any plausibility. In this paper, I offir some new arguments in support of Yaqub 's position. Such arguments are based on an analysis of some aspects (...) of Belnap and Gupta's theory that, as for as I know, had not been considered before. (shrink)

En este artículo, me propongo exponer algunas dificultades relacionadas con la posibilidad de que la Teoría de Modelos pueda constituirse en una Teoría General de la Interpretación. Específicamente la idea que sostengo es que lo que nos muestra la Paradoja de Orayen es que las interpretaciones no pueden ser ni conjuntos ni objetos. Por eso, una elucidación del concepto intuitivo de interpretación, que apele a este tipo de entidades, está condenada al fracaso. De manera secundaria, muestro que no hay algún (...) supuesto conjuntista que sea imprescindible para que surja la mencionada paradoja: sólo se necesita que las interpretaciones sean objetos. Voy a argumentar que si las interpretaciones son objetos, tal como lo supone la posibilidad de cuantificar sobre las mismas para poder dar una caracterización satisfactoria de consecuencia lógica, la au-toaplicación (como un caso de aplicación de los recursos semánticos de la teoría de modelos para encontrar una interpretación con máxima generalidad) es imposible. Finalmente, discuto cada una de las dos soluciones que el propio Orayen imaginó frente a su paradoja, y muestro que cada una posee diferentes dificultades.In this paper, I intend to present some problems to construe the Model Theory as a Theory of Interpretation. Specifically, I am going to defend that, according to the Paradox of Orayen, interpretations can not be neither set nor object. Thus, an explication of the intuitive concept of interpretation that appeals to these types of entities will be condemned to failure. Secondary, I will show that there is not any like-set assumption indispensable to get rise to that paradox: only all is needed is the assumption that interpretations are objects. I am going to argue that if interpretations are objects, as it is assumed by the possibility of quantifying over interpretations in order to offer an satisfactory characterization of logical consequence, self-application (as a case of application of semantics resources of the Model Theory for finding a interpretation with absolute generality) is not possible. Eventually, I will discuss both of the solutions provided by Orayen to his paradox and I will support that both have different difficulties. (shrink)

En este artículo, tengo dos objetivos distintos. En primer lugar, mostrar que no es una buena idea tener una teoría de la verdad que, aunque consistente, sea omega-inconsistente. Para discutir este punto, considero un caso particular: la teoría de Friedman-Sheard FS. Argumento que en los lenguajes de primer orden omega inconsistencia implica que la teoría de la verdad no tiene modelo estándar. Esto es, no hay un modelo cuyo dominio sea el conjunto de los números naturales en el cual esta (...) teoría de la verdad pueda tener una interpretación consistente. En ese sentido, la introducción del predicado veritativo no mantiene la ontología estándar. Además, cuando se considera un lenguaje de orden superior, la situación es aun peor. En teorías de segundo orden con semántica estándar, la misma introducción produce una teoría que no tiene modelo. Por eso, si la omega-inconsistencia es un mal síntoma, la insatisfacibilidad de una teoría es aun peor. En segundo lugar, propongo abandonar el principio de unión de teorías FSn y aceptar una extensibilidad indefinida de teorías FS0, FS1, FS2, FS3,.... De acuerdo a mi punto de vista, la secuencia de teorías tiene las mismas virtudes que FS sin sus desagradables consecuencias. In this paper, I have two different purposes. Firstly, I want to show that it's not a good idea to have a theory of truth that is consistent but omega-inconsistent. In order to bring out this point, it is useful to consider a particular case: FS. I argue that in First-order languages omega-inconsistency implies that a theory of truth has not standard model. Then, there is no model whose domain is the set of natural numbers in which this theory of truth could acquire a consistent interpretation. So, in theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. I add that in Higher-order languages the situation is even worst. In second order theories with standard semantic the same introduction produces a theory that doesn't have a model. So, if an omega-inconsistent theory of truth is bad, an unsatisfiable theory is really bad. Secondly, I propose to give up the union principle of theories FSn and accept an indefinite extensibility of theories FS0, FS1, FS2, FS3,... According to my view, the sequence of theories has the same virtues of FS without its disgusting consequences. (shrink)

According to Etchemendy, in attempting to offer an analysis of the modal features of the intuitive concept of logical consequence, Tarski has committed a modal fallacy. In this paper, I consider the thesis according to it is posible to analyze the modals properties of concept of logical consequence through of a generalization on set-theoretical interpretations. As is known, some philosophers have tried to argue for the transit from the general to the modal by showing that there are enough settheoretic interpretations (...) so as to be able to represent the modal features of the intuitive concept of consequence. As is also known, those people have encountered a lot of difficulties. In the present paper, I will try to show that those problems are related not with the specific possibility of accounting for the modal features by means of a set-theoretic notion of model but with the possibility of coming up with a precise mathematical theory for the concept of interpretation, and, as such, they can be solved by way of appealing to the usual solutions to this problem. (shrink)

En este artículo, me propongo exponer algunas dificultades relacionadas con la posibilidad de que la Teoría de Modelos pueda constituirse en una Teoría General de la Interpretación. Específicamente la idea que sostengo es que lo que nos muestra la Paradoja de Orayen es que las interpretaciones no pueden ser ni conjuntos ni objetos. Por eso, una elucidación del concepto intuitivo de interpretación, que apele a este tipo de entidades, está condenada al fracaso. De manera secundaria, muestro que no hay algún (...) supuesto conjuntista que sea imprescindible para que surja la mencionada paradoja: sólo se necesita que las interpretaciones sean objetos. Voy a argumentar que si las interpretaciones son objetos, tal como lo supone la posibilidad de cuantificar sobre las mismas para poder dar una caracterización satisfactoria de consecuencia lógica, la au-toaplicación es imposible. Finalmente, discuto cada una de las dos soluciones que el propio Orayen imaginó frente a su paradoja, y muestro que cada una posee diferentes dificultades.In this paper, I intend to present some problems to construe the Model Theory as a Theory of Interpretation. Specifically, I am going to defend that, according to the Paradox of Orayen, interpretations can not be neither set nor object. Thus, an explication of the intuitive concept of interpretation that appeals to these types of entities will be condemned to failure. Secondary, I will show that there is not any like-set assumption indispensable to get rise to that paradox: only all is needed is the assumption that interpretations are objects. I am going to argue that if interpretations are objects, as it is assumed by the possibility of quantifying over interpretations in order to offer an satisfactory characterization of logical consequence, self-application is not possible. Eventually, I will discuss both of the solutions provided by Orayen to his paradox and I will support that both have different difficulties. (shrink)

El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.