Professional Documents
Culture Documents
LGICA CLSICA
1. Justificacin
1.1.
General
habilitarme para la produccin de conocimiento, aprendiendo primero el
conocimiento producido por otro = entendimiento.
pensamiento = conocimiento y cultura: mirar cuales son los procesos de la
produccin del conocimiento = Lgica.
1.2. Particular
El filsofo se basa en los argumentos. El filsofo se mueve en el lenguaje
capacidad de anlisis de teoras, argumentos, tesis, razonamientos: aprobar o
criticar argumentos.
2. Objetivo
3. Contenidos
Nota: Cada uno es un mtodo de anlisis del lenguaje o argumentativo o razonativo.
4. Metodologa: hay un componente conceptual y uno prctico: talleres y tareas -parte
terica-prctica5. Evaluacin:
6. Bibliografa bsica:
INTRODUCCIN
Qu es la lgica?
a. La semitica: la lgica una parte de un conjunto de disciplinas llamada
semitica (la esencia de los signo = significar signos); por lo tanto se ocupa del
lenguaje que son signos la lgica hace parte de la semitica (teora general
de los signos).
ii.
iii.
iv.
* ii + iii + iv = SEMITICA -descripcin completa de un sistema sgnicoAs, el lenguaje pasa a ser un sistema particular de signos.
d. Tipos de signos: hay muchos y muy diferentes tipos de signos, que se pueden
clasificar con un criterio: el criterio es SEMITICO.
Hay tres tipos de signos:
1.
2.
3.
La diferencia entre 1 y 2 es que 2 solo sirve para una cosa (informar sobre una cosa) y
con 1 hace muchas cosas: es multiusos.
Otra diferencia los lenguajes naturales crecen como los organismos (progresan:
sintaxis, semntica y pragmtica); en cambio, en los lenguajes artificiales son ms
estables. Y, cuando cambia el lenguaje artificial es nuevo (v.g. una nueva lgebra)
C. Vocabulario (lxico)
Las palabras de un lenguaje tienen solo y solo dos aspectos:
1. La designacin (1)
2. La denotacin (2)
intensin
situacin o sentido
extensin de una palabra
CLASE -lgica-
Ejemplos explicativos
(1) Tringulo Es una condicin, es que debe satisfacer algo para que se le asigne la
palabra: 3<, 3l, figura cerrada = tringulo.
Condiciones
(2) Conjunto de cosas (extensin de la palabra) a la que se aplica la palabra ser
alumno de filosofa o satlite de la luna
Tanto 1 como 2 es una relacin entre signos (lo lingstico) y lo no lingstico (mundo,
realidad, hechos, acontecimientos)
(1)
Y,. (1)
y
(2) nombres comunes, adjetivos,
verbos; nombres propios -no hay un conjunjunto de caractersticas
para que alguien tenga ese nombre-.
Adems, palabras que (1) y (2) partculas, preposiciones,
adverbios, conjunciones.
Componente
del
lenguaje,
pensamiento,
LGJ (objeto)
es
quiteo
y
Carlos
es
hombre
entonces
Carlos
es
quiteo
2. Conectivos
Negacin , Conjuncin , Disyuncin , Condicional , Bicondiconal
Qu palabras posibilitan la unin de un razonamiento?
El
El
El
El
viento
viento
viento
viento
sopla
sopla
sopla
sopla
muy
muy
muy
muy
fuerte
y
la marea est alta
fuerte
o
la marea est alta
fuerte entonces
la marea est alta
fuerte s y solo s la marea est alta
3. Tabla de verdad
P premisa mayor
Q premisa menor
conector lgico
Tabla de verdad
1. P Q
2. P Q
Si negamos,
P = El viento no sopla muy fuerte
Q = la marea no est alta
Tabla de verdad (1)
1. ( P Q ) = P Q
2. ( P Q ) = P Q
V.g. Si el viento sopla fuerte entonces la marea est alta Tabla de verdad (3)
antecedente
consecuente
PQ
Formalizando
Formalizando
P Q
CONTRADICCIN
CONTINGENCIA L.
Tabla de verdad (7)
5. Mtodo Corto: Gracias a este mtodo nos podemos ahorrar la elaboracin de las
tablas de verdad:
Casi todo razonamiento en lgica es condicional
La conclusin se desprende del condicional ()
V F = F "tambin puede ser falseada"
V.g.
P
V
Q
F
P
V
V
Q
F
F
V
Tautologa
Razonar
Deducir otro juicio afirmar o negar una relacin de dos ideas, que
necesariamente se sigue de dos o ms juicios dados.
Razonamiento
Proposicin: es un enunciado del cual se puede afirmar que sea verdadero o falso. Es
premisa cuando aparece como un supuesto de un razonamiento.
Conclusin: proposicin que se afirma sobre la base de las otras proposiciones.
Indicadores de premisas: puesto que, porque, pues, en tanto que, por razn
de que
COLUMNA B
1. LOGICA
2. INFERENCIA
3. FILOSOFIA DE LA
LOGICA
4. SEMANTICA
5. ORACION
6. ORACION
INTERROGATIVA
j.
7. PRAGMATICA
8. PROPOSICIN
9. ORACION
DESIDERATIVA
10. SINTACTICA
11. IMPERATIVO
Hay razonamientos perfectamente vlidos que tienen conclusiones falsas, y todas sus
premisas pueden ser verdaderas.
10
i.
El lgico no se interesa tanto por la verdad o falsedad de las proposiciones, como por
las relaciones lgicas que existen entre ellas, y que determinan la correccin o
incorreccin de los razonamientos.
11
Lgica de conectivos
Como hemos visto la lgica es la ciencia de los razonamientos formalmente vlidos; esta
ciencia cuenta, como cualquier otra, con un tipo especial de lenguaje, que no es
denotativo ni connotativo, En esta segunda parte de la lgica simblica, vamos a tratar
las palabras que unen proposiciones y que son elemento de nuestro estudio,
Para establecer la validez o invalidez de argumentos debemos recurrir a un lenguaje
simblico artificial, en el cual se puedan formular y enunciar los argumentos, Desde este
punto de vista, a la lgica no le concierne el desarrollo de nuestros poderes de
pensamiento, sino de tcnicas que nos permitan realizar unas tareas sin tener que pensar
demasiado.
Si escribimos: Aristarco propuso la primera idea clara sobre el heliocentrismo, esta es
una proposicin simple, de la que puedo decir que es verdadera o falsa. Pero si
escribimos: Aristarco propuso la primera idea clara sobre el heliocentrismo Y los sofistas
afirmaron que Aristarco era un loco, tenemos una proposicin compuesta (enunciado)
que tenemos que revisar con ms cuidado.
Los enunciados compuestos en la lgica de conectivos pueden unirse con diversas
partculas, que son nuestro objeto de estudio:
1. Aristarco propuso la primera idea clara sobre el heliocentrismo Y los sofistas
afirmaron que Aristarco era un loco.
2. Aristarco propuso la primera idea clara sobre el heliocentrismo O los sofistas
afirmaron que Aristarco era un loco.
3. Aristarco propuso la primera idea clara sobre el heliocentrismo ENTONCES los
sofistas afirmaron que Aristarco era un loco.
4. Aristarco propuso la primera idea clara sobre el heliocentrismo S Y SOLO S los
sofistas afirmaron que Aristarco era un loco.
Para poder trabajar los enunciados podemos trabajar de la siguiente manera:
P: Aristarco propuso la primera idea clara sobre el heliocentrismo.
Q: Los sofistas afirmaron que Aristarco era un loco.
El trmino de enlace de (1) es Y, se llama CONJUNCIN, se simboliza ( ).
El trmino de enlace de (1) es O, se llama DISYUNCIN, se simboliza ( ).
El trmino de enlace de (1) es ENTONCES, se llama CONDICIONAL, se simboliza ( ).
12
13
14
Porque sabemos que el oxgeno es condicin necesaria para la vida, podemos decir si
hay vida, entonces hay oxgeno.
Formalizar los siguientes enunciados condicionales:
3.
No ocurre que o Juan compra una raqueta de tenis o compra una pelota de
tenis.
Juan compra una pelota de tenis o no est satisfecho con la raqueta que ya tiene.
Si Juan no compra una raqueta de tenis, entonces est satisfecho con la raqueta
que ya tiene.
Si Antonio visita a Jos, entonces Pablo visita a Pedro.
Si Pablo no visita a Pedro, entonces o Antonio y Pablo van al cine o acaban su
trabajo de ingls.
Pero Antonio y Pablo no acaban su trabajo de ingls.
Adems, Antonio y Pablo van al cine y Antonio no visita a Jos.
15
EJERCICIOS PRCTICOS
A. Haga la tabla de verdad a las siguientes frmulas y de los numerales impares diga si
es VERDAD LGICA, CONTRADICCIN O CONTINGENCIA.
1.
~(P Q)
2.
~(P ~Q)
3.
~P
Q
4.
~P ~Q
5.
~Q P
6.
~(Q P)
7.
(P
Q)
R
8.
~(Q P)
9.
(~ P
Q)
R
10.[ ( P
Q)
(P R)] R
11. P
(Q
P)
12. P ~ (~ P
Q)
13. ~ { ~ [ ( P Q ) ~ ( P ~ R ) ] S }
B. Formalice los siguientes enunciados y haga la tabla de verdad a los diez primeros,
diga de estos ltimos si es una verdad lgica, contradiccin o contingencia. Resuelva los
siete ltimos por el mtodo corto.
1.
2.
3.
4.
16
p
4. Simplificacin (S)
pq
p q
p
q
5. Conjuncin (C)
p
q
p q
6. Silogismo Hipottico
(SH)
p q
q r
p r
EXPLICACIN
Dada una implicacin y su antecedente, se sigue el
consecuente.
Afirmando afirmo. A. A.
Dada una implicacin y la negacin del consecuente, se
sigue la negacin del antecedente.
Negando niego. N. N.
Dada una disyuncin y la negacin de uno de sus disyuntos,
se sigue la afirmacin del otro disyunto.
Negando Afirmo. N. A.
17
7. Adicin (AD)
p
p q
8.Dilema Constructivo
(DC)
p q
r s
p r
q s
9. Absorcin (AB)
p q
p (p
q)
(p q) r)
(p q) r
5. Distribucin (Dis)
p (q r)
p (q r)
(p q) (p r)
(p q) (p r)
6. Contraposicin (Contrap)
(p q)
7. Implicacin (imp)
(p q)
8. Exportacin (exp)
(p q) r
(q p)
(p q)
p (q r)
9. Tautologa (Taut)
p (p p)
p (p p)
10. Equivalencia
(p q) (p q) (q p)
18
(p q) (p q) (p q)
Otras leyes de vital importancia:
1. Identidad (Ident)
(AB)
P
P
P
P
v
v
F
V
F
V
P
V
F
P
2. Complemento (Comp)
P v P V
P P F
V
F
F
V
3. Absorcin
P (P v Q) P
P v (P Q) P
19
20