Pensar y Razonar

Razonar consiste en producir juicios. Un juicio tiene la forma de una proposición, es

decir, de una oración. Por ejemplo 'esta mesa es verde' es un juicio. En él están contenidos
los conceptos: 'mesa', 'lo verde'; también hay imágenes que singularizan nuestros objetos o
que emparejamos con los conceptos y hay una estructura lógica, sintáctica, que nos permite
en una secuencia expresar un estado de cosas del mundo. Para incorporar esa estructura
lógica nos servimos de elementos de enlace como el verbo 'ser' entre otros. Estos elementos
tienen un origen en nuestros esquemas de imágenes que contienen una lógica implícita,
pero los hemos exteriorizado en ciertos elementos del lenguaje para facilitar nuestro
pensamiento. Esos elementos, que nos permiten razonar, también nos permite ir de lo dado
a que todavía no sabemos o no ha ocurrido. Pues una vez creado un juicio podemos
conectarlo con otro y producir una secuencia causal o deductiva1 entre ellos.
Razonando, es decir, encadenando juicios conocidos podemos llegar a obtener nuevos
conocimientos, prever situaciones, tomar decisiones, entre otro.. Visto así, la Razón, es una
característica que adopta el pensamiento cuando compone, relaciona y asocia juicios
respetando las estructuras lógicas contenidas en los juicios mismos.
Deducción: Fundamentalmente este tema trata de la deducción, por ahora, podemos decir
que deducir es obtener consecuencias no conocidas a partir de algo general conocido. Lo
inverso es la Inducción, que naturalmente consiste en obtener algo no conocido de tipo
general a partir de la consideración de muchos casos singulares conocidos.

J. A. Marina Efectivamente el ser humano puede procesar información, lo hace,

por ejemplo, cuando percibe. El hombre tiene la capacidad para crear planes y proyectos, la
capacidad de prever el futuro y evaluar las consecuencias de sus actos; esto le va permitir
autodeterminarse. Es decir, establecer lo que desea hacer y elaborar estrategias para llevarlo
a cabo. Ahora bien esta capacidad creadora de inventar posibilidades mediante el
razonamiento nos lleva directamente a desear la mejor de las alternativas posibles. La razón
tiene que ver con esa Introducción a la Lógica.
El Razonamiento Lógico

1
 El razonamiento lógico es entonces un conjunto de juicios que mantienen entre sí
relaciones lógicas de tal forma que partiendo de algunos juicios dados a los que
denominados premisas podemos llegar deductivamente a un juicio que no teníamos y que
denominamos conclusión. La obtención de la conclusión, si procedemos lógicamente,
asegura la validez de la misma por la propia estructura lógica de los juicios que componen
las premisas. Por ejemplo, si partimos como premisas de los siguientes juicios:

Si llueve entonces me mojo y llueve

¿Qué podemos concluir?
Evidentemente, que me mojo.

Esto es una inferencia o razonamiento deductivo, en el cual si las premisas fueran

verdaderas, la conclusión también lo sería. La ciencia que estudia qué tipos de esquemas de
inferencia aseguran la validez de las conclusiones es la Lógica
La Lógica Formal
La lógica podemos definirla como la ciencia de los principios de la validez formal de la
inferencia. Analicemos esta definición. Ya sabemos lo que es una inferencia o
razonamiento deductivo, no debemos confundir ahora el proceso psicológico con el
resultado de este proceso. Ahora sólo nos interesa el resultado, independientemente de
quién lo piense o de cómo se haya producido. La lógica solamente se ocupa de
razonamientos como productos o resultados.

La verdad material es un asunto que investiga las ciencias empíricas o experimentales que
necesitan acudir a la experiencia para determinar la verdad de sus teorías. La Lógica no se
ocupa de este tipo de verdad, sino de la validez o verdad formal.

Este proceso de formalización va a consistir en asignar a cada proposición u oración una

