Vous êtes sur la page 1sur 13

Cunta filosofa hay en una tabla de verdad?

(O Carta a un joven filsofo de la lgica)

Luis Estrada Gonzlez

Hola,

Te escribo esto para responder una pregunta que t, como algunos otros que estudian lgica, se

hacen, pero que pocos expresan de manera abierta. Podramos formular esa pregunta del siguiente

modo: Por qu las tablas de verdad son como son y no de manera diferente? Esta pregunta resume,

creo, otras como Por qu una proposicin y su negacin no pueden ser ambas verdaderas (o ambas

falsas)? Por qu hay slo dos valores de verdad? Por qu todas las proposiciones han de tener algn

valor de verdad?

Una opinin muy extendida incluso entre los lgicos es que al conocer ms la parte matemtica de

la lgica el alumno es menos capaz de aplicar la lgica de manera crtica en la argumentacin. Aqu

trato de mostrarte que si conoces un poco ms de matemtica podrs acercarte de manera crtica

incluso a la lgica misma; que la lgica es ella misma un objeto de escrutinio filosfico y que, al tener

claras algunas nociones matemticas, es ms fcil saber cules son algunos de nuestros compromisos

filosficos y qu tendramos qu hacer para cuestionarlos, rechazarlos o darles mayor soporte. Mi tesis

principal es que, si conoces las tablas de verdad de la lgica clsica y su fundamento matemtico en la

nocin de funcin, en diez minutos sabrs por qu las tablas de verdad son como te las ensearon y

sers capaz de adentrarte de manera sencilla al fascinante campo de las lgicas no clsicas y su

filosofa.

Por favor ten en cuenta la siguiente aclaracin. No estoy interesado en la didctica de la lgica ni en

la divulgacin de la filosofa. Siendo una persona de cualidades intelectuales limitadas, requiero

mucho esfuerzo, trabajo y concentracin para aprender las cosas. Tratar de convertir lo que he

aprendido en algo que pudiera ser ya no aprendido por muchas ms personas, sino al menos atractivo

para ellas, resultara una tarea descomunal para m. Escapa a mis fuerzas tratar de lograr que la lgica

le guste o se le facilite a ms gente de la que ya de hecho disfruta aprendindola. Estas son razones de

ndole personal, puras incapacidades mas. Hay otras que no tienen que ver con mis limitaciones sino

con el proyecto mismo de la didctica de la lgica, pero no es el momento de discutirlas. Si hago esto

es por pura conveniencia: entre ms pronto puedas familiarizarte con ciertas nociones y temas, mejor
para m. Siempre me resulta muy agradable alguien con quien pueda platicar sin tener que explicarle

una gran cantidad de cosas que ya debera saber.

Te pido de momento que dejemos como indefinidas las nociones de objeto, conjunto y relacin, te

parece? Basta por ahora que tengas slo ideas intuitivas de qu es una relacin y un conjunto

(coleccin de cosas). Una funcin f es entonces una relacin entre dos objetos cualesquiera

(usualmente conjuntos) X y Y, el dominio y el codominio respectivamente, tal que

(f1) a todo elemento del dominio le corresponde un elemento del codominio,

pero

(f2) slo uno.

Una funcin con dominio X y codominio Y se denota usualmente as: f: XY. Necesito que sepas

otras dos cosas. Primero, que uso XY para referirme a un conjunto que consta de todos los pares <x,

y> tales que x es un elemento de X y y es un elemento de Y. Segundo, que uso el signo YX para

referirme a la coleccin de funciones que hay de X a Y. Esta notacin exponencial es muy til en

muchos casos. Puedes calcular cuntas funciones hay del conjunto X al conjunto Y si sabes cuntos

elementos tiene cada dominio. Por ejemplo, supongamos que X tiene cuatro elementos y que Y tiene

tres. Hagamos un poco de trampa para calcular el nmero de funciones de X a Y, tratando a estos

conjuntos como si fueran nmeros. Entonces habra YX = 34 = 81 funciones de X a Y.

Con esto en mente vamos a considerar algunos casos lmite de funciones. Qu pasa si el dominio

es vaco; qu si el codominio es vaco? Sea X como antes, un conjunto con cuatro elementos pero Y

ahora vaco, sin elementos. Cuntas funciones hay de X a Y? YX = 04 = 0. Nota que esto se sigue de la

