Antes de terminar esta sección, debemos decir tres cosas importantes acerca de la

noción de verdad. En primer lugar, hemos dicho que los enunciados (declarativos) son
verdaderos o falsos porque a través de ellos afirmamos o negamos algo acerca del
mundo, algo que puede ser o no ser el caso. Pues bien, no todos los enunciados
verdaderos son verdaderos en virtud de cómo es el mundo. El enunciado “2 + 2 = 4”
es verdadero en virtud de las matemáticas, no depende de cómo es el mundo. Depende
desde luego de lo que “2”, “4”, “+” y “=” significan, pero de ningún hecho del mundo
cuya verdad haya que comprobar para determinar la verdad del enunciado. Lo mismo
sucede con “Juan es listo o no lo es”. No tenemos que ver cuáles son las propiedades
de Juan para saber si es verdad de él que o bien es listo o bien no lo es. Lo mismo
sucede con “Si hoy es martes, mañana es miércoles”. No importa a qué día estamos
hoy para saber que este último enunciado es verdadero (siempre y cuando sepamos los
días de la semana). Hay, por tanto, enunciados tales que para comprobar su verdad no
necesitamos “ir al mundo”. Ésas son, como enseguida veremos, las verdades lógicas,
conceptuales y matemáticas. La segunda observación que queremos hacer es la
siguiente. Los enunciados son verdaderos y falsos dependiendo también de un
contexto. Así sucede con enunciados como “Hoy es martes”, “Él es muy inteligente” o
“El actual presidente de los Estados Unidos fue antes senador”. La verdad o falsedad
de estos enunciados depende de su contexto de proferencia. Si hoy es martes y
proferimos el enunciado “Hoy es martes” habremos dicho algo verdadero. Si decimos
“Él es muy inteligente” de alguien inteligente, por ejemplo de Hilary Putnam,
habremos dicho algo verdadero también. Por su parte, “El actual presidente de los
Estados Unidos fue antes senador” es verdadero si lo de decimos de Nixon en 1973,
pero es falso si lo decimos de Trump 2019. Finalmente, hay que distinguir entre ser
verdadero y ser conocido como verdadero. Hay enunciados verdaderos, aunque no se
sepa que lo son. Del hecho que no sepamos que un enunciado es verdadero o falso no
se sigue que el enunciado sea verdadero o falso (tampoco al revés). Igualmente, aunque
tengamos muy buenas razones para creer o aceptar cierto enunciado, es decir, aunque
tengamos una muy buena justificación para creer o aceptar cierto enunciado, de ahí no
se sigue que dicho enunciado sea verdadero. Así, por ejemplo, yo puedo tener una muy
buena justificación para creer que Juan vendrá a la fiesta de María. Dicha justificación
podría consistir en conocer el carácter de Juan y saber que le gustan mucho las fiestas,
que María nos dijo que Juan estaba invitado a su fiesta y, finalmente, que el propio
Juan, a quien nos hemos encontrado esta mañana, nos ha confirmado que irá a la fiesta
de María. Todo esto podría ser verdadero y, sin embargo, ser falso que Juan vendrá a
la fiesta de María (las razones podrían ser aquí muchas: que Juan, por alguna razón
particular, nunca tuvo intención de ir a la fiesta y, finalmente, no fue, o que Juan se
puso enfermo ese día y no pudo asistir).

1.3. Modos de verdad. Nociones lógicas.