letra minúscula a partir de la letra p, por convención. De esta manera, vamos a tratar con
variables proposicionales. Una variable proposicional, como la 'x' o la 'y' de las ecuaciones
matemáticas, es algo que puede estar por cualquier oración, con cualquier contenido. La
noción de variable es precisamente algo que admite instancias de sustitución dentro de un
dominio especificado. En este caso, si vamos a tratar con variables proposicionales, será
porque el dominio de sustitución será el conjunto de las oraciones.

División de la Lógica

La lógica se estructura en cálculos. Un cálculo es una mera estructura sintáctica. La

lógica formal moderna puede caracterizarse como una especie de cebolla, en donde sobre
un cálculo base se monta otro que contiene más recursos expresivos y que necesita de
nuevos elementos, sobre esta segunda capa se puede montar otras nuevas según sigamos
ampliando recursos o quitando restricciones del uso de estos recursos. Teniendo esto
presente la Lógica se estructura de la siguiente manera:

 Lógica de Proposiciones o de Enunciados: el cálculo básico de la lógica formal es

el cálculo de enunciados o proposicional, cuyas fórmulas son proposiciones,
oraciones o enunciados sin analizar internamente.
 Lógica de Predicados o Cuantificacional: Sobre este cálculo básico se desarrolla
el siguiente nivel que serán los cálculos de predicados o cuantificacionales, que se
caracterizan por analizar las oraciones en sus componentes, sujeto y predicado, y
porque se puede cuantificar sobre individuos, es decir podemos tratar con todos o
con algunos de los elementos que pueden ser sujetos de una oració[Link] esta manera,
a diferencia de la lógica de proposiciones, la lógica de predicados es una lógica
categorial, porque la deducción se efectúa según se puedan establecer o no
relaciones de pertenencia o de posesión de propiedades de los individuos con las
categorías en lo que se agrupan.
 Lógica de Primer Orden: A la unión del cálculo proposicional y del cálculo de
predicados es a lo que llamamos lógica de 1er orden. Este cálculo tienen la
restricción de que sólo podemos utilizar los cuantificadores con elementos
individuales.
  Lógica de 2º (3º,4º...n) Orden: Sobre la lógica de primer orden, según admitamos
cuantificar sobre propiedades o predicados, o predicados de predicados, iremos
subiendo de orden.
 Lógica clásica : cuando los cálculos lógicos son bivalentes, es decir, que sus
fórmulas pueden ser verdaderas o falsas y no puede ocurrir que lo sean a la vez. Si
en los cálculos lógicos se contemplan más valores de verdad que lo verdadero y lo
falso u otros recursos expresivos entonces hablamos de Lógica no-clásica.
Respecto a las lógicas no clásicas podemos decir, introductoriamente, que surgen por la
limitación expresiva de la lógica de 1er orden. Esto es, el cálculo de 1er orden es un cálculo
construido con muchas restricciones para poder satisfacer ciertas propiedades metalógicas.
Se han desarrollados estos otros cálculos lógicos como herramientas de análisis de ámbitos
temporales, modales, probabilísticos o inciertos. Por ejemplo:
 La Lógica trivalente contempla tres valores de verdad, lo verdadero, lo falso y lo
que no es verdadero ni falso, por desconocido o incierto.
 Las lógicas polivalentes son fundamentalmente lógicas probabilísticas en las que
los valores de verdad se corresponden con el intervalo [0,1].
 La lógica modal incorpora como operadores los modificadores lo necesario y lo
posible.
 La Lógica temporal incorpora parámetros temporales. Para muchas oraciones su
verdad depende del momento en que se produce.
 La lógica epistémica es una lógica intensional que pretende formalizar enunciados
de creencia, opinión, etc.
 La lógica nomonotónica pretende formalizar situaciones reales en las que
