UNIVERSIDAD DEL TOLIMA – FACULTAD DE CIENCIAS HUMANAS Y ARTES

DEPARTAMENTO DE CIENCIAS SOCIALES Y JURÍDICAS

INTRODUCCIÓN A LA LÓGICA FORMAL (Texto de estudio para el curso de Lógica) 1

QUÉ ES LA LÓGICA?

Es el estudio de los métodos y principios que se usan para distinguir el razonamiento bueno (correcto) del malo
(incorrecto). Esta definición no implica que sólo el estudiante de lógica pueda razonar bien o correctamente.
Pensar así es tan erróneo como creer que para correr bien se requiere estudiar la física y la fisiología asociadas
con esa actividad. Algunos atletas excelentes ignoran por completo los complejos procesos que tienen lugar en
el interior de su cuerpo cuando están compitiendo. El conocimiento de cómo se corre no mejora en nada al
hecho mismo de correr.
Pero dada la misma inteligencia nata, es más probable que una persona que ha estudiado lógica razone
correctamente y menos probable que así razone una persona que nunca ha reflexionado acerca de los principios
generales involucrados en esa actividad. Hay varias razones que explican esto. Primera, el estudio apropiado de
la lógica la entenderá lo mismo como un arte que como una ciencia, y el estudiante se ejercitará en cada una de
las partes de la teoría que está aprendiendo. En este como en cualquier otro caso, la práctica llevará al
perfeccionamiento. Segunda, una parte tradicional del estudio de la lógica ha sido el examen y el análisis de las
falacias, que son errores muy frecuentes y “naturales” del razonamiento. Esta parte del tema proporciona una
visión más cabal acerca de los principios del razonamiento en general y de que la familiaridad con esas trampas
ayude a evitar caer en ellas. Por último, el estudio de la lógica proporcionará a los estudiantes técnicas y
métodos para verificar la corrección de muchos tipos diferentes de razonamiento, incluyendo el suyo propio; y
cuando los errores se pueden detectar fácilmente, es menos probable que perduren.

En ocasiones, la apelación a las emociones es un recurso eficaz. Pero la apelación a la razón es más efectiva a la
larga y se puede verificar y evaluar mediante criterios que definen la corrección de un argumento. Si estos
criterios no se conocen, entonces no se pueden aplicar. El estudio de la lógica ayuda a descubrir y utilizar estos
criterios de corrección de argumentos que puedan utilizarse.

Con frecuencia se define la lógica como la ciencia de las leyes del pensamiento. Pero esta definición, aunque
proporciona una clave para comprender su naturaleza, no es apropiada. En primer lugar porque el pensamiento
y sus leyes es estudiado también por la psicología. Y la lógica no es una rama de la psicología, es un campo de
estudio diferente e independiente.

En segundo lugar, si pensamiento es cualquier proceso que tiene lugar en la mente de las personas, no todos los
pensamientos son objeto de estudio de los lógicos. Todo razonamiento es un pensamiento, pero no todo
pensamiento es un razonamiento. Así, uno puede pensar en un número de uno a diez, como ocurre en un juego
de salón, sin hacer razonamiento alguno acerca de él. O puede dejar que los pensamientos sigan su curso en un
ensueño o fantasía, haciendo lo que los psicólogos llaman asociación libre, en la cual una imagen reemplaza a
otra en un orden que no es lógico. Esto nos manifiesta que hay algunas leyes que gobiernan la ensoñación pero
éstas no son objeto de estudio de los lógicos. Las leyes que describen el curso de la mente en el sueño son
psicológicas, no lógicas. Luego, la definición de la lógica como la ciencia de las leyes del pensamiento, la
presenta incluyendo demasiado.

1
Para el siguiente documento se utilizaron textos de Morris Cohen “Introducción a la Lógica”, y de Irvin Copy y Carl Cohen
“Introducción a la Lógica”.
A veces se define a la lógica como la ciencia del razonamiento. Esta definición es mucho mejor, pero también
resulta inapropiada. El razonamiento es una forma especial de pensamiento en la cual se resuelven problemas,
se realizan inferencias, esto es, se extraen conclusiones a partir de premisas. Es un tipo de pensamiento, sin
embargo, y por lo tanto, forma parte de los temas que interesan al psicólogo. Tal como los psicólogos examinan
el proceso de razonamiento, encuentran que es extremadamente complejo, altamente emotivo, consistente de
procedimientos de ensayo y error iluminados por momentos súbitos, y en ocasiones en apariencia irrelevantes,
de comprensión o intuición. Estos detalles son muy importantes para la psicología.