Hemos visto que hay enunciados (o proposiciones) que son verdaderos en virtud de
cómo es el mundo y otros que no. Hay verdades (y falsedades) que lo son en virtud de
la lógica y esto quiere decir que lo son en virtud de la estructura lógica, en virtud del
significado de las partículas lógicas que aparecen en el enunciado en cuestión, sin
importar cuáles sean los significados de las palabras que no son meramente partículas
lógicas. Así, por ejemplo, “Juan es profesor y no es profesor” es falso, cualquier cosa
que la palabra “profesor” signifique y quienquiera que sea Juan. Este enunciado tiene
la forma “a es A y no es A”, el cual expresa siempre una falsedad, sin depender para
nada de lo que ocurra en el mundo. Lo mismo pasa con el enunciado “Todos los
hombres son mortales, pero algunos hombres no son mortales”. Que haya algunos
hombres que no son mortales es lógicamente incompatible con que todos los hombres
sean mortales, sea lo que sea que signifiquen las palabras “hombre” y “mortal”. A
veces, se habla de falsedad lógica o contradicción lógica. En cambio, “Juan es profesor
o no lo es” es, por el contrario, una verdad lógica o tautología, porque es verdadero en
virtud de la sola lógica. Queda claro que la negación de una verdad lógica es una
contradicción lógica y, a la inversa, la negación de una contradicción lógica es una
verdad lógica.
Algunos enunciados que son verdaderos (o falsos) independientemente del mundo
difieren un poco de estos ejemplos, en los que basta recurrir al significado de los
términos lógicos como “no”, “y”, “o”, “si…, entonces…”, “todos” y “algunos”. En
algunos casos debemos de recurrir a algo más que la mera lógica para establecer que
el enunciado es verdadero (o falso), como ocurre con “Si Juan es soltero, entonces no
está casado”. Este enunciado es verdadero independientemente del mundo, pero su
verdad depende del significado de la palabra “soltero”, el cual es exactamente “varón
adulto no casado”. A este tipo de verdades (o falsedades) las llamamos conceptuales.
Para nombrar las verdades lógicas y conceptuales se ha usado tradicionalmente el
término de analítico. Los enunciados analíticos son, pues, los que son verdaderos en
virtud de la lógica o del significado. Se dice también que son necesariamente
verdaderos (de acuerdo con la lógica y con el significado de las palabras).
Los enunciados que no son necesarios (en virtud de la lógica o del significado), se dicen
contingentes. Además de la necesidad lógica, se ha hablado de una necesidad que viene
de las leyes de la naturaleza y por eso llamamos nomológica. Queda claro que estos
dos conceptos son enteramente independientes. El filósofo norteamericano Saul Kripke
habló de necesidad metafísica al pensar en casos como “El agua es H2O” o “El oro
tiene número atómico 79”. Estos enunciados, a pesar de ser necesarios, son conocidos
a partir de la experiencia, al contrario que las verdades que hemos llamado “analíticas”.
Dijimos antes que estas verdades son las que se pueden conocer independientemente
de la experiencia: no necesitamos saber nada del mundo para saber que son verdaderas
(como notó Kripke “poder conocerse independientemente de la experiencia” no
significa “tener que conocerse independientemente de la experiencia”). Por eso, se
llaman también a priori. Por el contrario, llamamos a posteriori a todos los enunciados
cuya verdad o falsedad sólo se puede establecer a partir de la experiencia, el
conocimiento y la observación de hechos del mundo. Así pues, la tesis de Kripke a la
que nos hemos referido es la de que hay enunciados necesarios a posteriori.
Ejemplos de enunciados que típicamente se conocen a posteriori son:

(1) Tengo cabeza.

(2) La Luna tiene cráteres.
(3) Algunos hongos son venenosos.
(4) La capital de Francia es París.
(5) Todos los planetas de nuestro sistema solar giran alrededor del Sol.
(6) Todos los cuervos son negros.

Aunque estos enunciados son del tipo cuya verdad se conoce a partir de la experiencia,
sin embargo, no todos ellos son verificables por la observación. (1)-(5) se pueden
conocer a partir de la experiencia, pero (6) no puede ser verificado por un conjunto
finito de enunciados particulares. Como diría Popper, sólo puede ser refutado o falsado.
Con los enunciados existenciales como (3) pasa justo lo contrario: son fácilmente
verificables, pero no pueden ser refutados, a menos que la clase sea pequeña. Hay
enunciados empíricos, como (1), que son tanto verificables como refutables. Hay,
finalmente, enunciados empíricos que no pueden ser ni verificables ni refutables
concluyentemente, como “Toda substancia tiene un solvente”. Esto sucede porque son
la combinación de un enunciado universal y otro existencial.

Terminaremos este apartado con una serie de nociones lógicas útiles. La primera es la
de implicación lógica. Diremos que un enunciado implica lógicamente otro enunciado
cuando no pueda ser que el primero sea verdadero y el segundo falso. Por ejemplo, el
enunciado “Todos los hombres son mortales” implica lógicamente “Algún hombre es
mortal”. También implica “No hay ningún hombre que no sea mortal” y éste último
también implica el primero. Cuando dos enunciados se implican mutuamente,
hablamos de equivalencia lógica. La implicación entre enunciados puede darse
también en virtud del significado: así “Juan es soltero” implica (en virtud del
significado de la palabra “soletero”) “Juan no está casado” y “María es hija única”
implica “María no tiene hermanas”.