decidimos sin una total información y que posteriormente admite, conforme se
prueben o refuten creencias, revisar el sistema total de creencia.
Existen muchas otras lógicas que pretenden estudiar los razonamientos en todos los ámbitos
de la vida humana, pero en este curso fundamentalmente vamos a ocuparnos de la lógica de
proposiciones:
Lógica Clásica
 Verdad
 Falsedad
Lógica no-Clásica

A. No Bivalentes:
 Lógica TrivalenteLógicas
 Polivalentes
 Lógicas Probabilísticas
 Lógicas Difusas
[Link] Recursos expresivos:
 Lógica Deóntica
 Lógica Nomonotónica
 Lógica Modal
 Lógica Temporal
 Lógica Epistémica
 Expresivos

La Noción de Cálculo
Lo que la lógica diseña es un método general de prueba de razonamientos, un
mecanismo efectivo que responde sí o no ante la pregunta ¿es este razonamiento válido?
Esta manera de proceder recibe el nombre de Cálculo. Un cálculo es una mera estructura
sintáctica, un sistema de relaciones. No constituye un lenguaje hasta que no aportamos una
interpretación semántica de sus elementos.
En un cálculo lógico necesitamos una definición exhaustiva que determine todos y
cuáles son los elementos primitivos. Del mismo modo que en el ajedrez sabemos cuáles
piezas son del ajedrez y cuáles no.

Reglas de Formación
Estas reglas establecen cuáles son las combinaciones correctas posibles de los
elementos primitivos. El conjunto de reglas de formación ha de proporcionar una definición
de fórmula bien formada (fbf), de manera que ante cualquier combinación de elementos se
pueda determinar si la expresión resultante es o no un fbf.
Reglas de Transformación y tienen que definir cómo podemos pasar de fbfs a otras que
estén igualmente bien formadas. Estas reglas deben tener un carácter efectivo o algoritmico,
de manera que sea posible decidir si una transformación de unas fórmulas en otras se ha
realizado correctamente.

La Lógica Proposicional o de Enunciados

Como hemos visto ya, el cálculo de proposiciones o de enunciados toma como
elementos primitivos o vocabulario básico, por un lado variables proposicionales que
usaremos para referirnos a oraciones sin analizar tomadas como oraciones completas y los
símbolos lógicos que formalizaran a los elementos que indican la estructura y relaciones
lógicas que se establece entre las proposiciones, en el lenguaje natural esto lo suele cumplir
las conjunciones.
Variables Y Valores De Verdad
El contenido de una proposición lo representamos mediante una variable. Para lo
cual emplearemos letras consonantes minúsculas a partir de p,q,r,s,... Si fuera necesario
pondremos subíndices p1, p2, p3....pn.
Por tanto, una proposición formalizada por la variable p podrá tener el valor verdadero o
falso. Simbolizaremos estos valores con (1,0). 1 para lo verdadero y 0 para lo falso. Si lo
expresamos en forma de tabla, obtendremos lo siguiente:
P
1
0
Para dos variables las posibles combinaciones de sus valores de verdad que se pueden dar
entre ellas serían:

P q
1 1
1 0
0 1
0 0
 En general dado un número n de proposiciones, el número de combinaciones
posibles de sus valores de verdad sería 2n. Así para n=3, sus combinaciones serán 8, para
n=4, 16.

Conectivas Y Sus Interpretaciones Semánticas

El resto de nuestros elementos primitivos del cálculo o vocabulario básico son las
conectivas u operadores, que son las encargadas de establecer las conexiones lógicas entre
las oraciones, de igual manera que en el lenguaje natural hacen las [Link]
conectivas lógicas como funciones veritativas. Una función veritativa es una función cuyos
argumentos son valores de verdad y su resultado es igualmente un valor de verdad.
Una proposición expresa un hecho y decimos de ella que es verdadera, si el hecho
ocurre; si no ocurre decimos que es falsa.

