You are on page 1of 10

4.

EL CLCULO DE PROPOSICIONES Y DE
PREDICADOS
^

Ser o no ser, esa es la cuestin.


William Shakespeare

1. CONCEPTO DE CLCULO.
1.1 ELEMENTOS DEL CLCULO.
1.2 REGLAS DE FORMACIN.
1.3 REGLAS DE TRANSFORMACIN.
1.4 CARACTERSTICAS.
2. EL CLCULO DE PROPOSICIONES O ENUNCIADOS.
2.1 NOCIONES
2.2 LA LGICA

BSICAS Y ELEMENTOS.
PROPOSICIONAL COMO CLCULO DE DEDUCCIN NATURAL.

3. SEMNTICA DE LA LGICA DE PROPOSICIONES.


4. EJERCICIOS DE FORMALIZACIN Y RESOLUCIN DE ARGUMENTOS.
5. BIBLIOGRAFA Y REFERENCIAS WEB.

1.

CONCEPTO DE CLCULO.

El concepto de clculo, sus elementos, reglas de formacin y de transformacin, as como sus


caractersticas, fueron explicados en el tema anterior sobre el lenguaje natural y los lenguajes formales.
Ahora aplicaremos la nocin de clculo para estudiar la formalizacin o esquematizacin de nuestra forma
natural de razonar o argumentar lgicamente.

2.

EL CLCULO DE PROPOSICIONES O ENUNCIADOS.

2.1 NOCIONES BSICAS Y ELEMENTOS.


2.1.1 ENUNCIADOS Y CONECTIVAS.
El clculo base sobre el que se construye todo el edificio lgico es el clculo proposicional o de
enunciados. Consiste en el anlisis lgico, dispuesto como clculo, de las relaciones de inferencia entre
proposiciones, es decir, los resultados formales del examen de la validez formal de las inferencias
mediante las cuales deducimos un enunciado tomado en bloque de otro enunciado tomado en bloque.
Debemos distinguir entre forma y contenido de un razonamiento. Puede haber distintos
razonamientos que tienen una forma comn siendo sus contenidos diferentes. A partir de esta distincin
debemos establecer la distincin entre dos tipos de signos: las constantes lgicas, que expresan
formas iguales en distintos argumentos, y las variables proposicionales, que expresan los posibles
contenidos concretos. Veamos un ejemplo con dos argumentos:
-Si llueve (proposicin1), entonces las calles se mojan (proposicin2).
Llueve (prop1).
Por tanto, las calles se mojan (prop2).
-Si el agua de la fuente se congela (prop1), entonces estamos bajo cero (prop2).
El agua de la fuente est congelada (prop1).
Por tanto, estamos bajo cero (prop2).
El contenido de ambos argumentos es diferente, uno habla sobre la lluvia y las calles mojadas,
mientras que el otro sobre el agua congelada y la temperatura. Pero ambos tienen una estructura comn:
Si proposicin1, entonces proposicin2. Proposicin1. Por tanto, proposicin2.
El contenido de ambos se corresponde con las variables proposicionales, mientras que la forma o
estructura en comn se corresponde con las constantes lgicas.
La lgica estudia la forma de los argumentos, por lo que prescinde de los contenidos de los
distintos enunciados, pero no puede prescindir de la idea de contenido. La forma de los razonamientos
es el modo en que los enunciados se relacionan entre s. El contenido, en cambio, son los enunciados
mismos.

2.1.2

LENGUAJE

LGICO Y LENGUAJE COTIDIANO.