Como veremos enseguida, la relación de implicación lógica es precisamente la que se

da entre las premisas y la conclusión de un argumento deductivamente válido: no puede
ser que las premisas sean verdaderas y la conclusión falsa. El que un argumento sea
deductivamente válido no es suficiente para establecer la verdad de la conclusión. Lo
que tenemos es sólo que si las premisas son verdaderas, la conclusión también deber
serlo.

Pongamos un ejemplo: “Si todas las personas son perversas, entonces ninguna persona
es de confiar. Todas las personas son perversas. Por tanto, ninguna persona es de
confiar.” La conclusión es implicada por las premisas, porque según la segunda
premisa todas las personas son perversas y, si esto cierto, también lo es que ninguna es
de confiar. No pueden ser verdaderas las dos premisas y falsa la conclusión. Por el
contrario, la primera premisa no expresa ninguna implicación: podría ser que al menos
una persona fuera perversa y, en cambio, fuera de confiar.

También debemos introducir los conceptos de independencia lógica, consistencia y

redundancia. Dos enunciados son lógicamente independientes si ni el primero implica
el segundo ni al revés. Así, “Alguien es mortal” es independiente relativamente a
“Alguien es hombre”. La consistencia se dice de un conjunto de enunciados tal que la
suma de todos ellos es lógicamente compatible en el sentido de que no genera ninguna
contradicción o falsedad lógica. Por ejemplo, un conjunto que tuviera como enunciados
“Ningún hombre es inmortal” y “Algún hombre es inmortal” sería inconsistente.
Finalmente, un conjunto es redundante si contiene enunciados lógicamente
equivalentes o enunciados que se siguen lógicamente de ellos. Esto es oportuno en
relación con los argumentos. En principio, no deseamos que en nuestros argumentos
haya premisas redundantes (implicadas por otras premisas).

1.4. Argumentos deductivos.

Acabamos de decir que el anterior argumento es válido porque si las premisas fuesen
verdaderas, la conclusión debería serlo también. En realidad esto pasa sólo con el tipo
 más fuerte de argumento de que podemos disponer: los argumentos deductivos. Los
argumentos deductivamente válidos o formalmente correctos son, en efecto, aquellos
en los que las premisas implican la conclusión, siendo imposible que la conclusión sea
falsa si las premisas son verdaderas. No importa si las premisas son verdaderas o falsas.
Lo que importa es que caso de que fueran verdaderas, la conclusión no podría ser otra
cosa que verdadera. No podría ser que todos los hombres sean mortales y que Sócrates,
siendo hombre, no sea mortal. Estrictamente hablando, a la lógica sólo le preocupa esta
relación de inferencia, no que en efecto las premisas sean verdaderas o falsas. Aquellos
argumentos válidos en los que tanto las premisas como la conclusión son verdaderos
se llaman “sólidos” o materialmente correctos. Además de premisas y conclusión
verdaderas, en los argumentos deductivamente válidos podemos tener premisas falsas
(al menos una de ellas) y conclusión falsa o premisas falsas (al menos una de ellas) y
conclusión verdadera. La conclusión muy bien podría ser falsa. Lo que en ningún caso
podemos tener es premisas verdaderas y conclusión falsa. Si puede ser el caso que las
premisas sean verdaderas y, al mismo tiempo, la conclusión sea falsa, entonces estamos
ante un caso de argumento deductivamente inválido (la conclusión no se sigue
deductivamente de las premisas).
A veces, se dice que en los argumentos deductivamente válidos lo que ocurre es que la
conclusión ya estaba contenida en las premisas o que la información expresada en la
conclusión no añade nada nuevo a la información proporcionada por las premisas. Los
argumentos deductivamente válidos, pues, no son ampliativos, a diferencia de los
inductivos: gracias a la conclusión, nosotros no sabemos por así decirlo nada nuevo,
sino algo que ya estaba implícito en las premisas. La conclusión simplemente es algo
que se sigue (deductivamente) de las premisas, es consecuencia lógica de ellas. En sí
misma, no nos da una nueva información, porque basta darse cuenta de lo que las
premisas dicen, para ser llevados a la conclusión (tan sólo necesitamos las reglas de la
lógica deductiva). Precisamente por eso, ocurre que si las premisas son verdaderas, la
conclusión no podría dejar de ser cierta.
En los argumentos deductivos, como en todos los argumentos, es convención poner
todas las premisas una debajo de otra y separarlas de la conclusión, que siempre va
debajo de todas ellas, mediante una raya horizontal continua. Que la línea sea continua
indica que el argumento es deductivo. (En el caso de los argumentos inductivos, es
convención utilizar una raya horizontal discontinua)1. Esquemáticamente:

Premisa1
Premisa2
.
.
.
Premisan

Conclusión

1
Como veremos, no existe, sin embargo, una convención para los argumentos abductivos y analógicos, por
ejemplo. En tales casos, simplemente usaremos una raya continua, a falta de una mejor elección. Será
simplemente el contexto el que aclare de qué tipo es el argumento en cuestión.
 Con un ejemplo:

Todos los hombres son mortales

Sócrates es hombre

Sócrates es mortal

Como hemos visto, en un argumento deductivamente válido las premisas implican la

conclusión. Se dice que dicha implicación es una implicación lógica, porque es
independiente del significado de las palabras. Signifiquen lo que éstas signifiquen, la
lógica nos lleva a obtener la conclusión a partir de las premisas en virtud de su pura
“forma lógica”. La forma lógica de un enunciado e consiste en un esquema de enunciado
que es obtenido a partir de e sustituyendo los términos no lógicos de e por símbolos de
variable2. Así, la forma lógica del enunciado “Todos los hombres son mortales” sería
“Todos los A son B”. La forma lógica de “Sócrates es hombre” y “Sócrates es mortal” es,
respectivamente, “a es A” y “a es B”. La forma lógica de un argumento consiste en poner
las premisas y la conclusión de ese argumento es su forma lógica sustituyendo cada
término que aparezca repetido en el argumento por el mismo símbolo de variable. Así, en
el caso del argumento anterior, la forma lógica sería:

Todos los A son B

a es A

a es B

Los argumentos deductivamente válidos son tales que las premisas implican la conclusión
en virtud de la sola forma lógica. No necesitamos saber lo que son “A”, “B” y “a”, para
darnos cuenta de que las premisas implican (lógicamente) la conclusión, de que si las
premisas son verdaderas la conclusión debe serlo inexorablemente. La validez de un
argumento deductivo depende de cuál sea su forma lógica. Si el argumento tiene la forma
de un esquema de inferencia válido (como los que estudia y tipifica la lógica deductiva),
entonces el argumento es válido. Así, por ejemplo, el anterior esquema de argumento (o
forma lógica de argumento) es un esquema de inferencia válido según la lógica deductiva.
Tomemos como ejemplo el siguiente argumento: “Si hoy es jueves, mañana es viernes.
Hoy es jueves. Por tanto, mañana es viernes” es deductivamente válido, porque su forma
lógica es un esquema de inferencia válido:

Si p, entonces q
p

2
Los términos lógicos son todos aquellos y sólo aquellos de los que depende la validez de los argumentos
(deductivos). Son partículas conectivas como “y”, “o”, “si…, entonces…” o cuantificadores como “Todos”
y “Algunos”.
Esta es la conocida regla modus ponens. La llamada modus tollens es esta otra:

Si p, entonces q
No q

No p

Un argumento con esta forma lógica sería deductivamente válido. Por ejemplo:

Si hoy es jueves, mañana es viernes

Mañana no es viernes

Hoy no es jueves

Otros esquemas de inferencia válidos son:

poq
no p

Todos los A son B

Todos los B son C

Todos los A son C

Todos los A son B

Algunos C son A

Algunos C son B

Ningún A es B
Todos los C son A

Ningún C es B

Todo argumento que tenga la forma lógica representada por cualquiera de estos esquemas
es automáticamente un argumento (deductivamente) válido.

Los argumentos condicionales contienen premisas condicionales. Un enunciado