p c c c c
1 2 3 4
1 1 0 1 0
0 0 1 1 0
Una oración, p, puede ser verdadera o falsa, tendríamos cuatro operaciones
monádicas que tomándola como argumento ofrecieran distintos valores. c1 arroja como
valor el mismo valor del argumento, c2 cambia el valor del argumento, c3 opera dejando el
caso verdadero como está y cambiando el valor de lo falso y c4 a la inversa que c3. A la
lógica, y al lenguaje en general, le interesa especialmente la función.

La Negación: ¬
La negación es una conectiva monádica, toma como argumento una proposición y
arroja como valor lo contrario de la proposición. La expresaremos mediante el signo ¬, y la
usaremos prefija a la variable proposicional a la que se aplica, ¬p. Evidentemente simboliza
al 'no' o a cualquier forma de negación del lenguaje natural. Opera invirtiendo el valor del
argumento. Si p es verdadera, entonces ¬p es falsa y al revés. En forma de tabla:
p ¬p
1 0
 0 1
La Conjunción: ∧
Sean p y q dos proposiciones cualesquiera podemos unirlas conjuntivamente
mediante 'y' o cualquier otra forma de unión conjuntiva del lenguaje natural, en la notación
lógica usaremos el siguiente signo ∧ y la colocaremos de forma infija entre las dos
variables proposicionales que conecta, p ∧[Link] conjunción de dos proposiciones atómicas
es verdadera cuando lo son a su vez las dos proposiciones componentes. Por ejemplo
decíamos que: 'llueve y me mojo' es verdadera cuando ocurre que 'llueve' y ocurre que 'me
mojo'. La interpretación semántica de la conjunción es entonces:

p Q p ∧q
1 1 1
1 0 0
0 1 0
0 0 0

La Disyunción: ∨
Sean dos proposiciones cualesquiera, p, q. Podemos unirlas mediante la disyunción
'o' y la simbolizaremos mediante el símbolo ∨, que colocaremos de manera infija entre las
dos variables proposicionales que conecta, p∨q.
La disyunción puede interpretarse de dos maneras distintas:

1. Disyunción exclusiva: si se da una de las alternativas no se da la otra.

2. Disyunción inclusiva: se puede dar una u otra de las alternativas o las dos a la vez.

Desde el punto de vista lógico es mayor la importancia de la disyunción inclusiva, es decir,

o p o q o ambas a la vez. Será ésta, la interpretación que usemos. En forma de tabla:
p q p∨q
1 1 1
1 0 1
0 1 1
0 0 0

El Condicional: →
 El condicional 'si...entonces' es también una partícula para formar fórmulas de suma
importancia en lógica pues formaliza la estructura deductiva entre dos premisas. Podemos
entonces relacionar p y q condicionalmente, si p entonces q, y lo simbolizaremos mediante
el símbolo →, que expresaremos en lógica de la siguiente manera: p → q. Aquí hay que
tener en cuenta el orden de colocación de las variables. En castellano, no tenemos
problemas si alteramos el orden de aparición en la secuencia del antecedente y del
consecuente de un condicional. Podremos decir, y es igualmente correcto, 'si llueve, me
mojo' y 'me mojo, si llueve'. En la formalización lógica ambas oraciones deben
simbolizarse como p → q, pues lo inverso, q → p, produce otra proposición completamente
distinta.

El Bicondicional: ↔

El Condicional expresa la condición suficiente, pero no la necesaria. De ahí la tabla

de verdad del condicional. Para expresar la condición suficiente y necesaria utilizamos el
bicondicional, si y sólo si, que simbolizaremos mediante ↔, y que simbolizaremos como p
↔ q. En realidad un bicondicional es la conjunción del condicional con su inverso:
P q p → q → (p→q) ∧ (q→p) p ↔q
q p
1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 0 0
0 0 1 1 1 1

Reducción de Conectivas

