ESCUELA DE FILOSOFA

SEMANA DE LA FILOSOFA
Caracas, 1 9 al 23 de noviembre de 2012

Lgica formal y argumentacin

informal
Alessandro Moscartolo
Departamento de lgica y filosofa de la ciencia
Expresivismo lgico, N. Nez y
A. Moscartolo

Objeto de estudio de la lgica

CONSECUENCIA DEDUCTIVA

semntica

Expresivismo lgico, N. Nez y

A. Moscartolo

sintctica

GRAMTICA LGICA
IRRELEVANCIA COGNOSCITIVA DE LAS
CATEGORAS GRAMATICALES
TRADICIONALES
Pedro es ms alto que Pablo

SUJETO

PREDICADO

Pedro es ms alto que Pablo

Expresivismo lgico, N. Nez y
A. Moscartolo
SUJETO

PREDICADO

GRAMTICA LGICA
1. Scrates es mortal

2. Todos los hombres son mortales

3. Todos los hombres tienen padres
Anlisis
lgico

1.Ms
2.(x) Hx Mx
3.(x) Hx Ey (Hy ^ Pyx)
Expresivismo lgico, N. Nez y
A. Moscartolo

GRAMTICA LGICA
CATEGORAS
GRAMATICALES

SUJETO
PREDICADO
SUSTANTIVO
ADJETIVO
VERBO

CATEGORIAS
LGICAS
ARGUMENTO
FUNCIN PROPOSICIONAL
TRMINO LGICO
Expresivismo lgico, N. Nez y
A. Moscartolo

CONSECUENCIA LGICA CLSICA

El enunciado X se sigue lgicamente de los
enunciados de la clase K si y solo si todo modelo
de la clase K es tambin un modelo del enunciado
X Tarski, A., 1936, Sobre el concepto de
consecuencia lgica.
PROPIEDADES DE LA RELACIN CLSICA DE
CONSECUENCIA
Reflexividad generalizada: A si A
Corte: si B y U {B} A, entonces A
Monotona: si A, entonces U {B} A
Expresivismo lgico, N. Nez y
A. Moscartolo

CONDICIONAL MATERIAL VS CONDICIONAL

ORDINARIO
si esto es oro, es insoluble en agua. Por lo tanto,
no es verdad que si esto es oro, es soluble en
agua es un argumento intuitivamente vlido
1. O S (O S)
si raspas este fsforo se encender. Por lo
tanto, si mojas este fsforo y lo raspas, se
encender es un argumento intuitivamente
invlido
2. F E M Expresivismo
^ R Elgico, N. Nez y
A. Moscartolo

CARCTER NO MONTONO DE LA
ARGUEMTACIN INFORMAL

MONOTONA DE LA RELACIN CLSICA DE

CONSECUENCIA
si A, entonces U {B} A y tambin que si A,
entonces U {B} A

Expresivismo lgico, N. Nez y

A. Moscartolo

CARCTER NO MONTONO DE LA
ARGUMENTACIN INFORMAL
1. (x) Px Vx
2. Pp
.
Vp

1. (x) Px Vx
2. (x) Ix Vx
3. Pp
4. Ip
.
Vp ^ Vp
Expresivismo lgico, N. Nez y
A. Moscartolo

CARCTER NO MONTONO DE LA
ARGUMENTACIN INFORMAL
(x) Px ^ Ix Vx

Si el tanque de gasolina est lleno y la batera

est cargada, el carro arrancar

Y si los inyectores estn

obstruidos?
Y si Expresivismo
el tanque
de
gasolina
est
lgico, N. Nez y
A. Moscartolo
lleno de agua?

CARCTER NO MONTONO DE LA
ARGUMENTACIN INFORMAL
si P1,Pn, entonces Q

si P1, Pn y no se da que
R1,Rm, entonces Q
LICENCIAS
INFERENCIALES
NO
Expresivismo lgico, N. Nez y
A. Moscartolo
MONTONAS

CARCTER NO MONTONO DE LA
ARGUMENTACIN INFORMAL
ALGUNOS
SISTEMAS
FORMALES
PARA
RECONSTRUIR EL RAZONAMIENTO NO MONTONO

1. Lgica por defecto (default).

2. Lgica de la circunscripcin
3. Lgica autoepistmica

Expresivismo lgico, N. Nez y

A. Moscartolo

CARCTER NO MONTONO DE LA
ARGUMENTACIN INFORMAL
RELACIN NO MONTONA DE CONSECUENCIA

si ~~ A, y ~~ B entonces U {A} ~~ B.

Expresivismo lgico, N. Nez y

A. Moscartolo

ESCUELA DE FILOSOFA
SEMANA DE LA FILOSOFA
Caracas, 1 9 al 23 de noviembre de 2012

Lgica formal y argumentacin

informal
Alessandro Moscartolo
Departamento de lgica y filosofa de la ciencia
Expresivismo lgico, N. Nez y
A. Moscartolo