condicional es un enunciado complejo compuesto generalmente de otros dos enunciados,
uno expresando la condición (antecedente o prótasis) para que se cumpla lo expresado en
el otro (consecuente o apódosis). Así, por ejemplo, si digo “Si Newton fue un físico,
entonces fue un científico”. Lo que se quiere decir por medio de este enunciado es que
basta con saber que Newton fue un físico, para saber que fue un científico. Ser un físico
es una razón (condición) suficiente para ser un científico. Ahora bien, no es necesaria. Es
decir, se puede ser un científico sin ser un físico. Hablamos de que algo es una condición
necesaria para que ocurra un suceso x o (se dé el caso que p), cuando, para que se cumpla
x (o p), tiene que cumplirse dicha condición. Por ejemplo, ser un científico parece que es
una condición necesaria para ser un físico.

Cuando ocurre que p es una condición suficiente para que ocurra q y, además, se cumple
que q es una condición suficiente para que ocurra p. En tal caso, p será a la vez suficiente
y necesario para que ocurra q. Entonces es verdadero un enunciado condicional en las
dos direcciones. Es decir, podemos escribir “p si y sólo si q” (que abrevia: “si p, entonces
q, y, si q, entonces p”), dando lugar con ello a un enunciado bicondicional.

Para ilustrarlo con un ejemplo sencillo. Para estar clínicamente muerto es necesario y
suficiente que el corazón haya dejado de latir y la función respiratoria se haya detenido.
Esto es así porque estar clínicamente muerto consiste en que se produzcan ambas
condiciones. En filosofía, tenemos muchísimos ejemplos de tesis que tienen la forma de
un bicondicional. Por ejemplo, el filósofo y psicólogo Franz Brentano defendió una tesis
que lleva su nombre según la cual la intencionalidad es una condición necesaria y
suficiente para los estados mentales. Es decir, que si algo posee intencionalidad, será
porque es un estado mental. Y si algo es un estado mental, entonces con seguridad poseerá
intencionalidad.

Hay muchas maneras de expresar con palabras (en lenguaje ordinario) un condicional.
Normalmente, tienen la forma “si…, entonces”. Pero hay otras muchas formas de
formularlos (todas estas formas son equivalentes):

Si p, entonces q (p es una condición suficiente para q)

Si no q, entonces no p (relación de contraposición)
No p, a menos que q (“a menos que” significa lo mismo que “si no”)
Sólo si q, entonces p (q es una condición necesaria para p)

Si Newton fue un físico, entonces fue un científico

Si Newton no fue un científico, entonces no fue un físico
A menos que fuese científico, Newton no fue un físico
Sólo si fue un científico, fue Newton un físico.
Ya hemos visto las reglas básicas de inferencia válidas para los argumentos con
condicionales: el modus ponens y el modus tollens:

Si p, entonces q Si Pedro no pasa el examen de idioma,

p Pedro no obtendrá su título.
Luego, q Pedro no ha pasado el examen de idioma.
Luego, Pedro no obtendrá el título.

Si p, entonces q Si ha de haber una tormenta esta noche, el

No q barómetro baja.
Luego, no p El barómetro no baja.
Luego, no habrá tormenta esta noche.

Si César hubiera sido ambicioso, habría

aceptado la corona.
César no aceptó la corona.
Luego, César no era ambicioso.

“No quiso aceptar la corona. Luego, es

seguro que no era ambicioso” (Julio
César, acto III, esc. II)

Si p, entonces no q Si el determinismo es cierto, entonces el

No es verdad que no q (no no-q) hombre no tiene voluntad libre.
Luego, no p El hombre tiene voluntad libre.
Por tanto, el determinismo el falso.
En cambio, la negación del antecedente para concluir la negación del consecuente y la
afirmación del consecuente para afirmar el antecedente constituyen falacias deductivas:

Si p, entonces q Si Ricardo se dispone a testificar, es

No p. inocente.
Luego, no q. Ricardo no se dispone a testificar.
Ricardo no es inocente.
(falacia de negación del antecedente)
Si la Universidad de Santiago está en
Cataluña, entonces está en España.
La Universidad de Santiago no está en
Cataluña.
Por tanto, la Universidad de Santiago no
está en España.

Si p, entonces q Si las premisas de este argumento son