Podemos probar para nuestro cálculo que nos basta exclusivamente con dos
conectivas, pudiendo definir las restantes en función de las dos elegidas. Es decir, que toda
la expresividad de nuestro cálculo se puede lograr usando sólo dos conectivas, definiendo el
resto en función de las dos elegidas. De las cuatro conectivas que acabamos de definir -si
tenemos en cuenta que el bicondicional es la conjunción del condicional en una dirección
con el mismo condicional en la otra- podremos elegir entre los siguientes conjuntos de
conectivas {¬, ∧} ;{¬,∨};{¬,→}. Es decir: la negación con la conjunción o con la
disyunción o con el condicional.

Según el conjunto de conectivas elegidas las definiciones Del resto quedarían de la

siguiente manera:
Negación y Negación y Negación y
Conjunción Disyunción Condicional
Conjunción - ¬(¬ X ∨ ¬ Y) ¬(X → ¬Y)
Disyunción ¬(¬ X ∧ ¬ Y) - ¬X → Y
Condicional ¬(X ∧ ¬Y) ¬X ∨ Y -

Las Reglas de Formación

Las reglas de formación que nos permitirán determinar si una fórmula cualquiera
pertenece o no a nuestro cálculo, es decir, si es una fórmula bien formada (fbf).

Definimos la noción de fórmula bien formada recursivamente√:

 RF1. Una variable proposicional sola es una fbf del cálculo.

 RF2. Si X es una fbf, entonces ¬X también lo es.
 RF3. Si X e Y son fbfs, entonces X ∧ Y, X ∨ Y, X → Y son también fbfs.
 RF4. Estas son todas las reglas de formación del cálculo.

Recursivo es un proceso o una definición recursiva es algo que se resuelve en función de

interpretaciones o procesos más simples del mismo proceso.
Factorial X
1 = Factorial 1
F! = X * Factorial X -1
Reglas De Transformación
En general hay dos maneras de constituir los cálculos. Bien como un sistema de
leyes o bien como un sistema de reglas. Éste exige un razonamiento por objetivos, pues se
nos propone un razonamiento y mediante la aplicación de reglas hay que determinar si ese
razonamiento propuesto es válido o no lo es. Este tipo de sistemas parecen convenir mejor
al modo en que razonamos normalmente, por eso se denominan sistemas de deducción
natural. En ellos se parte normalmente de enunciados cuyo valor de verdad está
indeterminado y el objetivo es determinar su validez o no. Aquél, al contrario consiste en
encontrar todas las leyes lógicas que pueden derivarse de un conjunto reducido de leyes, a
los que denominamos axiomas, y que aceptamos como verdaderos sin prueba por su
autoevidencia. Estos tipos de sistemas se denominan sistemas axiomáticos y en ellos todo
lo que se deriva es válido, porque el sistema asegura la validez de la deducción.

El Cálculo De Enunciados Como Sistema De Deducción Natural.

Una derivación es una secuencia de transformaciones desde las premisas de las que
partimos a la conclusión que queremos obtener. Las transformaciones posibles que se
pueden realizar vienen delimitadas por el conjunto de reglas de transformación del cálculo.
Las reglas expresan las condiciones que tienen que ocurrir para pasar de unas fórmulas a
otras. Estas condiciones quedan por encima de la raya que simboliza la transformación, la
nueva fórmula se coloca por debajo de la raya. Las reglas básicas son las siguientes:

Regla de la negacion (IN: Introducción de la Negación)

Esta regla recoge un procedimiento básico de inferencia lógica que se denomina

reducción al absurdo, es un supuesto nos lleva a una contradicción, tiene que ser falso y, si
es falso, lo contrario será verdadero. Una contradicción la expresamos mediante la
conjunción de una variable proposicional con su negación, Y ∧ ¬Y.