definicin misma de funcin: Si a todo elemento del dominio (X) ha de corresponderle un elemento

del codominio (Y), es claro que no habr funciones de X a Y cuando Y es vaco, porque no hay

elementos que asignar a los elementos de X. Y qu pasa cuando Y es como en el prrafo anterior, es

decir, tiene tres elementos, pero ahora X es vaco? Lo resolvers muy fcil usando la notacin

exponencial, slo trata de asegurarte de que entiendas que ese resultado tambin se sigue de la

definicin de funcin dada ms arriba.

Ahora vamos a dar una definicin de la lgica clsica de orden cero (o proposicional), LC0 . Lo

haremos un poco rpido porque esto ya lo sabes; slo quiero que relaciones lo que ya sabes con mi

notacin y terminologa. La llamamos de orden cero porque no tiene cuantificadores y nada se


cuantifica. Empezamos definiendo un lenguaje L0, construido a partir de

(1) un vocabulario que consta de

- variables proposicionales: p,q, r, s

- conectivas: (negacin), (conjuncin), (disyuncin), (condicional) y (bicondicional)

- smbolos auxiliares: los parntesis, (, ).

(2) las siguientes reglas de formacin:

(2.1) Las variables proposicionales son frmulas,

(2.2) Si A y B son frmulas, entonces A, B, AB, AB, AB y AB tambin son frmulas;

(2.3) Las nicas frmulas son las construidas usando las anteriores reglas.

Con P0 denotaremos al conjunto de frmulas as definido. Identificaremos al lenguaje con el

conjunto de frmulas, es decir, L0 = P0.

Parece que por s solas las frmulas no nos dicen mucho. Necesitamos darles una interpretacin y

esto lo haremos por medio de una asignacin o funcin de interpretacin. Una interpretacin muy til

es la que nos permite tratar a las frmulas como valores de verdad, pues los valores de verdad nos

ayudan a determinar la validez de un argumento, lo cual a ti te interesa mucho.

As, el dominio de la interpretacin son las frmulas, pues es lo que queremos interpretar, y el

dominio es la coleccin de valores de verdad, denotada por 2 (esta notacin nos recuerda que

estamos con trabajando con dos valores de verdad, V y F, verdadero y falso, respectivamente). Una

funcin de interpretacin es una funcin que va de la coleccin de frmulas a los valores de verdad,

esto es, usando nuestra notacin,

: P02

Supn que tienes un fragmento P del lenguaje P0 que consta de una sola frmula, P = {p}. Ya sabes

que en lgica clsica una frmula tiene (slo) dos posibles valores de verdad, V y F. Esto quiere decir

que para cada frmula p tienes dos posibles interpretaciones 1: P2 y 2: P2, a saber:

1(p) = V 2(p) = F

Supn ahora que ese fragmento de P0 slo consta de tres frmulas, es decir, P = {p, q, r}. Entonces

una posible funcin de interpretacin para esas tres frmulas sera la siguiente:

1: P2
1(p) = V 1(q) = V 1(r) = V

Bajo esa interpretacin, las tres frmulas seran verdaderas. Otra posible interpretacin sera la

siguiente:

2: P2

2(p) = F 2(q) = F 2(r) = F

Esta es una interpretacin en la que las tres frmulas son falsas. Cuntas posibles interpretaciones

hay para esas tres frmulas? Recuerda a YX. Lo que quieres saber es cuntas interpretaciones hay de P

a 2, esto es, 2P, que podamos escribir 23, y de seguro ya sabes cuntas hay, no? Entonces el nmero

de funciones de interpretacin que tengas de un fragmento del lenguaje L0 depende tanto de los

valores de verdad como del nmero de frmulas que tenga ese fragmento del lenguaje. 2n denota

pues la coleccin de funciones de interpretacin que van de la coleccin de frmulas que tengas al

conjunto de valores de verdad. n sirve para recordar el nmero de frmulas que tienes, as que la

notacin tambin te ayuda a contar esas posibles interpretaciones. Tienes 2n posibles interpretaciones.

Ya vimos dos posibles interpretaciones para el conjunto {p. q, r} de frmulas; te servira mucho si das

las interpretaciones que faltan. Ya sabes hacerlo: nota que esto es lo que haces cuando proporcionas el

lado derecho de una tabla de verdad: cada rengln es una interpretacin posible y los 2n renglones te

dan todas las interpretaciones (renglones) posibles.

