¿Forma, contenido o uso? una interpretación inferencialista de la consecuencia lógica

El tema de este trabajo es la consecuencia lógica. El problema que aborda es si es posible dar cuenta adecuadamente de la consecuencia lógica empleando los métodos formales, en particular los de la semántica modelo-teórica. La tesis que defiendo es que el sistema lógico empleado por la lógica releva...

Full description

Autores:
Rincón Alfonso, Eduardo
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2016
Institución:
Pontificia Universidad Javeriana
Repositorio:
Repositorio Universidad Javeriana
Idioma:
spa
OAI Identifier:
oai:repository.javeriana.edu.co:10554/19558
Acceso en línea:
http://hdl.handle.net/10554/19558
Palabra clave:
Lógica relevante
Robert Brandom
Consecuencia lógica
Filosofía de la lógica
Relevant Logic
Robert Brandom
Logic
Logical Consequence
Philosophy of Logic
Filosofía - Tesis y disertaciones académicas
Lógica
Razonamiento
Rights
openAccess
License
Atribución-NoComercial-SinDerivadas 4.0 Internacional
Description
Summary:El tema de este trabajo es la consecuencia lógica. El problema que aborda es si es posible dar cuenta adecuadamente de la consecuencia lógica empleando los métodos formales, en particular los de la semántica modelo-teórica. La tesis que defiendo es que el sistema lógico empleado por la lógica relevante es más adecuado que los de la lógica clásica o de la lógica modal para dar cuenta de la consecuencia lógica, siempre y cuando se le interprete inferencialistamente. En la primera parte del trabajo presento los criterios de corrección que permitirán evaluar los sistemas lógicos en cuestión. En la segunda parte, evaluó tales sistemas y propongo una interpretación inferencialista del sistema de lógica relevante.