22
Derivabilidad formal: la noción de prueba En [16], cap. 2.3 se introducía por vez primera la noción de derivabilidad formal . Quedó claro entonces que el interés de esta noción era definir la relación de consecuencia R |  mediante procedimientos totalmente distintos a aquellos que se empleaban en el caso de la consecuencia semántica . Llegué a sugerir, incluso, la posibilidad de ver en estas nociones alternativas, derivabilidad formal y consecuencia semántica, la realización, por lo que a la Lógica respecta, de dos capacidades cognitivas que muy bien podríamos considerar como primitivas en el equipamiento cognitivo del ser humano. Mientras que la consecuencia semántica se propone establecer un criterio que deba ser idealmente satisfecho por cada argumento lógicamente correcto, la derivabilidad formal intenta construir  mediante una serie de manipulaciones efectivas la conclusión de cada argumento a partir de sus premisas. Lo que parece enfrentado es la bondad de un criterio con la existencia de una construcción. Es cierto que en el caso de E  la evaluación del criterio asociado a la consecuencia semántica da lugar a una serie de construcciones –tablas de verdad- que permiten resolver el problema de si un argumento con un número finito de premisas es o no válido. Pero se trata, incluso entonces, de un componente añadido que no figura en la propia definición de consecuencia semántica: es esta siempre se menciona un conjunto, el de las interpretaciones admisibles I v , cuyos miembros deben ser idealmente examinados uno a uno antes de determinar si A es o no consecuencia semántica de X. Como sucedía en el caso de la consecuencia semántica, lo que corresponde ahora es la descripción detallada de la definición ofrecida en [16]. Se trata de entender cómo obtenemos realmente conclusiones a partir de premisas mediante construcciones tangibles, finitas, al alcance de nuestras capacidades. Lo que

Derivabilidad lormal en lógica

Embed Size (px)

Citation preview

Page 1: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 1/22

Page 2: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 2/22

Page 3: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 3/22

Page 4: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 4/22

Page 5: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 5/22

Page 6: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 6/22

Page 7: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 7/22

Page 8: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 8/22

Page 9: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 9/22

Page 10: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 10/22

Page 11: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 11/22

Page 12: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 12/22

Page 13: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 13/22

Page 14: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 14/22

Page 15: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 15/22

Page 16: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 16/22

Page 17: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 17/22

Page 18: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 18/22

Page 19: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 19/22

Page 20: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 20/22

Page 21: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 21/22

Page 22: Derivabilidad lormal en lógica

8/15/2019 Derivabilidad lormal en lógica

http://slidepdf.com/reader/full/derivabilidad-lormal-en-logica 22/22