lógica formal y argumentación informal
Post on 14-Apr-2016
95 Views
Preview:
DESCRIPTION
TRANSCRIPT
Expresivismo lógico, N. Núñez y
A. Moscarítolo
Lógica formal y argumentación
informal
ESCUELA DE FILOSOFÍASEMANA DE LA FILOSOFÍA
Caracas, 1 9 al 23 de noviembre de 2012
Alessandro Moscarítolo
Departamento de lógica y filosofía de la ciencia
Expresivismo lógico, N. Núñez y
A. Moscarítolo
Objeto de estudio de la lógica
CONSECUENCIA DEDUCTIVA
semántica sintáctica
Expresivismo lógico, N. Núñez y
A. Moscarítolo
GRAMÁTICA LÓGICA
“Pedro es más alto que Pablo””
SUJETO PREDICADO
IRRELEVANCIA COGNOSCITIVA DE LAS
CATEGORÍAS GRAMATICALES
TRADICIONALES
“Pedro es más alto que Pablo””
SUJETO PREDICADO
Expresivismo lógico, N. Núñez y
A. Moscarítolo
1. Sócrates es mortal
2. Todos los hombres son mortales
3. Todos los hombres tienen padres
Análisis
lógico
GRAMÁTICA LÓGICA
1.Ms
2.(x) Hx → Mx
3.(x) Hx → Ey (Hy ^ Pyx)
Expresivismo lógico, N. Núñez y
A. Moscarítolo
CATEGORÍAS
GRAMATICALESSUJETO
PREDICADO
SUSTANTIVO
ADJETIVO
VERBO
CATEGORIAS
LÓGICAS
ARGUMENTO
FUNCIÓN PROPOSICIONAL
TÉRMINO LÓGICO
GRAMÁTICA LÓGICA
Expresivismo lógico, N. Núñez y
A. Moscarítolo
““El enunciado X se sigue lógicamente de los
enunciados de la clase K si y solo si todo modelo
de la clase K es también un modelo del enunciado
X” Tarski, A., 1936, “Sobre el concepto de
consecuencia lógica”.
PROPIEDADES DE LA RELACIÓN CLÁSICA DE
CONSECUENCIA
CONSECUENCIA LÓGICA CLÁSICA
•Reflexividad generalizada: Γ ╞ A si A € Γ
•Corte: si Γ ╞ B y Γ U {B} ╞ A, entonces Γ ╞ A
•Monotonía: si Γ ╞ A, entonces Γ U {B} ╞ A
Expresivismo lógico, N. Núñez y
A. Moscarítolo
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 válido
1. O → S ├ ¬ (O → ¬S)
“si raspas este fósforo se encenderá. Por lo
tanto, si mojas este fósforo y lo raspas, se
encenderá” es un argumento intuitivamente
inválido
2. F → E ├ M ^ R → E
Expresivismo lógico, N. Núñez y
A. Moscarítolo
MONOTONÍA DE LA RELACIÓN CLÁSICA DE
CONSECUENCIA
si Γ ╞ A, entonces Γ U {B} ╞ A y también que si Γ├ A,
entonces Γ U {B} ├ A
CARÁCTER NO MONÓTONO DE LA
ARGUEMTACIÓN INFORMAL
Expresivismo lógico, N. Núñez y
A. Moscarítolo
CARÁCTER NO MONÓTONO DE LA
ARGUMENTACIÓN INFORMAL
1. (x) Px → Vx
2.Pp .
Vp
1. (x) Px → Vx
2. (x) Ix → ¬Vx
3.Pp
4. Ip .
Vp ^ ¬ Vp
Expresivismo lógico, N. Núñez y
A. Moscarítolo
CARÁCTER NO MONÓTONO DE LA
ARGUMENTACIÓN INFORMAL
(x) Px ^ ¬Ix → Vx
Si el tanque de gasolina está lleno y la batería
está cargada, el carro arrancará
?¿Y si los inyectores están
obstruidos?
¿Y si el tanque de gasolina está
lleno de agua?
Expresivismo lógico, N. Núñez y
A. Moscarítolo
CARÁCTER NO MONÓTONO DE LA
ARGUMENTACIÓN INFORMAL
si P1,…Pn, entonces Q
si P1, …Pn y no se da que
R1,…Rm, entonces Q
LICENCIAS
INFERENCIALES NO
MONÓTONAS
Expresivismo lógico, N. Núñez y
A. Moscarítolo
ALGUNOS SISTEMAS FORMALES PARARECONSTRUIR EL RAZONAMIENTO NO MONÓTONO
CARÁCTER NO MONÓTONO DE LA
ARGUMENTACIÓN INFORMAL
1.Lógica por defecto (default).
2.Lógica de la circunscripción
3.Lógica autoepistémica
Expresivismo lógico, N. Núñez y
A. Moscarítolo
RELACIÓN NO MONÓTONA DE CONSECUENCIA
CARÁCTER NO MONÓTONO DE LA
ARGUMENTACIÓN INFORMAL
si Γ │~~ A, y Γ │~~ B entonces Γ U {A} │~~ B.
Expresivismo lógico, N. Núñez y
A. Moscarítolo
Lógica formal y argumentación
informal
ESCUELA DE FILOSOFÍASEMANA DE LA FILOSOFÍA
Caracas, 1 9 al 23 de noviembre de 2012
Alessandro Moscarítolo
Departamento de lógica y filosofía de la ciencia
top related