Podemos decir que las constantes lgicas del clculo corresponden estrictamente a las
conjunciones del lenguaje ordinario? La respuesta es que no. Cada constante lgica no se corresponde a
una nica conexin entre enunciados en el lenguaje ordinario, ni tampoco todas las conexiones del
lenguaje ordinario tienen una traduccin al lenguaje lgico. La traduccin del lenguaje natural al
lenguaje lgico recibe el nombre de formalizacin de enunciados o proposiciones. Veamos un
ejemplo:
Cuando uno no tiene imaginacin, la muerte es poca cosa;
cuando uno la tiene, la muerte es demasiado 1
Se puede formalizar as: (pq)^ (pq) 2
La lgica es un lenguaje artificial y por tanto restringido, con un radio de expresin corto. Esto le
permite una precisin mayor. Como la lgica tiene como objeto de estudio la validez formal de las
inferencias, es necesario un estudio del lenguaje en el que se realizan las inferencias. De este estudio
surge el lenguaje artificial de la lgica. La lgica basa su anlisis del lenguaje natural en los elementos
relevantes para la validez formal de los argumentos y nada ms. El resultado es un lenguaje formal que
integra los elementos del lenguaje natural en la estructura del clculo. Vamos a exponer los elementos y
el funcionamiento de ese clculo.

2.1.3

SIMBOLIZACIN.

Louis-Ferninand Cline, Viaje al fin de la noche.

Ms adelante analizaremos en profundidad la formalizacin de expresiones del lenguaje natural.

Los enunciados sern representados en el clculo por medio de variables, designadas por letras
minsculas del alfabeto a partir de la p: p, q, r Estas letras recibirn el nombre de variables
proposicionales. Ejemplos:
-Jpiter gira alrededor del Sol= p
-El Tmesis es un ro= q
-Suiza es un pas europeo= r
Las constantes lgicas, conectivas o conectores del clculo proposicional son:

Negador: Representado por el smbolo , puede ser considerado como la partcula no


del lenguaje ordinario o natural. Se le puede aadir a cualquier proposicin, que pasa a
denominarse no p: p. Si p es verdadera, su negacin ser falsa, y viceversa. Podemos
expresarlo en la siguiente tabla de verdad, donde 1 es igual a verdadero y 0 es
igual a falso.
p
1
0

p
0
1

(La tabla indica que cuando la p es verdadera, su negacin p es falsa, mientras que si la p
es falsa, p ser verdadera)

Conjuntor: Representado por el smbolo ^, recibe el nombre de conjuntor o producto


lgico; puede ser considerado como la versin formal de la partcula del lenguaje ordinario
y. La expresin p^q se lee p y q, y es verdadera slo si sus dos componentes lo son
al mismo tiempo:
p

1
1
0
0

1
0
1
0

Disyuntor: Representado por el smbolo , recibe el nombre de disyuntor o suma lgica,


y puede considerarse como uno de los usos de la partcula o del lenguaje ordinario 3. Este
uso es el no excluyente. La expresin pq se lee p o q, y es verdadera cuando al menos
una de las dos proposiciones lo es, mientras que es falsa slo si lo son las dos a la vez.
p
1
1
0
0

p^
q
1
0
0
0

q
1
0
1
0

pq
1
1
1
0

Condicional: El smbolo se denomina condicional o implicador y puede considerarse


como una formalizacin, aunque imparcial e incompleta de la expresin del lenguaje
ordinario si entonces. Se forma uniendo dos proposiciones con el smbolo : pq,
que se lee si p, entonces q. La proposicin que est antes del condicional se llama
antecedente, mientras que la que le sigue despus se denomina consecuente. El
lenguaje ordinario permite expresar un condicional de muchas maneras:
-Siempre que se va a hacer la revolucin acaba luego no hacindose.
-Para poder morir, basta con haber nacido.
-Cuando se compara Sodoma con Gomorra, sale ganando la segunda.
-Bien pensado, no hay por qu pensar bien.
-Como siga siendo tan feliz, acabar suicidndose.
-Se convertir en un idelogo, con tal de que le paguen.
-En no habiendo vino, no hay ya amor.
-T dedcate al amor libre y vers cmo te sorprende la muerte en pecado mortal.
-De haber sabido que iban a triunfar, me hubiera apuntado.
-En caso de que necesites algo, no me lo pidas.

Los dos usos de la partcula o son: El uso excluyente: o ganas, o pierdes, donde slo puede darse uno de los dos.
Y el uso no excluyente: vas al cine o vas al teatro, donde pueden darse uno, otro, los dos a la vez o ninguno de los
dos. ste ltimo es el uso que le vamos a dar en nuestro clculo proposicional.