q verdaderas, la conclusión del argumento
Por tanto, p es verdadera.
Ahora bien, la conclusión de este
(falacia de afirmación del consecuente) argumento es verdadera.
Por tanto, las premisas del argumento son
verdaderas.

Los silogismos categóricos, que vamos a ver a continuación, son argumentos compuestos
enteramente de lo que se llaman “enunciados categóricos”. Llamamos “enunciados
categóricos” a enunciados de estos tipos:

Todos los diamantes son gemas (tipo A = universal afirmativa).

Ningún diamante es una gema (tipo E = universal negativa).
Algunos diamantes son gemas (tipo I = particular afirmativa)
Algunos diamantes no son gemas (tipo O = particular negativa).

Toda afirmación categórica tiene dos términos (o clases): sujeto y predicado. El contenido
de un enunciado categórico depende de los términos que ocurran en él. La forma del
enunciado establece una relación entre los dos términos (clases).

Existen muchas formas equivalentes de expresar enunciados categóricos de un tipo dado:

Tipo A:

a) Todo caballo es mamífero

b) Cualquier caballo es mamífero
c) Los caballos son mamíferos
d) Si algo es caballo, es mamífero
e) Cualquier cosa que sea un caballo es un mamífero
f) Todos los no mamíferos son no caballos
g) Una cosa sólo es caballo si es mamífero
h) Nada es un caballo, a menos que sea también un mamífero
 i) Ningún caballo no es mamífero
j) Ningún caballo es no-mamífero

Nótese que un enunciado universal afirmativo como (a) se puede expresar siempre como
un universal negativo negando el verbo (i) o sustituyendo el predicado por su
complementario (j).

Tipo E:

a) Ningún insecto es araña

b) Todo insecto no es araña
c) Todos los insectos son no-arañas
d) Todas las arañas son no-insectos
e) Nada que sea un insecto es araña
f) Si algo es una araña, entonces no es un insecto
g) Si algo es un insecto, no es una araña
h) Sólo los no-arañas son insectos.
i) Nada es araña, a menos que no sea un insecto

Tipo I:

a) Algunas cosas comestibles son plantas

b) Hay plantas que son comestibles
c) Existen plantas comestibles
d) Hay plantas comestibles
e) Algunas de las cosas que son plantas resulta que son comestibles
f) Por lo menos una planta es comestible
g) Algunas plantas son comestibles
h) No todas las plantas son incomestibles (no-comestibles)

Tipo O:

a) Algunos filósofos no son lógicos

b) Hay al menos un filósofo que no es lógico
c) No todos los filósofos son lógicos
Este es el famoso cuadro de oposición aristotélico, que ilustra las relaciones existentes
entre los distintos tipos de enunciados categóricos:

Todos los hombres son mortales Ningún hombre es mortal

Algunos hombres son mortales Algunos hombres no son

mortales

Una observación acerca del número de premisas (la cual es válida en principio para todo
tipo de argumentos, no sólo para los deductivos) es que nada impide tener argumentos de
una sola premisa o incluso de un número infinito de premisas. Por ejemplo,

María tiene una hermana gemela

Por tanto, María no es hija única.

Es un ejemplo de argumento con una sola premisa. ¿Podría haber argumentos con 0
premisas? En las inferencias deductivas, se dice que los enunciados que son verdades en
virtud de la sola lógica (lo que llamaremos “verdades lógicas” o “tautologías”) se infieren
de un conjunto vacío de premisas. Con ello lo que se quiere decir es que no hay un
conjunto de premisas del que se sigan los enunciados “Todos los hombres son mortales o
no son mortales” o “Sócrates es hombre o no es hombre”, sino que son verdaderos en
cualquier caso, no importa lo que ocurra con el mundo. Al no ser verdaderas en una
situación concreta, sino verdaderas bajo cualquier circunstancia, no necesitan premisas.
No podemos imaginar una situación que hiciera verdaderas ciertas premisas y falsa una
verdad lógica, porque las verdades lógicas son siempre y en todo caso verdaderas. Esta
es la razón de que se diga que se infieren a partir de un conjunto vacío de premisas. Sin
embargo, no diríamos que constituyen la conclusión de un determinado argumento.