Las conectivas que ya conoces suelen denominarse veritativo-funcionales; tambin se les llama

funciones de verdad. Esto quiere decir que a las conectivas de nuestro lenguaje las interpretamos

como funciones cuyo dominio son valores de verdad (si la conectiva es unaria) o pares de valores de

verdad (si la conectiva es binaria) y cuyo resultado (o cuyo codominio) son los valores de verdad.

Nota que vamos a abusar un poco del lenguaje. Dijimos que las conectivas eran partes del vocabulario

que nos permitan formar nuevas frmulas, pero ahora vamos a usar los mismos signos para

representar a esas partes del lenguaje interpretadas como funciones de verdad. Esto no es (tan)

problemtico (pero no olvides el truco que hemos hecho!); las funciones de interpretacin nos

permiten tratar a las frmulas como valores de verdad y no slo como meras frmulas y haremos algo

similar con las conectivas. Nota tambin que, siendo funciones, las conectivas aparecern en

expresiones de la forma f(x) = y, donde f ser una conectiva, y un valor de verdad y x un valor de

verdad (si la conectiva es unaria) o un par de valores de verdad (si la conectiva es binaria).

La negacin es la funcin : 22 definida del siguiente modo:


(V) = F

(F) = V

Esto suele expresarse de manera resumida diciendo que, en la lgica clsica, la negacin cambia el

valor de verdad.

La conjuncin es la funcin : 222 denida del siguiente modo:

(V, V) = V

(V, F) = F

(F, V) = F

(F, F) = F

Recuerda que XY es un conjunto que consta de todos los pares (x, y) tales que x es un elemento de

X y y es un elemento de Y. 22 indica pues que tomas pares de valores de verdad y a ese par le asignas

un valor de verdad. En este caso, tienes un par de valores de verdad porque a cada miembro de la

conjuncin le corresponde un valor y dependiendo de cules sean sus valores ser el valor de verdad

que se le asigne a la frmula AB. La funcin conjuncin suele expresarse de manera resumida

diciendo que la conjuncin es verdadera si y slo si sus dos conyuntos son verdaderos. Otra manera

de decirlo en lgica clsica es que una conjuncin es falsa si y slo si al menos uno de los conyuntos es

falso.

La disyuncin es la funcin : 222 denida del siguiente modo:

(V, V) = V

(V, F) = V

(F, V) = V

(F, F) = F

Tambin tienes un par de valores de verdad, que corresponden a los valores de los disyuntos, y a

ese par le vas a asignar uno y slo un valor de verdad que ser el valor de la frmula AB. La funcin

disyuncin suele expresarse de manera resumida diciendo que una disyuncin es verdadera si y slo

si al menos uno de los disyuntos es verdadero. Otra manera de decirlo en la lgica clsica es que una

disyuncin es falsa si y slo sus dos disyuntos son falsos.

La implicacin es la funcin : 222 definida del siguiente modo:


(V, V) = V

(V, F) = F

(F, V) = V

(F, F) = V

Tambin tienes un par de valores de verdad, que corresponden a los valores del antecedente y del

consecuente, respectivamente, y a ese par le vas a asignar uno y slo un valor de verdad que ser el

valor de la frmula AB.

Nota que las funciones de verdad as definidas coinciden con las tablas de verdad que ya conocas.

Ya estabas trabajando con funciones entre valores de verdad y ahora conoces parte del fundamento

matemtico para lo que estabas haciendo. Te queda de tarea definir la funcin . Hazlo como lo

hemos hecho arriba para el resto de las funciones de verdad.

Podemos definir ahora a la lgica clsica como un subconjunto LC0 de las frmulas de L0, a saber,

aquellas frmulas que son verdaderas en cualquier interpretacin. Nota que LC0 es un subconjunto

propio de L0, pues hay elementos de L0 que no estn en LC0. Los elementos de LC0 suelen ser

llamados teoremas (de la lgica clsica) o incluso verdades lgicas (segn la lgica clsica, claro).

Siguiendo este ejemplo, muchas lgicas pueden definirse como subconjuntos propios de un lenguaje

dado L, a saber, el subconjunto NCL de frmulas de L que son verdaderas en cualquier interpretacin

para ese lenguaje.

Ahora que ya estoy seguro de que sabes lo que me interesaba que supieras, vamos a hablar un poco

de filosofa de la lgica analizando a qu nos comprometen estas tablas de verdad que ya bien