Todas estas expresiones se pueden reducir, desde el punto de vista lgico a pq (si p,
entonces q):
-Si se va a hacer la revolucin, entonces acaba luego no hacindose.
-Si se ha nacido, entonces se muere.
-Si se compara Sodoma con Gomorra, entonces sale ganando la segunda.
-Si bien se piensa, entonces no hay por qu pensar bien.
-Si sigue siendo tan feliz, entonces acabar suicidndose.
-Si le pagan, entonces se convertir en un idelogo.
-Si no habiendo vino, entonces ya no hay amor.
-Si te dedicas al amor libre, entonces vers cmo te sorprende la muerte en pecado
mortal.
-Si hubiera sabido que iban a triunfar, entonces me hubiera apuntado.
-Si necesitas algo, entonces no me lo pidas.
Un condicional es verdadero siempre que no se d el caso de que su antecedente sea
verdadero y su consecuente falso al mismo tiempo, y es falsa slo si se da esta
circunstancia.
p
1
1
0
0

pq
1
0
1
1

Bicondicional: Se representa como y se denomina bicondicional o coimplicador. En el


lenguaje matemtico no formalizado se usa frecuentemente la expresin si y slo si, que
se considera sinnima de equivale. La expresin pq se lee como si y slo si p,
entonces q, y es verdadera cuando sus dos componentes son verdaderos o cuando ambos
son falsos al mismo tiempo; en cambio es falsa cuando uno de sus componentes es
verdadero y el otro falso.
p
1
1
0
0

2.1.4

Q
1
0
1
0

q
1
0
1
0

REGLAS

pq
1
0
0
1

DE FORMACIN.

Las reglas de formacin definen qu expresiones son frmulas: expresiones bien formadas del
clculo proposicional. Dichas reglas parten de una primera: una proposicin cualquiera es una frmula o
expresin bien formada del clculo. Cuando la proposicin est formada por una letra se denomina
frmula atmica: p es una frmula atmica. La unin de una frmula atmica con otras por medio de
las conectivas se denomina frmula molecular. As, una frmula molecular sera p^q, p o incluso
p^qp.
Una frmula o expresin bien formada del clculo es un smbolo o serie de smbolos de los definidos
anteriormente (letras de enunciados y conectivas) que se atiene estrictamente a las siguientes reglas de
formacin:

2.1.5

Regla 1. Una frmula atmica (p) es una frmula.


Regla 2. Si A es una frmula, A tambin es una frmula. Donde A puede ser tanto
una frmula atmica como molecular. 4
Regla 3. Si A y B son frmulas, entonces A^B, AB, AB, AB son tambin
frmulas.
Regla 4. Nada ms es una frmula.

SMBOLOS

Y NOCIONES ADICIONALES.

Para expresar mejor y sin ambigedades la estructura interna de las frmulas se usan parntesis
que delimitan exactamente el conjunto de frmulas afectadas por cada signo lgico. La expresin
4

Por ejemplo A puede ser la frmula atmica p o una frmula molecular como p^q. Otras frmulas moleculares
pueden ser p o (p^q) (p^q).

p^qr puede resultar ambigua porque no sabemos si la conectiva principal es una conjuncin ^ o una
disyuncin . No es lo mismo p^(qr), cuya conectiva principal es una conjuncin, que la disyuncin
(p^q)r5. En la prctica hay unas convenciones que simplifican el uso de los parntesis, permitindonos
prescindir de algunos:

Suprimir los parntesis exteriores: (pq) = pq; (p^q) = p^q


Omitir parntesis internos en el caso de reiteracin del conjuntor o el disyuntor:
p^(q^r) = p^q^r
p(qr) = pqr
Otorgar preponderancia al condicional y al bicondicional sobre el conjuntor y el disyuntor:
(p^q)r = p^qr (Podemos prescindir de los parntesis porque el condicional prima sobre el

conjuntor)

p^(qr) = p^(qr) (El parntesis indica que la conectiva principal es el conjuntor)

