Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre
[ES]Desde el surgimiento del Begriffsschrift de Frege [1879], no ha parado la producción de sistemas lógicos; incluso, se ha intensificado por la conjunción de investigaciones en lógica y ciencias de la computación. Además, la producción de nuevos sistemas lógicos se ha ampliado al combinar nuevas l...
| Autor: | |
|---|---|
| Formato: | tesis doctoral |
| Fecha de publicación: | 2015 |
| País: | España |
| Recursos: | Universidad de Salamanca (USAL) |
| Repositorio: | GREDOS. Repositorio Institucional de la Universidad de Salamanca |
| OAI Identifier: | oai:gredos.usal.es:10366/128155 |
| Acesso em linha: | http://hdl.handle.net/10366/128155 |
| Access Level: | acceso abierto |
| Palavra-chave: | Tesis y disertaciones académicas Universidad de Salamanca (España) Academic Dissertations Filosofía de la lógica Lógica Lógica formal 7205.02 Filosofía de la Lógica 11 Lógica 1102.03 Lógica Formal |
| Resumo: | [ES]Desde el surgimiento del Begriffsschrift de Frege [1879], no ha parado la producción de sistemas lógicos; incluso, se ha intensificado por la conjunción de investigaciones en lógica y ciencias de la computación. Además, la producción de nuevos sistemas lógicos se ha ampliado al combinar nuevas lógicas con otras ya existentes. El problema central que plantea la investigación es determinar ¿cuáles son las razones que explican la diversidad de sistemas lógicos y que expliquen si podría haber o no redundancia en algunos de ellos? En la investigación se sostiene que no hay redundancia dentro de la gran diversidad de sistemas lógicos y que para comprender mejor la aportación de cada sistema lógico hace falta apreciar que además de que tales sistemas poseen capacidades de expresividad y deducibilidad, también poseen una capacidad de análisis. Las capacidades de expresividad y deducibilidad han sido contempladas previamente en la literatura lógica, de modo tal que la investigación se dirigió particularmente a justificar la noción de capacidad de análisis de los sistemas lógicos al desarrollar un estudio de caso de dos sistemas de lógica libre, con el apoyo de la aplicación de una metodología de traducción entre lógicas. De esta forma, la tesis constituye un primer esfuerzo por revelar las conexiones entre la naturaleza formal de la lógica, su dirección hacia el estudio de inferencias de contextos diversos y la proliferación de gran variedad de sistemas lógicos. |
|---|