conoces. Pero antes, por favor ten en cuenta las siguientes advertencias. No te doy nombres ni

referencias porque s que llevas prisa. Quiero aprovechar estos minutos para que sepas qu se ha

dicho; estoy seguro de que despus podrs averiguar quin lo ha dicho. Puedes escribirme a

loisayaxsegrob@gmail.com si necesitas que te d referencias especficas. Tambin puedes escribirme si

deseas compartir alguna referencia que crees que no conozco pero debera conocer. Tambin quiero

que ests consciente de que lo que te platicar a continuacin muy probablemente no captura todos

los supuestos filosficos que hay tras las tablas de verdad clsicas y tampoco pretendo darte una lista

exhaustiva de las formas en que algunas personas han cuestionado esos supuestos; con que conozcas

algunas es suficiente por el momento. Dicho esto, pasemos a lo que Moiss podra llamar gentil y
juguetonamente una aburrida serie de falsedades.

El anlisis expuesto antes nos compromete con cierta idea de la lgica. El mero hecho de que

empecemos definiendo un lenguaje nos dice mucho de lo que haremos: es muy probable que la lgica

se trate de un estudio de cierto tipo de entidades lingsticas, no importa que sean abstractas. Ahora,

si slo pudiramos hablar de lgica cuando las funciones de interpretacin : P02 tuvieran como

codominio valores de verdad, entonces no estaramos haciendo lgica si nuestra funcin de

interpretacin : P0E fuera, por ejemplo, una cuyo codominio fuera un conjunto E de estados

elctricos (digamos, encendido y apagado) y P0 fuera pensado no como un conjunto de frmulas, sino

como un conjunto de impulsos elctricos. El primer supuesto es, pues:

(S1) La lgica trata de la evaluacin de (contrapartes formales de) argumentos (expresados en el

lenguaje ordinario).

Ahora, nota que las funciones : P02 y : P0E se parecen mucho. De hecho el dominio es el

mismo, slo que en el primer caso lo pensamos como un conjunto de frmulas, un lenguaje, y en el

segundo como un conjunto de impulsos elctricos, y por eso les asignamos diferentes codominios. 2 y

E se parecen mucho tambin: ambos son conjuntos con dos elementos. Muy groseramente, podramos

decir que estas funciones tienen la misma estructura. Algunos creen que tanto cuando estudiamos

frmulas verdaderas (para evaluar argumentos) como cuando estudiamos los impulsos elctricos

podemos hablar genuinamente de lgica por esa semejanza estructural. Algunos son partidarios de

considerar como una lgica (pura) cualquier cosa que, dicho vagamente, tenga una estructura como la

que tienen las frmulas con valores de verdad o los impulsos elctricos en un circuito. Esas estructuras

abstractas luego se especificaran de diferentes maneras. Por ejemplo, tendramos una lgica aplicada

cuando a una de esas estructuras la interpretamos de cierta manera, por ejemplo, como impulsos

elctricos en un circuito. Finalmente, tendramos una lgica aplicada cannicamente cuando

interpretamos una de esas estructuras como un modo de evaluar argumentos por medio de las

combinaciones de valores de verdad de ciertas frmulas. Creemos que de este modo podemos hacer

justicia tanto al origen del estudio de la lgica (que empez como el estudio de estructuras lgicas

aplicadas cannicamente) como a lo que hoy muchos filsofos y matemticos estudian tambin bajo el

nombre lgica. Nota que este enfoque est inspirado en lo que ha pasado en otras reas del

conocimiento, como la geometra y la aritmtica, que podramos decir que empezaron como estudios

de aplicacin cannica de cierta estructura (por ejemplo, la medicin de las tierras de cultivo en
Egipto, en el caso de la geometra) y luego desarrollaron versiones puras, de las cuales se reconocen

varias aplicaciones, no slo las cannicas.

Ese quiz fue el asunto ms controversial. De hecho, es el tema de saber qu es una lgica, lo cual

no es poca cosa. Hay asuntos relativamente menos controversiales, en el sentido de que no

presuponen la adopcin de las distinciones que he esbozado arriba. Surgen incluso aceptando que

slo cuenta como lgica aquello que hacemos cuando estamos estudiando la verdad y la falsedad de

las frmulas para evaluar argumentos. El primer asunto del que quiero hablarte, quiz el ms obvio,

