FILOSOFIA II
Lgica proposicional
Lgica de Frege
Gottlob Frege desarrolla su primer sistema axiomtico, plenamente
simbolizado, consistente y completo, de lgica de 1er orden, aun antes de que
estuvieran las herramientas lgicas adecuadas para llevar a cabo la prueba de
completud de un sistema deductivo cualquiera. Como es bien sabido, el trabajo
de Frege fuera de, el cauce principal del desarrollo de la lgica debido a su muy
rgido y estorboso sistema de notacin. Por otra parte el inters que tuvo
Russell por su obra con muchos puntos de contacto con la suya propia, y la
difusin que de ella hizo, la pusieron en primer plano de la atencin filosficomatemtica de la Europa de los primeros aos del siglo y tal atencin an
sigue fija en su labor ahora a casi setenta aos de su muerte.
El inters que tiene por la obra de Frege no solo se refiere a si trabajo tcnico
matemtico, si no tambin, y muy especialmente a sus formulaciones
filosfico-matemticas a cerca de diversos problemas tanto epistmicos como
onticos que rebasan el terreno relacionado solamente con los fundamentos de
las matemticas. Aqu vale la pena mencionar su importante discusin de la
distincin semntica entre sentido y referencia que a partir de la atencin que
le prestaron Carnap y Church ha sido estudiada con cuidado por un sin nmero
de filsofos posteriores.
En 1879 Frege publica una breve obra, la primera que le dedico al campo de la
lgica, se Begriffsschift 1879 que se convertira en la obra que marca el
comienzo de la lgica formal contempornea, en ella Frege formula un sistema
de lgica de primer orden en el que su autor introduce una modificacin radical
en el anlisis de las proposiciones ya que, en su lugar de analizarlas como si
fueran la de forma sujeto predicado, propone verlas bajo formas de funcin y
argumentacin y adems en sus escritos la pruebas se llevan a cabo de una
manera estrictamente formal. Hay que destacar que el trabajo de Frege
tambin se caracteriza por su rigor en la presentacin de sus demostraciones,
que no figura en las obras posteriores como los principia matemtica de
Russell.
La manera ms confiable de llevar a cabo una prueba es seguir la lgica pura;
esta es una forma que, al dejar de lado las caractersticas particulares de los
sujetos, depende tan solo de las leyes en que se funda todo conocimiento.
Conforme a esto nosotros dividimos en dos tipos las verdades que requieren de
una justificacin, a saber, aquellas para las que la prueba puede llevarse a
cabo de manera puramente lgica y aquellas que deben apoyarse en hechos
de la experiencia.
Para impedir que cualquier cosa intuitiva penetrase aqu desapercibida, tuve
que poner todo mi esfuerzo en mantener la cadena de inferencias libre de
huecos... y, para superar los obstculos que le impona el lenguaje natural, nos
sigue diciendo que eso lo Llev a la idea de la presente ideograma
[Begriffsschriftl], Su primer propsito es, pues, proporcionamos la ameba ms
FILOSOFIA II
confiable de la validez de una cadena de inferencias y sealar toda
presuposicin que intente colarse desaparecida, de tal manera que se pueda
investigar su origen.
Preposiciones simples y compuestas
CONECITIVAS LGICAS
Se denominan conectivas Lgicas las expresiones que Sirven para formar
proposiciones compuestas, a partir de las proposiciones simples. Hemos
empleado y examinaremos las siguientes:
1.- no es el caso que (negacin)
2.- y (conjuncin)
3.- o (disyuncin)
4.- s entonces (condicional)
5.- s y slo si (incondicional)
Negacin
Dada una proposicin, es posible negar su sentido en varias formas; por
ejemplo, la proposicin simple EI plomo es radioactivo, pude ser negada
mediante las siguientes proposiciones compuestas:
a) No es el caso que el plomo sea radioactivo
En general, la negacin puede reducirse a la palabra NO, que es una conectiva
lgica a la que representaremos mediante el smbolo (~) el cual, por
convencin, se coloca siempre a la izquierda de la preposicin que niega. Por
tanto, si representamos la proposicin EI plomo es radioactivo mediante la
literal q, su negacin se representa- ra as: ~q (que se lee no q).
El plomo es radioactivo (q)
radioactivo (~q)
El plomo no es
Negar una preposicin es indicar que es falsa. Si negamos a p, Siendo p
verdadera (primera posibilidad), obtendremos una proposicin, falsa; si, por lo
contrario, negamos a p, siendo p falsa (segunda posibilidad), obtendremos una
proposicin verdadera. Esto se suele representar mediante una tabla de
verdad, la cual muestra los posibles valores de verdad (verdadero o falso) de
una proposicin compuesta
No slo es posible negar proposiciones simples sino tambin las compuestas.
Por ejemplo, podemos negar la proposicin EI plomo no es radioactivo, que
representamos con ~q, obteniendo as la proposicin ~ ~q (no-no q).
Obsrvese que: q es falsa (EI plomo es radioactivo). ~q es verdadera (El
FILOSOFIA II
plomo no es radioactivo). ~ ~q es falsa (No es cierto que el plomo no es
radioactivo). Igualmente podemos negar la proposicin ~p, obteniendo ~ ~p.
CONJUNCION
Cuando la conectiva y es empleada para enlazar dos preposiciones, tiene el
sentido de afirmar que son simultneamente verdaderas. Por ejemplo, al decir:
Londres es la capital de Inglaterra y Cuba es una isla, la conectiva y tiene
la funcin de indicar que las dos proposiciones conjuntadas son igualmente
verdaderas
Se simboliza la conjuncin mediante el signo ^, el cual se coloca entre las
proposiciones conjuntadas, de tal modo que si r es la preposicin Londres es
la capital de Inglaterra y s es la proposicin Cuba es una isla, la conjuncin
de ambas se representar: r ^ s (que se lee r y s) Puesto que la conjuncin
de dos proposiciones cualesquiera.
Indica la verdad simultnea de ambas, la proposicin compuesta resultante es
verdadera si efectivamente son verdaderas ambas En otro caso, la proposicin
resultante ser falsa. As, por ejemplo, la proposicin p ^ q es verdadera slo si
tanto p como q son verdaderas. Si p es verdadera pero q es falsa, p ^ q es
falsa; si p es falsa y q es verdadera m, p ^ q es falsa, e igualmente si son
falsas tanto como p y q.
Las dos primeras columnas indican las posibles combinaciones (que son
cuatro) de los valoro de verdad en las proposiciones relacionadas por la
conjuncin. Esas combinaciones son: V V, VF, FV y FF La tercera columna indica
el valor de verdad de p A q correspondiente a cada una de esas posibles
combinaciones Mediante la conjuncin es posible relacionar tanto
proposiciones sim- ples como compuestas,' por ejemplo, puede conjuntarse la
proposicin simple p, con la proposicin compuesta q, De la proposicin
resultante, p r, q, tambin puede hacerse una tabla que muestre sus valores
de verdad, de acuerdo con Ios valores de verdad de las proposiciones simples
que en ella intervienen.
Los pasos seguidos al construir esta tabla de verdad fueron,'
l. Anotar las cuatro posibles combinaciones de los valores de verdad, de las
proposiciones simples que sirvieron para formar la proposicin compuesta
2. Analizar el sentido de la proposicin compuesta, para determinar cul es su
conectiva principal (que en este caso es la conjuncin de p con
3. Anotar el valor de verdad de las proposiciones componentes, con respecto a
la conectiva principal. En este caso se anotaron los valores de verdad de p, en
primer trmino, y de q. en segundo,
4 Anotar el valor de verdad de la conectiva principal. En el rengln a, la
conjuncin de p, verdadera, con q, falsa, dio falso (F), En el rengln b, la
FILOSOFIA II
conjuncin de p, verdadera, con q, verdadera, dio va- dadero (V), En el
rengln c, la conjuncin de p, falsa, con q, falsa, dio falso (F). Y en el rengln
d. la conjuncin de p, falsa; conq- verdadera, dio falso (F).
Disyuncin
La conectiva o, que se simboliza con el signo, 'V, tiene la funcin de enlazar
dos proposiciones, indicando que al menos una de ellas es verdadera (aunque
tambin pueden salo ambas), por ejemplo, si r es la proposicin 3 es un
nmero primo. y s es la proposicin 3 es un minero natural', la proposicin
compuesta r V s indica que cuando menos una de las proposiciones simples es
verdadera. Como en este caso as sucede, la proposicin r V s es verdadera, En
general, dada una proposicin compuesta cuya conectiva es una disyuncin,
como p V q, ser verdadera si al menos una de las alternativas es verdadera (y
por supuesto, cuando las dos 10 sean), Sea falsa.
En una disyuncin las alternativas pueden ser tanto proposiciones simples
como compuestas; por ejemplo, podemos poner en disyuncin la proposicin
simple p, con la proposicin compuesta p A q, resultando p V (p A q) El
parntesis tiene la funcin de indicamos que p , q se toma como un todo, del
cual tenemos que averiguar primero su valor de verdad, antes deponerlo en
relacin con p.
Pasos seguidos:
1.- Anotar las combinaciones de los valores de verdad de p y q.
2.- Determinar la conectiva principal: la disyuncin.
3.- Anotar el valor de verdad de las alternativas.
4.- Anotar el valor de verdad de la conectiva principal. Por otra parte, conviene
aclarar que hemos utilizado la disyuncin at sentido inclusivo, pues indica que
alguna de las alternativas es verdadera.
Sin embargo, algunas veces se utiliza la expresin o en sentido exclusivo,
como en la proposicin: l. NEI protn tiene carga positiva o el protn tiene
carga negativa, cuyo sentido es que slo una de las alternativas es verdadera,
en tanto que la otra es falsa, Se excluye la posibilidad de que ambas sean
verdaderas, pero tambin de que ambas sean falsas. Podemos construir una
proposicin compuesta que represente el sentido exclusivo de la disyuncin, a
esta se le llama disyuncin exclusiva y se representa de la siguiente forma: V Si
representamos,' con p.' EI protn tiene carga positiva con q: 'CEI protn tiene
carga negativa y consideramos el sentido de la proposicin I como: se da p y
no se da q, o no se da p y se da q", la proposicin resultante
(p A -q) V GPA q)
Cuya interpretacin sera: El protn tiene carga positiva y no negativa, o bien,
el protn no tiene carga positiva y tiene negativa. La tabla de verdad de la
FILOSOFIA II
proposicin construida muestra en qu casos es verdadera una disyuncin en
sentido exclusivo: cuando una de las alternativas es verdadera y la otra es
falsa.
Condicional
En la proposicin compuesta: Si Marte es un planeta, entonces Marte brilla
con Iuz refleja que se simboliza con el signo el cual se escribe entre las dos
proposiciones relacionadas por esta conectiva. El ejemplo anterior se puede
simbolizar entonces:
r>s (si r, entonces y),
Donde r es la proposicin "Marte es un planeta, en tanto que s es la
proposicin (Marte brilla con Iuz refleja. Al relacionar dos proposiciones con
esta conectiva es muy importante distinguir la que queda a la izquierda del
signo a la cual se llama antecedente, de la que queda a la derecha del
signo,> a la que se llama Consecuente.
El sentido de esta conectiva es sealar, que si la proposicin ante- cedente es
verdadera, tambin lo es la proposicin consecuente; es decir, basta o es
suficiente que el antecedente sea verdadero, para que el consecuente tambin
sea verdadero. De aqu que una proposicin compuesta en la que la conectiva
es condicional, ser falsa si siendo verdadero el antecedente, es falso el
consecuente. La proposicin ser verdadera en Ios dems casos, en los que no
ocurre que el antecedente es verdadero y el consecuente falso. La tabla de
verdad de la condicional.
La proposicin p > q es falsa cuando el antecedente p es verdadero y d
consecuente q es falso. Es verdadera en los dems casos. Al utilizar la
condicional se indica que si el antecedente es verdadero entonces tambin el
consecuente es verdadero. Formaremos una proposicin compuesta que tenga
el mismo sentido, es decir, que exprese lo mismo que una proposicin
condicional. Aunque sin utilizar esta conectiva. Tomemos las siguientes
proposiciones elementales: l. "2 0 factor de 8" (que representaremos con p), y
2. "8 es par" (que representaremos con q). La proposicin compuesta
condicional ser: 'Si 2 es factor de 8, entonces 8 es par
Simblicamente: p > q
Esta otra proposicin compuesta tiene el mismo sentido: No ocurre que: 2 sea
factor de 8 y 8 no sea par.' Simblicamente: ~ (P /\ ~q) (Obsrvese que se
empieza con una negacin, seguida de dos punto esto lo hemos interpretado
como una negacin que afecta a todo b que sigue despus, por 10 que hemos
encerrado entre parntesis ese todo al expresarlo simblicamente.)
Podemos decir que este tipo de lenguaje esta basado n lo condiciona tal y
como lo dice su nombre, ya que si no se dan las cualidades correctas, no se
FILOSOFIA II
puede llegar a algo bien estructurado al final de cada tabla, por lo contario de
esto no puede llevarse a cabo y da como resultado un error lgico.
Bicondicional
La expresin si y slo Si es una conectiva lgica que se simboliza con el signo
<->
Al relacionar dos proposiciones indica que el valor de verdad de ambo es el
mismo; ya sea verdadero o falso.
A si p <->q s lee p si y slo si q es una proposicin que significa que si p es
verdadera, entonces q tambin es verdadera y si q es verdadera, entonces p
tambin es verdadera.
En realidad la amativa bicondicional es la conjuncin de dos propensiones
condiciona- es (si, entonces). Es decir, la proposicin p q tiene el mismo
sentido que la proposicin (p <-> q) A (q <-> p), (recurdese que en una
proposicin condicional se afirma que si la proposicin antecedente es
verdadera, tambin lo es la proposicin consecuente.) En consecuencia, la
tabla de verdad de p q es la misma que la de (p q) (q p), pues estas dos
proposiciones son iguales entre si.
Podemos tomar en cuenta el ejemplo de la condicional para lograr expresar lo
que nos da entender la condicional, ya que como sus nombres lo dicen una
solo es condicional de una sola manera, pero la bicondicional puede ser
correcta de varias maneras si se cumplen con los requisitos que se piden.
FILOSOFIA II
TABLAS DE VERDAD
Hemos estado empleando las tablas de verdad en las secciones anteriores, con
el fin de mostrar los posibles valores de verdad de pro- posiciones compuestas,
Dada una proposicin compuesta, de la cual conozcamos tanto su forma como
su contenido, no se necesita construir una tabla de verdad para saber si es
verdadera o falsa cuando sabemos el valor de verdad de sus proposiciones
simples componentes; por ejemplo, de acuerdo con la forma de la proposicin,'
ASI' la ballena mamfero, entonces la ballena tiene respiracin pulmonar
podemos representarla como r -> s, siendo r verdadera ('La ballena es un
mamfero a) y siendo s verdadera GIA ballena tiene respiracin pulmonar),
Saben tos, por tanto, que r -> s es verdades, sin necesidad de hacer toda una
tabla de verdad.
Pero esto es muy importante en la pone de la lgica de la que nos
ocupamos, nos interesa analizar las forma-s en que se relacionan proposiciones
con otras, independientemente de Su contenido,
En proposiciones conto a-Venus es una estrella o Venus es un planeta y si
Venus es un planeta, entonces Venus brilla con luz refleja abstraemos (es
decir, separamos) del contenido su forma, la que podemos representar
como:
Una vez abstrada la forma de una proposicin, hemos de determinar en qu
casos es verdadera y en qu casos es falsa, 10 cual depende (o est en
funcin) de los valores de verdad de las proposiciones simples que intervienen
en la proposicin compuesta, as como de las conectivas lgicas empleadas,
Pueden formarse proposiciones compuestas:
A partir de una proposicin simple, como en p
A partir de dos proposiciones simples, como en (p r, q)
De tres proposiciones simples, como en (p V q) e, (q -> r)
o, a un ms, conto en (p V q) V (r V s) En toda tabla de verdad, de cualquier
proposicin compuesta, han de anotarse en primer lugar los posibles valores
de verdad de las proposiciones simples que en ella intervienen. Si en la
proposicin compuesta slo hay una proposicin simple (como en p),
nicamente hay dos posibles valores de verdad: Si en la proposicin
compuesta hay dos proposiciones simples (como en p -> q)
Tomando en cuenta la preposicin y los tipos de conectores que se utilizan
podemos darnos cuenta si una preposicin es verdadera falsa o esta inconclusa
gracias a las tablas de verdad, ya que dependiendo que tipo de conectores se
utilicen puede dar como resultado algo verdadero o falso basado en todo lo
anterior.
FILOSOFIA II
Tambin en los casos en los que hay cuatro o ms proposiciones sim- ples
componentes, determinaremos las posibles combinaciones y las anotaremos
siguiendo el mismo procedimiento:
1.- Hacer tantas columnas como proposiciones simples tengamos.
2.- Determinar el nmero de combinaciones que obtendremos, de acuerdo con
la frmula que antes vimos: 2'.
3.- Contar tantos renglones como combinaciones nos resulten.
4.- Empezar a Llenar la ltima columna, anotando primero un valor y luego
otro.
5.- Siempre se empiezan todas las columnas con el valor V.
6.- Siempre se duplica la presentacin de cada valor, en la columna que est a
la izquierda de la ya Llenada.
Una vez determinadas las posibles conmociones de los valores de verdad, de
las proposiciones simples que intervienen en una proposicin compuesta, es
preciso analizar cules son las conectivas lgicas que se emplean y, sobre
todo, en qu orden han de efectuarse las operaciones lgicas de negar
conjunta; poner en disyuncin, etc. Para esto es precise establecer algunas
reglas convencionales de notacin e inter- prestacin:
1. Se utilizan parntesis para indicar que una proposicin compuesta se toma
como un todo. Por ejemplo, si la proposicin p q es tomada como el
antecedente de una condicional cuyo consecuente es r, la notacin ser: (p r,
q) -> r. Si, en cambio, a la proposicin p se le conjunto -> r, la notacin ser p
(q -> r), la anotacin la proposicin q Obsrvese, en las tablas de verdad de
estas proposiciones, la diferencia en sus resultados finales.
En las dos tablas de verdad primero se detencin el valor de verdad de las
proposiciones encerradas en los parntesis (en la primeva tabla (p /\ q): en la
segunda (q -> r).
2. Se utilizan corchetes: [ ] para indicar que una proposicin compuesta se
toma como un todo, aunque en ella aparezcan parntesis.
Por ejemplo, si la proposicin p /\ (q -> r) es una alternativa de una disyuncin
que tiene como segunda alternativa la proposicin p, la notacin ser:
[P /\ (q ->r] V p
En la tabla de verdad respectiva primero determina el valor de verdad de la
proposicin encerrada entre corchetes.
FILOSOFIA II
3, El smbolo de negacin (~) invierte el valor de verdad de la proposicin que
est inmediatamente a su derecha, sea simple o compuesta, Si a continuacin
del smbolo de una negacin se encuentra alguna de las literales p, q, r... w, la
negacin invierte exclusivamente el valor de verdad de tal literal. Por ejemplo,
si r es verdadera y s es verdadera, r V s es verdadera, y tambin lo es ~r V s.
Si a continuacin del smbolo de una negacin se encuentra un parntesis, la
negatn invierte el valor de verdad de la proposicin que est dentro del
parntesis tomado como un todo, por ejemplo, si p verdadera V q es
verdadera, p V' q es verdadera, en tanto que (p V' v es falsa, Igualmente, si a
continuacin de una negacin se encuentra un Corchete, la negacin invierte el
valor de verdad de la proposicin que est dentro de los corchetes, tomada
como una sola proposicin; por ejemplo si queremos negar la proposicin (p q)
que segn el ejemplo anterior es falsa , la notacin correspondiente ser.'
V' (que ser entonces verdadera De acuerdo con las reglas anteriores construir
tablas de verdad de proposiciones compuestas o complejas.
En general, para construir esta tabla de verdad hemos seguido los mismos
pasos que indicamos en las sea-tones anteriores:
1.- Anotar las combinaciones de los valores de verdad de las proposiciones
simples componentes,
2.- Determinar cul es la conectiva principal,' en este case se trata de una
condicional cuyos panes son:
a) antecedente.'
~ [~ (p->q) /\ ~p]
b) consecuente:
[~ (p->q)/\ p]
3.- Anotar el valor de verdad de las proposiciones componentes con respecto a
la conectiva principal; en este ejemplo se determin el valor del antecedente a
y del consecuente b. Esto requiri haber previamente las siguientes
operaciones lgicas:
a) para el antecedente:
1.- determinar el valor de verdad de (p-> q)
2.- determinar el valor de verdad de ~(p->q)
3.- determinar el valor de verdad de ~p.
4.- conjuntar los valores de verdad de ~ (p -> q) con los de ~p
FILOSOFIA II
Proposiciones simples y compuestas
Los pensamientos son producto de una actividad mental y necesitan ser
comunicados para poderlos examinar
Las proposiciones son pensamientos en los que se afirma algo y que se
apresan, por el: mediante enunciados u oraciones declarativas, Recurdese
que las oraciones (conjuntos de palabras que expresan pensamientos
completos) se dividen en declarativas, imperativas, interrogativas y
exclamativas. Slo de las oraciones declarativas pude decirse que trasmiten
una proposicin que, por ser una afirmacin, es verdadera o falsa. De las
siguientes oraciones, slo las tres primeras, que son declarativas, nos
comunican una preposicin, verdadera o falsa, Las tres ltimas no trasmiten
una proposicin, pues las rdenes, preguntas o exclamaciones no son
verdaderas O falsas (son, en todo ese, justas o injustas, adecuadas o absurdas,
sinceras o fingidas, etc.,)
1.- Dos ms dos es igual a tres
2.- se prohbe comer chicharrn en los conciertos
As, la proposicin "Cuba es una isla y Baja California es una pennsula" est
compuesta en realidad por dos proposiciones simples: a) "Cuba es una isla" b)
Baja California es una pennsula, as como por la expresin "y", que sine para
enlazarlas y formar la proposicin compuesta. Tambin es una proposicin
compuesta: "No es el caso que 4 es par", pues una parte de ella es, a su vez,
una proposicin: 4 es par; la pena restante: no es el caso quo, es una
expresin que indica negacin.
Como nos interesa examinar las relaciones entre proposiciones,
independientemente de cul sea su contenido, simbolizaremos a las
proposiciones Simples mediante las literales minsculas p, q, r... w,
Representaremos a las proposiciones compuestas a partir de esas mismas
literales, y mediante algunos smbolos especiales para las expresiones que nos
permiten formar las proposiciones compuestas.
Signos de agrupacin
El complemento natural para unir las preposiciones compuestas son los signos
de agrupacin que al igual que en la escritura del lenguaje.
Signos de
puntuacin
,
;
.
Signos de
agrupacin
=
=
=
()
[]
{}
