Lgica: clase inicial

Ariel Roff, Lucas Rosenblatt,

Natalia Buacar
ariroffe@hotmail.com
l_rosenblatt@hotmail.com
nbuacar@gmail.com

QU ES LA LGICA?
- Ciencia del razonamiento
- El razonamiento como proceso vs como
producto
- Descriptividad vs normatividad: buenos y
malos razonamientos

QU ES UN
RAZONAMIENTO?
- Conjunto de oraciones declarativas (o
proposiciones) tal que se pretende que una de
ellas (conclusin) sea sostenida sobre la base
de las dems (premisas).
- Notacin:
Premisa 1
Premisa 2
()
Conclusin

EJEMPLO 1
La cerca alrededor de un cementerio espue
absurda,
y pueden salir
s
quienes estn dentro no
los
que estn fuera no quieren entrar
Reconstruccin:
Los que estn dentro de un cementerio no pueden
salir
Los
estn
afuera
un cementerio
no quieren
Las que
cercas
sirven
parade
impedir
que alguien
entraro salga de algn lugar
entre

La cerca alrededor de un cementerio es absurda

QU APRENDIMOS DE
ESTE EJ?
- Las premisas y conclusin no necesariamente aparecen
en orden (1 las premisas, despus la conclusin)
- El contexto y los indicadores pueden usarse como
elementos para su reconocimiento
- Un razonamiento puede tener premisas (o conclusin)
implcitas (nuevamente el contexto es clave).

EJEMPLO 2
Puesto que los principios ticos tienen influencias sobre
las acciones y los afectos,
se desprende de ello que
no pueden ser derivados
la razn;
la
y estodeporque
razn sola, como ya hemos probado, nunca puede
ejercer tal influencia"
(D. Hume, Tratado de la naturaleza humana)

-Los principios ticos tienen influencias sobre las

acciones y los afectos
- La razn sola nunca puede ejercer influencias
sobre las acciones y los afectos
- Los principios ticos no pueden ser derivados de
la razn sola

EJEMPLO 3
"No podemos comparar un proceso con 'el paso del
tiempo'
no existe tal cosa- sino solo con otro
pues
proceso (como el funcionamiento
un cronmetro).
Por de
consiguiente,
solo podemos describir el
transcurso del tiempo mediante algn otro proceso.
(L. Wittgenstein, Tractatus)

- No existe tal cosa como el paso del tiempo

- No podemos comparar un proceso con 'el paso
del tiempo sino solo con otro proceso
- Solo podemos describir el transcurso del tiempo
mediante algn otro proceso.

EJEMPLO 4
Puestola
felicidad consiste en la paz del espritu, puesto
y
que
la paz durable del espritu depende de la
que _
confianza que tengamos
en el
futuro, y
la
puesto
que
confianza se basa en la ciencia que debemos tener
acerca de la naturaleza de Dios y el alma,
se sigue que
la ciencia es necesaria para la verdadera felicidad
(Leibniz, Prefacio a la Ciencia General)

- La felicidad consiste en la paz del espritu

- La paz durable del espritu depende de la
confianza que tengamos en el futuro
- La confianza se basa en la ciencia ()
- La ciencia es necesaria para la verdadera
felicidad

POR QU ESTUDIAR
LGICA?
3 motivos:
1) Herramienta til para todo filsofo
2) Herramienta til para la vida en general
3) Problemas e historia especficos de la disciplina

NOCIONES TCNICAS: (1)

VALIDEZ
- Si
hoy es mircoles, entonces hay
V
prctico de Lgica
- Hoy es mircoles
- Hay prctico de lgica

- Todos los insectos son

reptiles
- Las ballenas son insectos
- Las ballenas son reptiles

V
V

F
F
F

- Argentina est en el hemisferio V

sur
V
- EEUU est en el hemisferio
V
norte
-- Aristteles
2 + 2 = 5 fue discpulo de
F
Platn
- Mario salv a la princesa
F
Peach
F
- Sherlock Holmes era dentista

NOCIONES TCNICAS: (1)

VALIDEZ
Nocin
preterica de validez: Un argumento es vlido si y

solo si en toda situacin concebible en la que las

premisas son verdaderas, la conclusin tambin lo es.

Lo que est en azul implica que no slo tenemos que

considerar si de hecho las premisas y la conclusin son
verdaderas en la situacin actual, sino que tenemos
que considerarlo para toda situacin concebibleDe todas esas situaciones concebibles, slo nos
importan aquellas en las que las premisas son
verdaderas.
Equivalentemente: Un argumento es vlido si y solo si
no hay ninguna situacin concebible en la que las
premisas sean verdaderas y la conclusin sea falsa

QU ES UN ARGUMENTO
VLIDO?
V

V
Argumento
vlido

Argumento
invlido

Argumento vlido: me garantiza que si le meto verdad

como input, me devuelve verdad como output. Y NADA

QU ES UN ARGUMENTO
VLIDO?
Argumento vlido:
Le meto: Verdad Me devuelve: Verdad
Le meto: Falsedad Me devuelve: CUALQUIER COSA (V o F)

Argumento invlido:
Le meto: Verdad Me devuelve: CUALQUIER COSA (V o F)
Le meto: Falsedad Me devuelve: CUALQUIER COSA (V o F)

PREGUNTAS
Puede un argumento valido tener premisas falsas y
conclusin
falsa?
RTA:
S! Vase
el ejemplo 2
anterior.
Puede un argumento valido tener premisas verdaderas y
conclusin falsa?
RTA: NO! Esto es lo que la validez me garantiza que
no pasa. Si le meto verdad me devuelve verdad.

Puede un argumento invlido tener premisas verdaderas

y conclusin verdadera?
RTA: S! vase el ejemplo 3 anterior.

VALIDEZ Y JUSTIFICACIN
Alcanza el hecho de que un argumento sea vlido para
que estemos justificados a creer en su conclusin?
- Todos los insectos son
reptiles
- Las ballenas son insectos
- Las ballenas son reptiles

Criterio de justificacin no es la validez, sino la solidez

(validez + verdad de las premisas).
O mejor:
Si tengo un argumento vlido y sus premisas son
verdaderas, entonces estoy justificado a creer en la
conclusin (la conversa podra no valer).

(2) CONSTANTES
LGICAS
vendr a la fiesta
vendr a la fiesta
Pedro
Juanaprobar
so Mara
Sof aprobar
lgica
Pedro
Juanlgica
vendr a ilaafiesta
nono
aprobar
vendr a la fiesta
Mara
Sof lgica
aprobar
a
lgica

A o B
No A
B

A si B
No A
B

CULES SON LAS CTES

LGICAS?
Qu
trminos pueden jugar estos roles estructurales?
-AyB
Conectivas (conectan oraciones / proposiciones)
- Si B
y, o, no, si.. entonces, si y solo si
entonces C
-C
- Todos los A son B
Cuantificadores:
- Existe uno que no
es B
todos, existe
- Existe uno que no
es A
- No es necesario
Operadores modales:
que A
es necesario, es
- Es posible que noposible
A
Etc
.

SISTEMAS LGICOS
Argumentos
vlidos

Lgica proposicional
{y, o, si, no, sii}

Lgica de predicados
{y, o, si, no, sii, todos,
existe}
Lgica modal
cuantificada
{y, o, si, no, sii, todos,
existe, es necesario,
es posible}