¿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...
- 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
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. |
---|