2.2 LA

LGICA PROPOSICIONAL COMO CLCULO DE DEDUCCIN NATURAL.

2.2.1

Deduccin natural. Reglas.

La lgica expresa los resultados de su anlisis en forma de leyes que expresan esquemas vlidos
de inferencia6. Estos esquemas o reglas de inferencia son como moldes correctos de razonamiento,
cuya forma o estructura puede adoptar diferentes maneras, siendo la ms comn:
Premisa 1
dada, sea
Premisa 2
Conclusin

AB
A

(Las letras maysculas representan cualquier frmula


atmica o molecular)

Estos esquemas deben cumplir con un requisito fundamental: interpretadas sus variables con
proposiciones cualesquiera, si los enunciados de las premisas son verdaderos, tambin debe ser
verdadero el enunciado que aparece en la conclusin. Veamos el ejemplo:
En primer lugar interpretamos las variables de los esquemas:
AB
A
B

pq
p
q

Si llueve, entonces las calles se mojan. (p = llueve; q = las calles se mojan)


Llueve.
Las calles se mojan.

Una vez interpretadas, tenemos que cumplir el requisito fundamental: si las premisas son
verdaderas, entonces la conclusin tambin debe ser verdadera. Es decir, que si tomamos que Si llueve,
entonces las calles se mojan y Llueve son verdaderas, la conclusin Las calles se mojan debe ser
necesariamente verdadera.
Los esquemas o reglas de inferencia pueden sistematizarse en un clculo de deduccin natural,
es decir, formar un sistema o conjunto estructurado de reglas que se corresponden con la
esquematizacin del modo natural de razonar. Esta sistematizacin supone seleccionar un conjunto
pequeo de reglas bsicas y a partir de ellas derivar, obtener mediante inferencias un conjunto mayor
de otras reglas derivadas.
En una inferencia o deduccin nos podemos encontrar unos supuestos y unas reglas de
inferencia. Los supuestos pueden ser premisas (denominados tambin supuestos previos) o bien
supuestos provisionales, que sirven momentneamente de apoyo en el desarrollo de la deduccin, pero
siempre deben cancelarse o cerrarse al final de la deduccin. Veamos con ms detenimiento en qu
consiste sto. El clculo de deduccin natural es una secuencia finita de frmulas; cada una de ellas es un
supuesto previo, un supuesto provisional o una frmula deducida de otra u otras anteriores por aplicacin
de una de las reglas. La conclusin se nos da de antemano, de lo que se trata es de demostrar la
conclusin a partir de las premisas dadas.
La deduccin se realizara as:
a) Se numeran en la izquierda a partir del nmero 1.
b) Las premisas se ponen en primer lugar, sealndose con un guin a la izquierda del nmero.
c) Los supuestos provisionales se sealan con un ngulo recto () antes del nmero que se unir
con un lnea recta a otro ngulo () correspondiente a la lnea que los cancela.
d) Se pone a la derecha un comentario: las siglas de la regla por la que se infiere la lnea y los
nmeros de las lneas a las que se ha aplicado la regla.
5

Para comprobarlo podemos recurrir a la tabla de verdad de la disyuncin y la conjuncin. Intuitivamente podemos
comprobar que la expresin voy al cine y compro palomitas o me quedo en casa no significa lo mismo si la conectiva
principal es una conjuncin o una disyuncin.
6

Una inferencia es un razonamiento, una argumentacin racional; tambin se denomina deduccin lgica.

Vemoslo en el siguiente ejemplo:


A partir de las premisas (pq)^p y p, demostrar q. Esto se escribira as: (pq)^p, p q
Comenzamos escribiendo las premisas en las primeras lneas, siguiendo el orden establecido. En la
ltima lnea debe aparecer la conclusin debidamente justificada por el uso de las reglas y los supuestos
provisionales.
-1. (pq)^p
-2. p
3. pq E^1
4. q
MP2,3