es que el postulado de que el codominio de las funciones de interpretacin es 2 es una manera de decir

que

(S2) Hay dos y slo dos valores de verdad.

Hay gente que cree que esto es incorrecto. Hay gente que dice, por ejemplo, que oraciones acerca

del futuro como Alemania ganar la Eurocopa de 2012 no son verdaderas ni falsas. Esto puede ser

por dos razones: O bien creen que la realidad es tal que el valor de verdad de ese tipo de oraciones es

ms bien indeterminado y slo hasta que llegue el momento indicado de 2012 adquirirn alguno de

los otros dos valores de verdad, o bien consideran que la atribucin de valor de verdad de una oracin

est ntimamente ligada a su verificacin o prueba. De este modo, sea la realidad como sea, no

habiendo manera de verificar si esas oraciones son verdaderas o falsas, les ha de corresponder un

valor de verdad diferente. Estos ltimos tambin sostendran algo similar respecto a ciertas oraciones

acerca del pasado. Aunque el pasado fuera fijo, no habiendo modo de verificar si Hace 300 mil

millones de segundos cayeron 899 gotas de agua en el terreno que hoy comprende la casa de mis

padres en Durango es verdadero o falso, ha de considerarse que tiene otro valor de verdad. Hay

muchas otras propuestas para expandir el nmero de valores de verdad provenientes de los estudios

sobre la vaguedad, la modalidad, la fsica cuntica o la matemtica, por mencionar algunos. Pero, si se

ha intentado expandir el nmero de valores, no sera posible tambin reducirlo? Qu tal si slo

hubiera un valor de verdad? Tambin hay gente estudiando esta posibilidad. No te digo ms porque

todava no entiendo bien la propuesta y no s ponerla en palabras ms o menos sencillas, o por lo

menos en trminos que slo requieran las nociones que ya te he definido.

Ahora, la mismsima nocin de funcin nos compromete con dos cosas. Recuerda que la primera

propiedad de una funcin es

(f1) A todo elemento del dominio le corresponde un elemento del codominio.


lo que en trminos de funciones como : P02 quiere decir que

(S3) toda frmula tiene un valor de verdad.

Pero esto tambin es debatible. Hay quienes sostienen que oraciones acerca del futuro como

Alemania ganar la Eurocopa de 2012 en realidad carecen de valor de verdad, esto es, a la frmula p

con la que representramos la oracin anterior no debera corresponderle valor de verdad alguno.

Algunos estudiosos de las oraciones paradjicas tambin han rechazado este supuesto. Por ejemplo,

supongamos que Esta oracin es falsa tiene un valor de verdad. (Por simplicidad asumir que slo

hay dos valores, pero el problema tambin aparece en contextos con ms de dos valores de verdad.) Si

fuera verdadera, entonces lo que dira es correcto, esto es, sera verdad que es falsa. De ah que, si es

verdadera, entonces es falsa. Supongamos mejor que es falsa. Entonces lo que dice no es correcto, no

es falsa, entonces es verdadera. De ah que si es falsa entonces es verdadera. Por lo que concluimos

antes, podemos decir que es Esta oracin es falsa es verdadera si y slo si es falsa. Pero la conclusin

es aberrante: del supuesto de que la oracin Esta oracin es falsa tena un valor de verdad,

concluimos que tendra dos, que es verdadera y falsa. Entonces habra que rechazar el supuesto de

que ese tipo de oraciones tiene algn valor de verdad.

La segunda propiedad de una funcin,

(f2) A todo elemento del dominio le corresponde slo un elemento del codominio

tambin tiene sus bemoles. En trminos de funciones como : P02, (f2) quiere decir que

(S4) Toda frmula tiene a lo sumo un valor de verdad.

aunque este ha sido uno de los supuestos menos debatidos, tambin ha encontrado sus detractores.

Como vimos, el que una oracin paradjica adquiriera dos valores de verdad fue considerado una

razn suficiente para no asignarles valor de verdad alguno. Otros estudiosos de las oraciones

paradjicas han optado por rechazar el supuesto (S4) antes que (S3); esto es, sostienen que dichas

oraciones son a la vez verdaderas y falsas, que tienen ms de un valor de verdad. En general,

argumentan que en algunos razonamientos en los que se concluyen afirmaciones paradjicas, siendo

las premisas y los principios de inferencia tan intuitivos, habran de aceptarse sin ms sus

