Resumen: Este trabajo es un análisis filosófico en torno al tratamiento lógico que se da al concepto de necesidad; en particular, en torno a los fundamentos conceptuales a partir de los cuales la lógica contemporánea trata de dar con la forma lógica de las proposiciones condicionales del lenguaje natural y, en razón de la misma, con la forma lógica de las distintas inferencias que vertebran el aspecto lógico del pensamiento humano. Mis tesis fundamentales son dos: que la forma lógica es un elemento de naturaleza semántica y que la estructura condicional es un elemento expresivo que no se corresponde con una única forma lógica. El objeto del trabajo es fundamentar estas ideas y proporcionar a partir de las mismas una formalización de la forma lógica de los distintos tipos de contenidos proposicionales e inferencias que operan en la edificación de la filosofía y la ciencia. El trabajo cuenta con cinco secciones diferenciadas: en la primera fundamento el concepto de forma lógica como fenómeno estrictamente semántico; en la segunda, abordo la cuestión de la forma lógica de las oraciones expresadas a través de la estructura condicional. En la tercera hago una crítica a la posibilidad de obtener en sentido propio la forma lógica de un contenido abstracto o una inferencia a través de la semántica basada en modelos; introduzco aquí la noción de semántica natural. En la sección quinta desarrollo un análisis lógico estructural de las inferencias deductiva e inductiva, así como de las explicaciones de carácter abductivo, implementando la idea de semántica natural. La sección cuarta es una antesala conceptual a esta última.

Abstract: This work is a philosophical analysis of the logical treatment given to the concept of necessity; in particular, of the conceptual foundations on the basis of which contemporary logic tries to find the logical form of the conditional propositions of natural language and, because of this, the logical form of the different inferences that are the backbone of the logical aspect of human thought. My basic thesis is twofold: that logical form is an element of a semantic nature and that conditional structure is an expressive element that does not correspond to a single logical form. The aim of the paper is to substantiate these ideas and to provide from them a formalisation of the logical form of the different types of propositional contents and inferences that operate in the construction of philosophy and science. The paper is divided into five distinct sections: in the first, the concept of logical form as a strictly semantic phenomenon; in the second, I address the question of the logical form of sentences expressed through the conditional structure. In the third section I criticise the possibility of obtaining in a proper sense the logical form of an abstract content or an inference through model-based semantics; here I introduce the notion of natural semantics. In the fifth section I develop a structural logical analysis of deductive and inductive inferences as well as abductive explanations, implementing the idea of natural semantics. Section four is a conceptual prelude to the latter.