Relevancia lógica y pluralismo : subestructuralidad y tesis convencionalista de la semántica formal

Abstract

La presente tesis doctoral tiene por título Relevancia lógica y pluralismo: subestructuralidad y tesis convencionalista de la semántica formal. El objetivo principal consiste en analizar los efectos recíprocos entre el problema de la pluralidad de lógicas y la idea de relevancia lógica. Ambos extremos y sus relaciones mutuas constituyen el objeto básico de la investigación. Para orientar la investigación establecemos un marco conceptual sobre el planteamiento y defensa de una tesis convencionalista de la semántica formal. Por un lado, a partir de esta posición dentro del problema de la pluralidad de lógicas argumentamos que la caracterización más apropiada de la relevancia lógica es aquella que hace uso de operadores intensionales en el metalenguaje para definir la relación de consecuencia lógica. Particularmente, se emplea la fusión, o conjunción intensional, para formular la condición según la cual una inferencia no puede ser válida si sus premisas son verdaderas y su conclusión falsa. Nos apoyamos en la semántica en el plan escocés para las lógicas relevantes; no obstante, argumentamos desde un planteamiento convencionalista contrario al descriptivismo profesado por los creadores del plan..

The title of this doctoral thesis is Logical relevance and pluralism: substructurality and conventionalist thesis of formal semantics. The main aim is to analyze the reciprocal effects between the problem of the plurality of logics and the idea of logical relevance. Both extremes and their mutual relationships constitute the basic object of the research. To guide the research we establish a conceptual framework on the approach and defense of a conventionalist thesis of formal semantics.On the one hand, from this position within the problem of the plurality of logics we argue that the most appropriate characterization of logical relevance is one that makes use of intensional operators in the metalanguage to define the relationship of logical consequence. Particularly, fusion, or intensional conjunction, is used to formulate the condition according to which an inference cannot be valid if its premises are true and its conclusion false. We rely on semantics in the Scottish plan for the relevant logics. However, we argue from a conventionalist approach contrary to the descriptivism of said plan. From the framework of substructural logics, we obtain fusion from the restriction of the structural rule of weakening...