(El guin a la izquierda del nmero 1 indica que es una premisa o supuesto previo)
(El guin a la izquierda del nmero indica que tambin es una premisa)
(El comentario dice que se ha aplicado la regla de eliminacin del conjuntor en 1)
(Aqu dice que se ha aplicado la regla del modus ponens para eliminar el en las
Lneas 2 y 3)

La deduccin es correcta, pues a partir de las premisas hemos obtenido la conclusin aplicando las
reglas del clculo. Pero para comprender cmo se ha conseguido la deduccin, debemos conocer antes
las reglas bsicas.

2.2.2

Reglas bsicas

Las reglas bsicas son las ocho seleccionadas por Gentzen, dos para cada unas de las cuatro
conectivas (, , , ^), una de introduccin y otra de eliminacin.
*ELIMINACIN DEL CONJUNTOR (EC) o Simplificacin (Simpl.)
A ^B
A

A^B
B

Siempre que tengamos A^B, podemos eliminar


y quedarnos con A o B por separado.

Si una conjuncin es verdadera, tambin lo deben ser cada uno de sus miembros (vase la tabla de
verdad)
*INTRODUCCIN DEL CONJUNTOR (IC) o Producto Lgico (Prod.)
A
B
A^B

A
B
B^A

Siempre que encontremos la frmula A y la B por separado,


las podemos tener en conjuncin, en el orden que sea.

Si podemos afirmar dos verdades por separado, tambin podemos afirmar la verdad de su unin.
*ELIMINACIN DEL CONDICIONAL (EI) o Modus Ponens (MP)
AB
A
B

Siempre que encontremos la frmula AB y A, eliminar y quedarnos con B.

*INTRODUCCIN DEL CONDICIONAL (IC) o Teorema de la Deduccin (TD)


A
B
AB

Si de un supuesto provisional A y de un conjunto de frmulas, que puede ser vaco,


obtenemos B, podemos decir que AB.

*ELIMINACIN DEL NEGADOR (EN) o Doble negacin (DN)


A
A

Negar dos veces una cosa es afirmarla.

*INTRODUCCIN DEL NEGADOR (IN) o Reduccin al absurdo (Abs.)

A
Si de un supuesto provisional A y de un conjunto de frmulas, que puede ser vaco,
obtenemos una contradiccin B^B, el supuesto debe ser negado porque es inadmisible.
B^B
A

No es posible afirmar una cosa y su negacin al mismo tiempo, por el principio de no


contradiccin.

*ELIMINACIN DEL DISYUNTOR (ED) o Prueba por casos (Cas.)


AB
A
C
B
C
C

Si de todos los casos de una disyuncin se sigue la misma conclusin C,


podemos afirmarla sin miedo a equivocarnos.

*INTRODUCCIN DEL DISYUNTOR (ID) o Adicin (Ad.)


A
AB

B
AB

A cualquier frmula A puede introducirse un disyuntor con cualquier


frmula B.

Si tenemos una frmula verdadera, su valor de verdad no cambia al aadirle cualquier otra frmula
por medio de disyuntor.

2.2.3

Resolucin de argumentos.

El uso de reglas bsicas es suficiente para resolver todo problema deductivo que tenga solucin.
Pero debemos seguir una serie de estrategias en el uso de las reglas.
1) Asegurarse de la correcta formalizacin de un argumento si este ha sido traducido del
lenguaje ordinario.
2) Una vez dispuestas en columna y ordenadas las premisas se intentar extraer de stas la
conclusin o las frmulas que puedan acercarnos a ellas por sucesivas aplicaciones de las
reglas.
3) Si no se puede extraer directamente la conclusin de las premisas, intentarlo utilizando
supuestos provisionales. Si la frmula intermedia que necesitamos es un condicional,
suponemos el antecedente y si llegamos a su consecuente, aplicamos el Teorema de la
Deduccin. Si la frmula intermedia necesaria para llegar a la conclusin es un disyuncin,
debemos suponer sus miembros y usar la Prueba por casos.
4) Si fallan estos intentos, se puede recurrir a la deduccin indirecta, suponiendo la negacin de
la conclusin y aplicando la reduccin al absurdo.

2.2.4

