LOGICA FORMAL

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se

dedica al estudio de la inferencia mediante la construcción de lenguajes formales,
sistemas deductivos y semánticas formales. La idea es que estas construcciones
capturen las características esenciales de las inferencias válidas en los lenguajes
naturales, pero que, al ser estructuras formales y susceptibles de análisis
matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada
lógica simbólica, que es una subdisciplina de la lógica formal.
Se acostumbra a definir la lógica formal como aquella ciencia que estudia los
razonamientos desde el punto del análisis formal, es decir, desde el punto de vista
de su validez o no validez. Esto significa que se desentiende del contenido empírico
de los razonamientos para sólo considerar la "forma" (estructura sin materia). Dado
el siguiente silogismo: Los insectos son artrópodos; los dípteros son insectos; por
tanto, los dípteros son artrópodos; al lógico sólo le interesa su validez o corrección
(que es formal) expresada en la estructura vacía de contenido Todo A es B; todo C
es A; por tanto, todo C es B. El que los dípteros sean o no sean artrópodos es una
cuestión empírica que interesará en cualquier caso al zoólogo, pero de ninguna
manera al lógico.
El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando
con la introducción, a lo largo del siglo XIX y XX, de todo un potente formalismo
matemático (Jorge Boole, Gottlob Frege, Beltrán Russell, etc.).
Resulta ya un lugar común equiparar la lógica formal a la lógica matemática, por lo
que actualmente constituyen expresiones prácticamente sinónimas. El materialismo
formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia
"no material".
La lógica formal posee
referenciales fisicalistas y es
tan material como cualquier
otra disciplina científica, ya que
toda ciencia es material. Por
otra parte, no resulta aceptable
la existencia de formas puras
hipostasiadas exentas de
contenidos materiales.
 Tipos de lógica formal
Dentro de la lógica formal clásica podemos distinguir:
Lógica de enunciados
Estudia la validez de los razonamientos teniendo en cuenta únicamente el valor de
verdad (verdadero o falso) de cada enunciado tomando los enunciados en bloque
sin analizarlos previamente.
La lógica de enunciados o de proposiciones es el nivel más básico de análisis lógico.
Se analizan las relaciones que se dan entre los enunciados o las proposiciones; es,
pues, una lógica interproposicional, no intraproposicional. En este nivel se simboliza
de la misma manera proposiciones o enunciados de contenido tan diferente como:
"ahora llueve", "algunos días llueve" o "todos los días llueve".
¿Qué es uno enunciando o una proposición? Una oración declarativa que puede
ser verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente,
pueden ser verdaderos o falsos. No son enunciados las expresiones lingüísticas
interrogativas, exclamativas o imperativas.
Los enunciados o proposiciones pueden ser atómicos o simples, los que no se
pueden descomponer en otros; y moleculares o complejos, los que sí se pueden
descomponer.
Lógica de predicados
Analiza la estructura interna de los enunciados atribuyendo una propiedad al sujeto.
La lógica de predicados estudia las frases declarativas con mayor grado de
detalle, considerando la estructura interna de las proposiciones. Se tomara como
elemento básico los objetos y las relaciones entre dichos objetos. Es decir, se
distingue:

Lógica de clases
Al contrario de la lógica de predicados, esta atribuye individuos y clases a las
características.

Lógica de relaciones
Incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para
expresar un enunciado.