conclusiones, esto es, que Esta oracin es falsa si y slo si es verdadera o que Hay un conjunto que

es miembro de s mismo si y slo si es verdadero y es falso que es miembro de s mismo.

Sin embargo, trabajar con funciones simplifica mucho las cosas en lgica, de ah que quienes
rechazan los supuestos (S3) o (S4) traten no obstante de presentar sus propuestas usando funciones.

Un modo de hacer esto es introduciendo elementos en el codominio de las funciones : P02. Esos

elementos adicionales representaran vacos o huecos (gaps) en los valores de verdad, para

quienes rechazan (S3), y aglutinamientos o amontonamientos (gluts) de valores de verdad para lo

que rechazan (S4). Por supuesto, tambin hay quienes rechazan al mismo tiempo (S3) y (S4).

Cuando definimos la lgica clsica dijimos que LC0 es un subconjunto propio de las frmulas de

L0, a saber, aquellas frmulas que son verdaderas en cualquier interpretacin. Tambin dijimos que

muchas otras lgicas podan definirse del mismo modo, a saber, como subconjuntos propios de un

lenguaje dado L, a saber, el subconjunto de frmulas de que L son verdaderas en cualquier

interpretacin. Sin importar si slo una de las lgicas definidas de ese modo es una lgica genuina, o

si todas lo son pero no todas son correctas, la definicin coincide muy bien con la intuicin de que

(S5) No todas las oraciones son verdaderas (falsas) en cualquier caso

Decimos que hay oraciones que son verdaderas (Luis Estrada Gonzlez escribi este texto), otras

que son falsas (l se aburri mucho mientras lo escriba); hay otras que, segn la lgica clsica,

seran verdaderas en cualquier caso (Luis escribi este texto o Luis no escribi este texto) y otras que

seran falsas en cualquier caso (Luis escribi este texto y Luis no escribi este texto). A muy pocos

filsofos se les ha ocurrido disputar este supuesto, pero los hay. Los trivialistas lgicos creen que todas

las oraciones son verdaderas. Los nihilistas lgicos creen que ninguna oracin es verdadera. Habra

varias versiones del nihilismo lgico, a saber, los que creen que ninguna oracin es verdadera porque

todas son falsas, lo que creen que ninguna tiene valor de verdad, lo que creen que slo algunas tienen

valor de verdad pero que todas ellas son falsas, etc. Tambin podramos encontrar varias versiones del

trivialista lgico si lo definimos como alguien que cree que no todo es falso: estaran los que creen que

ninguna oracin es falsa porque todas son verdaderas, lo que creen que ninguna tiene valor de

verdad, lo que creen que slo algunas tienen valor de verdad pero todas ellas son verdaderas, etc. Un

argumento trivialista, puesto de una manera muy esquemtica, es el siguiente:

P1. Esta oracin es falsa es una oracin del castellano.

P2. La lgica (aplicada cannicamente) correcta es la lgica clsica.

P3. Como ya vimos, Esta oracin es falsa es verdadera si y slo si es falsa.

P4. Entonces tenemos Esta oracin es falsa y No es el caso que esta oracin sea falsa.
P5. Pero de una frmula de la forma p y no-p se sigue cualquier otra frmula, por P2.

C. Por tanto, todas las oraciones del castellano son verdaderas.

No estoy seguro de que quien propuso este argumento deba ser considerado un trivialista. Cuando

lo propuso por primera vez, pareca que s lo era. Aos despus, parece que quiso decir que la

conclusin correcta es que no es posible definir la nocin de verdad en lenguajes ordinarios. Ahora t

trata de imaginar argumentos nihilistas. Estoy seguro de que en tu paso por la filosofa encontrars

varios.

Nota que lo anterior tambin te ayudar a percatarte de detalles como las siguientes. El principio

de bivalencia suele expresarse del siguiente modo, que llamar

Principio de bivalencia chabacano: Toda proposicin es o verdadera o falsa.

puesto que es en realidad una combinacin de dos principios:

El principio de bivalencia: Hay dos y slo dos valores de verdad, verdadero y falso.

El principio de funcionalidad: A toda proposicin le corresponde un y slo un valor de verdad.

Puede haber entonces varias crticas al principio de bivalencia chabacano, sea que se ataque el

principio de bivalencia o el principio de funcionalidad.

El asunto es peor cuando la gente llama principio de bivalencia a(l hecho de que sea teorema) la

