Beruflich Dokumente
Kultur Dokumente
PRLOGO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INTRODUCCIN . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Naturaleza del saber lgico; nocin de verdad lgica
2. Consideraciones sucintas sobre filosofa de la lgica
3. Razn y cometido de la notacin simblica . . . . . .
4. Lgica y lgicas . . . . . . . . . . . . . . . . . . . . .
5. Se justifica el monopolio docente de la lgica
clsica? . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Motivaciones filosficas del sistema aqu propuesto
7. Aclaracin de algunas nociones . . . . . . . . . . . .
5
5
6
9
10
12
16
18
SECCIN I
EL CLCULO SENTENCIAL Aj
Captulo 1. SMBOLOS BSICOS DEL SISTEMA, Y LECTURAS DE LOS
MISMOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
Captulo 2. ESQUEMAS AXIOMTICOS Y REGLAS DE INFERENCIA .
26
27
. . . . . . . . . . . . .
ALGUNOS
PRINCIPIOS
FUNDAMENTALES
SOBRE
LA
. . . . . . . . . . . . . . . . . . . . . . . . . .
34
. .
46
67
70
. . . . . . .
75
ii
. . . . . . . . . . . . . . . .
79
. . . . . . . . . . .
89
. . . . . . . .
101
105
111
Captulo
20.
CONJUNTAS, S
114
EL
FUNCTOR
DE
AFIRMACIN
NEGACIN
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . .
116
121
Captulo 23. LO INFINITESIMALMENTE REAL; GENERALIZACIN ULTERIOR DE LA SUSTITUIBILIDAD DE LOS EQUIVALENTES . . . . . . 125
Captulo 24. LO VERDADERO EN TODOS LOS ASPECTOS . . . . . .
130
134
Aj
como
sistema
. . . . . . . . . . .
139
143
5.
Comentarios
puntualizaciones
sobre
los
iii
resultados precedentes . . . . . . . . . . . . . . . . . . .
148
SECCIN II
EL CLCULO CUANTIFICACIONAL Aq
Captulo 0. ESCLARECIMIENTO DE LA NOCIN DE CLCULO
CUANTIFICACIONAL Y CONTRASTE DEL MISMO CON EL VIEJO ENFOQUE
SILOGSTICO . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Captulo 1. DILUCIDACIN DE LA NOCIN DE VARIABLE Y DE LA
RELACIN ENTRE VARIABLES Y CUANTIFICADORES . . . . . . . . 154
Captulo 2. ACLARACIN DE LAS NOCIONES DE VARIABLE LIBRE Y
VARIABLE LIGADA . . . . . . . . . . . . . . . . . . . . . . . . . 155
Captulo 3. OTRAS LECTURAS DE LOS CUANTIFICADORES Y
RELACIONES ENTRE AMBOS . . . . . . . . . . . . . . . . . . . . 157
Captulo 4. VARIACIN ALFABTICA . . . . . . . . . . . . . . .
158
160
. . . . . . . . . . . . .
163
178
. . . . . .
180
iv
182
207
208
. . . . . . . . . .
Captulo 3.
EL
FONDO
CONSTRUCTIVISTA
DE
LA
TEORA
RUSSELLIANA . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
Captulo 4. LA TEORA RAMIFICADA DE TIPOS
. . . . . . . . .
213
. . . . . . . . .
215
217
QUINE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
227
. . . . . . . . . . . . . . .
257
267
vi
. . . . . . . . . . . . . . . . . . . . . . . . . . .
293
. . .
312
. . . . . . .
314
BIBLIOGRAFA . . . . . . . . . . . . . . . . . . . . . . . . . . . .
315
NDICE
319
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
PRLOGO
Otro punto que merece mencin es el uso de las esquinas y , que fue
inaugurado por Quine. Los detalles tcnicos de en qu consiste tal uso no
parece necesario exponerlos aqu, pero baste sealar que se colocan entre
esquinas expresiones que son utilizadas como esquemas, o sea: al encerrarse
entre esquinas un smbolo, no se est citando exactamente el smbolo que figura
entre las esquinas, sino que se est citado implcitamente una expresin
cualquiera de cierto tipo. Informalmente pueden usarse las comillas dobles
angulares (izquierdas y derechas) como esquinas, all donde se usan palabras
de la lengua natural: p slo si q equivaldr, pues, a pq . En cambio, las
comillas simples se usan para citar la expresin que entre ellas aparece. En
ocasiones, sin embargo, relajaremos el uso de comillas y podremos prescindir
de ellas, sobreentendindolas si hace falta a fin de no sobrecargar la
exposicin de ciertas consideraciones anejas a determinados esquemas
teoremticos.
He utilizado algunas abreviaturas en este libro cuyo significado es preciso
aclarar. Hlas aqu:
fbf abrevia a: frmula bien formada; ssi abrevia a: si, y slo si;
e.d. abrevia a: es decir; e.e. abrevia a: esto es; R.C. abrevia a:
Rechazo de la Contradiccin.
He de decir aqu unas pocas palabras ms sobre la relacin entre el presente
libro y la ya citada INLONOCL. En dicho opsculo a la hora de proponerlo al
editor inclu ciertos fragmentos inicialmente escritos para la presente obra.
Por eso y por varias razones ms, quien inicie la lectura del presente libro
habiendo ledo previamente INLONOCL abordar tal estudio mucho mejor equipado.
Sin ser imprescindible ni mucho menos, la consulta previa de INLONOCL s es,
pues, recomendable. Aunque por otra parte tambin es cierto que un estudio del
presente libro capacita mejor para un estudio ms en profundidad de INLONOCL,
que tiene algunos captulos finales un poco difciles (p.ej. sobre modelos
algebraicos). En comparacin con esos desarrollos, la mayor parte del texto
aqu ofrecido es muy fcil.
He de recalcar lo muchsimo que se ha beneficiado el trabajo investigativo
plasmado en estas pginas de la estimulante colaboracin del Prof. Fernando
Marcelo Vsconez Carrasco (de la Pontificia Universidad Catlica del Ecuador),
quien no slo detect una serie de errores en la versin manuscrita, sino que
adems me sugiri un montn de mejoras en las pruebas de la Seccin I
(inventando atajos demostrativos). A l y a cuantos han ayudado a mi labor
investigativa expreso mi afectuosa gratitud. Ante todo, he de mencionar entre
ellos a Newton da Costa, de quien no sin motivos hondos me considero discpulo,
ya que l inaugur el actual desarrollo de las lgicas paraconsistentes. Y por
sus observaciones a varios de mis estudios lgicos, de las cuales se ha
beneficiado la reelaboracin final del presente libro a Jos Manuel Mndez
(Universidad de Salamanca), Katalin Havas (de la Academia de Ciencias de
Hungra), Francisco Mir Quesada (Universidad de Lima), Diderik Batens
(Universidad de Gante), Henri Lauener (Universidad de Berna), Igor Urbas y
Richard Sylvan (Universidad Nacional Australiana, en Canberra), Graham Priest
(Universidad de Brisbane), Manuel Liz (Universidad de La Laguna), Ral Orayen
y Raymundo Morado (UNAM [Universidad Nacional Autnoma de Mxico]) y Marcelo
Dascal (Universidad de Tel Aviv). A W.V.O. Quine dbole sus valiosos
comentarios a un trabajo indito mo en el cual se perfilaban varios puntos
que ahora aparecen reelaborados en la Seccin IV de este libro as como el
intercambio de opiniones que tuvimos en Saint Louis (Missouri) en abril de 1988
un intercambio muy esclarecedor para m, y del cual han sacado ventaja algunas
de las las argumentaciones contenidas en la Seccin III. Quiero agradecer
asimismo a Francisco Salto Alemany (Universidad de Salamanca) sus crticas a
una versin anterior de parte del contenido de la Seccin III de este libro.
La organizacin del presente libro es la siguiente. La Seccin I expone el
INTRODUCCIN
10
11
4. Lgica y lgicas
Al igual que sucede en cualquier otra disciplina filosfica, en la lgica
nos encontramos con la existencia de numerosos sistemas alternativos, a favor
de cada uno de los cuales cabe esgrimir argumentos ms o menos convincentes,
no sucediendo ni que alguno de tales sistemas sea, obvia e irrefragablemente,
el verdadero, ni tampoco que alguno de ellos est indiscutiblemente errado y
se pueda rechazar de entrada, sin examen atento de los argumentos que militen
en su favor.
Claro est, al igual que ningn expositor de una disciplina como la tica,
p.ej., compendiar en un solo texto, o en un solo curso, todos los sistemas de
filosofa moral, tampoco ningn autor de un texto de lgica, ni ningn profesor
de lgica en un curso determinado, pretender examinar todos los sistemas
lgicos alternativos. En cualquier exposicin se limita uno a hacer una
seleccin en virtud de ciertos criterios, que nunca son incuestionables, y que
dependen siempre de cul sea el horizonte de inteleccin del seleccionante,
y se lleva a cabo la exposicin de tal modo que se consideran, con mayor o
menor detalle, los sistemas seleccionados, presentndose argumentos a favor y
en contra de los mismos, o, por lo menos, presentndose la alternativa entre
ellos como una lontananza abierta a la opcin filosfica no arbitraria.
Por supuesto, el tratamiento de una materia filosfica sistemtica, escrito
o verbal, ha de ser un tratamiento sistemtico (un enfoque histrico
pormenorizado de una disciplina filosfica sistemtica puede ser muy provechoso
cuando se dispone de mucho tiempo, como auxiliar del enfoque sistemtico).
Por ello, la exposicin no puede entrar en los detalles de los diversos
sistemas contemplados, sino que se debe centrar en unos cuantos, y quiz en uno
en particular acaso el propuesto por el autor, aunque siempre de modo
crtico, no dogmtico, siempre en discusin argumentativa con posiciones
alternativas, siempre examinando algunas dificultades de la posicin que se
est defendiendo, o que se est exponiendo de modo axial, y sealndose tambin
argumentos que permitan, ya sea superar esas dificultades, ya sea considerarlas
como secundarias.
Ensear filosofa sistemtica es ensear a filosofar, a razonar en torno a
12
13
clsico ha de ser clsica. Tal error fue refutado por Rescher al probar lo
contrario, hace ya un cuarto de siglo. La lgica clsica puede ser metalgica
en que se presenten o fundamenten sistemas lgicos no clsicos. Pero muchos
sistemas no-clsicos pueden establecerse y fundarse en una metateora
articulada segn patrones de sistemas no-clsicos (el mismo que se est
fundando u otro, aunque no cualquier otro). Es ms: la lgica clsica puede ser
establecida y fundada por medio de metateoras articuladas segn patrones de
ciertas lgicas no-clsicas.
Si la lgica clsica no es tericamente ms fundamental ni ms importante
que otras lgicas, si no goza, con respecto a ellas, de ningn privilegio
epistemolgicamente legtimo, tampoco es cierto, por otra parte, que la lgica
clsica sea ms clara o ms fcil de adquirir y que, por tal razn, deba ser
enseada antes de una toma de contacto con otros sistemas de lgica. No!
Porque, si bien la lgica clsica es ms simple que ciertas lgicas no-clsicas
en algn sentido por lo menos, tal simplicidad se logra a costa de una brutal
uniformizacin a lo Procrusto, que conlleva el sacrificio de matices y que no
puede por menos de chocar con la inteleccin espontnea de las cosas que tienen
los estudiantes antes de que el trago amargo de la regimentacin clsica los
haya hecho insensibles a esos matices del ms y del menos. As, es o ilusoria
o, en el mejor de los casos, relativa no ms la supuesta ventaja pedaggica que
tendra el iniciar a los estudiantes en lgica a travs de una fase inicial en
que slo se viera lgica clsica ; si en algn aspecto se da, en otros
aspectos, ms decisivos, ms importantes para la madurez intelectual del
estudiante, es lo contrario lo que sucede.
As pues, ensear clculo sentencial no es ensear slo un nico sistema de
clculo sentencial (sea el clsico u otro cualquiera); y ensear clculo
cuantificacional no es lo mismo que ensear un nico y particular sistema de
clculo cuantificacional. Ensear una sola lgica no es ensear lgica (o no
es un modo satisfactorio de ensear lgica).
Por todas esas razones, no cabe entender un curso de lgica como un
adiestramiento o aprendizaje meramente tcnico algo as como el hacerse la
mano en obras de ebanistera, realizable apresuradamente, en un corto lapso,
y que proporcione, unilateralmente, instrumentos incuestionables para un
razonar que slo despus, y valindose de ellos, va a poder efectuarse. (La
broma de Hegel sobre la fisiologa que ayudara a hacer la digestin no est
del todo desplazada frente a enfoques de la lgica de tal simplicidad.) Los
instrumentos lgicos son plurales, se agrupan en sistemas diversos y
alternativos, debiendo la opcin entre ellos ser razonada, y adoptada en
funcin del propio horizonte de inteleccin, de la manera bsica que se tenga
de ver el mundo. Para adoptar una lgica hay que saber razonar (eso no impide
que la propia reflexin sobre la lgica, sobre a qu compromete la adopcin de
una lgica en vez de la de otras, ayude a mejor razonar). Y hay que razonar de
tal modo que se puedan alegar motivos a favor de la adopcin en cuestin
motivos metafsicos, en ltima instancia.
14
sistemas de lgica.
Tomemos un sistema de lgica, S, y sanos dado otro sistema, S. Pueden
ocurrir las siguientes situaciones: 1) que cada teorema de S sea un teorema
tambin de S, y cada regla de inferencia de S sea una regla de inferencia de
S, pero no a la inversa (si ocurre tambin lo inverso, es que S y S son el
mismo sistema); 2) que S contenga teoremas, o reglas de inferencia, que S no
contiene, y viceversa; 3) la situacin inversa de la primera. La diferencia
entre la 1 y la 3 es secundaria (una inversin de los papeles de S y S). En
la primera situacin, S es una extensin estricta de S, mientras que, en la
segunda situacin, ninguno de los sistemas es una extensin del otro.
(El cuadro se complicara si introdujramos otros criterios y elementos de
juicio, adems de los teoremas de los enunciados reconocidos como verdaderos
y de las reglas de inferencia de las reglas entronizadas como preservadoras
de la verdad; p.ej., si tuviramos en cuenta qu secuentes aceptan los diversos
sistemas, siendo un secuente una serie de inferencias, tales que, si todas
salvo la ltima son vlidas, tambin es vlida la ltima. Pero ms vale dejar
aqu de lado esas complicaciones; he tratado en detalle esos problemas en otro
lugar.) Diremos que dos sistemas que se encuentran en la situacin 2 son
rivales, mientras que dos sistemas que se encuentran en la situacin 1 (o en
la 3) el uno con respecto del otro son alternativos sin ser, exactamente,
rivales.
La primera situacin se da entre muchas lgicas no-clsicas, que ocupan el
lugar de S, y la lgica clsica que, en ese caso, ocupa el lugar de S la
cual es ms fuerte que ellas, en el sentido de que entroniza, adems de todos
los teoremas y reglas de inferencia de cada una de esas otras lgicas, otros
teoremas y otras reglas que no son entronizados por esas otras lgicas. Podran
decir los adeptos de alguna de esas otras lgicas ms dbiles que la lgica que
ellos defienden es la lgica por antonomasia, siendo, en cambio, la lgica
clsica ms discutible, ms sujeta a controversia; porque diran los teoremas
que la lgica clsica entroniza y que no estn entronizados por la lgica que
ellos propugnan son hiptesis respetables pero carentes de evidencia, o incluso
diran algunos evidentemente incorrectas, en algunos casos o para algunas
instancias o aplicaciones. No me adhiero yo a tal argumento, pero s creo que
quienes lo esgrimen pueden acogerse a motivos que no son desechables as de
entrada, y sin cuidadosa discusin.
Ahora bien, la misma situacin la primera es la que se da entre la lgica
clsica, ocupando el lugar de S, y otras lgicas no clsicas (p.ej., la que
vamos a desarrollar en estos Rudimentos), las cuales ocupan, en ese caso, el
lugar de S. Estas otras lgicas son ms fuertes que la clsica, son
extensiones estrictas de la lgica clsica. Mas, entonces, dnde est la
incompatibilidad o alternatividad entre esas lgicas y la lgica clsica? No
cabe ver a esas otras lgicas, despus de todo, como la propia lgica clsica
ampliada? Porque la lgica clsica puede ser ampliada; p.ej., hay extensiones,
o ampliaciones de la lgica clsica, tales como lgicas modales (en las cuales
entra como expresin lgica la palabra posiblemente), doxsticas (en las que
figura como expresin lgica la palabra opinar), temporales, denticas, etc.
No se ve en qu sean esas lgicas alternativas a la lgica clsica, si toman
como base a la lgica clsica y la amplan introduciendo, como expresiones
lgicas, palabras que no figuran ni en el clculo sentencial ni en el
cuantificacional.
La diferencia entre ese tipo de extensiones de la lgica clsica y aquellas
extensiones que, pese a ser tales, son alternativas con respecto a la lgica
clsica es doble. Por un lado, en el caso de estas ltimas lgicas, aunque se
respetan todos los teoremas y reglas de inferencia de la lgica clsica en su
notacin simblica no conservan la misma lectura que se vena dando que venan
dando todos los adeptos de la lgica clsica, sin excepcin de algunos de los
15
16
17
como fuere, no hay nada que haga sacrosanta a la lgica clsica y, si sus
adeptos tienen motivos para aferrarse a ella, los partidarios de sistemas
alternativos poseen tambin razones, algunas de ellas de lo ms convincentes,
para propugnar un sistema no clsico de lgica.
Por otro lado, el injustificable prejuicio de considerar, sin ms y como sin
necesidad de justificacin o argumentacin, a la lgica clsica como la
lgica, prejuicio que tiene como cualquier otro sus causas, es de la misma
ndole que tantos otros prejuicios que han retrasado a lo largo de la historia
de la investigacin, ya nuevos descubrimientos, ya an ms a menudo, tal vez
la difusin y admisin de los mismos. Durante siglos fueron la fsica
aristotlica y la astronoma ptolemaica las que ejercieron un monopolio
agresivo e intolerante. Hoy sabemos que una fsica no aristotlica y una
astronoma no ptolemaica son, por lo menos, tan respetables, y probablemente
ms respetables. Luego, frente a las geometras no eucldeas, se quiso mantener
la indiscutibilidad de la geometra eucldea como la nica que podra
considerarse como candidato aceptable al ttulo de verdadera e.d., de reflejo
de la realidad objetiva. Einstein arruin ese prejuicio; pero desde luego, como
sus teoras no son indiscutibles ni han logrado, ni siquiera con el transcurso
de tantos decenios, la unanimidad de los investigadores de ese campo, siguen
siendo defendibles diversas hiptesis sobre cul sea la geometra verdadera.
En filosofa, durante mucho tiempo fue el sistema aristotlico el que
ejerci un monopolio altivo e intransigente, y cost lo que cost el lograr que
pudieran ensearse en las universidades sistemas filosficos antiaristotlicos.
Muchas vidas acadmicas fueron quebrantadas, muchos filsofos ilustres
apartados de la enseanza universitaria por aquel oprobioso privilegio del
aristotelismo. Y de eso no hace mil aos.
En la enseanza de la lgica, el monopolio sigue estando ocupado por una
lgica a la que tambin cabe llamar aristotlica; son aristotlicos tanto la
lgica griega y medieval exceptuado el programa (de ah no pas) de Nicols
de Cusa como el sistema de lgica matemtica creado por Frege y canonizado por
Russell en los Principia Mathematica y que ha encontrado ms agradables
exposiciones en obras de otros autores, particularmente en la de Quine. Porque
es aristotlica una lgica que contiene un solo smbolo de negacin y que es
tal que, de un par de premisas cualesquiera con tal de que una de ellas sea
(la) negacin de la otra, permite inferir cualquier conclusin, por ms absurda
que sea (eso es lo que se llama regla de Cornubia o, ms comnmente, regla
de Escoto, por haberla formulado un autor medieval cuyo libro fue,
equivocadamente, atribuido a Duns Escoto; sin embargo, al parecer el primero
en enunciarla haba sido Juan de Cornubia). Con otras palabras: una lgica es
aristotlica si prohibe tajantemente la contradiccin so pena de incoherencia
total. Es respetable, y humanamente comprensible, la actitud de quienes siguen
aferrados a la lgica clsica. Pero que quieran imponer el monopolio de su
lgica sin siquiera tomarse la molestia de elaborar argumentos, como si ese
monopolio cayera por su propio peso, eso es lo que parece poco atinado, y hasta
puede ser mirado por los partidarios de otras lgicas como una alcaldada
cometida al socaire de una posicin de fuerza conquistada en el mejor de los
casos en lucha desigual o, ms bien, impuesta arbitrariamente desde arriba,
digamos que por atavismo. As, quienes profesan una lgica no clsica se ven
frente a un muro, casi como aquellos a quienes, en otros tiempos, no muy
lejanos, estbales prohibido no ya por las autoridades, sino por los
portavoces
pblicamente
reconocidos
de
la
comunidad
cientfica
o
universitaria preponderante ensear en la ctedra, o mediante publicaciones,
la circulacin de la sangre, o el heliocentrismo o poco ha la evolucin de
las especies; aun sin las prohibiciones oficiales, podanse yugular esas
teoras: un investigador que entregaba, a una editorial, un libro en el cual
sustentara una de ellas vera seguramente rechazada la publicacin de su obra
18
19
20
21
SECCIN I
EL
CLCULO SENTENCIAL
REGLAS
DE FORMACIN
1. El smbolo a es una fbf
2. Si p y q son fbfs, tambin lo son Hp , Bp , pq , pq y pIq .
Las lecturas de los seis smbolos primitivos son las siguientes:
a se lee: (Existe) lo infinitesimalmente real = (Existe lo infinitesimalmente
verdadero = (Existe) el grado nfimo de verdad (=de realidad) = (Existe) lo
un s es no verdadero o real.
Hp se lee: Es totalmente (=enteramente = completamente = plenamente = de todo
punto = ciento por ciento) verdad (=cierto) que p.
Bp se lee: Es afirmable con verdad que p = Es realmente (=verdaderamente)
cierto que p = Es un hecho genuinamente real que p.
pq se lee: No slo p, sino que tambin q = p as como q.
pq se lee: Ni p ni q.
pIq se lee: Se da equivalencia entre el hecho de que p y el de que q = El
hecho de que p equivale al hecho de que q = El hecho de que p y el hecho de
que q se implican mutuamente = Es (exactamente) tan verdad que p como que
q. Que sea verdad que p equivale a que sea verdad que q = que suceda que p
equivale a que suceda que q = El ser verdad que p equivale al ser verdad que
q, etc. (Por comodidad, lase: p equivale a q.)
24
df17
df19
df21
df23
df25
df27
df29
df31
df33
df35
p\q eq pq(qp)
np eq p
df20
pGq eq B(pq)
p q eq pq.qp
p=q eq b(pIq)
pq eq B(pq)
pRq eq fpfq
p q eq (p=q)
pQq eq PpPq
Jp eq Bp
df18 eq Na
mp eq NnNp
df22 Kp eq NXNp
df24 Yp eq pIap
df26 fp eq Ypp
df28 Pp eq Npp&p
df30 p eq np\p&fSp
df32
p eq PpPNp
df34 bp eq Npa&p
df36 pMq eq PpPq
Clculo sentencial
25
26
Clculo sentencial
27
esenciales son las de los seis signos primitivos que nos hemos dado o de
cualesquiera signos definidos a partir de ellos. (Sobre la nocin de
ocurrencia esencial, vase lo dicho en la Introduccin de este libro.)
De todos modos, el lector que lo desee puede prescindir de ejercitarse en
la lectura de los axiomas, de momento, pues ya se ir ejercitando en ella a
medida que vayamos presentando las pruebas de teoremas; y, entonces, poco a
poco, irn entrando en escena los diversos axiomas, segn vaya conviniendo. Y
lo que as va a ser indispensable es que el lector se vaya ejercitando en la
lectura y comprensin de los teoremas.
REGLAS DE INFERENCIA
Las dos nicas reglas de inferencia que nos damos son el modus ponens y la
regla de afirmabilidad; a la primera la llamamos rinf01 y a la segunda
rinf02:
rinf01 p , pq
q
rinf02 p
Bp
Voy a explicar la regla rinf01: supongamos que afirmamos el enunciado p ;
supongamos, adems, que tambin afirmamos p slo si q; entonces es correcto
(lcito, legtimo) que tambin afirmemos q . Dicho de otro modo: de la
afirmacin de que pq (e.d. de que, si sucede que p, tambin sucede que q)
cabe inferir que q. Expresado an de otra manera: Suponiendo afirmables con
verdad tanto a lo dicho por el enunciado p como a lo dicho por el enunciado
pq , resultar afirmable con verdad asimismo lo dicho por el enunciado q .
Obsrvese que la regla podra expresarse sin alteracin alguna as: pq ,
p
q
Y es que el orden de las premisas no altera la validez de la inferencia. Eso
es as para esta regla y para cualquier otra regla de inferencia, primitiva o
derivada. Si de un par de premisas se infiere o deduce correctamente una
conclusin, nada importa cul de las dos premisas haya sido proferida primero.
Expliquemos ahora la regla de afirmabilidad, rinf02. Esta regla nos permite
inferir, de una premisa p , la conclusin Es afirmable con verdad que p
permaneciendo p inalterable de la premisa a la conclusin, por supuesto. La
regla se justifica por lo siguiente: supongamos que la premisa p es verdadera,
verdadera en el sentido propio y fuerte de ser afirmable con verdad (o sea:
verdadera en todos los aspectos). Entonces es verdad que es afirmable con
verdad lo dicho por esa premisa, e.d. el hecho de que p; y eso es lo que dice
la conclusin: que es afirmable con verdad que p. Supongamos, en cambio, ahora
que sea del todo falsa la conclusin, a saber: que es afirmable con verdad que
p; entonces es del todo injustificado afirmar o sentar la premisa, al no ser
verdad en absoluto que sea afirmable con verdad lo dicho por la premisa, e.d.
el hecho de que p.
28
Clculo sentencial
29
rinf12 pIq
pq
Derivacin:
hip pIq
A108
(2) qIp
rinf01, hip, (2)
pq
q (Derivacin: rinf12, rinf01)
hip,rinf11
(3) qIp.pq A103
(2),(3),rinf01
rinf16 pIq
qrI.rp
Derivacin:
hip pIq
(2) ppIq
A119,
hip,
rinf15
(3) qrI.rp.rp(2),
A120,
rinf01
(4) rp(rp)I.rpA118
qrI.rp
(3), (4), rinf15
rinf16bis
pIq
prI.qr
Derivacin:
hip pIq
(2) qrI.rp h i p ,
rinf16
(3) rpI.pr A121
(4) qrI.pr (2), (3),
rinf15
(5) prI.qr ( 4 ) ,
rinf11
(6) N(pr)IN(qr) (5),
A114,rinf01
prI.qr (6), df04
rinf18 pIq
qrI.pr
Derivacin:
rinf17,
rinf11
rinf17 pIq
prI.qr
Derivacin:
hip pIq
(2) NpINq
hip, A114, rinf01
(3) NqNrI.NrNp(2), rinf16
(4) NrNpI.NpNrA121
(5) NqNrI.NpNr(3), (4), rinf15
(6) qrI.pr (5), df05
prI.qr (6), rinf11
rinf20 pIq
rpI.rq
Derivacin:
hip pIq
(2) prI.qr hip, rinf17
(3) qrI.pr hip, rinf18
(4) qrI.rq A122
(5) rpI.pr A122
(6) rpI.qr (5), (2), rinf15
rpI.rq (6), (4), rinf15
rinf19 pIq
qrI.pr
Derivacin: rinf16bis, rinf11
30
rinf22 pq
q
rinf21 pIq
rpI.rq
Derivacin:
Derivacin:
hip pq
hip pIq
(2) pqI.qp A122
(2) prI.qr hip, rinf16bis (3) qp
hip,
(2),
(3) qrI.rq A123
rinf13
(4) prI.rq ( 2 ) ,
(3),
q
(3),
A01,
rinf15
rinf01
(5) rpI.pr A123
p
rpI.rq ( 5 ) ,
( 4 ) , rinf23 pq
Derivacin:
rinf15
hip pq
rinf24 p , pq , qr
r
(2) pqp
A01
Derivacin:
p
hip,
A01,
hip1
p
rinf01
hip2
pq
rinf25 pIq
HpIHq
hip3
qr
(2) q
hip1, hip2, Derivacin:
hip pIq
rinf01
hip,
r
(2), hip3, rinf01 (2) HpHqIH(qq)
A150/1, rinf0
(3) H(qq)IHq
A150/3
(4) HpHqIHq
(2),
(3),
rinf25bis pIq
pIq
rinf15
Derivacin:
(5) qIp
hip, rinf11
hip pIq
(6) HqHpIHp
(de (5),
(2) NpINq
hip, A114, como (4) de hip)
rinf01
(7) HpI.HqHp
(6), rinf11
(3) HNpIHNq
(2), (8) HqHpI.HpHq
A123
rinf25
(9) HpI.HpHq
(7), (8),
pIq
(3), df03
rinf15
HpIHq
(9),
(4),
rinf15
rinf26 pIq , pIr
qIr
rinf27 qIp , rIp
qIr
Derivacin:
Derivacin:
hip1 pIq
hip1 qIp
hip2 pIr
hip2 rIp
(2) qIp
hip1, rinf11 (2) pIr
hip2, rinf11
qIr
(2),
hip2,
qIr
hip1, (2),
rinf15
rinf15
rinf27bis pIq
Derivacin:
hip pIq
(2) qIp
(3) prI.rq
(4) rqI.qr
prI.qr
rinf15
prI.qr
rinf28 p , q
Derivacin:
hip1
hip, rinf11
hip2
(2), rinf16
(2) q.pq
rinf01
A121
pq
(4),
(3),
rinf01
rinf29 pq , qp
Derivacin:
hip1
pq
pIq
rinf30 pIq
Derivacin:
hip pIq
pq
p
q
hip1, A150/9,
hip2, (2),
prI.qr
Clculo sentencial
hip2
(2) pqIp
(3) qpIq
(4) pI.qp
rinf20
pIq
rinf15
31
qp
(2) pIq
hip, rinf25bis
hip1, df14
(3) prI.qr(2), rinf16bis
hip2, df14
prI.qr (3), df06
(2),
A122,
(4),
(3),
32
Clculo sentencial
33
34
(2)
(3)
pr
pq.qr.pr
A172
qr.pr
(2), hip1, rinf01
(3), hip2, rinf01
rinf34 pp , pp , p - p
pp
Derivacin:
hip1
pp
hip2
pp
.
.
.
hipn
p - p
(2)
pp
hip1, hip2, rinf33
.
.
.
(n-1)
pp hip(n-1), (n-2), rinf33
pp
(n-1), hipn, rinf33
rinf35 p.qr , rr , rr , , r - r
p.qr
Derivacin:
hip1
p.qr
hip2
rr
hip3
rr
.
.
hip(n+1) r - r
(2)
rr
hip2 hip(n+1), rinf34
(3)
qr.qr
A173, (2), rinf01
(4)
p(qr).p.qr
(3), A173, rinf01
p.qr
(4), hip1, rinf01
p.q.qr
rinf36 rr , rr , , r - r , p.q.qr
Derivacin: A181, rinf34
rinf37 rr , rr , , r - r , p.q.q.qr
p.q.q.qr
Derivacin: A182, rinf34
rinf38 p , p
q (Derivacin: rinf28, A207, rinf01)
rinf39 p
pq (Derivacin: A162, rinf01)
rinf40 pq , p
q (Derivacin: A128, rinf13, rinf01, A207)
rinf41 pr , qs , pq
rs (Derivacin: A221, rinf28, rinf01)
rinf41/1 pr , pq
rq (Derivacin: rinf41, A116)
rinf42 pr , qr , pq
r (Derivacin: A221/2, rinf28, rinf01)
rinf43 p
Lp (Derivacin: A194, rinf01)
rinf44 Lp
p (Derivacin: A200, rinf01)
rinf45 pq , q
p (Derivacin: A214, rinf01)
rinf46 p
qp (Derivacin: A164, rinf01)
rinf47 pq
pq (Derivacin: A218, rinf01)
rinf48 Si r es una frmula en la cual figura una ocurrencia de Lp afectada
slo por functores (definidos a partir de , H y/o I, se puede reemplazar
tal ocurrencia de Lp por una ocurrencia) de HLp . Derivacin: A151, rinf32
rinf49 Como rinf 48, slo que, en lugar de hablarse de una sola ocurrencia de
Lp se habla de cualquier nmero de las mismas; y, en vez de hablarse de
ocurrencias respectivas de HLp se habla de ocurrencias respectivas de HHLp ,
Clculo sentencial
35
de
q
de
de
36
pINNp
Voy a hacer aqu un alto para explicar, con todo detalle, cmo operan las
pruebas que acabo de exponer y, en particular, cmo se efecta la sustitucin
de una letra esquemtica por una frmula o un esquema, a fin de que el lector
se familiarice con la tcnica, y pueda, en adelante, aplicarla l mismo o
seguir las demostraciones con facilidad y sin muletas adicionales.
Recurdese, en primer lugar, que las letras p, q, r, s etc. son
usadas aqu como letras esquemticas, lo cual significa que, al enunciar (o,
mejor, pseudoenunciar) un esquema, como A01, se estn enunciando implcitamente
cualesquiera resultados de reemplazar uniformemente, eso s cada una de esas
letras por una oracin. Por eso, cabe reemplazar cada letra esquemtica (de un
esquema, pseudoenunciado), por un esquema; y el resultado de ese
reemplazamiento
ser
otro
esquema,
tambin
pseudoenunciado:
al
pseudoenunciarlo, lo que estamos haciendo es enunciar, implcitamente, cada una
de las instancias sustitutivas del mismo, e.d. cada una de las oraciones
resultantes de reemplazar, uniformemente, en el nuevo esquema, cada letra
esquemtica por una oracin. Es lcito el reemplazamiento de una letra
esquemtica, en un esquema dado, por un esquema porque, si es verdadera cada
instancia sustitutiva del esquema dado, entonces tambin lo es cada instancia
sustitutiva del esquema resultante del reemplazamiento, toda vez que cada
instancia sustitutiva de este ltimo esquema resulta ser tambin una instancia
sustitutiva del esquema dado. Al resultado de reemplazar, uniformemente, en un
esquema dado, una o varias letras esquemticas por respectivos esquemas lo
llamar: una instancia reemplazativa o tambin una aplicacin del esquema
dado.
As, tomemos el esquema A01, a saber:
qpq . Sustituyendo letras
esquemticas por esquemas, tenemos, como aplicaciones vlidas de A01:
rs.(pp).rs , donde la letra q del esquema dado (de A01) ha sido
reemplazada por el esquema rs ; y donde la letra p ha sido reemplazada por
el esquema pp . Como caso particular de reemplazamiento de una letra
esquemtica por un esquema tenemos el reemplazamiento de una letra esquemtica
por otra, tanto si sta otra figura en el esquema dado como si no: todo lo que
se pide es que el reemplazamiento sea uniforme. As, son aplicaciones de A01
las siguientes: q(rs)q (donde q ha sido reemplazada por q que es como
decir que no ha habido, con respecto a q, reemplazamiento alguno, siendo p
reemplazada por el esquema rs ); p(sr)p (donde q ha sido reemplazada
por p, siendo, en cambio, p reemplazado por sr ); pqp (donde p ha
sido reemplazado por q, siendo, en cambio, q reemplazado por p).
Apliquemos tales consideraciones a la prueba de A101. Como esquema
resultante de A01, mediante reemplazamiento de letras por esquemas, tomamos el
siguiente:
pIq(rIqI.pIr)s.pIq.rIqI.pIr
donde el esquema pIq(rIqI.pIr) ha reemplazado, en A01, a la letra q,
mientras que la letra s ha reemplazado, tambin en A01, a la letra p. La
lnea (2) de la prueba de A101 nos dice, pues, que tal reemplazamiento es
legtimo. Luego, para pasar de (2) a (3) de la prueba de A101, reemplazamos s
por el miembro conyuntivo derecho de A03 (en una conyuncin cualquiera pq ,
p es el miembro conyuntivo izquierdo, y q el miembro conyuntivo derecho otro
tanto vale para la disyuncin y los miembros disyuntivos); el resultado del
reemplazamiento es, exactamente, un esquema condicional cuya prtasis es A03
y cuya apdosis es el miembro conyuntivo izquierdo de A03 (el miembro
conyuntivo derecho de A03 es KXpIp.pq (pq).Y(pq)(YpYq).fSpfSq.
pq\p ). As, reemplazando, en (2), la letra s por ese largo miembro
conyuntivo derecho de A03 tenemos una instancia reemplazativa o aplicacin
Clculo sentencial
37
vlida de (2), o sea: un esquema resultante del esquema (2) por reemplazamiento
de letras esquemticas por esquemas. Aplicando el modus ponens, o sea rinf01,
tenemos: A03 y (3) (que es de la forma pq , donde p es reemplazada por A03,
y donde q es reemplazada por A101); de donde inferimos A101 (se es el
trnsito de (3) a la conclusin, o sea: a la asercin de A101).
En la prueba de A102 tomamos (lnea (2)) como instancia reemplazativa de A01
un esquema resultante de A01 por el reemplazamiento de la q de A01 por el
esquema pqpIp y de la p de A01 por la letra esquemtica r (una letra
esquemtica es un esquema, de la forma ms simple). Luego, para pasar de (2)
a (3), reemplazamos la r de (2) por el miembro conyuntivo derecho de A04. El
resultado es una instancia reemplazativa de (2), a saber (3), el cual es un
esquema condicional cuya prtasis es exactamente A04 y cuya apdosis es A102.
Luego, como tenemos A04 y (3), aplicando rinf01 inferimos A102; o sea. como
aplicacin de rinf01, reemplazamos, en la primera premisa de rinf01, que es p
(una oracin cualquiera) por A04; en la segunda premisa de rinf01,
reemplazamos, de nuevo (puesto que el reemplazamiento ha de ser uniforme en
todas las premisas de una regla de inferencia), p por A04; y reemplazamos, a
la vez, en esa segunda premisa, q por A102. Y, en la conclusin, reemplazamos,
de nuevo (como en la segunda premisa) q por A102.
Pasemos a la prueba de A103. Tomamos de nuevo, como lnea (2) de la prueba,
una instancia reemplazativa de A01, resultante de A01 mediante el
reemplazamiento de la q de A01 por el esquema pIq.qp , y de la p de A01
por la letra esquemtica r. Luego, para pasar de (2) a (3), obtenemos una
instancia reemplazativa de (2) mediante el reemplazamiento de la r de (2) por
el miembro conyuntivo derecho de A06 (a saber: mpmnpHp.mpnp(YpYNp).
qnp(pImq)Lp.pq) . El resultado, o sea (3), es un esquema condicional en
el cual la prtasis es A06, siendo la apdosis A103. Luego, aplicando rinf01
al par de premisas A06 y (3), inferimos A103.
Pasemos a la prueba de A104. Tomamos como lnea (2) de la prueba de A104 una
instancia reemplazativa de A101, a saber: aquella en que reemplazamos: 1) la
p de A101 por el esquema pqp ; 2) la q de A101 por la letra esquemtica
p; 3) la r de A101 por p. El resultado, (2), es un esquema condicional
cuya prtasis resulta ser exactamente el esquema A102, ya demostrado. Luego,
aplicando rinf01 a A102 y (2), obtenemos como conclusin la lnea (3), que es
el esquema: pIpI.pqpIp . Luego, como lnea (4), tomamos una instancia
reemplazativa de A103, en la cual hemos reemplazado: la p de A103, por el
esquema pIp ; y la letra q de A103, por el esquema pqpIp . El resultado del
reemplazamiento es: pIpI(pqpIp).pqpIp.pIp . Ese esquema, que es la lnea
(4) escrita con toda explicitud, es un esquema condicional, cuya prtasis
resulta ser exactamente (3), siendo la apdosis el esquema pqpIp.pIp . Tal
esquema es la lnea (5), la cual se infiere, por rinf01, del par de premisas
(3) y (4). Luego, para pasar de (5) a la conclusin (o sea: a A104), se usa de
nuevo rinf01, puesto que (5) es un esquema condicional cuya prtasis es
exactamente A102, siendo su apdosis A104; lo que nos permite aplicar rinf01
como sigue: en la primera premisa de rinf01, reemplazamos p por A102; en la
segunda premisa de rinf01, reemplazamos p por A102 (como ya no podamos por
menos de hacer, dado el reemplazamiento operado con respecto a la primera
premisa), y q por A104; as, la premisa segunda resulta ser, exactamente, la
lnea (5). En la conclusin, por consiguiente, reemplazamos q por A104, o
sea, por: pIp .
Veamos, por ltimo (en lo restante del libro el lector ya podr, en este
particular, volar con sus propias alas), la prueba de A105. La lnea (2) es,
de nuevo, una instancia reemplazativa de A01, la cual resulta de A01 al
reemplazar: la q de A01 por el esquema pINqI(NpIq) ; y la p de A01 por la
letra esquemtica r. Pasamos de (2) a (3) reemplazando, en (2), r por el
38
A101
A114
pIq.NpINq
(Prueba:
A103
A113, (2), rinf01
A106
(2),
(3),
(4),
Clculo sentencial
39
Prueba:
(2)
NpNqI.NqNp
A121
(2)
ppIp.pqI.qp.qp
pqI.qp
(2), df05
A120
(3)
2
( 2 ) , A123 pqI.qp
A119, rinf01
(2)
N(pq)IN(qp)
A121,
(4)
qp(qp)I.qp A118
A114, rinf01
pqI.qp
(3),
(4),
pqI.qp
(2), df04
rinf15
A124 NqNpI.qp
A124/1 pppISp
Prueba:
Prueba:
(2)
pINNp
A106
(2)
pNpISp
A104, df09
(3)
NNpqI.qp (2), rinf16 (3)
NNpNpI.pNp
A106,
(4)
qINNq
A106
rinf18
(5)
NNqNNpI.NNpq ( 4 ) , (4)
NNpNpISp
(3),
(2),
rinf16
rinf15
(6)
NNqNNpI.qp
( 5 ) , (5)
NppISp
A124,
(3), rinf15
rinf11, (4), rinf15
NqNpI.qp
(6), df05
pppISp
(5), df02
A125 N(NpNq)I.pq
A124/2 NpqI.qqp
Prueba:
Prueba:
(2)
NpNqI.pq A124
(2)
NpqI.NpNNq
A 1 0 6 , (3)
N(NpNq)IN(pq) ( 2 ) ,
rinf20
A114, rinf01
(3)
NpNNqI.pNq
A124
N(NpNq)I.pq (3), df04
(4)
pNqI.Nqp A121
(5)
2I3
(2),
(3),
rinf15
(6)
2I4
(5),
(4),
rinf15
A124/2
(6), df02
A127/1
A126 N(NpNq)I.pq
A127 NpNqIN(pq)
Prueba:
Prueba:
(2)
(2)
N(NpNq)INN(NpNq)
A104, df04
NpNqIN(pq)I.N(NpNq)I.pq
(3)
N(NpNq)I.NpNq ( 2 ) , A105
A110, rinf14
(3)
22
(2), A103,
rinf01
N(NpNq)I.pq (3), df05
2
( 3 ) ,
A125, rinf01
pqIN(pq) (Prueba: A124, rinf11, A127, rinf15)
A125,
rinf11)
A129
NpNqIN(pq)
(Pr.:
40
(4)
N2I.pqp
(5)
2INp
(6)
N2Ip
rinf13
(7)
pIN2
(8)
pIN2
rinf15
(9)
pI.pqp
rinf15
pqpIp
A126
A102
(5),
Clculo sentencial
rinf15
A145 pqqI.pq
Prueba:
(2)
qpqI.qp A144
(3)
qpI.pq
A122
(4)
qpqI.pq (2),
(3),
rinf15
(5)
pqqI.qpq
A122,
rinf17
pqqI.pq
(5),
(4),
rinf15
(6)
2(pq)I.pq
A135
(7)
pqpI.p.pq
A122
(8)
pqpI.2.pq ( 7 ) ,
(5), rinf15
pqpI.pq
(8),
(6),
rinf15
A146 pqpI.pq
A147 pqqI.pq
Prueba:
Prueba:
(2)
N(pq)I.NpNq
(2)
qpqI.qp A146
A127,rinf11
(3)
2I.pq
A123
(3)
N(pq)NpI.NpNqNp
(4)
2I.pq
(2), (3),
(2), rinf17
rinf15
(4)
NpNqNpI.NpNq A144
(5)
pqqI.qpq
A123,
(5)
pqpIN3
A125,rinf11 rinf16bis
(6)
N3IN3
pqqI.pq
(5), (4),
(3),A114,rinf01
rinf15
(7)
N3IN4
(4),A114,rinf01
(8)
N3IN4
(6),(7),rinf15
(9)
N4I.pq
A125
(22) N3I.pq
(8),(9),rinf15
pqpI.pq
(5),(22),rinf15
A148 pqrI.prq
Prueba:
(2)
pqrqI.q(pq).qr
A138
(3)
2I.q.qr A137, rinf16bis
(4)
3Iq
A133
(5)
2Iq
(3), (4), rinf15
(6)
pqrqIp
(2), (5), rinf15
(7)
pqr(pqrq)I.pqr
A133
(8)
pqrqI7 (6), rinf21, rinf11
(9)
pqrqI.pqr (8), (7), rinf15
(22) prI.pqpr
A131, rinf19
(23) 22I.pqr.pr A142
(24) prI.pqr.pr (22), (23), rinf15
(25) prqI.24q
(24), rinf16bis
(26) 24qI.pqrq.prq
A142
(27) prqI26
(25), (26), rinf15
(28) 26I.pqr.prq
(9), rinf17
(29) prqI.pqr.prq (27), (28), rinf15
(32) pqrI.prq.pqr al igual que (29)
(33) 32I.pqr.prq
A122
41
42
(34) pqrI33
(35) 33I.prq
pqrI.prq
A149/1 pqrI.p.qr
A149 pqrI.p.qr
Prueba:
Prueba:
(2)
NpNqNrI.Np.NqNr
(2)
qrpI.qpr
A148
A149
(3)
qprI.pqr
A 1 2 3 , (3)
N(pq)NrI2
A129,
rinf19
rinf19
(4)
p(qr)I2 A123
(4)
3I2
(3),
(2),
(5)
p(qr)I2 (4),
(2), rinf15
rinf15
(5)
2I.NpN(qr)
A129,
(6)
p(qr)I.pqr ( 5 ) , rinf21
(3), rinf15
(6)
3I5
(4),
(5),
pqrI.p.qr (6), rinf11 rinf15
(7)
N3IN5
(6), A113,
rinf13
A149/2
p(qr)I.pqr
(Prueba: A149, rinf11)
(8)
pqrN3
A130
(9)
pqrIN5
(8),
(7),
rinf15
(22) N5I.p.qr A126
pqrI.p.qr (9), (22),
rinf15
A150 HpHqILH(pq)
A150/1 pIq.HpHrIH(qr)
Prueba:
Prueba:
(2)
A04
A04, rinf22 (2)
A04
A04, rinf22
HpHqILH(pq) (2), rinf23 (3)
A04
(2), rinf22
A150/1
(3), rinf23
A150/2 HpHqIH(pq) (Prueba: A150/1, A104, rinf01)
A150/3 H(pp)IHp (Prueba: A150/2, A118, rinf11, rinf15)
A150/4 H(pq)IHp (Prueba: A119, rinf25)
A150/5 HpILHp
Prueba:
(2)
HpHpILH(pp)
A150
(3)
HpILH(pp) A119, rinf11, (2), rinf15
(4)
NH(pp)INHp
A150/4, A114, rinf01
(5)
HNH(pp)IHNHp
(4), rinf25
(6)
H(pp)IHp
(5), df03
(7)
NH(pp)INHp
(6), A114, rinf01
(8)
LH(pp)ILHp
(7), df12
HpILHp
(3), (8), rinf15
A150/6 HpHqIH(pq)
Prueba:
(2)
LH(pq)IH(pq)
A150/5, rinf11
HpHqIH(pq)
A150,
rinf15
A150/8 pqIF(pq)
A150/7 pqI(pq)
Prueba:
(2)
HNpHNqIH(NpNq)
A150/6
H(NpNq)IHN(pq)
(2), (3)
A127, rinf25
(4)
2I3
(2),
(3),
rinf15
pqI(pq) (4), df03
A150/9 p.q.pq
Clculo sentencial
Prueba:
Prueba:
(2)
HNpHNqIH(NpNq)
(2)
(pq).pq
A117
A150/2
(3)
(pq)I.pq
A150/8,
(3)
H(NpNq)IHN(pq)
rinf11
A129, rinf25
(4)
2I.pq.pq
( 3 ) ,
(4)
2I3
(2),
(3), rinf16bis
rinf15
(5)
pq.pq (4),
(2),
pqI(pq) (4), df03 rinf13
(6)
5I.p.q.pq A149
(7)
p.q.pq
( 5 ) ,
(6), rinf13
p.q.pq
(7), df06
A150/10 p(qr)I.pq.pr
Prueba:
(2)
p(qr)I.pq.pr
A141
p(qr)I.pq.pr (2), df06
A150/12 0IN1
A150/11 p1Ip
Prueba:
Prueba:
0INN0
A106
(2)
A04
A04, rinf22 (2)
0IN1
(2), df08
(3)
A04
(2), rinf22
(4)
A04
(3), rinf22
(5)
p1Ip
(4), rinf23 A150/13 p0Ip
(6)
A03
A03, rinf22 Prueba:
Np1INp
A150/11
(7)
A03
(6), rinf22 (2)
(3)
NpN0INp
(2),
df08
(8)
pq .pq
(7), rinf23
(4)
N(NpN0)INNp
(
3 ) ,
(9)
pq(pq).pq.pq
A114,
rinf01
(8), df23
4Ip
(22) pq.pq
(9), rinf23 (5)
A106,rinf11,(4),rinf15
(23) p1.p1
(22)
p0I4
A128
(24) p1(p1)I.p1 ( 2 3 ) , (6)
p0Ip
(6),
(5),
df14
rinf15
(25) p(p1)I24
( 5 ) ,
rinf18
A150/14 p0I0
(26) p1pI25
A122
(27) p1I.p1p A 1 4 4 , Prueba:
(2)
p0I.p00 A 1 5 0 / 1 3 ,
rinf11
rinf18
(28) p1I25
(27), (26),
(3)
p00I0
A135
rinf15
p0I0
(2),
(3),
(29) p1I24
(28), (25),
rinf15
rinf15
(32) p1I.p1
(29), (24),
rinf15
p1Ip
(32), (5),
rinf15
A150/15 p1I1
Prueba:
(2)
p1I.p11
(3)
p11I1
p1I1
A150/11, rinf19
A132
(2), (3), rinf15
43
44
A151 LpIHLp
Prueba:
(2)
HNpILHNp
(3)
HNpINHNHNp
df03
(4)
NHNpHNHNp
rinf13
(5)
NpIHNp
LpIHLp
A151/1 NpIp
Prueba:
A150/5
(2)
NpIHLp
A151, df12
(2), df12, (3)
NpIHNp
(2), df12
NpIp
(3), df03
A105, (3),
A152 LpIp (Prueba: A151/1,
(4), df03 df12)
(5), df12
A153 p.pq
Prueba:
(2)
A06
A06, rinf22
(3)
A06
(2), rinf22
(4)
A06
(3), rinf22
(5)
qnp(pImq)(pq).Lp.pq
(4), A142, rinf13
(6)
Lp.pq
(5), rinf22
(7)
6I.p.pq
A152, rinf16bis
(8)
p.pq
(6), (7), rinf13
p.pq
(8), df06
A154 (pp)
Prueba:
(2)
pp
(3)
pp
rinf13
(4)
3I(pp)
(pp)
rinf13
A155 ppq
Prueba:
A117
(2)
(pp).ppq
A123, (2), A153
ppq
(2), A154,
rinf01
A150/8
(3),
(4),
A156 ppI0
A156/1 NpHpI0
Prueba:
Prueba:
(2)
HpIHNNp
A 1 0 6 ,
(2)
pp0
A155
(3)
pp0I.pp
( 2 ) , rinf25
(3)
HpINp
(2), df03
df14
(4)
NpHpI.NpNp
( 3 ) ,
(4)
pp0I0
A150/14
rinf20
ppI0
(3),
(4),
NpHpI0
(4), A156,
rinf26
rinf15
A156/2 HpHppI0 (Prueba: A156/1, A124/2)
El esquema A156/2 es de suma importancia, porque nos dice que lo
absolutamente irreal, e.d. 0, equivale a una frmula que se obtiene, a
partir de una oracin cualquiera p (sea p la oracin que fuere), con ayuda
de los dos functores primitivos y H. Ahora bien, como iremos viendo a lo
largo de esta Seccin I, cuando tenemos un teorema equivalencial, e.d. un
teorema o esquema teoremtico de la forma pIq , entonces podemos sustituir en
cualquier contexto, sin excepcin, p por q y viceversa. Pudiera ello suscitar
la sospecha de que hubiramos podido definir 0, en vez de como lo hemos hecho
en df01, como el miembro izquierdo de A156/2, dejando p como una letra
esquemtica (con lo cual, ciertamente, se tratara de un esquema definicional,
como tantos otros que figuran como definiciones en el captulo 1, pero que,
hablando con rigor, son esquemas definicionales). El inconveniente de ese
procedimiento es que, definiendo 0 de esa manera, desaparecera en el
Clculo sentencial
45
A159 qIp.rpI.qr
Prueba:
(2)
ppIq.qrI.rp.rp
A120
(3)
(ppIq).qrI.rp.rp (2), df06
(4)
qIpI.ppIq
A101, A119, rinf01
(5)
3I(qIp)
(4), rinf11, rinf25bis
(6)
3I.(qIp)3
(5), rinf16bis
(7)
(qIp)3
(3), (6), rinf13
(8)
rpI.rp.rp
A118, rinf11
(9)
3I.rpI.qr
(8), A101, rinf01
(22) 7I.(qIp).rpI.qr
(9), rinf21
(23) 22
(22), (7), rinf13
(24) rpI(qr)I.N(rp)IN(qr) A113
(25) 23I.(qIp)24
(24), rinf21
(26) 25
(23), (25), rinf13
(27) (qIp).rpI.qr
(26), df04
qIp.rpI.qr
(27), df06
46
A159/1 pIq.prI.qr
A159/2 pIq.rpI.rq
Prueba:
Prueba:
(2)
pIq.rqI.pr
A159
(2)
pIq.rqI.pr
A159
(3)
(pIq).rqI.pr
(3)
(pIq).rqI.pr
(2), df06
(2), df06
(4)
rqI.qr
A123
(4)
rpI.pr
A123
(5)
prI(qr)I.rqI.pr
(5)
3I.rpI.rq
A101,
(4), A101, rinf01
(4), rinf01
(6)
3I.(pIq)5
( 5 ) , (6)
3I.35
(5), rinf21
rinf11, rinf21
(7)
6
( 3 ) ,
(7)
(pIq)5
(3),
(6), (6), rinf13
rinf13
pIq.rpI.rq (7), df06
pIq.prI.qr (7), df06
A159/3 qIp.qrsI.p.rs
Prueba:
(2)
pIq.p(rs)I.q.rs
A159/1
(3)
(pIq)2
(2), df06
(4)
qrsI.q.rs
A149
(5)
2I.qrsI.p.rs
(4), A101, rinf01
(6)
3I.(pIq)5
(5), rinf21
(7)
6
(3), (6), rinf13
(8)
(pIq)I(qIp)
A107, rinf25bis
(9)
6I.(qIp)5
(8), rinf16bis
(22) 9
(7), (9), rinf13
qIp.qrsI.p.rs
(22), df06
A159/4
pIq.prI.qr
Prueba:
(2)
NpINq.NpNrI.NqNr
A159/1
(3)
(NpINq).NpNrI.NqNr
(2), df06
(4)
(pIq)I(NpINq)
A113, rinf25bis
(5)
3I.(pIq)3
(4), rinf19
(6)
5
(3), (5), rinf13
(7)
3I.N(NpNr)IN(NqNr)
A113
(8)
qrI7
A130
(9)
N(NpNr)IN(NqNr)I.qrIN(NpNr) (8),A101, rinf01
(22) 3I9
(7), (9), rinf15
(23) prIN(NpNr)
A130
(24) 9I.prI.qr
(23), A101, rinf01
(25) 3I.prI.qr
(22), (24), rinf15
(26) 6I.(pIq)25
(25), rinf21
(27) 26
(6), (26), rinf13
A159/4
(27), df06
A160 pIq.HpIHq
A159/5 pIq.rpI.rq
Prueba:
Prueba:
(2)
pIq.HpH0IH(q0)
(2)
(pIq).prI.qr
A150/1
A159/4, df06
(3)
(pIq)2
(2), df06
(3)
rqI.qr
A122
HpH0IH(p0)
A150/2
(4)
2I.rqI.pr
( 3 ) , (4)
A101, rinf01
(5)
H(p0)IHp
A150/13,
rinf25
(5)
rpI.pr
A122
Clculo sentencial
47
(6)
4I.rpI.rq
( 5 ) , (6)
HpI.HpH0
A101, rinf01
(5),rinf11,(4),rinf27
(7)
2I6
(4),
(6), (7)
HqIH(q0)
rinf15
A150/13, rinf25, rinf11
(8)
2I.(pIq)6
( 7 ) , (8)
2I.HqI.HpH0
( 7 ) ,
rinf21
A101, rinf01
(9)
8
( 2 ) , (9)
8I.HpIHq
(6), A101,
(8), rinf13
rinf01
A159/5
(9), df06 (22) 2I.HpIHq
(8),
(9),
rinf15
(23) 3I.(pIq).HpIHq
(22), rinf21
A160
df06, (23),
(3), rinf13
A160/1 pIq.rpI.rq
Prueba:
(2)
pIq.rpI.rq
A159/2
A160/1
(2), df06
48
Clculo sentencial
49
50
Clculo sentencial
51
A01
A131, rinf30, (2), rinf13
A164 p.qp
Prueba:
(2)
p.pq
(3)
p.pq
(4)
pqI.qp
(5)
3I.p.qp
rinf21
(6)
p.qp
rinf13
A164
A162
(2), df06
A123
( 4 ) ,
(3),
(5),
(6), df06
A165 p(pq)I.pq
Prueba:
(2)
p(pq)I.ppq A149, rinf11
(3)
ppIp
A118
(4)
2I.pq
(3), rinf16bis
(5)
2I.pq
(2), (4), rinf15
A165
(5), df06
El esquema A161 se llama principio de simplificacin, lo mismo que el
esquema axiomtico A01; y a las reglas rinf22 y rinf23 se aplica la
denominacin regla de simplificacin. Con tratarse de principios y reglas
obvios, si los hay, tambin ellos han sufrido las embestidas de la crtica: los
rechazan los lgicos conexivistas (E.I. Nelson, Cooper, Storrs McCall y
otros), alegando que el ser verdad que p-y-q es una situacin peculiar,
irreducible al ser verdad que p y tambin al ser verdad que q. (Aunque los
conexivistas aducen, como precedentes de su concepcin, ciertos enfoques de
52
Clculo sentencial
53
54
Clculo sentencial
55
56
Clculo sentencial
57
58
que no se suela afirmar eso no quita para que sea verdadero, como efectivamente
lo es.
Sigamos adelante con la demostracin de esquemas.
A166 p(qr)I.q.pr
Prueba:
(2)
p(qr)I.pqr A149, rinf11
(3)
pqrI.qpr
A123, rinf16bis
(4)
qprI.q.pr
A149
(5)
2I3
(2), (3), rinf15
(6)
2I4
(5), (4), rinf15
A166
(6), df06
A167 p(qr).q.pr (Prueba: A166, rinf12)
A167/1 pq.p.rq
Prueba:
(2)
pq.r.pq
A164
pq.p.rq
A166, (2), rinf21, df06, rinf13
A167/2 pq.p.r.sq (Prueba: A167/1, A164, A116, rinf21, df06)
A167/3 pq.p.p.r.sq (Prueba similar)
Puede construirse una cadena infinita de esquemas teoremticos del mismo
patrn, pero cada uno ms complicado que los anteriores.
A168 pqrI.pr.qr
Prueba:
(2)
(pq)I.pq
A150/8, rinf11
(3)
(pq)rI.pqr
(2), rinf16bis
(4)
pqrI.p.qr
A149
(5)
qrI.qrr
A147, rinf11
(6)
p(qr)I.p.qrr
(5), rinf21
(7)
p(qr)I.p.r.qr
A123, rinf21, rinf15, (6)
(8)
p(r.qr)I.pr.qr
A149
(9)
(pq)rI.pr.qr
(3), (4), (7), (8), rinf31
A168
(9), df06
De aqu en adelante, har un uso implcito de la regla rinf31 juntamente con
rinf11. Si hemos demostrado, en una lnea, una frmula pIq y si tenemos como
teoremas (o sea: como instancias de algn esquema teoremtico axiomtico o
no) las frmulas qIr , rIr , , r - Ir
(o lo que en virtud de rinf11
equivale a lo mismo, a saber: rIq , etc. o sea, la inversa de alguna de esas
frmulas equivalenciales), entonces podremos escribir:
(m)
pIq
mIr
mIr
mIr
.
.
mIr
Adems, cuando as se haga, lo que nombrar el nmero de orden que,
encerrado entre parntesis, se halla a la izquierda de la primera lnea de esa
cadena de lneas ser la frmula equivalencial cuyo miembro izquierdo ser el
de la primera lnea y cuyo miembro derecho ser el de la ltima lnea (o sea
Clculo sentencial
59
A171 p(qr)I.pq.pr
Prueba:
(2)
p(qr)I.pp.qr
A118, rinf16bis
2I.p.p.qr
A149
2I.p.pqr
A149, rinf21
2I.p.r.pq
A123, rinf21
2I.pr.pq
A149, rinf21
2I.pq.pr
A123
A171
(2), df06
A171/1 pq.pq
Prueba:
(2)
qq
A117, A123, rinf13
(3)
p.qq
(2), A164, rinf01
pq.pq
(3), A171, rinf13
El esquema A166 se llama ley conmutativa del condicional (o del
entraamiento). Como muchsimos otros principios que estamos demostrando, no
valdra si, en l, reemplazramos cada ocurrencia de por una de (e.d.
de la implicacin). Pero s vale para el condicional: el que, si Vidal toma
caf, entonces, si no tiene somnfero, pasa la noche en blanco equivale a que,
si Vidal no tiene somnfero, entonces, si toma caf, pasa la noche en blanco.
El esquema A167 es el principio de permutacin, y resulta obvio, despus de
lo dicho sobre el anterior. El esquema A169 se denomina desglosamiento de una
prtasis conyuntiva, en tanto que el esquema A169 se denomina desglosamiento
de una prtasis disyuntiva. Veamos una instancia de ste ltimo. El que sea
cierto que, si le toca la lotera o le suben el sueldo, Germn compra un regalo
para su hermana, equivale a lo siguiente: que, si le toca la lotera, compra
Germn un regalo para su hermana, y, si le suben el sueldo, compra Germn un
regalo para su hermana.
El esquema A170 es lo que cabra llamar principio clsico de
entraamiento, pues quiz este principio, ms que ningn otro, es lo que
caracteriza al entraamiento clsico, que es tambin el del sistema Aj: o bien,
si p entonces q; o bien, si q, entonces r (y eso para cualesquiera oraciones
que se coloquen en lugar de las letras esquemticas p, q y r). La
justificacin de tal esquema viene dada como sigue: recurdese que, para que
el hecho de que p entrae al de que q, es condicin suficiente que el hecho de
que q sea, poco o mucho, verdadero; y, para que entrae el hecho de que q al
de que r, es condicin suficiente que el hecho de que q sea totalmente falso.
Pero, en virtud del principio fuerte de tercio excluso (A117) una de dos: o
60
A163
id.
id.
Clculo sentencial
(5)
p.(qr).pr
(2), A149, A123
(6)
pr.qq
(3), A123
(7)
pr.qr
(4), A149, A123
(8)
67
(6), (7)
(9)
q.qr.pr
A123, (8), A149, A141
(22) p(qr.pr).q.qr.pr
(23) pq.qr.pr
(22), A142
(24) (pq).pr.pr
(23), A150/7
(25) (pq).(qr).pr
(24), A150/7
A172
(25), df06
61
(5), (9)
A173 pq.rp.rq
Prueba:
(2)
rp.pq.rq A172
A173
(2), A167
De ahora en adelante, haciendo un uso implcito de rinf34, podremos
escribir, si son teoremas ya demostrados las frmulas qr , rs , ss ,
s s , s s , s - s , y, si, en una lnea, se ha probado pq , lo
siguiente:
(m)
pq
mr
ms
ms
ms
ms
.
.
ms
Y, en lo sucesivo, (m) ser un nombre de ps .
Otro procedimiento que utilizar ser el siguiente. Si tenemos un teorema
pq y si en una lnea se demuestra p , entonces escribir haciendo uso
implcito de rinf01:
(m) p]q
Y, en adelante, (m) ser un nombre de la frmula q . Generalizando el
procedimiento, supongamos que se ha probado: p, p , p p - ; y supongamos
tambin que se prueba:
p.p .p . .p - p
Haciendo n pasos del procedimiento abreviatorio susodicho, tendramos:
p.]p .]p .]p .] .]p - ]p
Pues bien, abreviar la sucesin de esos n pasos, escribiendo:
(m)
p.p .p .p . p - ]p
Y, en lo sucesivo, (m) ser el nombre de la frmula p .
Estos procedimientos se combinarn con el anterior, fundindose en uno solo
cuando sea conveniente.
A174 p.qr.q.rq
Prueba:
(2)
pp.qr
A163
(3)
rr.pq
A163
(4)
qq.p.rp
A163
(5)
32
(3), (2)
(6)
rrpq.ppqr
(5), A149
(7)
pqrr.pqrp
(6), A123, A149
(8)
pqr.rp
(7), A141
62
(9)
pq(rp)r
(8), A123, A149
(22) pq(rp)q
(4), A123, A149
(23) 922
(9), (22)
(24) p.qr.q.rp
(23), A141, A123, A149
(25) p.(qr).q.rp
(24), df06, A150/7
25.qr.q.rp
df06
25.qr.q.rp
df06
A175 p(qr).pq.pr
Prueba:
(2)
ppr
A163
(3)
pqr.pqr
A116
(4)
2.3.]pqr.pqr.ppr A174
4.pq.pr
A123, A149, A142
4.(pq).pr
A150/7
4.pq.pr
df06
A175
(4), A149, df06
A176 q(pr).pq.pr (Prueba: A175, A166)
A172 y A173 son principios de transitividad del entraamiento (o sea: del
condicional). El primero se denomina principio de sufijacin; y el segundo
principio de prefijacin. Ambos son principios que han recibido un
asentimiento extenso, aun cuando tampoco falten, en este punto, los
impugnadores. Una instancia de A173 es sta: Si se es mamfero, resulta que se
es cetceo slo si se es vertebrado, entonces, si es verdad que se es cetceo
slo si se es mamfero, resulta que se es cetceo slo si se es vertebrado.
A175 es el principio de (auto)distributividad del condicional. Una instancia
del mismo es sta: Supongamos que, si Balbina es partidaria de la filosofa
escolstica, entonces es escotista slo si acepta la existencia de distinciones
formales; supuesto eso, resulta que, si Balbina es partidaria de la filosofa
escolstica slo si es escotista, entonces Balbina es partidaria de la
filosofa escolstica slo si acepta la existencia de distinciones formales.
El ejemplo se muestra plausible con las consideraciones siguientes: la prtasis
del enunciado global est clara; pero la prtasis de la apdosis (a saber: Si
Balbina es partidaria de la filosofa escolstica, entonces es escotista)
puede ser plausible en ciertos casos (puede alguien afirmarlo, a partir de la
repulsa que ha manifestado Balbina de los dems sistemas de filosofa
escolstica); supuesta esa prtasis de la apdosis, y supuesta la prtasis del
enunciado global, resulta la apdosis de la apdosis: Si Balbina es partidaria
de la filosofa escolstica, acepta la existencia de distinciones formales.
Clculo sentencial
63
Que p
q significa que hay una prueba desde la premisa p hasta la
conclusin q .
En Aj no hay ms que dos nicas reglas de inferencia primitivas rinf01 (o
sea la regla de modus ponens) y rinf02 (la regla de afirmabilidad).
Por consiguiente, para que p
q tenga lugar (para que q se deduzca de p ),
ello debe, en ltima instancia, ser posible tan slo en virtud de la regla
rinf01 y/o de la regla rinf02, y de los axiomas de Aj, gracias a los cuales se
engendran, a partir de rinf01 y de rinf02, otras reglas de inferencia
derivadas; mas esas otras reglas de inferencia son prescindibles, ya que su
empleo es un mero expediente para abreviar las pruebas, que pueden obtenerse
con el uso exclusivo de rinf01 y de rinf02, siempre y cuando se aduzcan, en
cada caso, cuantos teoremas de Aj han sido aducidos en las derivaciones de esas
reglas de inferencia no primitivas.
Que haya una deduccin q a partir de p (o sea que tenga lugar p
q)
quiere decir que hay una serie de frmulas; r1, r2, r3, rn, tal que r1=p, y
rn=q, y que, en esa serie, cada ri sea deducible de los anteriores ms los
teoremas de Aj ms rinf01 (prescindo aqu de rinf02 pues lo que voy a probar
deja de lado precisamente los casos en que se ha recurrido a rinf02). Ello
quiere decir que, para cada i tal que i 1, debe haber dos frmulas (o
esquemas), rj y rk tales que tanto j como k sean menores que i, y rj sea rkri .
Recapitulando, tendremos en las lneas que forman la deduccin desde p hasta
q:
(j)
rkri
(k)
rk
Pero, de ah, aplicando el teorema A164 de Aj, podemos proseguir la
deduccin como sigue:
(j ) rkri.p.rkri A164
(j ) p.rkri
(j ), (j), rinf01
(j ) prk.pri A175, (j )
A164
(k ) rk.prk
(k ) prk
(k ), (k), rinf01
(k ) pri
(j ), (k ), rinf01
La conclusin que obtenemos en (k ) es, justamente, pri . Pero esa
conclusin vale para cualquier i, y, por tanto, para cualquier ri, en la serie
que va de r1 a rn; o sea: vale tambin para rn, es decir: para q . Luego, como
caso particular de (k ) tenemos: pq
Con ello queda probado el metateorema de la deduccin en su versin dbil.
METATEOREMA DE LA DEDUCCIN (versin fuerte)
Voy ahora a probar otra versin ms fuerte del metateorema de la deduccin,
a saber: sea un conjunto cualquiera de frmulas, y sean p y q dos frmulas,
entonces, suponiendo , p
q (e.d., suponiendo que cabe inferir q de un
conjunto de premisas que abarca a p junto con todos los miembros de ),
resulta:
pq
Prueba: sea r la conyuncin de todas las frmulas pertenecientes a . En
virtud de sucesivas aplicaciones de rinf28, tenemos:
r
Luego, tambin en virtud de rinf28, tenemos:
, p
rp
Como q se infiere de ms p , tambin se infiere de rp , en virtud de rinf22
y rinf23; porque aplicando rinf22 y rinf23 vamos extrayendo, de la premisa
rp , una por una, todas las frmulas miembros de , as como p , quedando as
constituido el conjunto de frmulas del cual se infiere q . Por consiguiente,
64
tenemos:
rp
q
De donde, aplicando la versin dbil del metateorema de la deduccin, tenemos
como resultado:
rpq
como teorema demostrado. Ahora bien, apliquemos ahora A177, una de cuyas
instancias es: rpqI.r.pq
Como tenemos demostrado rpq , demostramos ahora, a partir de esa instancia
de A177, el teorema:
r.pq
De lo cual, mediante rinf01, resulta:
r
pq
Ahora bien, mediante aplicaciones sucesivas de rinf28 cabe inferir r de .
La inferibilidad es transitiva (puesto que una conclusin es inferible de un
conjunto de premisas ssi hay una prueba de la conclusin a partir de las
premisas; y, si un enunciado puede ser probado a partir de otro u otros, y
stos, a su vez, de otros, el primero puede ser probado a partir de los
ltimos; basta con, yuxtaponiendo las dos pruebas, hacer una sola). Por ello
cabe concluir:
pq
Que es lo que se trataba de demostrar. Llamar en lo sucesivo al metateorema
de la deduccin (en cualquiera de sus dos versiones) (MD)
PRUEBAS DE OTROS TEOREMAS
A177 pqrI.p.qr
Prueba:
(2)
(pq)rI.pqr
A150/8
2I.p.qr A149
A177
(2), df06
Dos corolarios se siguen inmediatamente de A177:
A177/1 pqr.p.qr (Prueba: A177, rinf12)
A177/2 p(qr).pqr (Prueba: A177, rinf12)
Ahora se prueba otro esquema interesante:
A177/3 pq(qr).pr (Prueba: A172, A77/2)
El esquema A177/1 es el principio de exportacin, uno de los blancos del
ataque de los relevantistas (junto con el principio de adjuncin y el principio
uerum e quolibet). Lo que reprochan al principio de exportacin es que, aunque
p y q entraen, conjuntamente tomados, a r , no por ello va a entraar p
por s solo al entraamiento de r por q . Pero justamente s!, s lo entraa
supuesta la hiptesis, o sea: supuesto que la conyuncin de p y q entraa
a r . Supongamos, p.ej., que, si el padre de una persona ha muerto y la madre
de esa persona tambin ha muerto, la persona es hurfana, de ah se desprende
que, si el padre de una persona ha muerto, entonces, si tambin ha muerto su
madre, la persona es hurfana, No?
El esquema A177/2 es el principio de importacin, que admiten los
relevantistas (y las lgicas clsica e intuicionista), pero que no es validado,
en cambio, por las lgicas /
lukasiewiczianas (en la lgica trivalente de
Lukasiewicz con valores 1,
/
y 0, cuando el valor de r es 0 y el valor de p
y de q es , falla el principio de importacin); sin embargo, nadie parece
haber expuesto un argumento en contra del principio de importacin, y es, ms
bien, un defecto de las lgicas /
lukasiewiczianas el que no reconozcan la
validez del mismo. Una instancia del mismo es: Supongamos que, si un hombre
est casado con una mujer, entonces, si est tambin casado con una mujer
diferente de la primera, es bgamo; supuesto eso, resulta lo siguiente: si un
hombre est casado con una mujer y tambin lo est con otra mujer diferente de
ella, es bgamo.
Clculo sentencial
65
66
A163
A123, A149,
(3), df06
A192 pq.pp
Prueba:
(2)
ppq
A163
(3)
qqp A163
(4)
23
(2), (3)
(5)
pq.qp (4),A123, A149, A141
(6)
(pq).qp
(5), A150/7
A192
(6), df06
Clculo sentencial
67
68
Clculo sentencial
69
A198/1 p.pq.pq
Prueba:
(2)
qq
A117, A123
A198/1
(2), A198
Este esquema cabe denominarlo principio de las dos astas (otros lo llaman
principio de expansin, pero aqu he reservado esa denominacin para A165/1).
Veamos una instancia: Si Nuo es muy inteligente, entonces: o bien es muy
inteligente y es, adems, agraciado, o bien es muy inteligente sin ser
agraciado en absoluto. Tambin ha sufrido este principio los embates de los
lgicos relevantistas, o de algunos de ellos por lo menos, pero ya han ido
quedando esclarecidos ms arriba el meollo y el fondo del debate, y el porqu
del desacuerdo entre esos lgicos y la posicin preponderante compartida por
la lgica clsica y por el sistema Aj.
A199 pq.rs.pr.qs
Prueba:
(2)
pp.rsr.qs
A163
(3)
qq.rspr
A163
(4)
rr.ps
A163
(5)
ss.qpr
A163
(6)
q(rs)prs
(4), (5), A123, A149, A141
(7)
q/rs)pr.qs
(3), (6), id.
(8)
pq.rs.pr.qs (2), (7), id.
(9)
(pq).(rs).(pr).qs
(8), A150/7, A150/8
A199
(9), df06
A199/1 pq(rs).pr.qs (Prueba: A199, A177, rinf14)
A199/2 p(qr).p.sq.sr
Prueba:
(2)
qr.sq.sr A173
(3)
p2
(2), A164
p(qr).p.sq.sr (3), A175
El esquema A199/2 se denomina principio de la prefijacin de la apdosis.
He aqu una instancia del mismo: Supongamos que, si Jernimo pertenece a la
unin apostlica, entonces, si lo eligen para un cargo, tendr que dejar su
trabajo; supuesto eso, resulta lo siguiente: supongamos que Jernimo pertenece
a la unin apostlica; entonces, si es verdad que, si Jernimo paga una cuota
elevada, lo eligen para un cargo, entonces, si Jernimo paga una cuota elevada,
tendr que dejar su trabajo.
A201 rs.p(sq).p.rq
Prueba:
A200 Lpp
Prueba:
(2)
rs.sq.rq A172
(2)
NNpq
A117, A106
2.p(sq).p.rq
(3)
Npp
(2), A151/2 A173
(4)
pp
(3), A151/2
Lpp
(4), df06,
A152
A202 pq.qp
Prueba:
(2)
pq.qp
A192
A203 p(qr).pq
Prueba:
(2)
qrq
A01
70
2.qp
A201, A152
A204 p(qr).pr
A194,
p(qr).pq
A205 p(pq).pq
A173, (2)
A206 p(qp).pq
A207 pqqp
Prueba:
(2)
pqqI.pq.qq
A140, A143
(3)
qqp
A191
(4)
pqp
A01
(5)
34I.]2p A169
2p
(5), (2)
A208 p(qr).(pr).pq
Prueba:
(2)
p(qr).p.p.qr
A187
*2.pq.pr A140
(3)
(pr).2.2.2(pr)
A174
(4)
2.](pr).22(pr)
(3), A167
(5)
2.(pr).2(pr)
(4), A166
*5.p.2(pr)
A122, A150/10,
A164,
A165
*5.p.pq
A207
*5.pq
A205
A209 p(qr).rp.pq (Prueba: A208, df06, A123, A150/8)
A210 pqr.p p(q q).p q r
Prueba:
(2)
p q (pq).pqr.p q r A172
(3)
p p(q q).p q .pq
A199, A177
(4)
p p(q q).pqr.p q r (3), (2), A173
A210
(4), A167
A211 p.pqq
Prueba:
(2)
ppq
A163
(3)
qqp
A163
(4)
p.pqq
(2), (3), A123, A149, A141
(5)
p.(pq)q
(4), A150/7
A211
(5), df06
A211/1 pqpq (Prueba: A211, A177, A166)
A104, A118)
Clculo sentencial
71
72
Clculo sentencial
73
A218 pq.pq
A116, Prueba:
(2)
pq.p.pq
A103,
df14
(Prueba:
2.pq
A205
74
Clculo sentencial
75
A229 pq.NqNp
Prueba:
(2)
pqIp.pqIq
A228,
A01, df10
2.NpNqINq
A112, A127
2.NqNpINq
A122
(3)
NqNpINq.NNpNNqINNp
similarm.
3.pqIp
A106
2.3.]A229
A222, df14
A230 p.qNp
(Prueba: A153, A229, A106)
A231 ppI.qq
Prueba:
(2)
ppI0
(3)
qqI0
ppI.qq
(3)
A232 ppqI0 (Prueba: A156, rinf17, A150/14)
A233 ppqIq (Prueba: A156, A150/13, A123)
A233/1 pqpI.pq
Prueba:
(2)
pqpI.pp.qp
A143
2I.pp.pq A122
2I.pq
A233
A156
A156
(2),
A233/3 pqr.prq
Prueba:
(2)
prr
A161
2.pqr(pq) A214
2.d2.pq
A150/8
(3)
pqr.pr.pq
(2), A167
A233/2 pqpI.pq
3.pr.pr.pq
A187
*3.r.p.pq A 1 2 2 ,
A149/1
*3.p.pq A161
*3.pqp A122
*3.pq
A233/1
*3q
A161
Los esquemas recin demostrados nos fuerzan a aguzar la vista y a distinguir
las caractersticas de la negacin fuerte de las de la negacin dbil. As,
tomemos el esquema A229: muestra ese esquema que con respecto a la implicacin
vale un principio de contraposicin para la negacin dbil; mientras que, como
sabemos, con respecto al mero condicional o entraamiento, la nica
contraposicin vlida es la que se expresa con el functor de supernegacin o
negacin fuerte. Por otro lado, si en A229, sustituyramos por y N
por , el resultado seguir siendo correcto, teoremtico; en cambio, no es
teoremtico en absoluto lo siguiente: qp.pq ; de aadirse ese esquema
a los axiomas de Aj, resultara un sistema incoherente, delicuescente.
76
A237
p.ppIp
A236/1)
A235
A220
A123
A150/13
(2), df06
A238 pq.pq
Prueba:
(2)
pqpq
A238
(Prueba:
A207, A123
A177, (2)
Como una instancia de esta versin del silogismo disyuntivo (rechazada como
las dems versiones por la lgica relevante) tenemos la siguiente: si un
elemento est, o bien en estado lquido, o bien en estado gaseoso, entonces,
si no est en absoluto en estado lquido, est en estado gaseoso.
A239 pIp (rIr ).qIs (si s
de n ocurrencias de p en
m ocurrencias de r en q
afectados ni p ni r en
Prueba (Sea q
el resultado de reemplazar en q esas n ocurrencias de p por
n ocurrencias respectivas de p ):
Clculo sentencial
77
(2)
pIp .qIq
A220
(3)
rIr .q Is A220
(4)
23.23
(2), (3), A199
4.qIs
A223
A240 pIp (rIr ).qIs.qIs (si s es el resultado de reemplazar en q n
ocurrencias de p por ocurrencias respectivas de p ; y si s
es el
resultado de reemplazar en q m ocurrencias de r por ocurrencias
respectivas de r , y cumplindose la misma restriccin sobre los smbolos)
Prueba: A220, A221/5
A241 q.pIrq (si q
es el resultado de reemplazar en q n ocurrencias de
p por ocurrencias respectivas de r con la misma salvedad)
Prueba: A220, A108, A103, A167
A242 q.pIp (rIr )s (si q y s son como en A239)
Prueba similar, a partir de A239 en vez de A220
A243 q.pIp (rIr ).ss (si s y s
son como en A240)
Prueba: A240, A108, A103, A171, A167
En lo sucesivo, har las pruebas ms concisas y resumidas omitiendo (salvo
en casos excepcionales, en que nos interese centrar la atencin en algn punto
particular) referencias a cualquiera de las reglas de inferencia siguientes:
rinf01, y de rinf11 a rinf47, ambas inclusive. Tambin omitir referencias a
teoremas de los ms obvios, como: del A101 al A150/17, del A159 al A163 ambos
inclusive. Quiere decirse que, ms que pruebas propiamente dichas, las que
siguen son esbozos de pruebas, dejndose al lector el ejercicio de completarlas
debidamente.
78
Clculo sentencial
79
df03
df12
A151/1
A196
df03
A254/1
pILp
A150/5, df03)
df12
A258 L(pq)I.LpLq
Prueba:
(2)
L(pq)IN(pq) df12
2IN(pq)
2I.NpNq
2I.LpLq
df12
80
A259 p&qI.Lpq
A260 pqIN(LpNq)
Prueba:
Prueba:
(2)
p&qIN(pNq)
df07
(2)
pqI.pq
df03
2IN(pNq)
df06
2I.pNNq
A106
2I.NpNNq
2I.NLpNNq
A251
2I.Lpq
df12, A106
2IN(LpNq)
A260/1 pqIN(p&Nq) (Prueba:
A260, A259)
A262 pLp
Prueba:
A261 pqI.LpZq
(2)
p.pLp
A153
Prueba:
(3)
p.pNp
A234
(2)
pqI.pq
df06
3.pNp
A229, A106
2I.NLpq
A251
3.pLp
df12
2I.LpZq
df15
A262
(2),(3),A117,rinf42
Ntese que en la lnea (3) de la prueba precedente he hecho uso de A229 de
tal modo que esa frmula, que es un bicondicional, ha sido leda como un mero
condicional. Voy a generalizar tal procedimiento. Dado que una frmula bicondicional, o sea de la forma pq , equivale (df10) a pq.qp podemos inferir
de un teorema pq el teorema pq (por rinf 23) y tambin el teorema qp
(por rinf22); as daremos por supuesta una regla de inferencia que de pq
permita inferir tanto pq como qp , y as, cuando nos convenga, leer un
teorema bicondicional como un teorema meramente condicional, ya de izquierda
a derecha, ya a la inversa. Es ms: si tenemos pq y tenemos p , podemos
inferir q ; y, si tenemos pq y tenemos q , podemos inferir p (basta con
leer el bicondicional como condicional y aplicar el modus ponens, e.d. rinf01).
Obviamente, y en virtud de rinf28, si tenemos pq y tambin qp , inferimos
inmediatamente pq .
A264 pNp (Prueba: A263, df03)
A263 Hpp
Prueba:
(2)
NpLNp
A262
(3)
NLNpNNp
(2), A229
A363
(3), A106, A252
Ntese que, si bien son vlidos tanto pLp como su inverso Lpp , en cambio
el inverso de A262 no es vlido: hay instancias suyas totalmente falsas. La
diferencia radica en que el comportamiento de la implicacin no es el mismo que
el del mero condicional: para que sea verdadera una frmula condicional, o sea
de la forma pq , es condicin necesaria y suficiente que, o bien sea p del
todo falso, o bien tenga q algn grado de verdad, mayor o menor; pero, para
que sea verdadera una implicacin, una frmula de la forma pq , hace falta
que el grado de verdad de p no sea superior al de q . Por eso, aunque vale
concluir p de Lp (regla de apencamiento), eso no significa en modo alguno que
haya implicacin vlida de p por Lp , pese a que s hay, siempre y
necesariamente, implicacin inversa, o sea implicacin de Lp por p . Vemoslo
con un ejemplo. El que Turismundo sea travieso implica que es, por lo menos
hasta cierto punto, travieso; pero el que sea por lo menos hasta cierto punto,
travieso no implica en absoluto (aunque s entraa) su ser travieso. Recurdese
que pq puede leerse tanto el hecho de que p implica al hecho de que q como
eso explicita el sentido de implicacin es verdad que p a lo sumo en la
medida en que (tambin) lo es que q. Pero el ser Turismundo ms o menos
Clculo sentencial
81
df12
A151/1
A151/1
A152
(Prueba:
82
A273/2
(2), df06
(Prueba:
A273/3 Nppp
Prueba:
(2)
Npp
(3)
Npp.pp
3p
A273/3
A274 Hp.pZq
Prueba:
A265, A238 (2)
Hp.HpIp
A269
(2), A196
2.pZqI.NHpq
A220,
df15
A118
(3), df06
2.2I.Hpq
A220,
A270
2.2I.Hpq
df06
A274
A165, (2),
A103, A167
Djase al lector la prueba de los esquemas siguientes:
pZ0INp,
Np.pZq,
pZHp,
pZq.qZrZ.pZr,
pZqI.NqZNp
En el caso de una prtasis que, de ser verdadera, lo es totalmente, el
cuasicondicional Z funciona como un verdadero condicional, y cumple la
condicin del modus ponens, en virtud del esquema A274. En particular, el
esquema A261 nos dice que el condicional autntico, , puede definirse
mediante el cuasicondicional y el functor de afirmacin atenuada, L: decir
que, si un nmero es primo, entonces es indivisible por el nmero 2, eso
equivale a decir que dado un nmero cualquiera, tal nmero no es, ni siquiera
hasta cierto punto, primo, a menos que sea indivisible por el nmero 2.
Obviamente, podemos derivar las dos reglas de inferencia siguientes:
pZq , Hp
q
y
p , LpZq
q
Trate el lector de derivarlas, como ejercicio.
Ahora pruebo unos cuantos esquemas con respecto a la conyuncin dbil, &,
a la que tambin podemos llamar cuasiconyuncin:
A275 pq.p&q
A276 p&q.pq (Prueba: A259,
Prueba:
A200, A195)
(2)
pLpIp
A262, df14
A277 p&q&rI.p&.q&r
(3)
pLpqI.pq
(2)
Prueba:
(4)
pq(Lpq)I.pq (3)
p&q&rI.L(Lpq)r
A275
(4), df14, (2)
A259
A259
2I.LLpLqr
A258
2I.LLp.Lqr
2I.Lp.Lqr
A256
2I.p&.q&r
A259
A278 p.LpI1
A279 p.p&qIq
Prueba:
Prueba:
(2)
p.pI0
A235
(2)
p.LpI1
A278
2.NpI1
df08
2.LpqI.1q
2.LpI1
A151/1,
2.p&qI.1q
A259
A152
2.2Iq
A280 p&pIp (Prueba: A262, df14, A259)
Djase al lector, como ejercicio, el probar los esquemas teoremticos
siguientes: p&0I0, 0&pI0, p&1ILp, 1&pIp, p&q.p&qIq, p&qq, p&qq,
N(p&q)I.pNq,
p&(qr)I.p&q.p&r,
qr&pI.q&p.r&p,
Lp&qI.p&q,
Clculo sentencial
83
84
A283 H1I1
Prueba:
HH1
A281, A241 (2)
2.]H1I1
A200
(2), A278,
A158, A253
A267
A284 L1I1 (Prueba: A281, A282) A285 1I0 (Prueba: A284, df08, A251)
A286 0I1
A287 L0I0
A288 H0I0
Clculo sentencial
85
A290 H(NpLp)
Prueba:
(2)
LpLp
A117
(2)
(3)
pLp
(3), A152, (4)
HNpHLp
A151
A290
(4), A253/1
(5)
A117
(2), A273
(3), df03,
(4)
A267
A268
(2), (3)
A294
H(pLpq)
(Prueba:
A293, A289)
A295
H(NpLpq)
(Prueba:
A293, A290)
A296 pLpqI1 (Prueba: A294,
A267)
A297 NpLpqI1 (Prueba: A295,
A267)
A298
pLpqrIr
(Prueba:
A296)
A299
NpLpqrIr
(Prueba:
A297)
A300 p1Ip
A301 HpI1.HpI0
Prueba:
Prueba:
(2)
p1I1
df06
(2)
NHp.HpI0
A270, A236
(3)
1pI.1p
df06
2.HpI1.HpI0
A162
3I.0p
A285
(3)
Hp.HpI1.HpI0 A 2 5 3 ,
A267, A162
3Ip
A301
(2),
(3),
(4)
p1(1p)I.1p ( 2 ) ,
A265, rinf42
(3), A239
4Ip
A150/11
LpI1.LpI0
(Prueba:
A300
(3), df10 A302
A301, A151)
A302/1 HNpHp (Prueba: A301, A268, A268/1, A221/5)
A302/2 HLpLp (Prueba: A302, A268, A268/1, A221/5)
A302/3 Hpp (Prueba: A302/1, df03)
Djase al lector la prueba de los cuatro teoremas siguientes:
A303 LpI1Lp,
A304 (10),
A305 (1I0),
A306 1I0I0
A307 pqI1.pI1.qI1
Prueba:
(2)
pI1(qI1).pqI.11
A239
2.2I1
(3)
pqI1.pqpI.1p
A220
3.pI.1p
3.3I1
(4)
pqI1.qI1
A308 pI1(qI1).pqI1
Prueba:
(2)
pI1(qI1).pqI(1q).pqI.p
1
A240
2.pqI1.pqI1
2.pqI1
(3)
pqI1H(pq)
A268
3.HpHq
86
similarmente a (3)
3.pI1.qI1
(5)
pqI1.34
( 3 ) , A267,rinf41,MD
(4)
A308
A307
(2),
(5), df10
df10
(2),
(3),
Vale la pena comentar el empleo que se acaba de hacer (en la lnea (3) de
la prueba de A308) del metateorema de la deduccin, MD. En virtud de rinf41,
tenemos que, del cmulo de las tres premisas Hp.pI1 , Hq.qI1 y HpHq , se
infiere la conclusin pI1.qI1 . As pues, dada la versin fuerte del
metateorema de la deduccin, tenemos que, del conjunto formado por las dos
primeras
de
entre
esas
tres
premisas,
se
infiere
la
conclusin:
HpHq.pI1.qI1 . Ahora, esas dos premisas son esquemas teoremticos que hemos
demostrado. Mas lo que se infiere de teoremas es un teorema; de modo que es lo
mismo decir que la conclusin p se infiere a partir de un conjunto de premisas
todas las cuales son teoremas que decir que p es un teorema. Ello nos permite
expresar en forma de corolario del MD lo siguiente: si , p
q, y no
contiene ms que teoremas o esquemas teoremticos, entonces es un teorema o
esquema teoremtico la frmula condicional pq .
Conviene reparar en que el recurso a MD es slo un expediente para abreviar
algunas pruebas. En general, poco uso se est haciendo en este libro de tal
metateorema. Y es que parece preferible que el estudiante se familiarice con
la prueba rigurosa y no abreviada de los teoremas o esquemas teoremticos, en
vez de acogerse en seguida a atajos cmodos. Slo cuando haya pasado ya muchas
horas examinando y siguiendo paso a paso pruebas rigurosas y detalladas de
teoremas (o esquemas teoremticos), pero no antes, podr el estudiante, sin
menoscabo de su aprendizaje lgico, permitirse el lujo de recurrir, tan a
menudo como lo desee, a MD en la prueba de otros teoremas.
En cualquier caso, MD es prescindible. En el caso que ha suscitado este
comentario, tenemos que el esquema teoremtico HpHq.pI1.qI1 puede probarse
acudiendo a A221/5, como sigue:
Hp.(pI1).Hq(qI1).HpHq.pI1.qI1
Luego se aplica dos veces modus ponens (o sea: rinf01), en virtud de A267,
y se tiene probado el esquema teoremtico en cuestin.
A309 pqI0.pI0.qI0
A310 pqI0.pI0.qI0
Prueba:
Prueba:
(2)
pI0.pqI.0q
A220
(2)
pqI0.pqpI.0p
A220
2.2I0
2.pI.0p
A139
(3)
qI0.pqI0
similarmente
2.pI0
(4)
pI0(qI0).pqI0
(3)
pqI0.qI0
(2), (3), A169
similarmente
(5)
pqI0(pq)
A268/1 (4)
pqI0.pI0.qI0
(2),
(3)
5.pq
pI0(qI0).pqI.00
5.pI0.qI0
A 2 3 6 , (5)
A239
rinf41, MD
A309
(5),
(4),
*5I0
df10
A310
(4),
(5),
df10
Obsrvese la asimetra entre 1 y 0: mientras que (A307) el que una
conyuncin sea equivalente a 1 se da ssi cada uno de los dos miembros
conyuntivos, por su lado, es equivalente a 1, en cambio (A309) el que una
conyuncin sea equivalente a 0 se da ssi uno u otro (e.d. al menos uno) de los
Clculo sentencial
87
88
A317 pq(rs).pr.qs
A316 pq.pr.qr
Prueba:
Prueba:
(2)
pq.pr.qr
A315
(2)
pq.pr.qr
A196
(3)
rs.qr.qs
A315
(3)
qp.qr.pr
A196
(4)
23.23
( 2 ) ,
A316
(2),
(3), (3), A199
A199
4.pr.qs
A313/1
A318 pq(rs).pr.qs (Prueba similar, a partir de A316 en vez de A315)
A319 pq.qr.pr
A320 pqI.pq(pq)
Prueba:
Prueba:
(2)
pq.pr.qr
A 3 1 3 , (2)
pqI.pq.qp
A312
2I.pqq.pqp
A319
(2), A313
2I.qp.pq
A233/2,
A233/1
2I.pq(pq)
A321 pqI.pq.pq (Prueba: A320) A322 pLp (Prueba: A194, A200)
A323 pp (Prueba: A322, A152)
A324 pq.pq (Prueba: A311, A317)
A325 (pq).pq
Prueba:
(2)
pq.pq
A323, A188
2(pq)
2(pq)
A325
A215, (2)
A partir de este momento, la derivacin de nuevas reglas de inferencia ya
no ser exilada al captulo 4, sino incorporada al texto principal, de modo
que aparezcan tales derivaciones de reglas de inferencia intercaladas en medio
de las pruebas de teoremas, en funcin de qu teoremas deban aducirse para
derivar la regla de que se trate y de qu reglas deban aducirse en la
demostracin de teoremas ulteriores.
Ahora voy a derivar la siguiente regla de inferencia:
rinf53 pq
rs (Siempre que r difiera de s tan slo en el reemplazamiento
de una o varias ocurrencias de p en r por ocurrencia[s] respectiva[s] de
q , y con tal de que esas ocurrencias de p en r y de q en s estn
afectadas nicamente por los functores: , , y otros definibles
a partir de esos tres, como y )
La derivacin se hace por induccin matemtica (como la de rinf32) aduciendo
los esquemas siguientes: A315, A316 y A324)
A326 pIq.pq
Prueba:
(2)
pIq.pq
A108,A103
(3)
pIq.qp
A103
pIq.pq.qp
(3)
A327 (pq).pq.qp
Prueba:
(2)
(pq)I.(pq)(qp)
(3)
(pq).pq
A325
(4)
(qp).qp
A325
(5)
34.34
(3),
(2), (4), A318
A327
(2),A326,(5),
A313/1
Clculo sentencial
A328 pq.qr.pr
Prueba:
(2)
(pq.qr.pr).(pq)(qr)(pr)
2.pq(qp).qr(rq).pr.rp
20
A232
A328
(2), A219, A323
89
A327
90
Clculo sentencial
91
A361 Hqq.pq.pq
Prueba:
(2)
qI1.pq
rinf52
(3)
qI1.pq
(2)
3.pq
A218
(4)
qI1.pq.pq (2), (3), A186
3.pqpq
A333
(5)
Hq.qI1
A267
5.pq.pq (4)
(6)
q.qI0
A236
6.pqIp
df06, rinf52
6.pqp
A326
6.pq.p(pqp)
A320
6.p(pqp) df06
6.p.(pq)p
6.p.pqp
6.p.pq A152, rinf54
(7)
q.q.p.pq
(6), A187
7.qp.qp
7.qO0(pI0).qp
A236, A199
7.qIp.qp A224, A221/5
(8)
qp(pq)
A325
8.(pq)(pq)
A218, A192, A187
8.pqI0.pqI0 A236, A199
8.pqI.pq A224
8.pq.pq A326
(9)
qIp.pq.pq A103, A226, A161
9.pq.pq A333
(22) 7.pq.pq
A169, (9), (8)
(23) q.pq.pq
(7), (22)
A361
(5), (23), A169
A361/1 pHp.pHp (Prueba: A361, A302/1)
A361/1)
92
serlo que q, significa que el hecho de que p es a lo sumo tan real o verdadero
como el hecho de que q (o, dicho de otro modo: que el hecho de que q es por lo
menos tan real como el hecho de que p).
Antes de pasar a la demostracin de esquemas implicacionales, hemos menester
de probar otros esquemas, en los que figura el functor de superconyuncin :
no slo sino tambin; ms adelante en el cap. 21, pgs 116ss estudiar
sistemticamente tal functor, limitndome por ahora a probar esquemas que nos
han de servir como lemas para demostrar lo que nos interesa en este captulo.
A partir de este momento, voy a simplificar an ms las pruebas (no nos
queda otro remedio, si queremos evitar una prolijidad excesiva), dejando de
aducir, como justificacin de pasos deductivos, los esquemas del A101 al A222
(inclusive) y, adems de rinf01, las reglas de inferencia que van de rinf11 a
rinf54 (inclusive), con todas las cuales se supone que el lector est ya
familiarizado, pudiendo suplir nuestro silencio y completar o explicitar del
todo las pruebas (se ser el mejor ejercicio). Tambin omitir referencias
explcitas a las definiciones: df03, df04, df05, df06, df07, df08, df10, df12,
df14, df15.
A362 pq.pq (Prueba, A03, A364 pqI.NqNp
df23)
Prueba:
(2)
pqIpI.N(pq)INp
A363 qr.pq.pr
2I.NpNqINp
Prueba:
2I.NpNqNqI.NpNq
(2)
qrIq.pqIq.qrI.pr
2I.NqI.NpNq
(3)
2.qrrI.prr
3.rI.pqr
A365
pNqI.qNp
(Prueba:
(4)
2.23 (2), (3)
A364)
(5)
A366
NpqI.Nqp
(Prueba:
rI(pqr).prI.p(qr)p
A364)
5.prIp
5pr
A363
(4), (5)
Los esquemas recin demostrados son bastante obvios. El esquema A362 nos
dice que el ser verdad que no slo p sino tambin q implica el ser verdad que
p y el ser verdad que q. As, p.ej., que en Turqua no slo viva el pueblo
miserablemente sino que sufra represin implica que en Turqua el pueblo vive
miserablemente y sufre represin.
El esquema A363 nos dice que la implicacin es transitiva: Si el ser
ambiciosa una persona implica su querer copar puestos, entonces, si el querer
una persona copar puestos implica su acudir a aagazas, el ser ambiciosa una
persona implica su acudir a aagazas. Por otro lado, como pq se lee tambin
Es verdad que p es a lo sumo tan real como el ser verdad que q , podemos poner
como ejemplo de otra instancia de A363 el siguiente: Si Kenan es a lo sumo tan
compasivo como presuntuoso, entonces, si es a lo sumo tan presuntuoso como
mandams, resulta que Kenan es a lo sumo tan compasivo como mandams.
Los esquemas siguientes dicen que el que un hecho sea a lo sumo tan
verdadero como otro equivale a que este otro sea a lo sumo tan falso como el
primero.
A367 pqp.pqp (Prueba: A362, A363)
En el esbozo de prueba de A367 he sobreentendido, sin aducirla
explcitamente, la validez de los esquemas pqp y pqq . Pruebe el lector
que esos esquemas son vlidos y que tambin son los que ahora se indican:
p.pq ,
q.pq ,
pp
Las pruebas son sencillsimas. En lo sucesivo, sobreentender, cuando
convenga, uno u otro de esos esquemas sin aludir a ellos explcitamente.
Clculo sentencial
93
A368
p q . q n p . p I m q A370 pIpIN(pIp) (Prueba: A05)
A371
IN
(Prueba: A370,
(Prueba: A06)
df11)
A369 pq.qp
A372 pIpI
Prueba:
(2)
q(p).qp
A 3 6 7 , Prueba:
(2)
pIp .pIp .pIpN
A363
(3)
pImqpIN(Nq) d f 2 0 , A371
2.pIp . N(pIp)
df19
A365, A371
3.NpI.Nq
(3)
3.Np.Nq A226
A370.2I.]pIp
.pIp .
3.NpNq
A367, A363
.pIp
3.qp
A229
3. I.pIp
A225
(4)
23.qp (2), (3)
(4)
(pIp).N(pIp)N
A369
A368, (4),
A364
df19
4.N(pIp)N .N(pIp)
A371
4. (pIp).N(pIp)
A364
(5)
A370.4I.] (pIp). (pIp)
.pIp
5. I.pIp
A225
A372
A369, (3),
(5)
A373 pIpI.qIq (Prueba: A372, A223) A374 pIq.pIqI.pIp (Prueba: A101)
A375 pIq.pIqI.rIr (Prueba: A374, A373)
A376 pIq.pIqI
(Prueba:
A374, A372)
A377 pqIp.pqIq (Prueba: A369, A228)
A377/1 pqp.qp (Prueba:
A377, A226)
A377/2 p(pq).q.pq
Prueba:
(2)
NpNqNp.NpNqNq
A377/1
(3)
pN(NpNq).qN(NpNq)
(2), A365
p(pq).q.pq
(3)
A379 p.p.pq
Prueba:
(2)
pq.p.pq
(3)
p(pq).pq
A379
(2), (3)
A380 pIqI0.pIqI
A376, A236)
A382 pIq(rIs).pIq.rIs
Prueba:
(2)
pIq(rIs).pIq.pIq.rIs
A378 pIq.pIqIN(pIq)
Prueba:
(2)
pIq.N(pIq)IN
A376
(3)
22I
A371
(4)
pIq.pIqI .N(pIq)I
A376, (3)
4.pIqIN(pIq)
A223
A381 pIq(rIs).pIqI.rIs
Prueba:
(2)
pIq.pIqI
A376
(3)
rIs.rIsI
A376
(4)
23.23
( 3 ) ,
(Prueba: (2)
4.pIqI.rIs
A223
94
2.(pIq).pIq.rIs
(3)
(pIq).pIq.rIs
(4)
pIq(rIs).pIqI.rIs A381
4.pIq.rIs A226
(5)
343
(3), (4)
A382
(5), A218
rinf55 pIq.rIs
pIq.rIs (Derivacin inmediata a partir del esquema
teoremtico A382)
rinf55/1 pIq.rIs
pIqI.rIs (Derivacin: rinf55, rinf28, A227)
Corolarios obvios, definicionales, de esas reglas son:
pIq.rs
pIq.rs
pq.rIs
pq.rIs
pq.rs
pq.rs
pIq.rs
pIqI.rs
pq.rIs
pqI.rIs
pq.rs
pqI.rs
Me abstendr de aducir explcitamente, en los pasos deductivos que d,
rinf55 o rinf55/1; ello significa que bastar con aducir, p.ej., un esquema
como A228 para entenderlo (por aplicacin implcita de rinf55/1) como
pqI.pqIq .
A383 pIq(rIs)(p Iq .r Is ).pIq(rIs)p Iq .r Is
Prueba:
(2)
A383.pIq(rIs).pIq.rIs.p Iq .r Is
*2.pIq(rIs).p Iq .r Is
A376, A239, A224, A226
*2.pIq(rIs).p Iq .r Is
A379
A383
(2), A218
Conviene observar que en la lnea (2) de la prueba de A383 estn
implcitamente supuestas varias lneas deductivas, o sea: varias aplicaciones
consecutivas de A376 (y de A199), de A239, de A224 y de A226. Se deja, como
ejercicio, al lector el explicitar esos pasos deductivos.
La prueba que se acaba de presentar de A383 hubiramos podido ahorrrnosla,
toda vez que se va a probar ahora mismo un metateorema en virtud del cual ya
no hara falta probar A383, pues es un caso particular de lo que va a ser
probado con ese metateorema. Pero la he presentado a ttulo de ejercicio o
ensayo de lo que ahora mismo voy a demostrar.
Probamos ahora el metateorema de la equivalencia, M.E., como sigue: tmense
como frmulas atmicas (en el sentido de frmulas cuya estructura no nos
interesa aqu) nicamente frmulas equivalenciales (o sea: de la forma pIq )
y combnense en disyunciones y/o conyunciones, e.d. por medio de los functores
y , nicamente; sea r un resultado de combinar mediante ocurrencias de
los functores y/o , pero de ningn otro functor, frmulas
equivalenciales cualesquiera; y sea s el resultado de efectuar tambin una
combinacin de frmulas equivalenciales cualesquiera (no forzosamente las
mismas que hay en r ) mediante ocurrencias de los functores y/o
(combinaciones que no tienen por qu ser las mismas que las que han dado lugar
a r ). Supuesto eso, tenemos:
M.E. 1
rs.rs
M.E. 2
rs.rIs
La prueba se efecta por induccin matemtica. Vamos a probar slo M.E. 1,
pues M.E. 2 es un corolario inmediato.
Primero, demostraremos el siguiente Lema: cualquier combinacin de frmulas
equivalenciales que se efecte slo mediante ocurrencias de y/o es una
frmula p tal que es un teorema lo siguiente: p I0.p I .
El primer paso de la induccin con que se prueba el Lema es el caso en que
p
es, simplemente, una frmula equivalencial; y tal paso est dado por el
esquema A380.
Clculo sentencial
95
Ahora supongamos que el Lema vale para frmulas cualesquiera que slo
contengan n frmulas equivalenciales combinadas del modo indicado. Se prueba
con facilidad que, siendo p y q dos frmulas as, el Lema vale tambin para
pq y para pq . En efecto, por hiptesis de induccin tenemos:
(2)
pI0(pI ).qI0.qI
(3)
pI0(qI0)(pI0.qI )(pI .qI0).pI .qI
(2)
(4)
pI0(qI0).pqI0
A242
4.pqI0.pqI
(5)
pI0(qI ).pqI0
A242
4.pqI0.pqI
(6)
pI (qI0).pqI0
A242
4.pqI0.pqI
(7)
pI (qI ).pqI
A242
4.pqI0.pqI
(8)
pqI0.pqI
(3), (4), (5), (6), (7)
Similarmente se prueba (hgalo el lector)
(9)
pqI0.pqI
As pues, si el Lema vale para frmulas cualesquiera que slo contengan
hasta n frmulas equivalenciales combinadas del modo indicado, tambin vale
para una frmula cualquiera que slo contenga n+1 frmulas equivalenciales
combinadas del modo indicado, ya que cualquier frmula as, r , que contenga
n+1 frmulas equivalenciales ser el resultado de unir mediante o mediante
dos frmulas as, s y s , cada una de las cuales slo contendr a lo sumo
n frmulas equivalenciales combinadas del modo indicado. Con lo cual queda
demostrado el Lema.
As pues, para cualesquiera frmulas r y s que resulten de combinar, de
cualquier modo que sea, nicamente mediante ocurrencias de y/o de
frmulas equivalenciales arbitrariamente dadas, tenemos:
(22) rI0(rI ).sI0.sI
(23) rI0(sI0)(rI0.sI ).(rI .sI0).rI .sI
(22)
(24) rI0r
A268/1
24.rs.rs
24.rs.rs
A333
(25) 23.rs.rs
(24)
(26) rI (sI0).rs
A242
26.(rs)
A325
26.(rs)(rs)
26.rs.rs
A334
(27) rI (sI ).rs.rs
27.rs.rs
A333
(28) 23.rs.rs
(26), (27)
rs.rs
(23), (25), (28)
Con lo cual queda probado M.E. 1, pruebe ahora el lector, a partir de ah,
M.E. 2.
Y ahora derivamos esta regla de inferencia:
rinf56 Sea r el resultado de combinar, de cualquier modo que sea, frmulas
equivalenciales nicamente mediante ocurrencias de y/o de ; y sea s
el resultado de combinar frmulas equivalenciales (no forzosamente las
mismas que hay en r ) nicamente mediante ocurrencias de y/o
(combinacin que puede no ser la misma que la de r ); entonces:
rs
rs
rs
rIs
(Llamar rinf56 indistintamente a cualquiera de esas dos reglas).
96
A387 pNpI.p
Prueba:
(2)
pNp.pNp( p).pNp.p
A369
2.pNp(Np ).pNp.p
A364, A371
2.p .p
A363
2.p
(3)
p .N Np
A364
3. Np
A371
(4)
p .p . Np
A386
A387
(2), (4), (+ rinf56)
A388 NppI. p (Prueba: A387, A364, A371)
A389 pNpNp
Prueba:
(2)
pNp.p A387
2.N Np
A364
2. Np
A371
(3)
pNp.pNpI . Np
(2), A376
3.pNp . Np
A226
3.pNpNp A386
A389
(3), A379
A390/2 ppp
Prueba:
(2)
pp.pp
A218
2p
A212/2
A389, A390, A390/1 y A390/2 son principios de abduccin (o de consequentia
mirabilis, como algunos denominan un poco ridculamente a la abduccin). Los
dos primeros son principios implicacionales de abduccin para la negacin
dbil; el tercero es un principio implicacional de abduccin para la negacin
fuerte; el cuarto es un principio mixto de abduccin para la negacin fuerte;
ntese que el esquema ppp no es, en absoluto, vlido (de ser aadido, como
esquema axiomtico, a Aj, dara por resultado un sistema delicuescente,
incoherente). Por ello, cuando, en el captulo 8, anunci la prueba de estos
principios de abduccin (con ocasin de comentar dos principios condicionales
en vez de implicacionales para la negacin fuerte, a saber: A212/1 y A212/2),
Clculo sentencial
97
98
IN I
I IN
A399 p(qr).pq.pr
Prueba:
(2)
pqIq.p(qr).p.pqr
(3)
pqr.pr
A363
(4)
p3.p3
A363, (3)
4.p3
4.pr
A379
(5)
2.pr
(4)
(6)
2.p(qr).pr
(2), (5)
(7)
p(qr).pq.pr (6), A228
7.pq.pr
M.E.1
A399
(7), rinf56
A400 pq.p(qr).pr (Prueba como la de A339 hasta la lnea 6, + A228 +
rinf56)
A
4
0
1 A402 pq.Npq
rs.p(qr).p.qs
Prueba:
Prueba:
(2)
pqNq.pqq
(2)
rs.qr.qs
A393
A385
(3)
pq.Nqq (2), A394
(3)
2.p(qr).p.qs (4)
pqIq.pq.NpNqq(3)
A385
4.4.Npq.Nqq
A401
(2),
(3),
4.4.Npq A363
A363
A402
A228, (4),
A379
Ntese que, en la lnea 4 de la prueba de A402, he recurrido al siguiente
expediente: la apdosis del primer rengln de esa lnea o paso deductivo es una
frmula implicacional, a saber: pq.NpNqq . Pero la apdosis de esa frmula
implicacional (o sea: NpNqq ) implica a Npq.Nqp (lo cual quiere decir que
es teoremtico como se deduce facilsimamente de esquemas ya probados y que,
a
estas
alturas,
damos
por
supuestos
el
esquema
implicacional:
NpNqq.Npq.Nqq ); y, as, en virtud de A363, pq.NpNqq entraa
pq.Npq.Nqq . Eso nos permite pasar del primero al segundo rengln del
paso 4, como si colocramos un debajo de otro: y el mismo procedimiento
viene empleado para pasar del segundo al tercer rengln de ese paso. En
general, podemos formar con respecto a cadenas deductivas similares a las
que cabe formar con respecto a I, a y a ; no slo cuando es el
Clculo sentencial
99
functor central de una lnea, sino tambin cuando est en la apdosis de una
lnea cuyo functor central es, o bien (ello en virtud de A363) o (en
virtud de A384); y tambin cuando est en la apdosis de una apdosis (en
virtud de A180, cuando el functor condicional que figura es y de A401
cuando el functor condicional que figura es ).
A403 pqN(pNq) (Prueba: A402, A106)
A393, A394)
A405 rNrN(pIq) (Prueba: A404, A365)
A384)
100
Clculo sentencial
101
102
suceda que el hecho sea falso), eso no forzosamente excluye del todo que el
hecho sea, a la vez, verdadero, toda vez que no se requiere, para ser verdadero
o real, serlo totalmente.
Sigamos comentando ahora los principios que se postularan en Aj
en
reemplazamiento de A370 (principios que son, todos ellos, vlidos
demostrablemente en Aj). El esquema A371 nos dice, para la constante sentencial
, que lo por ella designado es tan verdadero como falso. Claro, en el marco
de nuestro sistema, y dada la definicin propuesta de (df11), ello se
prueba por definicin a partir de A370; pero en sistemas que no contengan como
esquema axiomtico el discutible A370, puede tomarse como una constante
cualquiera que designe a un hecho arbitrariamente tomado que sea tan verdadero
como falso, tan real como irreal; puede ser tal hecho la victoria de Pirro en
la batalla de sculo, o sea: el ser verdad que sali Pirro victorioso en tal
batalla; o, p.ej., si es verdad como sin duda lo es de algunas personas de
alguien, digamos de un tal Amando, que est sano y enfermo en la misma medida,
en medida de un 50%, entonces cabe tomar como referente arbitrario de el
estar enfermo Amando. Tomando como referente de a cualquier hecho as,
entonces cabe decir que lo mentado por esa constante es tan verdadero como
falso, que es real e irreal en la misma medida, ni ms lo uno ni ms lo otro.
El esquema A373 nos dice que cada autoequivalencia es equivalente a
cualquier otra equivalencia; y es que la autoequivalencia es autoequivalente,
sean cuales fueren los hechos involucrados. Por cual cualesquiera dos
autoequivalencias son mutuamente sustituibles sin desmedro de la verdad.
A391 dice que cada autoequivalencia es por lo menos tan verdadera como falsa
(o: a lo sumo tan falsa como verdadera); es un principio al cual seguramente
nadie opondr reparos. En otro caso, quienes objeten A370 lo harn, no porque
objeten A391, que es la mitad de lo que dice A370, sino porque objeten
justamente la otra mitad; a saber: que cada autoequivalencia es por lo menos
tan falsa como verdadera.
Ahora bien, es facilsimo probar que un sistema Aj , resultante de Aj sin
ms que quitar la definicin df11, tomando como smbolo primitivo, y
sustituyendo en A05, como miembro conyuntivo, A370 por la conyuncin de A389,
A371, A373 y A391, es idntico a Aj, o sea: tiene exactamente los mismos
teoremas. He aqu la prueba. En Aj se prueban inmediatamente los teoremas
A371, A389, A373 y A391. A partir de los cuales se deduce A370, como sigue:
(2)
N N
A389
(3)
(2), A371
(4)
I
(3), df14
(5)
N( I )
(4), A364, A371
5. I
A391, A384
(6)
I I
(4), (5), rinf28, A227
(7)
pIpI. I
A373
7I
(6)
(8)
N(pIp)IN
(7)
8I
A371
(9)
pIpI .N(pIp)I (7), (8)
pIpIN(pIp)
(9), A224
Si, en Aj , no hubiramos postulado A391 como parte de un esquema
axiomtico, todo lo que hubiramos podido demostrar sera una mitad de la
conclusin (o sea: de A370), a saber: lo inverso de A391, e.d. pIpN(pIp) :
cada autoequivalencia es a lo sumo tan verdadera como falsa.
De otro lado, el mismo resultado (la demostracin de A370 como un esquema
teoremtico) puede obtenerse en un sistema Aj resultante de Aj mediante la
Clculo sentencial
103
104
sumo en la medida en que no sea verdad que su testarudez es, a lo sumo, tan
real como su no testarudez; Araceli est gorda a lo sumo en la medida en que
su delgadez no sea igual o mayor que su gordura (identificando Araceli est
delgada con Araceli no est gorda).
Otro sistema ms sera Aj4, que diferira de Aj en contener, postulado como
miembro conyuntivo del esquema axiomtico A05, en vez de A370 a la conjuncin
de A371 (tomndose como smbolo primitivo, e.d. suprimindose df11), A391
y el principio de distincin, P.D., e.d. el siguiente esquema:
rNsN(pIq)
donde s difiere de r slo por la sustitucin de una ocurrencia de p por una
ocurrencia de q . En Aj4 se demuestra A370 como sigue:
(2)
p N(p )N(pIp
P.D.
(3)
p I
(4)
N(p )IN
(3)
4I
A371
(5)
2I
(3), (4)
(6)
N(pIp)
(2), (5)
(7)
pIpN
(6), A365
7
A371
(8)
(pIp)
(6), A391, A363
(9)
I.pIp
(7), (8), A227
(22) N(pIp)IN
(9)
22I
A371
pIpIN(pIp)
(9), (22)
Como se ve, Aj4 es ms econmico que Aj , que Aj y tambin que Aj , si bien
es menos econmico que Aj; la diferencia entre Aj4, por un lado y Aj , Aj y
Aj , por otro, estriba en que, en Aj4, el esquema A373 no est postulado
axiomticamente (o sea: no es un miembro conyuntivo de ningn esquema
axiomtico), aunque s se demuestra como esquema teoremtico.
La plausibilidad de Aj4 radica en la del principio de distincin que, dicho
sea de paso, es un metateorema demostrablemente vlido en Aj. Ahora bien, este
principio es plausibilsimo: sean dos hechos (que sern, efectivamente, dos,
en sentido estricto, slo si son diferentes, pero de los cuales no nos
interesa, de momento, saber si son diferentes o si son un solo y mismo hecho);
el que sea verdadera, respecto del primer hecho, determinada situacin o
caracterstica y sea falsa, respecto del segundo, la misma situacin o
caracterstica (o quiz mejor dicho: la situacin o caracterstica
correspondiente) implica la no equivalencia del primer hecho con el segundo;
no-equivalencia entindase bien! que de ningn modo es una falta total de
equivalencia, sino, lisa y llanamente, eso: una no verdad (que bien puede que
sea parcial, como efectivamente lo es cuando los dos hechos son equivalentes)
de la equivalencia entre ambos.
Clculo sentencial
105
106
Clculo sentencial
107
108
Clculo sentencial
109
110
Clculo sentencial
111
(2)
ppN(pp)
A391/1
(3)
pIpN(pIp) (2)
pIpIN(pIp)
(3), A391, A225
Y luego, a partir de ah, se demuestran los dems esquemas de que se trata.
Veamos ahora Aj7. Aj7 difiere de Aj en que, en el lugar de A370, es miembro
conyuntivo del esquema axiomtico A05 la conyuncin de: A371 (abandonndose la
df11 y tomndose como smbolo primitivo), A373, A391 y el principio de
contraimplicacin cuya teorematicidad o validez en Aj voy a demostrar primero:
A404/1 pq.pNqNp
Prueba:
(2)
pq.pNq.pq.pNq
*2.p.qNq
A395
*2.N(qNq)Np
A364
*2.pNqNp
A404, A363
(3)
pq.pNqNp
(2), A379
A404/1
(3), rinf55
A este esquema lo llamar efectivamente principio de contraimplicacin
(est emparentado estrechamente con pero es diferente de los principios de
contraposicin implicativa para la negacin dbil: A364, A365 y A366).
Podramos incluso tomar una formulacin ms dbil del principio de
contraimplicacin como miembro conyuntivo de un esquema axiomtico en Aj7, a
saber:
(P.C.i.)
pq.pNqNp (que es la lnea 3 de la prueba de A404/1)
La prueba de que en Aj7 es teoremtico o vlido el esquema A370 es simple:
(2)
. N N
(P.C.i.)
(3)
I
A371, (2)
(4)
pIp
(3), A373
(5)
N(pIp)
(4), A364, A371
(6)
pIpN(pIp) (4), A363, (5)
pIpIN(pIp)
(6), A391
Desde luego, lo interesante es menos el resultado final de la prueba (o sea:
A370) que (6), que es lo verdaderamente en disputa, e.d. el esquema inverso de
A391). Si en Aj7 no se hubiera postulado axiomticamente A391, pero s el resto
de los esquemas ms arriba apuntados junto con los que se conservan de la base
axiomtica de Aj, Aj7 contendra, de todos modos, la tesis de que cada
autoequivalencia es, a lo sumo, tan verdadera como falsa. Y eso es lo que no
estn dispuestos a aceptar los pensadores dignoscitivos (antidialcticos) para
los cuales una autoequivalencia debe ser lisa y llanamente verdadera; en tanto
que un sistema dialctico de lgica matemtica, como Aj (y los a l
equivalentes, como Aj7) acepta esa verdad propugnada en la tradicin dialctica,
de Platn a Hegel, de que cada autoequivalencia implica o contiene una
autorrelacin, y una autoalteridad por consiguiente; por lo cual ha de ser, a
la vez que verdadera, falsa.
Es impugnable el principio de contraimplicacin? Claro! Todo es
impugnable! Pero no es de los ms obvios principios que pueda uno considerar?
Ciertamente no todos lo aceptan (de nuevo hay que citar a las lgicas
lukasiewiczianas, en las cuales no es vlido; la raz de esa falla estriba en
/
el indeterminismo altico /
lukasiewicziano). (Adems, en sistemas como los de
da Costa, cuya negacin dbil es algo extraa y que, adems, carecen de functor
implicativo, tampoco hay esquema vlido alguno al que quepa denominar
principio de contraimplicacin). Pero el hombre de la calle, seguramente, no
dudara de la correccin de este principio. Una instancia del mismo es sta:
112
si Ascanio es por lo menos tan mezquino como Fulgencio, entonces el que sea por
lo menos tan real la generosidad de Ascanio como la mezquindad de Fulgencio
implica que Fulgencio no es mezquino (identificando lo dicho por Ascanio es
generoso con lo dicho por Ascanio no es mezquino).
Para terminar, echemos un vistazo a un sistema, Aj8, que slo difiere de Aj7
en contener, como miembro conyuntivo de A05, en lugar de A404/1, su converso:
el principio inverso de contraposicin (P.I.C.i.), a saber: A404/2:
A404/2 pq.pN(pNq)
Prubase ese principio en Aj como corolario inmediato de A404/1, en virtud
de A365. Tambin podemos tomar, como conyunto de un esquema axiomtico de Aj8,
en lugar de A404/2, una forma debilitada, a saber:
(P.I.C.i.) pq.pN(pNq)
Demostrar, en Aj8, el esquema A370 no ofrece ninguna dificultad, puesto que,
para empezar, se demuestra, en Aj8, inmediatamente el P.C.i. a partir de
P.I.C.i., en virtud de A365, que tambin es, por supuesto, un esquema
teoremtico de Aj8.
La diferencia entre Aj7 y Aj8 sera balad de no ser porque, tal vez, el
P.I.C.i. es todava ms obvio, o claro, para los no versados en lgica, que el
P.C.i. Una instancia del P.I.C.i. es sta: Si Isabel de Farnesio es por lo
menos tan ambiciosa como M Luisa de Saboya, entonces el que M Luisa de Saboya
sea ambiciosa implica que no es verdad que M Luisa de Saboya sea a lo sumo tan
ambiciosa como Isabel de Farnesio es desinteresada (identificando x es
desinteresado con x no es ambicioso).
El desenlace de toda la discusin proseguida en torno al principio de
Herclito y de sistemas equivalentes a Aj en los cuales ese principio no es
axiomtico, pero s es teoremtico, es que, lejos de constituir ese principio
una extravagancia como pudiera antojrseles a los lgicos de mentalidad
conservadora, podra y debera ese principio as no fuera independientemente
plausible (que s lo es, segn lo hemos visto ms atrs [cap.14, pgs 89ss],
pues abonan a su favor importantes argumentos filosficos) venir admitido como
teoremtico, porque es demostrable en sistemas cuyos axiomas gozan, cada uno
de ellos por separado, de plausibilidad independiente y son, en todo caso,
principios que han logrado aceptacin en medios mucho ms amplios que los que
aceptan el principio de Herclito; as, concretamente, un principio como A371,
para alguna interpretacin de , parece deber ser admitido por cualquier
teora de lo difuso, por cualquier tratamiento satisfactorio de la paradoja del
sorites o el montn y otras semejantes; y principios como los de abduccin
implicacional, o el de contraimplicacin, p.ej., o incluso el de Boecio son
ampliamente reconocidos, y varios sistemas de lgica los postulan como axiomas
sin aceptar, empero, el principio de Herclito. Cmo es eso posible? Porque,
si bien es independientemente plausible cada uno de los axiomas de esos
sistemas diferentes de Aj (diferentes en su presentacin, en su base
axiomtica), pero equivalente a Aj (en el acervo de teoremas); si bien cada uno
de esos principios alternativamente postulables tiene gran atractivo, pocos
lgicos hay resueltos a aceptarlos todos ellos; a la vez, justamente porque se
percatan de que, al tomarlos todos ellos simultneamente, se desemboca en
contradicciones. Mas, por qu no aceptar esas contradicciones, si se demuestra
la verdad de las mismas sobre la base de principios o postulados cada uno de
los cuales es, independientemente (de los otros y de las consideraciones que,
de consuno con los otros, puedan acarrear), muy plausible, y de reglas de
inferencia asimismo provistas, independientemente, de alta plausibilidad? Por
qu asustarse ante la contradiccin, en vez de reconocerla lealmente como
verdadera, cuando se la demuestra del modo indicado, en un razonamiento
correcto cuyas premisas parecen, todas y cada una de ellas por separado,
plausibilsimas, no padeciendo esas premisas otra mcula o tacha que la de
entraar, en conjuncin con las dems, a la conclusin contradictoria? No es
Clculo sentencial
113
114
A408 pq.rp.rq
(Prueba: A407)
A410 pq.rp.rq
de
demostrar
los
(Prueba: A409)
siguientes
esquemas
A412 pqI.p.pq
A414 pq(rs).pr.qs
A416 pq.qp
A418 pqpq
Prueba:
(2)
pq.pqpq A406
(3)
pqp.pqpq
(2)
A418
(3), A379
El esquema A418 es el principio (implicacional) de asercin conyuntiva. En
cambio, el principio de asercin (a secas) no vale para la implicacin:
p.pqq no es un esquema teoremtico de Aj (y, de postularse aadindolo
a los esquemas axiomticos de Aj, dara por resultado un sistema delicuescente,
incoherente). Otros esquemas que no son vlidos para la implicacin (e.d.,
esquemas que son vlidos para el entraamiento, sin que sean vlidas sus
versiones implicacionales el resultado de reemplazar, en ellos, cada
ocurrencia de por una ocurrencia de ) son: la ley de Peirce
( pqpp ); el principio uerum e quolibet: p.qp (e incluso una versin
atenuada del mismo: p.qp ); el principio de antilogismo para la negacin
dbil: pqr.pNrNq : tmese como p a y como r tambin a , y como
q a 1: entonces vemos que la frmula
1 . N N1 es invlida, pues
equivale prubelo el lector a
0 , o sea, a 0; el principio de las dos
astas, tanto para la negacin fuerte como para la dbil (o sea: tanto
p.pq.pq como p.pq.pNq ; el principio de Stalnaker, tanto para la
negacin fuerte como para la dbil (e.d. tanto pq.pq como pq.pq );
los principios de permutacin y conmutacin (o sea: p(qr).q.pr y
p(qr)I.q.pr ; el principio de exportacin: pqr.p.qr e incluso
el resultado de sustituir, en ese esquema, la ocurrencia central de por una
de , valiendo la misma observacin para el principio de permutacin; el
principio de adjuncin
p.q.pq
(y tambin una versin atenuada:
p.q.pq ); el principio de expansin: pq.p.pq (e incluso una versin
atenuada: pq.p.pq ). En cambio, s es vlido el principio implicacional
de importacin, como paso a demostrarlo:
A419 p(qr).pqr
Prueba:
(2)
p(qr).pq.qr
A406
2.pqq.pqr
A399
(3)
pqq.p(qr).pqr
(2), A398
A419
(3)
Tambin es vlido el principio implicacional de contraccin, como lo voy a
demostrar ahora:
Clculo sentencial
115
A420 p(pq).pq
Prueba:
(2)
p(pq).p.pq
2.pq
A379
A420
(2), rinf56
Aunque no son vlidos, en Aj, los principios implicacionales de permutacin,
de asercin, de Stalnaker, de las dos astas, de exportacin, de adjuncin y el
uerum e quolibet, s son vlidos ciertos esquemas de esas ndoles en los cuales, sin embargo, todas las letras esquemticas, o en algunos casos algunas
de ellas son reemplazadas por esquemas equivalenciales. As tenemos, en Aj, los
siguientes esquemas vlidos: A398 (esquema de permutacin para equivalencias);
pIq.pIqrr , e.d. el principio implicacional de asercin para prtasis
equivalenciales; pIq.rIs.pIq , o sea el principio de que una equivalencia
verdadera es implicada por cualquier equivalencia; pIq.pIqr.pIqNr , e.d.
el principio equivalencial de las dos astas para una prtasis equivalencial y
con respecto a la negacin dbil;
pIqr.pIqNr ; e.d. el principio
implicacional de Stalnaker para una prtasis equivalencial y para la negacin
dbil; pIq(rIs)p .pIq.rIsp
que es el principio implicacional de
exportacin para prtasis equivalenciales; pIq.rIs.pIq.rIs , que es el
principio implicacional de adjuncin para equivalencias. Vamos a probar la
teorematicidad del principio de que una equivalencia verdadera es implicada por
cualquier equivalencia; se deja al lector, como ejercicio, el probar al teorematicidad de los otros cinco esquemas en Aj.
A420/1 pIq.rIs.pIq
Prueba:
(2)
pIq.rIs.pIq
A164
2.rIs.pIq (M.E.)
A420/1
(2), (M.E.)
Concluir este captulo demostrando algunos esquemas ms.
A421 pqI(pq)I.pIq
Prueba:
(2)
pqI(pq).pqqI.p
qq
2.pqIq
(3)
pqI(pq).pqIp
(4)
pqI(pq).23
(2),(3)
4.pIq
A223
(5)
44
(4), rinf56
(6)
pIq.ppI.pq
6.pI.pq
(7)
pIq.pI.pq
(8)
pIq.67
(6), (7)
8.pqI.pq
A223
A422 pqI(pr)(pqI.pr)I.qIr
Prueba:
(2)
pqI(pr).pqqI.prq
2.qI.pq.rq
(3)
pqI(pr).rI.pr.qr
(4)
2.23
(2), (3)
(5)
pqI(pr).pq(rq)I.pr.qr
(6)
25.235
(4),
(5)
(7)
35.rI.pq.qr
A223
(8)
235.27 (6), (7)
8.qIr
A224
(9)
qIr.pqI.pr
(22) qIr.pqI.pr
(23) 9.922 (9), (22)
(24) 9229
(8), (23)
A422
(24), rinf56
116
(9)
88
(8),rinf56
A421
(5), (9), A227
A423 pq.pLq
(Prueba: A262, A385)
A424 HpqI.HpHq
Prueba:
(2)
Hpq.NqNHp
A364
2.NqHp
A270
2.Nq.Hp
A218
2.HpNq
A202
2.HpHq
2.HpHq
A361/1
(3)
22
(2), rinf56
(4)
HpH q . H pq
A263,A385
A424
(3), (4),
A227
A425 pq.HpHq
Prueba:
(2)
pq.Hpq
A384, A263
2.HpHq
A424
A426 qrIp.qp.rp
Prueba:
(2)
qrIp.qrp
A226
2.qp.rp
A397
A427 qrIp.pIq.pIr
Prueba:
(2)
qrIp.qp.rp
A426
(3)
qrIp.p.qr A226
3.pq.pr
A394
(4)
qrIp.23
(2), (3)
4.qp(pq.rp).qp.r
p.pr
4.pIq.pIr
A406, A227,
rinf56, A415
A428 qrIp.pIq.pIr
(Prueba similar)
Ahora veamos algunos esquemas mixtos, en el sentido de que presentan
combinaciones de la implicacin () y del entraamiento ().
A429 q(pr).pqr
Prueba:
(2)
q(pr)I.q.pr
2I.qp.qr
A394
(3)
qr.pqr
A406
(4)
qp.qp
4(pq)
(5)
44
(4), rinf56
(6)
344
(3), (5),
A397
A429
(2), (6)
A432 p (qr).pqr
Prueba:
(2)
p.pq
2(pq)
2.pqr
A153
(3)
qr.pqr
A406
A432
(2), (3)
A430 p.pqp
Prueba:
(2)
pq.pq
p.pqq
(2)
A431 p.qpq
similar + A361/2)
(Prueba
A432/1
p.qp
(Prueba:
p.qp [vide supra, prueba
de A367], df14)
A433 p(qr).pq.pr
Prueba:
(2)
p.pr
A153
(3)
pr.pq.pr
A384
Clculo sentencial
117
(4)
p3
(2), (3)
(5)
q3
A385
A433
(4), (5)
A partir del presente punto en nuestro desarrollo demostrativo, empezaremos
a saltarnos trozos (por las razones editoriales aludidas en el Prlogo del
presente libro). Los hiatos resultantes tcale al lector colmarlos. Acuda para
ello al Anejo N 1 (al final del libro), donde aparecen, enumerados, muchos
esquemas teoremticos, tanto si se han demostrado como si su demostracin viene
supuesta para la de otros cuya prueba se expondr despus. (As, p.ej., en este
lugar nos saltamos la demostracin de esquemas teoremticos que involucran al
functor de sobreimplicacin, \, y por ende a las oraciones comparativas de
desigualdad las que comportan menos-que.)
118
A489
A484
(2), (3)
A486 Pp.pIPp
Prueba:
(2)
Pp.Npp
df28
.L(Npp)I1
2.L(Npp)pIp
2.PpIp
A482
A488 p.PpIp
Prueba:
(2)
p.pPp A485
2.pI0.PpI0
2.pIPp
A490 pPLp
Prueba:
(2)
pLp
2HLp
2PLp
A489
A491 HpIHPp
Prueba:
(2)
HpHHp
2HPp
(3)
HPpHp
A491
A489, A425
A484, A425
(2), (3)
A493 PpIp.Ppp
Prueba:
(2)
Ppp.PpIp
A486,
A488
(3)
PpIp.pPp
(4)
PpIp.pp
(5)
PpIp.34 (3), (4)
5.pp.Ppp
(6)
pp.PpIp.Ppp
(5)
Clculo sentencial
(7)
6
A493
A494 PpIPPp
Prueba:
(2)
Pp.PpIp
2.PPpIPp
2.PpPPp
(3)
PpPPp
(4)
PPpPp
A494
A486
A220
(2), A379
A484
(3), (4)
119
(6)
(2), (7)
A495 pINp.PpPNp
Prueba:
(2)
pINp.pNp.Npp
2.pNp&Np.Npp&p
A389, A390
2.PpPNp
df28
(3)
PpPNp.Npp.NNpNp
df28
3.Npp.pNp
3.NpIp
A495
(2), (3)
A496 pINpI.pI
Prueba:
(2)
pI .pINp
A371
(3)
pINp.p .Np .p
*3. p.p
A366, A371
*3. Ip
(4)
pINp. p. p. Np
*4. p.p
A365, A371
*4. Ip
(5)
pINp.34
(3), (4)
5.p ( p). Ip
(6)
p ( p).pINp. Ip
(5)
6.pINp. p
(7)
6
(6), A369
A496
(2), (7)
A497 PpPNpI.pI
Prueba:
(2)
PpPNp.pI
A495, A496
(3)
PpPNp(pI ).PpIp.PNpINp.pI .NpI
3.PpI .PNpI
(4)
.pI
4.pI I
A376
(5)
3.PpI .PNpI .pNpI .pI I
5.PpPNpI.pI
(6)
(PpPNp)(pI ).Pp.PNpI0.pI I0
6.PpPNpI.pI
(7)
36
(2)
A497
(5), (6), (7)
A486, A371
(3), (4)
A500, A486
A376, (2)
120
3.pIqIP(pIq)
(4)
(pIq).pIqI0.P(pIq)I0 A484, A416
4.pIqIP(pIq)
A501
(3), (4)
A502 (p\qIp(p\q) (Prueba similar, slo que aduciendo
A503 Pp\p.Ppp
Prueba:
(2)
Pp\p(PpIp)
A434
2.Ppp
A493
(3)
Ppp(PpIp)
A493
3.p\Pp.Pp\p
A438
3.Pp\p
A441, A484
A504 PN(pIq)
Prueba:
(2)
pIq.pIqIN(pIq)
A378
2PN(pIq)
A498
(3)
(pIq)HN(pIq)
3PN(pIq)
A489
A504
(2), (3)
A505 NppPp (Prueba: A390, df28)
A507 Pp.pINp.Np\p (Prueba: A505, A440)
A508 PNp.pINp.p\Np (Prueba: A460, A507)
A509 p\NpI.p\
Prueba:
(2)
Npp. p
(3)
22
(4)
p\Np.p\
A509
A388
(2)
(3), A441
(4), (+ rinf57)
Clculo sentencial
(3)
Pp.PpPq
3.pq.PpPq
A420/1
A520
(2), (3)
A520/3 PpPq.q\p
Prueba:
(2)
PpPq. p.q\
A511, A515
2.q\p
A453
A520/4 Pp.PNq.qp
(Prueba: A511, A512, A363)
A522 PpPqIP(pq)
Prueba:
(2)
PpPqP(pq)
A520,
A397
(3)
pqp.P(pq)Pp
A520
(4)
pqq.P(pq)Pq
A520
(5)
34
(3),
(4), A377/1, A415
(6)
P(pq).PpPq
(5),
A394
A522
(2), (6)
121
2.p\q. q
A455,
A461, A384
2.2.Nqq
A388
3.2Pq
A517
A521 PpPqIP(pq)
Prueba:
(2)
P(pq).PpPq
A520,
A395
(3)
p(pq).PpP(pq)
A520
(4)
q(pq).PqP(pq)
A520
(5)
34
A 4 1 5 , A 3 7 7 / 2 , ( 3 ) ,
(6)
Pp.PqP(pq)
(5),
A396
A521
(2), (6)
A523 P(pNp) (Prueba: A483,
A522)
A524 PN(pNp) (Prueba: A523)
A525 PNpNPp
Prueba:
(2)
NpNPp
(3)
PNpPNPp
3NPp
A484, A364
(2), A520
A484
PN(pPNp)
A528 PN(PpNp)
A529 P(PpNp)
P(PNpp)
A531 PN(pNPp)
A532 NP(pNp)
NP(PpNp)
A534 NP(pPNp)
P(pNp)I.pINp (Prueba: A498, A521)
A536 P(pNpqNq).pIq
Prueba:
(2)
A536.PpPNp.PqPNq
A521
2.pI .qI
A414, A497
2.pIq
A537 pINpPpPNp
Prueba:
(2)
PpPNp.pINp
A498
(3)
(PpPNp).pINp
(2)
A537
(3)
con
los
cuales
122
Clculo sentencial
123
124
A548 p. pIp
Prueba:
(2)
PNpp.PNp
2.PNpI1
2.PNppI.1p
(3)
2.2Ip
A548
(3), A542
A543 Np\p&pI p
Prueba:
(2)
L(Np\p)ILPNp
A516
2IPNp
(3)
2pI.2p (2)
(4)
Np\p&pI.PNpp (3)
A543
(4), A542
A544/1
NpPp
(Prueba:
A544)
A545 pPNp (Prueba: A544)
A546 Np\p p (Prueba: A544,
A516)
A546/1 p.pNp (Prueba:
A546, A441)
A547
\p p (Prueba: A544,
A513)
A547/1 p.p
(Prueba:
A547, A441)
A549
pp (Prueba: A548,
A379)
A550
pI p
Prueba:
(2)
p p
A549
(3)
p. pIp
A548
3.PN p pI.PNpp
3. pI p
A542
(4)
p p
(2),
A379
A550
(2),
Clculo sentencial
A551 \p p
Prueba:
(2)
p p
A550
2. \ p
A547
2. p
A461
(3)
p. \p
A547
3. \pI
A439
3.2. \p p
A420/1
(4)
p. \p p (2), (3)
(5)
p( \p) A547
5. \p p
A551
(4), (5)
A555 p qI (pq)
Prueba:
(2)
p (pq)
A554,
A397
(3)
pqp. (pq) p
A554
(4)
pqq. (pq) q
A554
(5)
34
(3), (4),
A377/1, A415
(6)
(pq). p q ( 5 ) ,
A394
A555
(2), (6)
A557 p\Np&NpI Np (Prueba: A543)
A559 HpIH p
Prueba:
(2)
H p p
p
A549
(3)
HH pHp
(2),
(4)
H pHp
(3)
(5)
Hp.NpI0
5.p.Np\p
A466
(6)
Hp.Np\p&p (5)
6 p
A543
6. pIp
A548
6.H pIHp
6.HpH p
(7)
HpH p
(6),
A559
(4),
A559/1 Hp p (Prueba:
A558
A425
(4)
A552 Np\p p (Prueba: A551,
A510)
A553 p.pq q
Prueba:
(2)
p. \p
A547
2.pq. \q A453
2.2 q
A551
A554 pq. p q
Prueba:
(2)
q\ p p
A463
2.pq.pq p q
A553
*2.pq. pIp. pIq
A548
*2. p q
(3)
pq.22
(2)
3. p q
A441
3. p q
A556 p qI (pq)
Prueba:
(2)
(pq). p q A 5 5 4 ,
A395
(3)
p(pq). p (pq)
A554
(4)
q(pq). q (pq)
A554
(5)
34
(4),
A377/2, A415
(6)
p q (pq)
(5),
A396
A556
(2), (6)
\p&pI p (Prueba: A543, A510)
A560 HpI Hp
Prueba:
(2)
HpHp
A549
(3)
HpHHp
3.NHpI0
3.Hp.NHp\Hp
A466
(4)
Hp.NHp\Hp&Hp
(3),
A395
4 Hp
A543
A560
(2), (4)
A561
A379
(7)
A559)
125
A561/1 p. pIPp
Prueba:
(2)
p. pPp A561
2. pIp.PpIp
A548,
126
A486
2. pIPp
A562 PpI p
Prueba:
(2)
p Pp
(3)
p Pp
(4)
PpPp
4p
(5)
Pp p
(6)
PpPp
A562
A554, A561
(2), A550
A549
A484
(4), A554
(5), A550
(3), (6)
A563 P pI p
Prueba:
(2)
P p p
(3)
pP p
(4)
pP p
A563
A564
A484
A561
(3), A550
(2), (4)
A567 Pp.p\q q
Prueba:
(2)
p.p\q(pq) p
df17
2.p\q q
A553
(3)
PSp.pI
df09, A521, A497
3.p\q. \q
3.3 q
A551
A567
(2), (3), A565
A568 p\q.Pp q (Prueba: A567, A461, A420, A561/1)
Para clausurar este captulo, conviene hacer notar el siguiente punto. En
la clasificacin que hicimos de los functores de afirmacin [al comenzar el
cap. 18, pg 105], seal un distingo que hay que hacer entre functores
afirmativos fuertes (un functor afirmativo
es fuerte ssi es vlido el esquema
pp , sin ser vlido el esquema p p ), functores afirmativos dbiles
(aquellos en que es lo inverso lo que sucede tal es, p.ej., el caso del
functor L) y functores afirmativos redundantes (aquellos en que son vlidas
ambas implicaciones; tal es el caso NN); podramos postular un cuarto grupo
de functores afirmativos en que ninguna de las dos cosas sucede, pero tales
functores ofreceran menor inters.
Ahora bien, dentro de los functores afirmativos fuertes hay que hacer un
distingo entre functores afirmativos constrictivos y functores afirmativos
Clculo sentencial
127
128
de Kleene.
Es interesante el
cualquiera implica
contradiccin, e.d. a
ambos principios son
sistema de Kleene
A624 NSpI.pNp
A625 Sp (vide prueba de A623)
A626 S1I0
A627 S0I0
A628 SpI.Hpp
A628/1 HpSpp
A629 SpIH(pNp) A630 SpI(pNp) A631 SHp
A632 Sp
A633 SLp
A634 PNSp (Prueba: A483, A522, A624)
A635 Sp (Prueba: A634, A544)
El esquema A624 nos muestra que cada negacin de una contradiccin es una
instancia del principio (simple) de tercio excluso. De ah que el sentido de
A623 sea que, siendo una contradiccin cualquiera verdadera a lo sumo en una
medida del 50%, y siendo una instancia cualquiera del principio simple de
tercio excluso verdadera por lo menos en una medida del 50%, cualquier
contradiccin implica a cualquier instancia del principio de tercio excluso.
Nuestro sistema contradictorial permite la contradiccin, y hasta postula la
verdad de determinadas contradicciones (no, ciertamente, de cualesquiera
contradicciones); pero es una verdad limitada, una minusverdad, pues no se
trata nunca de verdad plena, ni siquiera de verdad en alguna medida superior
al 50%; no!, cualquier contradiccin es ms bien falsa (como lo muestra A364)
lo que no impide que algunas contradicciones sean tambin ms bien verdaderas,
a saber: aquellas que son exactamente tan verdaderas como falsas; es
completamente falso, pues, que haya contradicciones bastante verdaderas como
lo muestra el esquema A635.
El esquema A626 nos muestra que es supercontradictorio decir que lo
absolutamente real es verdadero y falso (que ese sea supercontradictorio se
debe, no al functor de contradictorialidad, S, sino a la naturaleza propia
de aquello acerca de lo cual, en ese caso, se afirmara la contradiccin, lo
absolutamente real, lo cual, siendo real o verdadero absolutamente, es tal que
su negacin es absolutamente falsa o irreal). Otro tanto cabe decir con
respecto a 0, e.d. a lo absolutamente irreal o falso (esquema A627). El esquema
A628 nos muestra que el que sea completamente falso que determinado hecho sea,
a la vez, verdadero y falso equivale a que o bien ese hecho sea totalmente
real, o bien sea totalmente irreal.
El esquema A628/1 es uno de los principios de tricotoma que hay en Aj y,
ms concretamente, es un principio de alternatividad antagnica. Nos muestra
ese principio que un hecho cualquiera dado es, o totalmente verdadero (real),
o a la vez verdadero y falso (real e irreal), o sea: contradictorio), o
totalmente falso (irreal); una instancia de A628/1 es: O Calomarde es
totalmente servil, o es servil sin serlo, o no es servil en absoluto.
El esquema A629 nos muestra que el que sea de todo punto falso que un hecho
es, a la vez, verdadero y falso equivale a que sea enteramente cierto que ese
hecho es o real o irreal. Como cada hecho enunciable mediante una oracin de
la forma: Es del todo falso que ( p ) o de la forma Es enteramente cierto
que ( Hp ), o de la forma Es, hasta cierto punto por lo menos, verdad que
( Lp ), es o totalmente verdadero o totalmente falso, los esquemas A631, A632
y A633 nos muestran que es siempre completamente falso decir de lo mentado por
alguna oracin de una de esas tres formas que es verdadero y falso, e.d. que
no es ni verdadero ni falso (o que ni es ni deja de ser verdadero; pues esas
tres lecturas son legtimas con respecto al functor S). Veamos ahora otros
cuantos esquemas en que figura el functor S:
A636 Spp.SpNp (Prueba: df09, A395)
A637 SpIpPNp (Prueba: A506, df09)
Clculo sentencial
A638
A639
A640
A641
A642
A643
A644
A645
A646
A647
A648
A649
A650
A651
A652
A653
A654
A655
A656
A657
A658
A659
A660
129
130
SSSSSS
etc. etc. hasta el infinito.
(Para finalizar este captulo diremos que el motivo por el que se ha
escogido S para representar la conyuncin de la afirmacin y de la negacin
e.d. la contradictorialidad de un hecho es el deseo de evocar la semiverdad
de cualquier hecho que sea efectivamente contradictorio.)
Clculo sentencial
131
132
A
6
6
1
/
pIq.prsI.srq.spr
Prueba:
(2)
pIq.pqIq
2A661/4
A661/2
A661/5 prsI.srp.spr
(Prueba: A661/4)
A661/6 pIq.qrs.spr
Prueba:
(2)
pIq.prsI.srq.sqr
A661/3
2.srp(spr)I.srq.sqr A661/5
2.sprI.srq(sqr).qpr
2.sprI.qrs.spr
A661/5
2.qrs.spr
A661/7 pqr.qrp
Prueba:
(2)
pqr.rpq
A661/5
2.qrp
A661/5
A661/8 pqr.prq
Prueba:
(2)
pqr.rqp
A661/5
2.prq
A661/5
A662 pIq.spr.srq
Prueba:
(2)
pIq.qIp
2.prs.sqr A661/6
2.2.srq
A661/8
(3)
spr.prs
A661/7
(4)
2.spr.srq
A363, (3)
A662
(2), (4)
A664 pqrI.qrp
Prueba:
(2)
qrp.rpq
A661/7
2.pqr
A661/7
A664
A661/7, (2)
A663 pqrI.qpr
Prueba:
(2)
pqr.qrp
A661/7
2.qpr
A661/8
(3)
ppr.pqr
como
(2)
A663
(2), (3)
A665 pqrI.rpq
Prueba:
(2)
pqr.qrp
A661/7
2.rpq
A661/7
(3)
rpq.pqr
A661/7
A665
(2), (3)
A668/1 pqrI.rqp
Prueba:
(2)
pqI.rpq
A665
2I.rqp
A668
A668/2 pqrI.rp.rq
Prueba:
(2)
pqr1I.1rq.1pr
A661/2
2I.rq1.1pr
A664
2I.rq1.rp1
A668/1
2I.rq.rp
A666
A668/3 ppqI.qp
A668/2)
(Prueba:
A669
p1qI.pq
A668, A666)
(Prueba:
A670 pIq.rpI.rq
Clculo sentencial
2I.rp.rq
A668/2
(2), A666
133
Prueba:
(2)
pIq.rp1.r1q
A662
2.rp.rq A666, A669
(3)
qIp.rq.rp c o m o
(2)
A670
(2), (3)
A671 pIq.prI.qr
Prueba:
(2)
pIq.rrpI.rrq
A670
2.prI.qr A668/3
A672 pqI.qp
Prueba:
(2)
ppIp.ppqI.pq
A671
2.qpI.pq
A668/3
A672
(2)
A673 pqrI.p.qr
Prueba:
(2)
prI.rp
A672
(3)
prqI.rpq
(2),
A671
(4)
rqI.qr
A672
(5)
rqpI.qrp
(4),
A671
(6)
pqrI.prq
A668
6I.rpq
(3)
6I.rqp
A668
6I.qrp
(5)
6I.p.qr
A672
A674 pq.pr.qr
Prueba:
(2)
pqIp.pqrI.pr
A671
2.rp(rq)I.pr
A668/2
2.pr(qr)I.pr
A672
A675
pq.rp.rq
(Prueba: A674, A672)
A677 p0I0 (Prueba: A362)
A678 0pI0 (Prueba: A362)
A679 Hpp.pqI.pq
(Prueba: A671, A677, A666)
A680 Sp.pqI.pq (Prueba:
A628, A679)
A681 Sp.qpI.qp (Prueba:
A680, A672)
A682 p(qr)I.pq.pr
(Prueba: A668/2, A672)
A676 pq(rs).pr.qs
Prueba:
(2)
pq.pr.qr A674
(3)
rs.qr.qs A675
(4)
23.23
(2),
(3), A414
4.pr.qs A386
A683 p(qr)I.pq.pr
Prueba:
(2)
qrIq.p(qr)I.pq A670
(3)
qrIr.p(qr)I.pr A670
(4)
p(qr).pq.pr
(2), (3), A377, A394
(5)
pq.p.qr
A675
(6)
pr.p.qr
A675
(7)
pq(pr).p.qr
(5), (6), A397
A683
(4), (7)
A684 ppI0 (Prueba: A362)
A685 HpqI.Hpq
Prueba:
(2)
HpI1.HpqI(1q).HpqI.1q
A671
A686
pqI.pq
A685 (+ df03))
(Prueba:
134
2.HpqIq.HpqIq
A667
2.HpqI.Hpq
(3)
HpI0.HpqI(0q).HpqI.0q
A671
3.HpqI0.HpqI0
A678
3.HpqI.Hpq
A685
(3),
(2)
A687 pIq(rIs).prI.qs
Prueba:
(2)
pIq.prI.qr
A671
(3)
rIs.qrI.qs
A670
(4)
23.23
(2),
(3), A414
4.prI.qr
A688 P(pq).PpPq
Prueba:
(2)
P(pq).PpPq
A362, A521, A520
2.PpIp.PqIq
A486
2.pqI.PpPq
A687
(3)
P(pq).P(pq)I(pq).pqI.PpPq
3.P(pq).PpPq
A688
(3), A379
(2), A486
Clculo sentencial
135
136
Clculo sentencial
137
138
Clculo sentencial
A699
A701
A702
A704
A706
A708
139
A698
(2), (3), A386
A697 Xpp (Prueba: A695,
A696)
X1I1 (Prueba: A666, df13)
A700 X0I0 (Prueba: A677, df13)
Hpp.XpIp (Prueba: A699, A700)
XXpp (Prueba: A695, A386)
A703 XHpIHp (Prueba: A701)
HXpIHp (Prueba: A689, df13)
A705 XpIp (Prueba: A703)
XpIp (Prueba: A690/1, df13)
A707 LXpILp (Prueba: A697, A341)
XLpILp (Prueba: A692, A280, df13)
A710 XSpSXp (Prueba: A697,
A709 SpSXp
A709)
Prueba:
(2)
SpI.pHp A628
A711 XpNXNp (Prueba: A698,
2I.XpHXp
A704, A706 A365)
2I(XpNXp)
df09
A712 pNXNp (Prueba: A695,
2ISXp
A365)
A709
(2)
140
Los esquemas teoremticos que acabo de probar no hacen sino poner de relieve
cmo pueden demostrarse, con rigor, dentro del sistema lgico aqu propuesto
propiedades del functor X (o sea Es muy cierto que) reseadas y discutidas,
en lengua natural y de modo menos riguroso, al comienzo de este captulo. Vemos
que ese functor no altera nada en el caso de oraciones que son o que, por su
propia naturaleza, no pueden por menos de ser o totalmente verdaderas o
completamente falsas. Vemos tambin que algo es muy verdadero o real ssi es
verdadero o real; pero no en la misma medida (salvo casos como los de hechos
o totalmente verdaderos o totalmente falsos, y otros de hechos infinitamente
falsos o verdaderos que ms tarde estudiaremos). El esquema A698 nos dice que
el ser algo muy falso implica su no ser muy verdadero. Tambin hemos visto
(esquemas A709 y A710) que algo es verdadero y falso a la vez ssi es, a la vez,
verdadero y falso que tal algo es un hecho muy real; y que es muy cierto que
algo es, a la vez, verdadero y falso ssi es, a la vez, verdadero y falso que
ese algo es muy verdadero. El esquema A713 nos muestra que un hecho es a lo
sumo tan real como otro slo si el que el primero sea muy real es algo a lo
sumo tan verdadero como el que sea muy real el segundo; y el esquema A717 nos
muestra que un hecho es menos real que otro si el ser muy real el primero es
menos verdadero que el ser muy real el segundo. A716 nos muestra que el functor
muy es exactamente distributivo con respecto a la conyuncin, mientras que
A719 nos muestra que ese functor es exactamente distributivo con respecto a la
disyuncin.
Clculo sentencial
141
142
Clculo sentencial
143
(Prueba:
(Prueba:
A763, A761
A767 YYpIYp
Prueba:
(2)
Yp.pIa
A766
2.YpIYa
2.YpIa.YpIYa
A765
2.YYpIYa.YpIYa
2.YYpIYp
2.YpYYp
(3)
YpYYp
(2), A379
(4)
YYpYp
A763
A767
(3), (4)
A773 \
Prueba:
(2)
a\N
(3)
\Na
\
A753, A371
(2), A460
144
A780 a\ppYp
Prueba:
(2)
Yp.p(pIa) df24
2.p.p(pIa)
2.p.ap(pIa)
A759
2.p.a\p
A434
(3)
pYp
df24
(4)
a\p(aIp) A434
4Yp
df24
A780
(3), (4), (2)
Los teoremas A776 y A777 no presentan una nueva contradiccin verdadera
(porque son mutuamente contradictorias las dos verdades expresadas,
respectivamente, por los teoremas A755 y A756), a saber: que lo
infinitesimalmente real es verdadero y no es verdadero; o lo que equivale a
lo mismo que lo infinitesimalmente irreal es verdadero y no lo es (la
equivalencia en cuestin se da porque lo infinitesimalmente irreal es
verdadero, e.d. equivale a lo infinitesimalmente real no es verdadero,
e.d. a; y lo infinitesimalmente real es verdadero, e.d. a, equivale a lo
infinitesimalmente irreal no es verdadero, e.d. N).
El teorema A774 nos dice que lo infinitesimalmente verdadero o real equivale
al hecho de que, a la vez, existe y no existe lo infinitesimalmente real; con
otras palabras: la existencia de lo infinitesimalmente real equivale a la
contradictoria conyuncin entre dicha existencia y su negacin; una
contradictoria conyuncin que, como acabamos de ver, es verdadera si bien tan
slo infinitesimalmente verdadera, o sea: verdadera en el grado nfimo.
Volviendo la vista atrs, conviene poner de relieve que el teorema A753 nos
muestra que la existencia de lo infinitesimalmente real es menos verdadera que
la de lo igualmente real e irreal; que el esquema teoremtico A761 nos muestra
que si algo es infinitesimalmente verdadero, entonces un hecho cualquiera dado
es real ssi tal hecho es a lo menos tan real como el algo en cuestin.
El teorema A762 nos muestra que lo infinitesimalmente real es
infinitesimalmente verdadero. El esquema A763 nos muestra que el functor Y
es un functor afirmativo fuerte; y el esquema A767 nos muestra que es un
functor interno por lo cual no es ni amenguante, como X, ni aumentante, como
K.
Por ltimo, el esquema A780 nos muestra que Y es un functor
anticonstrictivo: para que sea verdad lo dicho por Yp es menester que se
cumplan dos condiciones: 1, es verdad que p; 2, es slo infinitesimalmente
verdad que p, e.d. el hecho de que p no es, en absoluto, ms verdadero o real
que lo infinitesimalmente real. De lo cual se desprenden varios corolarios.
A781 Y (Prueba: A780, A753)
A783 Y0 (Prueba: A780, A157)
Clculo sentencial
145
absolutamente real.
Antes de seguir adelante, conviene aclarar que, a partir de ahora, la regla
de inferencia rinf32 as como los esquemas y reglas a ella asociados (A220,
A239, A240, A241, A242, A243; rinf 52) se entendern sin otra restriccin que
la siguiente: con tal de que los enunciados cuya equivalencia se presupone (en
la prtasis del esquema, o de su apdosis esto ltimo, p.ej., en A241; o en
la premisa como en rinf32; o en la prtasis de la conclusin como en rinf52)
no estn afectados, en el contexto al cual se aplique la sustitucin, por el
functor B o por otro functor en cuya definicin intervenga B. Lo que
ganamos con esa nueva formulacin es permitir que los equivalentes uno de los
cuales venga a sustituir al otro estn afectados por un functor en cuya
definicin intervenga la constante a (siempre que, en cambio, no intervenga
B). Cmo es eso?
Porque, siendo a una constante sentencial, no puede por s sola constituir
el definiens de una expresin en que figure una letra esquemtica. Slo es
posible construir el definiens de una frmula en la cual figure una letra
esquemtica afectando a sta por uno de los functores primitivos. Descartando
B, slo queda, pues, que el definiens de una expresin en que figure a lo
menos una letra esquemtica p y en que tambin figure la constante a sea
una frmula en que p est afectado, en ltima instancia, slo por functores
en cuya definicin no intervenga a. Tomemos como ejemplo el caso de n.
Tenemos que, por definicin np equivale a p , lo cual, por definicin,
equivale a p.aa . En esa frmula p est afectado nicamente por , y no
por a, ni por la frmula que se halla a la derecha de la ocurrencia de .
Por induccin matemtica se puede probar rigurosamente este Metateorema de
la Definicin, a saber que, en cualquier frmula en que haya una letra
esquemtica p afectada por un functor en cuya definicin intervenga la
constante a, se tendr, una vez expandido el definiens de tal frmula
eliminando todos los signos definidos y dejando slo signos indefinidos y
letras esquemticas, que dicha letra sentencial se halla afectada nicamente
por functores primitivos en cuya definicin no interviene a. Las pautas para
la prueba son como sigue:
Sea q la frmula total en que figura la letra esquemtica p afectada por
algn functor en cuya definicin interviene a.
Paso 1. Supongamos que se dan las condiciones siguientes: 1, q slo
contiene una ocurrencia de a, una ocurrencia de p; 2, q no contiene
ocurrencia alguna de ninguna otra letra esquemtica; 3, para cada ocurrencia
de a y de p hay en q una sola ocurrencia de alguno de los functores
primitivos. Entonces, obviamente, el nico functor que afecta a a y a p
ser un functor didico, e.d. o bien I, o bien , o bien , de suerte que
q ser: o bien aIp, o bien pIa, o bien ap, o bien pa, o bien ap,
o bien pa. En todos esos casos, se cumple lo que se trata de probar; e.d.
el Metateorema vale para este primer paso.
Paso 2. Se demuestra que, si el Metateorema vale para el caso en que,
cumplindose la 2 y la 3 condiciones del primer paso, hay en q n ocurrencias
de p, entonces tambin se cumple cuando hay n+1 ocurrencias de p y se
cumplen esas dos condiciones. Y luego se demuestra que, si el metateorema vale
para el caso en que, cumplindose las condiciones 2 y 3, hay en q n
ocurrencias de a y m ocurrencias de p, entonces vale tambin (siempre que
se cumplan las condiciones 2 y 3 para el caso de que haya en q n+1
ocurrencias de a y m+1 ocurrencias de p.
Paso 3. Se demuestra que, si el metateorema vale para el caso en que,
cumplindose la condicin 2 (la 1 es innecesario postularla, en virtud de lo
demostrado en el paso 2), p est afectado en q por n ocurrencias de
functores primitivos y a est afectado en q por m ocurrencias de functores
primitivos, entonces vale tambin para el caso en que, cumplindose la
146
Clculo sentencial
147
valores asigne a los hechos de que p y de que q cualquier otra funcin altica
dada, .
Explicitando un poco ms lo que precede, diremos que, para un aspecto ltimo
de lo real, o funcin altica, , y para dos hechos cualesquiera, el de que p
y el de que q, se tendr:
1. El grado de verdad que asigna al hecho de que no slo p, sino tambin
q (e.d. a lo significado por pq ) ser el producto multiplicativo de los
grados de verdad que asigne, respectivamente, a p y a q.
2. El grado de verdad que asigne al ser equivalente el hecho de que p
con el de que q (e.d. a lo significado por pIq ) ser:
(que es el grado de
verdad equidistante entre el grado de verdad mximo o pleno, 1, y el nulo o 0)
ssi (p)=(q) (o sea: ssi hace corresponder el mismo grado de verdad al hecho
de que p que al hecho de que q); y, en caso contrario, (pIq) ser 0 (e.d, en
caso contrario no har corresponder grado alguno de verdad al ser equivalente
el hecho de que p con el de que q).
3. El grado de verdad que asigne al hecho de que ni p ni q (a lo
significado por pq ) ser el mnimo de entre los grados de verdad inversos a
aquellos que haga corresponder respectivamente al hecho de que p y al de que
q. (El grado de verdad inverso a 1 es 0; el inverso a 0 es 1; el inverso al
grado de verdad de ( )x ser 2 elevado a 1/-x, o sea la raz x de ; as el
inverso de 0,125 (=( ) ) es 1/ 2, =0,7937.
4. El grado de verdad que asigna al hecho de que es totalmente verdad
que p (e.d. a lo significado por Hp ) ser: 1 ssi (p)=1; y, en caso contrario,
0.
5. (a) (e.d. el grado de verdad que asigna a la existencia de lo
infinitesimalmente verdadero) ser, siempre, el grado de verdad nfimo, que
ser infinitesimal (supongo que slo existe un nico grado infinitesimal).
Las indicaciones que preceden permiten darse una idea aproximada de cmo
funciona la semntica que brindo para el sistema Aj, en lo tocante a todos los
signos primitivos de este sistema, salvo B. Mas qu pasa con B?
Bp se lee as: Es afirmable con verdad que p. Para que sea algo afirmable
con verdad es menester que sea verdadero poco o mucho en todos y cada uno de
los aspectos de lo real. No basta con que algo sea verdadero, ni siquiera
verdadersimo, o incluso completamente verdadero, en unos cuantos aspectos de
lo real para que sea afirmable con verdad; en cambio es afirmable en algn
grado con verdad siempre que sea verdadero, a lo menos infinitesimalmente, en
cada uno de los aspectos de lo real.
Pero es menester introducir dos aclaraciones a este respecto. La primera se
refiere a qu sean los aspectos de lo real. La segunda a una dificultad que
parece surgir a este respecto y que ser esgrimida por los adversarios de la
ptica plasmada en el sistema aqu propuesto.
Con respecto al primer punto, cabe decir que un aspecto de lo real es una
perspectiva objetiva de lo real, un ngulo, un punto de vista (en sentido
objetivo, e.d. un punto de vista coherente legtimamente fundado en la
realidad, o sea: que refleja el cmo son las cosas en un plano o bajo un prisma
determinado). Con otras palabras: un aspecto de lo real es un mbito, una
esfera, un plano de lo real. Un aspecto de lo real es cualquier cosa que
permite relativizar, con respecto a ella, la verdad de los hechos, e.d.
cualquier cosa tal que tiene sentido decir que un hecho es tanto o cuanto
verdadero con respecto a, o desde el ngulo de, dicha cosa. Aspectos de lo real
son, entre otros: los lugares, los lapsos de tiempo, los ngulos de
consideracin; y, en general, aquellos aspectos de los cuales se habla al
decirse en algunos aspectos. As, se dice que en algunos aspectos la prosa
de Marcel Proust supera a la de otros escritores, y si preguntamos en cules
aspectos sucede eso, acaso nos contesten que en el aspecto del ensimismamiento,
148
Clculo sentencial
149
150
Clculo sentencial
151
Para un enunciado dado, p , designo al contenido veritativo del mismo como v(p)
donde v es aquella valuacin (en el sentido de valuacin que vendr
explicado en el Apndice de la presente seccin) que enva a cada enunciado
sobre el contenido veritativo que efectivamente posee; y, dado un contenido
veritativo, v(p), v(p)i designar al i-simo componente de v(p), e.d. al valor
o grado de verdad que al hecho de que p asigna la i-sima funcin altica):
v(Bp)i =
152
Con relacin a ese punto, hay que sealar que, en el sistema Aj, el sentido
de la inferencia o deduccin no es que, si es verdadera la conyuncin de las
premisas, tambin es verdadera la conclusin. Sabemos, ciertamente, por el
metateorema de la deduccin, que de p , p , , p
q (o sea: de que haya una
inferencia vlida de las premisas p , p , , p
a la conclusin q ) cabe
derivar la afirmacin de que Si p y p y y p , entonces q es un teorema de
Aj; pero eso vale con una restriccin, como recordar el lector, a saber:
siempre que las reglas que permiten inferir q a partir de las premisas p , p ,
, p sean reglas en cuya derivacin no haya intervenido rinf02. Lo cual quiere
decir que el que valga la inferencia de unas premisas a una conclusin no
equivale a que sea cierto que la conyuncin de las premisas entraa a la
conclusin, aunque esto ltimo puede ser y es de hecho un corolario de lo
primero en una vastsima gama de casos. Mas no siempre es verdad que, si vale
la inferencia p
q, entonces es verdadero el enunciado condicional Si p,
entonces q.
Lo que s es cierto, en cambio, es que, si es un cmulo de enunciados y
si p es un enunciado, entonces: de , p
q se desprende
BpBq; y, por
ende, si r es la conyuncin de todas las frmulas que hay en , tenemos
q ssi es verdad BrBq . O sea: la conclusin q se infiere del cmulo de
frmulas ssi es verdadero el enunciado condicional siguiente: Si es
afirmable con verdad que r, entonces es afirmable con verdad que q (siendo r
la conyuncin de todas las frmulas que hay en ).
La diferencia entre es verdad que y es afirmable con verdad que estriba
en que, para un p cualquiera, Es verdad que p dice exactamente lo mismo que
p solo; en tanto que Es afirmable con verdad que p (e.d. Bp , en notacin
simblica) dice algo ms fuerte, a saber: dice que el hecho de que p es
afirmable con verdad (para lo cual hace falta que sea verdadero en todos y cada
uno de los aspectos); si el hecho de que p es afirmable con verdad (si es
verdadero en todos y cada uno de los aspectos de la realidad), entonces lo
dicho por p es lo mismo que lo dicho por Es afirmable con verdad que p; y
tambin son lo mismo si es absolutamente falso que haya tal hecho de que p,
e.d. si es, en cada aspecto de lo real, totalmente falso que exista o sea
verdadero el hecho de que p; pero si el hecho de que p es verdadero en unos
aspectos y totalmente falso en otros, entonces lo dicho por p es ese hecho de
que p, mientras que lo dicho por Es afirmable con verdad que p no ser nada
en absoluto, sino que ser absolutamente falso (completamente falso en cada
aspecto de la realidad) que sea afirmable con verdad que p. (Para cualquier
oracin p , lo dicho por Bp ser, o bien afirmable con verdad, o bien
absolutamente falso; pero nunca podr ser verdadero en algunos aspectos y
totalmente falso en otros.)
Resumiendo: la regla de afirmabilidad comparte con la regla de necesitacin
o de Gdel de ciertos sistemas modales clsicos fuertes, como S5, la propiedad
de que, cuando interviene esa regla en una inferencia, no se aplica a tal
inferencia el metateorema de la deduccin (en la forma que le habamos dado,
a saber: que si p , p , , p
q, entonces es teoremtico el enunciado
p p p q ). Pero son muy diversos los motivos por los cuales falla la
aplicacin de dicho metateorema tanto para el caso en que intervenga nuestra
regla de afirmabilidad como para el caso en que intervenga la regla de
necesitacin. En el caso de sta ltima, el motivo es que la regla es no
sistmica, y no es, por tanto, una regla de inferencia, en sentido estricto,
sino una regla meramente de engendramiento de teoremas a partir de otros
teoremas (incluyendo a los axiomas entre los teoremas). En cambio, en el caso
de nuestra regla de afirmabilidad, la razn de la inaplicabilidad del
metateorema de la deduccin en la versin simple que le habamos dado cuando,
en la inferencia cuya validez se supone, interviene esa regla, rinf02, estriba
en que el sentido de la inferencia o deduccin que se reconoce en nuestro
Clculo sentencial
153
sistema es que, si todas las premisas son afirmables con verdad, tambin es
entonces la conclusin afirmable con verdad. La diferencia entre esta nuestra
concepcin de inferir o deducir y la concepcin usual (en que, en vez de
decirse afirmable con verdad se dice verdadero a secas) es que, mientras
que verdadero es redundante (Es verdadero el hecho de que p no dice ni ms
ni menos que p ), no es en cambio redundante la locucin Es afirmable con
verdad que (no lo es para todo p , aunque s lo es para una amplia gama de
oraciones); pero esa diferencia no tiene cabida desde el enfoque
contingentista, para el cual s es redundante la locucin Es afirmable,
siendo as esa locucin sinnima de Es verdad. Porque, en el enfoque
contingentista, nada puede servir para diferenciar lo dicho por p de lo dicho
por Es afirmable que p, toda vez que el contenido veritativo de p es un
valor de verdad definido nico, no una secuencia infinitamente numerosa de
valores de verdad (en unos casos idnticos, en otros no), que es lo que sucede
segn nuestro enfoque.
Una puntualizacin que no debe omitirse es que una regla no sistmica se
aplica, naturalmente, tambin a los teoremas del sistema al que pertenezca. Lo
nico que sucede es que se aplica no slo a ellos, sino a cualesquiera
premisas, por lo cual se aplicar en cualesquiera extensiones del sistema. Por
eso, y en virtud de rinf02, dado un teorema o esquema teoremtico de Aj, p ,
tenemos automticamente tambin el teorema o esquema teoremtico Bp .
154
Clculo sentencial
155
4.LBpLBLp.BLpILBLpAa
4.LBpBLp
Aa
LBpBLp
(4),
Aa
Acabamos de hacer uso, por primera vez, de la regla rinf02, regla de
afirmabilidad comentada en el captulo anterior. Y tambin he hecho uso por
primera vez de la definicin df27, que define a la implicacin estricta, ,
de tal modo que: el que un hecho implique estrictamente a otro equivale a que
sea afirmable con verdad que la verdad del primero implica a la del segundo.
En lo sucesivo, har un uso implcito de rinf02; con lo cual y dada la
definicin df27 cada teorema o esquema teoremtico cuyo functor central sea
podr leerse como si su functor central fuera ; y similarmente cada
teorema o esquema teoremtico cuyo functor central sea podr leerse dada
la definicin df21 como si su functor central fuera G. G es el functor de
entraamiento estricto, y en virtud de df21 el que un hecho entrae
estrictamente a otro equivale a que sea afirmable con verdad que la verdad del
primero entraa a la del segundo.
A1503 BpBBp
Prueba:
(2)
BpBBLp
A02
(3)
BpBBLp (2), Aa
(4)
BpBLp
Aa, A1501/1
(5)
BLpBp
(4), Aa
(6)
BBLpBBp
(5),df27,A1501/1
(7)
BpBBp
(3), (6),
Aa
(8)
BBp.BpIBBp A1501
8.BpBBp Aa
(9)
Bp.BpBBp ( 7 ) ,
(8), Aa
A1503
(9), Aa
(Prueba:
A1506
pGq.pq
df21, A1502)
(Prueba:
En adelante, har uso implcito de A1505 y A1506, como sigue: cada vez que
tengamos demostrado un esquema teoremtico o teorema de la forma pq ;
tendremos tambin demostrado el teorema o esquema pq el resultado de
reemplazar, en el esquema demostrado, la ocurrencia central de por una
ocurrencia central de ; y cada vez que tengamos demostrado un esquema
teoremtico o teorema de la forma pGq , tendremos tambin demostrado un esquema
o teorema pq , e.d. el resultado de reemplazar, en el esquema demostrado, la
ocurrencia central de G por una ocurrencia de .
A1506/1 BLpBq
Prueba:
(2)
BBLpBLp
(3)
BLpBBLp
(4)
BBLpBp
A1506/1
A1502, Aa
(2), Aa
A02, Aa
(3), (4)
A1507 pGq.BpBq
Prueba:
(2)
B(pq)BL(pLq)
Aa, A1501/1
(3)
2B(pLq) A1506/1
(4)
23
(2), (3),
Aa
4.BpBLq
A1501/1,
df27
4.BpBLq
Aa
156
4.BpBq
A1507
A1506/1
(4), df21
A1508 BpBqIB(pq)
Prueba:
(2)
B(pq)Bp Aa, A1501/1
(3)
B(pq)Bq idem
(4)
B(pq).BpBq
(2), (3), Aa
(5)
BpBq.BpIp.BqIq
A1501, Aa
5.BpBqI.pq
Aa
(6)
Bp.qGB(pq)
Aa, df21, A1507
6.BqB(pq) A1507
(7)
BpBqB(pq)
(6), Aa
7.B(pq)I.pq
A1501
(8)
BpBq.B(pq)I.BpBq
(7), (5), Aa
8.BpBqB(pq) Aa
(9)
BpBqB(pq)
(8), Aa
A1508
(9), (4), Aa
A1509 pGq.BpBq
Prueba:
(2)
pGqBp.pGqI(pq).pIBpBq
A1507, Aa, A1501, df21
2.pGqI(pq).pIBp.qIBq
A1501
2.pGqI(pq).pqI.BpBq
Aa
2.pGqI.BpBq
Aa
2.pGq.BpBq
Aa
(3)
Bp.pGq.pGq.BpBq
(2), Aa
3.pGq.BpBq
Aa
(4)
Bp.BpBqI1
Aa
4.pGq.BpBq
Aa
A1509
(3), (4), Aa
A1510 BLpILBp
Prueba:
(2)
BLpLBp
A1510
A1506/1
(2), A1502/1
APNDICE DE LA SECCIN I
PERFIL DEL SISTEMA Aj ENTRE DIVERSOS SISTEMAS DE LGICA
En este Apndice voy a estudiar algunos aspectos de la caracterizacin
propia del sistema Aj con relacin a diferentes sistemas de lgica y algunas
de las relaciones que guarda Aj con otros sistemas de lgica.
En el Acpite 1 considero algunas nociones acerca de la paraconsistencia.
En el Acpite 2 expondr nociones de teora de modelos con las cuales probar
Clculo sentencial
157
Acpite 1.
!"#!$
%&'((#)+*-,.0/.1-2)#23
158
El motivo que nos hace interesarnos aqu slo por sistemas eucrticos es el
siguiente: las condiciones estipuladas para los sistemas coinciden con las que
sirven para caracterizar a un lgebra DeMorgan ms la teorematicidad del
principio de tercio excluso. Las lgicas /
lukasiewiczianas cumplen las nueve
condiciones salvo la 8 (teorematicidad del tercio excluso); pero no son
paraconsistentes, ni siquiera en un sentido lato, porque contienen la regla de
Cornubia: p , Np
q. Las caractersticas que mediante las nueve condiciones
se asignan a , y N parecen las naturales con respecto a y, o y
no, respectivamente. Cualquier desviacin respecto de esas nueve condiciones
parece deber prestarse a serios reparos.
Por otro lado, quienes se oponen a sistemas paraconsistentes dicen que no
es una negacin un functor mondico, N p.ej., con relacin al cual se tolere
en ciertos sistemas que se afirmen o que sean teoremas a la vez cierta frmula
p y el respectivo Np . Pero, si no es una negacin un functor como N de un
sistema eucrtico, qu es? Es ms: slo algo que cumpla con esas condiciones
puede denominarse la negacin por antonomasia, porque no satisface la condicin
6, si bien s satisface una condicin parecida, pero un poquito ms dbil).
Un sistema S ser denominado proficuo ssi S cumple las condiciones 1, 2,
3, 4, 5 y 9 de los sistemas eucrticos y, adems, contiene un functor
mondico tal que, para cualesquiera p y q :
10. pp es un teorema de S;
11. (pq) y pq son intercambiables en S;
12. (pq) y pq son intercambiables en S;
13. pq, q
p es una regla de inferencia de S;
14. pp y p son intercambiables en S.
Un sistema proficuo ser una extensin de la lgica clsica porque un
sistema con esas once condiciones contiene todos los teoremas y todas las
reglas de inferencia de la lgica clsica.
La razn por la cual se postulan esas condiciones es que, para la
supernegacin, para el no en absoluto, parecen obviamente verdaderas, y
sirven para caracterizar a un lgebra de Stone junto con las condiciones sobre
la conyuncin y la disyuncin de los sistemas eucrticos.
Pocos sistemas no clsicos de lgica son proficuos. Aj lo es (resulta ello
obvio, dada la validez evidente de esas once condiciones en Aj). Tambin lo son
varios de los sistemas de da Costa (todos los de la secuencia Cn, para n
finito). Entre los no proficuos figuran los sistemas gdelianos (vide infra,
Acpite 4), as como la lgica intuicionista; el sistema C de da Costa (donde
expresa infinidad), las lgicas relevantes, las lgicas /
lukasiewiczianas.
El sistema Aj es el nico hasta ahora construido que sea, a la vez,
contradictorial, en sentido estricto no en sentido meramente lato, como los
sistemas NFn de da Costa y proficuo. (Un sistema trivalente, proficuo y
paraconsistente a la vez, ha sido esbozado en un trabajo conjunto de da Costa
e Itala dOttaviano, quien ha estudiado despus algunas facetas de dicho
sistema; en ese sistema trivalente hay dos valores de verdad designados, 1 y
, siendo 0 el nico valor no designado. Ese sistema es un fragmento de Aj,
como cualquier otro sistema de lgica finivalente vide infra, Acpite 3 de
este Apndice). (Las consideraciones esbozadas aqu en torno a la comparacin
entre diversos sistemas paraconsistentes vendrn desarrolladas en el ltimo
captulo de la Seccin IV.)
Clculo sentencial
Acpite 2.
159
160
1 0
1
1 0
1 1
1
0
0
0 0
1 0
0
1
Acpite 3. <
Pruebo primero el Lema de Rescher, LR; (en honor a la verdad, hay que decir
que el presente Lema est muy alejado de la formulacin originaria de Rescher).
Llamemos sistema n-potente a un sistema S con las cinco condiciones:
1. S contiene un functor condicional dotado de la condicin del modus
ponens (e.d. p , pq
q). Y, adems, es tal que, si p es un teorema de
S, entonces S contiene una regla de inferencia que permite intercambiar
mutuamente, en todos los contextos, a pq y a q para cualquier frmula q .
2. S contiene un functor de conyuncin tal que S contiene tanto las
Clculo sentencial
161
162
Clculo sentencial
163
164
Acpite 4. A
Acerca de la lgica intuicionista, LI, vale la pena leer el libro de A. Heyting, Introduccin al intuicionismo (trad. Vctor Snchez de Zavala), Madrid:
Tecnos, 1976; si bien es un libro ms para matemticos que para lgicos de vertiente filosfica, no faltan en l sabrosas disputas que dilucidan las bases
metafsicas de esa lgica; vide, en particular, las pp. 13-22 y 111-8; cf. tambin el libro de Susan Haack Deviant Logic, Cambridge U.P., 1974 (del cual hay
una traduccin castellana en la editorial Paraninfo); la discusin de S. Haack es empero un poco demasiado estrecha de miras, en el sentido de que despacha
el enfoque intuicionista con el alegato de que no ha sido capaz de presentar una base intuitiva y presistemtica neta y clara de aquello que trata de captar
el sistema LI; pero ese argumento no es muy decisivo, sino que el principal motivo para aceptar o rechazar el intuicionismo estriba en la aceptacin o el rechazo
del verificacionismo, o sea: de la tesis de que es verdad slo todo aquello que yo puedo constatar; que el ser verdad es serlo para m. Vide tambin para ver
tratamientos de problemas terico-lgicos en relacin con el intuicionismo: de Hilbert & Ackermann, Elementos de lgica terica (trad. V. Snchez de Zavala),
Tecnos, 1962, pp. 41ss.; de Helena Rasiowa, An Algebraic Approach to Non-classical Logics, Amsterdam: North Holland, 1974, cap. XI; y de Alonzo Church,
Introduction to Mathematical Logic, vol. I, Princeton U.P., 1956, pp. 41-7.
2
Vide de Kurt Gdel Obras completas (trad. J. Mostern), Alianza, 1981, p. 111; de N. Rescher, Many-Valued Logic, Nueva York: McGraw-Hill, 1969,
pp. 44-5; el libro de Church cit. en la n precedente, p. 145, ejercicio 26.10.
Clculo sentencial
165
166
05. pq q
06. p .pq
07. q .pq
08. p (q r) .p q .p r
09. p .q p
10. p r .q r .pq r
11. p q .q p
Demuestre el lector que todos esos esquemas son teoremticos en Aj. Con ello
se demuestra que Aj es una extensin de G . Adems (y es sta la afirmacin,
aqu no demostrada, de que Aj es una extensin cuasiconservativa de G ) cada
teorema de Aj que contiene slo ocurrencias de letras esquemticas y de los
functores , , , , es tal que el resultado de prefijarle el functor H es
un teorema de Aj ssi el teorema dado (antes de esa prefijacin es un teorema
de G . (Eso refleja el prejuicio de Gdel y de los ms autores de que slo lo
totalmente verdadero es verdadero).
Acpite 5.
@
#!M*-,D1@
1)#
B !:!N7 6)#!8 !N1B)>
!O,. @
!
Clculo sentencial
167
1
1
0
1
0
1
1
0
Al functor condicional de /
L3 lo transcribo como ; y podemos definirlo
as:
p q eq SpSqpHq1.Hpq0.HpSq(Spq) .
Ahora bien, Aj no contiene la regla de inferencia, ni siquiera sistmica:
p q , p
q. Lo que s contiene es la regla siguiente: H(p q , Hp
q. Y, como
cada frmula de Aj que sea una traduccin de una frmula /
lukasiewicziana es un
teorema de /
L3 ssi el resultado de prefijar a la frmula dada de Aj el functor
H es un teorema de Aj, resulta que la regla vale para ese fragmento de Aj no
ms (o sea: no es ni siquiera una regla sistmica, sino una regla subsistmica,
que tan slo vale dentro de un delimitado fragmento del sistema).
La tercera observacin que conviene hacer es meramente terminolgica. Lo que
he entendido aqu a tenor de la definicin del Acpite 2 por validez es
validez semntica. En cambio, a lo largo de los captulos que forman esta
Seccin I he empleado el adjetivo vlido en un sentido de validez sintctica,
reputando vlido a un esquema ssi cada instancia del mismo es un teorema. No
hay inconveniente en usar la palabra vlido en sendos sentidos, con tal de
que se delimiten bien.
168