Reglas derivadas y resolucin de argumentos.

La resolucin de argumentos se facilita y abrevia si se aaden a las reglas bsicas de Gentzen otras
nuevas que se basan o derivan de ellas, por lo que reciben el nombre de reglas derivadas. Estas reglas
expresan leyes lgicas:
*Ley del silogismo hipottico:
AB
BC
AC
*Principio de identidad:
A
A
*Ley de contraposicin:
AB
BA
*Introduccin de la doble negacin:
A
A
*Principio de no contradiccin:
(A^A)

*Modus tollens:
AB
B
A
*Silogismo disyuntivo:
AvB
B
A

AvB
A
B

*Leyes De Morgan:
(A^B)
AvB

(AvB)
A^B

*Principio de tercero excluido:


AvA

3.

SEMNTICA DE LA LGICA DE PROPOSICIONES.

3.1 FUNCIONES

DE VERDAD.

Una deduccin es correcta cuando la verdad de sus premisas implica la verdad de su conclusin. La
semntica trata de las interpretaciones de las frmulas. En lgica, la interpretacin de un enunciado o
proposicin ser su valor de verdad.
Una frmula atmica es una frmula compuesta por una sola variable proposicional. Una frmula
molecular es una frmula compuesta por una o varias variables proposicionales y una o varias conectivas.
En el clculo de proposiciones es posible determinar exactamente el valor de verdad de una frmula
molecular a partir del valor veritativo del de las frmulas atmicas que la componen y de las definiciones
de las conectivas. El valor verdadero se representa con un 1, mientras que el valor falso con un 0.

3.2 TABLAS

DE VERDAD.

Las funciones de verdad pueden representarse mediante tablas. Ya presentamos ejemplos de tablas
al definir las conectivas. Veamos ahora cmo se construyen para frmulas ms complejas.
El primer paso para construir una tabla es calcular el nmero de filas que debe tener para recoger
todas las combinaciones posibles de los valores de verdad de los enunciados que las componen. Siendo
n el nmero de variables proposicionales de una frmula, el nmero de filas es de 2 n.
El segundo paso es la determinacin del nmero de columnas. La tabla debe tener una columna
por cada uno de los elementos diferentes entre s del conjunto de sus subfrmulas y una para la frmula
completa.
El tercer paso es construir el encabezamiento de la tabla, que debe contener todas las
subfrmulas ordenadas de izquierda a derecha, de las frmulas atmicas a las ms complejas,
terminando en el extremo derecho con la frmula completa que analizamos.
El cuarto paso atribuir los valores de verdad a las variables proposicionales de las columnas
iniciales, que deben recoger todas las posibles combinaciones de valores posibles, para lo que se utilizar
la siguiente estrategia: Se divide entre dos el nmero de filas de la tabla, colocndose primero los unos
seguidos y luego los ceros; si hubiera una segunda columna se divide el nmero total por cuatro y se van
colocando primero los unos y despus los ceros; si hubiera una tercera columna la divisin sera entre
ocho y as sucesivamente.
El quinto paso es la elaboracin de las columnas intermedias correspondientes a cada una de sus
subfrmulas, a partir de los valores de verdad de las variables proposicionales y las definiciones de las
conectivas. Se comienza por las variables negadas, luego por las subfrmulas con dos variables unidad
por una conectiva y as sucesivamente, en orden inverso a la complejidad de las subfrmulas, es decir, de
las ms simples a las ms complejas.
El sexto y ltimo paso es atribuir el valor de verdad a la ltima frmula, que es la frmula
analizada, la ms compleja, a partir de las columnas de las subfrmulas.
Sea la frmula que quiero analizar (p^q)^(rvp), aplico los pasos y obtengo esta tabla:

p q r
1
1
1
1
0
0
0
0

3.3 TAUTOLOGAS,

1
1
0
0
1
1
0
0

1
0
1
0
1
0
1
0

p
0
0
0
0
1
1
1
1

r
0
1
0
1
0
1
0
1

p^q

rvp

1
1
0
0
0
0
0
0

0
1
0
1
1
1
1
1