EN : Eliminación de la Negación.
Si tenemos una fórmula doblemente negada, en una formula de esta manera podremos
simplificarla eliminando la negación.
Reglas de la Conjunción (IC: Introducción de la Conjunción)
Si en el proceso de nuestra derivación tenemos o hemos obtenido dos fórmulas
cualesquiera, X e Y, entonces podemos en un paso posterior unirlas [Link]
que todo lo que escribimos en la derivación es fruto del uso adecuado de nuestras reglas y
como éstas aseguran la validez, entonces si sabemos que X es lógicamente válida y
sabemos que Y también lo es, por la interpretación semántica de la conjunción, sabemos
también que X ∧ Y es una fórmula igualmente válida.

EC: Eliminación de la Conjunción.

Si tenemos dos formulas unidas conjuntivamente en nuestra derivación, entonces sabemos

que esa fórmula es lógicamente válida, pero si lo es, lo es porque cada una de las fórmulas
atómicas que componen la conjunción son igualmente válidas, en consecuencia, podemos
así mismo afirmarlas tanto por separado. Es decir, si sabemos que es verdad X ∧ Y,
también que sabemos que podemos afirmar X y que podemos afirmar Y.

Reglas de la Disyunción(ID: Introducción de la Disyunción)

En este caso la regla es autoevidente, pues si una disyunción es verdadera cuando lo

es alguno de sus miembros, siempre podremos unir disyuntivamente a una fórmula dada
cualquier otra, tanto por la derecha como por la izquierda. Es decir, si es verdad X, como
una disyunción es verdadera con que lo sea uno de sus elementos, también será verdad X o
Y, independientemente de la verdad de X. Y si es verdad Y también lo será X ∨ Y.

ED: Eliminación de la Disyunción.

Ciertamente, en el uso de esta regla eliminamos la disyunción en la medida en que podemos
afirmar una consecuencia lógica que se deriva de esa disyunción; más bien, probamos que
una fórmula Z, la misma para los dos supuestos, (que puede ser distinta a X y a Y), se
deduce tanto de la suposición de la verdad de X, como del supuesto de la verdad de Y.

Reglas del Condicional o Implicación Material (II: Introducción del Implicador o del
Condicional)
La regla de introducción del condicional, -usamos aquí el sinónimo 'implicador' para
no confundir en siglas con la conjunción-, resume la idea de lo que es una deducción lógica.
Nos exige también un proceso indirecto, consistente en suponer el antecedente del
condicional que queremos probar y ver si en el curso de la derivación po- demos probar el
consecuente.

EI: Eliminación del Implicador.

Esta regla, también conocida como Modus Ponens,Establece que si tenemos un condicional
y tenemos su X antecedente entonces podemos obtener su consecuente

Reglas Bincondicional (IB y EB: Introducción y Eliminación del Bicondiccional)

Estas son las reglas básicas de transformación del cálculo. Como están expresadas
en forma de esquemas de inferencia podemos ir ampliándolas según vayamos probando
como válidos otros nuevos esquemas a partir de estas reglas. Tradicionalmente existen otras
reglas derivadas que por su utilidad forman parte también del sistema de reglas. Vamos a ir
conociéndolas, pero según seamos capaces de probarlas.
La Lógica proposicional Como Sistema Axiomático

Un sistema axiomático procede deduciendo todas las verdades, a las que llamamos
teoremas, de un conjunto lo más sencillo e independiente de axiomas, que aceptamos como
verdaderos sin prueba, por su autoevidencia. El sistema posee también un mecanismo de
inferencia en forma de reglas, pero mucho más simplificado que en los sistemas de
deducción natural.

Los sistemas axiomáticos son de suma importancia porque constituyen el ideal de

estructura lógica y deductiva de toda teoría científica. Las teorías científicas deben asegurar
la validez de sus deducciones, por lo que normalmente sería deseable que se estructuran
Como sistemas axiomáticos.

El Sistema de los Principia Mathematica (PM) de Russell y Whitehead