frmula pp. El principio de bivalencia y la teoremicidad de esa frmula son independientes.

Alguien puede sostener que hay slo dos valores de verdad, pero creer que pp no es teorema.

Cmo? Diciendo que p no tiene valor de verdad (es decir, niega al menos parte del principio de

funcionalidad) y que p tampoco (o puede establecer que si una frmula no tiene valor de verdad

entonces su negacin es falsa). En este caso la disyuncin no podra ser verdadera: para que lo sea al

menos uno de los disyuntos debe ser verdadero, pero ninguno lo es.

Ahora, alguien puede sostener que pp es teorema sin aceptar el principio de bivalencia. Puede

decir que hay un valor adicional, denotado #. Puede decir tambin que una frmula es falsa si y slo

si la frmula original es verdadera, y que es verdadera en cualquier otro caso. Claramente, en los casos

en los que p es verdadera o p es falsa, la asignacin de valor de verdad ser como en la lgica clsica.

Si p tiene el valor #, p es verdadera. Pero como alguno de los dos disyuntos es verdadero, pp

tambin lo es. De este modo, el principio de bivalencia y el que pp sea un teorema son asuntos

independientes.
Finalmente, una observacin pedaggico-metodolgica, o una sugerencia para cuando t ensees

lgica, si quieres llamarla as. Los cursos de lgica empiezan con las tablas de verdad basadas en las

funciones porque es un aparato muy simple que tiene no obstante una capacidad muy grande para

ayudarte en lo que te interesa, evaluar argumentos. Sin embargo, no toda la gente cree que sea una

herramienta perfecta. Pese a lo perfectamente escogidos que estn los ejemplos para que todo

funcione, los mismos lgicos clsicos te urgirn a aprender lgica de primer orden lo antes posible.

Pero ya vimos que quiz sea necesario que tambin recurras a las lgicas no clsicas. Vistas desde su

fundamento matemtico, no es necesario que la gente aprenda primero lgica clsica de orden cero,

luego rdenes superiores y luego lgicas de orden cero con modalidades o con otras caractersticas.

Bien se puede empezar a ensear lgica estudiando lgica modal clsica de orden cero o lgica de

primer orden y luego obtener la lgica clsica de orden cero como un fragmento de esas lgicas. O

bien puedes empezar con la lgica intuicionista y luego obtener la lgica clsica como un caso especial

en el que vale adems la frmula ; qu s yo. La primera impresin difcilmente se olvida, as que

yo tratara de que los alumnos adquirieran primero el gusto por, y la habilidad en, el uso de

herramientas formales en su labor filosfica, antes de presentarles una lgica como la mejor o la

correcta. De hecho, espero que usen esas herramientas formales para abordar problemas como del si

hay una sola lgica correcta y cul sera sta. No quiero filsofos cuyo argumento empiece as: La

lgica clsica es la correcta y es el proponente de una lgica no clsica el que tiene la carga de la

prueba. Todas las lgicas (aplicadas o aplicadas cannicamente) tienen que dar sus razones. En

principio, la lgica clsica slo tiene la ventaja de sernos la ms familiar, y es por eso mismo que

siempre que podamos debemos someterla a un escrutinio detallado.

No fue tan difcil, o s? Espero que ahora s me creas que, si conoces las tablas de verdad y su

fundamento matemtico en la nocin de funcin, puedes introducirte de manera ms sencilla al

estudio de las lgicas no clsicas y sus filosofas. No tienes que esperarte a haber tomado 500 cursos

de lgica clsica, o de lgicas todava muy parecidas a ella, para luego poder empezar a estudiar estos

otros temas, si puedes hacerlo desde que aprendes las tablas de verdad en la primera semana del

curso de Lgica I. Ojo: Lo ideal es que tomes el resto de Lgica I y los otros 499 cursos de lgica. Ahora

que ya sabes que hay mucha filosofa escondida hasta en los lugares ms insospechados y

aparentemente aburridos, esos otros cursos seguramente te servirn para aprender muchas ms cosas,

para ejercitar tu detector de supuestos y para adentrarte en otras discusiones, probablemente ms


interesantes y complejas. Piensa que si toda esta filosofa sali de las tablas de verdad, qu pasar

cuando empieces a estudiar lgica clsica modal de segundo orden? Bienvenido entonces. Espero

verte de nuevo por aqu.