La lógica

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 novalidez. 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 sonartró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 Ces 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 laló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, BertrandoRussell, 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 rectificaeste 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 quetoda ciencia es material. Por otra parte, no resulta aceptable la existencia de formas puras hipostasiadas exentas de contenidos materiales.
Lógica Proposicional
La lógica proposicional es la másantigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lógica proposicional permiteel razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR)....