Axiomas
A1. (p ∨ p) → p A2. p → (p ∨ q)
A3. (p ∨ q) → (q ∨ p)
A4. [p ∨ (q ∨ r)] → [q ∨ (p ∨ r)]
A5. (q → r) → [(p ∨ q) → (p ∨ r)]

Reglas de Transformación

 Regla de Sustitución: Dada una tesis (cualquier fórmula verdadera del cálculo,
axioma o teorema) del cálculo, en la que aparecen variables proposicionales, el
resultado de sustituir una, algunas o todas las apariciones de esas variables por fbfs
del cálculo será una tesis del cálculo.
  Regla de Separación (Modus Ponens): Si 'X' es una tesis del sistema, y lo es
también la expresión 'X→Y', entonces 'Y' es una tesis del sistema.

Lógica y Semántica

Semántica entendemos la disciplina que se ocupa de las relaciones entre los signos y
aquello que éstos designan, entre los signos y aquello de lo cual hablamos por medio de
ellos.
En nuestro sistema de lógica de enunciados tenemos un método de prueba
semántico que nos permite decidir si una fórmula es o no una verdad lógica. Este método
de prueba es la tabla de verdad. Como recordaremos, el método es bastante limitado, pues
imaginad una fórmula con seis variables proposicionales. Las posibles combinaciones sería
26 = 64 lo que su confección resulta sumamente larga e incómoda, aun así la validez del
método no queda [Link] como ejemplo una de la regla de inferencia que
hemos demostrado, el Modus Tollens que en su formato de ley sería ((p → q) ∧ ¬q ) →
¬p), y construyamos su tabla de verdad, veamos qué resultado arroja:

p q ¬q p→q (p → q) ∧ ¬q ((p→q) ∧ ¬q)

→¬p
1 1 0 1 0 1
1 0 1 0 0 1
0 1 0 1 0 1
0 0 1 1 1 1

¿Qué fórmulas interesan a la lógica desde el punto de vista semántico?

Evidentemente aquellas fórmulas que arrojen como resultado en la columna final de

su tabla de verdad en todas sus filas el valor de 'verdadero'. A estas fórmulas las
denominaremos, tautologías o verdades ló[Link] el contrario, si todos los resultados en
la columna final de la tabla son 'falso', estas fórmulas serán contradicciones y si
encontramos tanto 'verdadero' como 'falso', diremos que son fórmulas satisfacibles, es decir,
que en alguna valoración veritativa la fórmula resulta verdadera.
 Lo importante de las tautologías es que toda interpretación posible satisface a la
fórmula, esto es, la hace verdadera, eso significa que son razonamientos correctos o
formalmente válidos.
Como vemos, la columna final de la tabla de verdad del Modus Tollens en todas sus
filas arroja el resultado de 'lo verdadero', luego sabemos que esta fórmula es una tautología
y en consecuencia que toda valoración veritativa la hace verdadera lógicamente.
Metalógica
Una cuestión fundamental en lógica es estudiar las relaciones que se establecen en
los cálculos entre las estructuras sintácticas y sus interpretaciones semánticas que se
establecen en los cálculos.

A simple vista parecería importante que:

 Todo lo que se derivase en el cálculo fuera una verdad lógica.

 Toda verdad pudiera derivarse en el cálculo
 Ante cualquier fórmula que pueda construirse pudiera determinarse si es o no
verdadera.
Es decir, que el conjunto de teoremas lógicos sea un subconjunto propio de las fórmulas
lógicamente verdadera y viceversa, o lo que es lo mismo que en la intersección de estos dos
conjuntos queden todos los elementos de los conjuntos.
Pues bien, la disciplina que estudia a los cálculos lógicos se denomina Metalógica y las
propiedades importantes que pretende establecer para estos cálculos son:
Consistencia: Un cálculo es consistente si toda fórmula que se deriva en el cálculo es
una verdad lógica.
Formalmente el teorema de consistencia se expresa de la siguiente forma:
Interpretando: ├ como 'se deduce lógicamente de' y ╞ como 'es consecuencia semántica
de'
Si ├ A, entonces ╞ A.
si lo consideramos como consecuencia de un conjunto de fórmulas, Γ : Si Γ ├ A, entonces
Γ╞ A.
 Completud: Un cálculo es completo si toda verdad lógica puede deducirse en el