Un ejemplo de argumento con infinitas premisas podría ser uno cuyas premisas (infinitas)
fueran “1 es menor que el número de estrellas, 2 es menor que el número de estrellas,…”
y así con todos los enteros positivos y cuya conclusión fuese “Todo entero positivo es
menor que el número de estrellas”.

Hemos visto, a partir de los ejemplos dados, que resulta aparentemente fácil, en muchos
casos, saber si un argumento es deductivamente válido o inválido. Como decíamos más
arriba, los argumentos deductivamente válidos no son ampliativos en el sentido de que la
conclusión ya estaba contenida en las premisas. No obstante, esto no quiere decir que sea
inmediato que la conclusión se sigue de las premisas. En efecto, hay muchos argumentos
para los que no resulta tan fácil decir si la conclusión es una consecuencia deductiva de
las premisas. En ocasiones resulta hasta extremadamente complicado. Piénsese en el caso
de algunos teoremas lógicos o matemáticos. O en una mera operación de aritmética. Por
ejemplo, el argumento

Hay exactamente 136 cajas de naranjas en el almacén

Cada caja contiene al menos 140 naranjas
Ninguna caja contiene más de 166 naranjas
Por tanto, hay en el almacén al menos seis cajas que contienen el mismo número de
naranjas.

es deductivamente válido y, sin embargo, no es tan fácil o inmediato llegar la conclusión.

Es necesario recurrir a un cierto ejercicio mental o escrito de aritmética.
La facilidad para saber si un argumento es deductivamente válido ni siquiera está en
función del número de premisas. O, por ejemplo, y como dice Benson Mates, nadie hasta
ahora ha sido capaz de llevar a cabo el descubrimiento que se requeriría para decidir si el
argumento siguiente (de una sola premisa) es deductivamente válido o no:

El número de estrellas es par y mayor que 2

Por tanto, el número de estrellas es la suma de dos primos

El descubrimiento necesario para establecer que este argumento es deductivamente válido

es una conjetura de la teoría de números todavía, como decíamos, no probada, la llamada
“conjetura de Goldbach” que el matemático del mismo nombre presentó a Euler en una
carta y según la cual todo número par mayor que 2 puede escribirse como suma de dos
primos, como por ejemplo 8 = 3 + 5 y 10 = 3 + 7. Esta conjetura se ha comprobado para
todos los números pares menores que 2×1016 y se cree que es cierta en base a la
distribución probabilística de los números primos.

Así, pues, no debemos confundir la no ampliatividad de los argumentos deductivos

válidos con la mayor o menor facilidad para decidir acerca de la validez o invalidez de
un argumento deductivo.

Por otro lado, hemos visto que en un argumento deductivamente válido podemos tener
premisas falsas. Lo que importa en tales casos es que si las premisas fueran verdaderas,
la conclusión sería verdadera también. Nótese que en los argumentos deductivamente
válidos se transmite la verdad, pero no se transmite el valor de verdad,3 es decir, no ocurre
que si las premisas son falsas, la conclusión es también falsa (porque podría ser
verdadera). Lo único que debe ocurrir es que la conclusión no puede ser falsa si las
premisas son verdaderas. La verdad no es lo único que se transmite en los argumentos
deductivamente válidos. También se transmite la justificación. Esto quiere decir que si
tenemos una buena justificación para aceptar o creer en la verdad de las premisas,
estaremos automáticamente justificados en creer en la conclusión que se extrae
(deductivamente) a partir de esas premisas. Este punto está relacionado con el llamado
“principio de clausura epistémica” en epistemología. Dicho principio dice lo siguiente:

S está justificado en creer que P

S sabe que P implica Q
Por tanto, S está justificado en creer que Q

Está relacionado porque, como hemos dicho al principio, en los argumentos

deductivamente válidos las premisas implican la conclusión. Así, si sabemos que, dado
un argumento, las premisas implican la conclusión y tenemos una justificación para las
premisas, automáticamente estaremos justificados en creer la conclusión. Aunque este
principio es comúnmente aceptado, algunos filósofos lo han llegado a poner en duda. La
razón es que la justificación es una cuestión epistemológica debatible. Más adelante
discutiremos esto.

3
Llamamos “valor de verdad” a cualquiera de los dos elementos del conjunto {verdadero, falso} asociado
a un enunciado o proposición (sea premisa o conclusión en un argumento).