(p^q)^(rvp
)
0
1
0
0
0
0
0
0

CONTRADICCIONES Y CONTINGENCIAS.

Al observar la ltima columna de una tabla de verdad podemos ver tres tipos de resultados:
a) Slo valores positivos (unos). Son las tautologas.
b) Slo valores negativos (ceros). Son las contradicciones.
c) Valores de los dos tipos. Son las contingencias o indeterminaciones.

3.4 INTERDEFINICIN

DE CONECTIVAS.

Las conectivas son interdefinibles entre s a partir de los valores de verdad, es decir, que cuando
dos tablas de verdad son idnticas, podemos decir que dos frmulas son equivalentes, porque tienen el
mismo valor de verdad. Estas definiciones reciben el nombre de leyes de interdefinicin, y pueden
usarse como leyes derivadas. Son de varios tipos, segn en qu conectivas se basen:
a) Basadas en y ^:
AvB=(A^B) Df.
AB=(A^B) Df.
b) Basadas en y v
A^B=(AvB) Df.
AB=AvB Df.
c)

Basadas en y
A^B=(AB) Df.
AvB=AB Df.
AvB=BA Df.
AvB=(AB)B Df.
AvB=((AB)(BA) Df.

4.

EJERCICIOS DE FORMALIZACIN Y RESOLUCIN DE ARGUMENTOS.

4.1 FORMALIZACIN

DE PROPOSICIONES.

Formaliza las siguientes proposiciones:


1.
2.
3.
4.

5.

Si el instinto de conservacin y la tendencia al incremento en el ser es un elemento originario,


entonces el bien ser aquello que conserva e incrementa nuestro ser, y el mal aquello que lo
perjudica y lo destruye. (Zenn de Citio)
La muerte no tiene importancia. Si estoy existiendo entonces la muerte no est presente, y si la
muerte est presente, entonces yo no estoy existiendo. Por tanto, si la muerte no est presente
o s lo est, no tiene importancia alguna. (Epicuro)
No es posible ser y no ser al mismo tiempo. (Parmnides)
Hay cosas producidas para lograr una finalidad y otras que ocurren por azar. Aquello que se ha
constituido para lograr un objetivo y un fin, necesita una inteligencia que lo haya producido
previamente. Es decir, si hay cosas que tienen una finalidad, entonces deben tener una causa
previa que les haya dado tal finalidad (una Inteligencia o Dios). Por tanto, existe una causa
previa que da la finalidad. (Jenofonte)
Todos los artfices de esta tierra aparecen junto a sus obras. Si los artfices de las cosas de la
tierra aparecen junto a sus obras, la causa previa de las cosas debera verse. Sin embargo, la
causa previa de las cosas es invisible. Por tanto, no es cierto que todos los artfices de esta
tierra aparezcan junto a sus obras. (Scrates)

5.

BIBLIOGRAFA Y REFERENCIAS WEB.

Deao, A. Introduccin a la lgica formal, Madrid, Alianza, 1980.


Eco, U. Tratado de semitica general, Barcelona, Lumen, 1981.
Ferrater Mora, J. Diccionario de filosofa, Madrid, Alianza, 1982.
Ferrater Mora, J. Indagaciones sobre el lenguaje, Madrid, Alianza, 1980.
Garrido, M. Lgica simblica, Madrid, Tecnos, 1983.
Haak, S. Filosofa de las lgicas, Madrid, Ctedra, 1982.
Hierro Pescador, J. Elementos de filosofa del lenguaje, Madrid, Alianza, 1985.
Hierro Pescador, J. Lenguaje, en Quintanilla, M. A. (dir.) Diccionario de filosofa
contempornea, Salamanca, Sgueme, 1976.
Jakobson, R. Lingstica y potica, Madrid, Ctedra, 1983.
Ortiz-Oss, A. Comunicacin, en Quintanilla, M. A. (dir.) Diccionario de filosofa
contempornea, Salamanca, Sgueme, 1976.
Russell, B. El conocimiento humano, Barcelona, Orbis, 1983.

You might also like