cálculo. El teorema se expresa formalmente de la siguiente manera:
Si ╞ A, entonces ├ A.
si lo consideramos como consecuencia de un conjunto de fórmulas, Γ:
Si Γ ╞ A, entonces Γ├ A.
Como vemos el teorema de completud es lo inverso de la consistencia y en ambos se
establece la equivalencia entre la sintaxis y la semántica de un cálculo lógico.
Decibilidad: Finalmente la tercera propiedad de interés es la decibilidad. Diremos
que un cálculo es decidible si existe un procedimiento finito y algorítmico que permite
decidir si una fórmula o deducción es demostrable en el cálculo.

La lógica es una norma para el razonamiento correcto. Como hemos visto, un

cálculo lógico es una herramienta que nos permite decidir si un razonamiento es
formalmente correcto o no. Es verdad que las limitaciones metalógicas de los cálculos
debilitan la eficacia de esta herramienta, que termina siendo útil sólo para un fragmento
pequeño del razonamiento humano, el pensamiento deductivo. Para solucionar esto se han
desarrollando otras lógicas que exploran otro tipo de discurso y otras formas de
razonamiento.
Por otro lado, la lógica es el fundamento de la matemática y resulta fundamental a la
hora de producir teorías elaboradas como pueden ser las teorías científicas.
También la lógica es el lenguaje de los circuitos electrónicos y suponen el arranque de
todos los ordenadores digitales tan presentes en nuestras sociedades.

Falacias

Hay muchos tipos de falacias, algunas lo son por su forma lógica y en ese sentido coinciden
con argumentos incorrectos o falso argumentos, como el que mencionábamos arriba. Estas
son sencillas de detectar utilizando un cálculo lógico. Pero hay otro tipo de falacias que lo
son no tanto en virtud de su forma lógica sino en virtud de su contenido material. Una
clasificación de las falacias puede ser la siguiente:
Anfibología:
La anfibología se origina por una ambigüedad estructural o por una ambigüedad semántica
al interpretar un elemento que determina la estructura lógica.
Falacias materiales

Las falacias de datos insuficientes

Son razonamientos inductivos incorrectos, porque en ellos se presentan las premisas

como base para la generalización, cuando en realidad no la tienen. Este tipo de falacias son
muy comunes cuando generalizamos a partir de sólo varios casos conocidos.

Las falacias de pertinencia

A menudo, son meros argumentos retóricos o entimemas, que tienen el objetivo de
convencer a alguien apelando a argumentos o razones que no son lógicamente pertinentes.

Paradojas

Una paradoja, a veces también llamada aporía, es algo, dibujo, oración, argumento,
que no tiene una solución definitiva. Si optamos por una posible solución entonces parece
transformarse y convertirse en lo contrario. Si afirmamos que la mano derecha pinta a la
izquierda, entonces vemos que es al contrario.
Aunque los seres humanos tienen otras formas de producir nuevos conocimientos y
razonan en muchas otras circunstancias para las que la lógica clásica no dispone de
recursos, sin duda la existencia desde los tiempos de Aristóteles de un canon del
razonamiento que produce una aceptación por su propia fuerza ha conducido las maneras
de hacer ciencia, de argumentar y convencer, en fin, de pensar. La razón, esa propiedad del
pensamiento humano, se construye y se emplea argumentando y lo hace de tal manera que
la propia fuerza del argumento aúna posturas y convence, si somos racionales. La filosofía
usa la lógica no sólo para articular o estructurar sus conocimientos, sino, sobre todo, para
crearlos.