El lógico, por el contrario, está interesado esencialmente en la corrección del proceso completo de
razonamiento. El lógico pregunta: ¿tiene solución el problema?, ¿se sigue la conclusión de las premisas que se
han afirmado o supuesto?, ¿las premisas proporcionan buenas razones para aceptar la conclusión? Si el
problema queda resuelto, si las premisas proporcionan las bases adecuadas para afirmar la verdad de la
conclusión, entonces el razonamiento es correcto. De lo contrario, es incorrecto.

Esta distinción entre el razonamiento correcto e incorrecto es el problema central del que trata la lógica. Los
métodos y técnicas del lógico se han desarrollado con el propósito de fundamental de aclarar esta distinción.
Todo razonamiento (independientemente de su objeto) es de interés para el lógico, pero fijando su atención
especialmente en la corrección como punto central de la lógica.

PREMISAS Y CONCLUSIONES
Es útil para explicar la anterior definición enunciar y discutir algunos de los términos especiales que usan los
lógicos en su trabajo. Inferencia es el proceso por el cual se llega a una proposición y se afirma sobre la base de
una o más proposiciones aceptadas como punto inicial del proceso. Para determinar si una inferencia es
correcta, el lógico examina las proposiciones que constituyen los puntos inicial y final de este proceso, así como
las relaciones que existen entre ellos. Las proposiciones son o verdaderas o falsas, y en esto difieren de las
preguntas, órdenes y exclamaciones. Solamente las proposiciones se pueden afirmar o negar; las preguntas se
pueden responder, las órdenes se pueden dar y las exclamaciones pueden pronunciarse, pero ninguna de ellas
se puede afirmar, negar o juzgarse como verdadera o falsa.

Es usual distinguir entre las oraciones y las proposiciones que expresan. Dos oraciones, que son claramente
distintas porque constan de diferentes palabas ordenadas en distintas formas, pueden en el mismo contexto
tener el mismo significado y emplearse para afirmar la misma proposición. En el ejemplo: Juan ama a María y
María es amada por Juan, las dos son oraciones diferentes, porque la primera contiene cuatro palabras mientras
que la segunda contiene cinco; la primera comienza con la palabra “Juan”, la segunda con “María”, y así
sucesivamente. Pero las dos oraciones tienen exactamente el mismo significado. Usamos el término proposición
para referirnos al contenido que ambas oraciones afirman. La diferencia entre oraciones y proposiciones puede
entenderse mejor si se hace notar que una oración es siempre oración de un lenguaje particular, del lenguaje en
el cual se emite, mientras que las proposiciones no son propias de ningún lenguaje. Las cuatro oraciones:

It is raining.
Está lloviendo
il pleut
Es regnet

ciertamente son diferentes, porque están escritas en lenguajes diferentes: inglés, español, francés y alemán,
pero tienen el mismo significado, y en un contexto apropiado se pueden usar para afirmar la proposición de la
cual cada una es una formulación distinta.
LA LÓGICA COMO CIENCIA DEL PENSAMIENTO

Casi todos los libros definen a la lógica como la ciencia del pensamiento. Pero no sólo la más elemental
observación o introspección, sino aun la mera existencia de falacias, nos demuestran de modo concluyente que
las leyes de la lógica no son las leyes universales con arreglo a las cuales pensamos realmente. Pues bien, en
rigor, el pensar con corrección solamente se da cuando existen determinadas condiciones fisiológicas,
educativas y morales. Pero no podemos esperar que ningún tratado de lógica se ocupe de las condiciones
fisiológicas y morales que son necesarias para tener una mente sana. La definición de la lógica como el estudio
de las leyes que deben regir nuestro pensamiento no determina en realidad su objeto específico, ya que, en
cierto sentido, los principios de cada disciplina del conocimiento (física, biología, química…) son las leyes
conforme a las cuales debemos pensar, si queremos pensar correctamente sobre su objeto particular.

VERDADES FORMALES Y VERDADES MATERIALES

El objeto propio de la lógica, que de hecho constituye el núcleo de la lógica aristotélica tradicional, es lo que se
llama la verdad formal. La distinción entre la verdad material y la formal, lo mismo que la correspondiente
distinción entre el supuesto y la prueba, o entre la verdad inmediata y la mediata, presenta ciertas dificultades.
Desde luego, debe distinguirse entre la verdad de hecho de alguna proposición y la verdad de la aserción que se
desprende lógicamente de ella, o que necesita ser consecuencia de otras proposiciones. Una cosa es afirmar
categóricamente que Nínive cayó en el 622 aC y otra, enteramente diferente, es decir que, si así fue, debe haber
sido anterior y no posterior a la invasión escita de 621 aC. Una cosa es decir que por un punto exterior a una
línea recta solamente puede trazarse una paralela, y otra, completamente distinta, es afirmar que, verdadera o
no esta proposición, de ella y de otras proposiciones se concluye necesariamente que la suma de los ángulos de
un triángulo es igual a dos ángulos rectos.

En un contexto cualquiera siempre es relativamente fácil distinguir entre la aserción categórica de que una
proposición es verdadera, y la verdad formal, la validez, la corrección o la adecuación de la prueba o
demostración que se desprende de otras proposiciones determinadas. En cualquier caso, también es bastante
fácil advertir que la verdad material de las premisas o de la conclusión, y la validez de la prueba, pueden ser
relativamente independientes entre sí: una proposición falsa puede ser probada correctamente (partiendo de
premisas falsas), y la prueba de una proposición verdadera puede ser formalmente defectuosa. Muchas de las
dificultades tradicionales se eliminan si tomamos la precaución de distinguir con claridad entre el razonamiento
o inferencia, como una operación o suceso que acontece en el entendimiento individual, y el problema de
probar o establecer las condiciones generales que permiten afirmar que es verdadera. Cuando esto se reconoce,
se pone en claro que las verdades lógicas o formales se refieren a la implicación, consistencia o conexión
necesaria que existe entre los objetos mentados en las proposiciones y, puede decirse, que el objeto específico
de la lógica se determina por las relaciones que se expresan generalmente en la fórmula: si….entonces
necesariamente.

Términos y relaciones, materia y forma, verdad inmediata y verdad mediata son estrictamente correlativos,
claramente distinguibles e inseparables, como el polo norte y el polo sur: la existencia de uno de ellos es
necesaria para que el otro tenga significado. Sólo que, obsesionados por el prejuicio del monismo, los filósofos
se han rehusado a reconocer cualquier dualidad o polaridad extremas y siempre han tratado de reducir todas las
cosas ya sea a la forma o al contenido. Los esfuerzos, en el primer caso, conducen al panlogismo vacío; en el
segundo al misticismo torpe. Sin pretender resolver el problema, podemos evitar el dilema reconociendo que la
materia y la forma son rigurosamente correlativas en toda situación concreta y que, cuando consideramos el
mundo de la ciencia en su conjunto, encontramos que contiene, además de relaciones lógicas, un elemento
alógico que ningún esfuerzo del panlogismo ha logrado eliminar. De cualquier manera, no puede hacerse
ninguna objeción insuperable a la afirmación de que la verdad o consistencia lógica es una parte auténtica del
mundo real que la ciencia estudia.

PARA REALIZAR:
Este es el insumo que deberá llevar en sus apuntes para la siguiente clase (no es para entregar como un
trabajo escrito)
1. Vuelva al texto leído e identifique en cada uno de los subtítulos (se encuentran subrayados y en
negrita) las ideas principales. Igualmente, procure consultar el significado de expresiones como
monismo, panlogismo, misticismo, entre otros, que le permita una comprensión más profunda del
texto.
2. Teniendo en cuenta el texto, ¿qué se entiende por lógica formal? (procure decirlo con sus palabras)
3. Realice ejemplos de silogismos desde los cursos que usted ya está desarrollando y a partir de las
siguientes premisas mayores:
a) Ninguna materia prima es un producto terminado o que ha sufrido
transformaciones gracias a la intervención humana
b) Todo fruto seco tiene menos de un 50% de agua y es rico en oligoelementos
c)  Los productos cárnicos y los lácteos enfrentan retos para la firma de un
Tratado de Libre Comercio entre Panamá y Colombia.

4. Establezca la relación y la diferencia entre las verdades materiales y las verdades formales. Plantee además
un ejemplo que le permita explicar lo anteriormente establecido.