LA LÓGICA IF Y LOS FUNDAMENTOS DE LAS MATEMÁTICAS
El objetivo del presente artículo es someter a escrutinio la afirmación de Hintikka según la cual la verdadera lógica elemental no es la clásica sino la lógica IF y, en consecuencia, el marco en que ordinariamente son pensadas las relaciones entre lógica y matemáticas es por completo inadecuado. Par...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2008 |
| País: | México |
| Institución: | Universidad Autónoma Metropolitana |
| Repositorio: | Redalyc-UAM |
| OAI Identifier: | oai:redalyc.org:34311555006 |
| Acceso en línea: | https://www.redalyc.org/articulo.oa?id=34311555006 |
| Access Level: | acceso abierto |
| Palabra clave: | Filosofía Lógica IF Fundamentos Matemáticas Lógica Clasica |
| Sumario: | El objetivo del presente artículo es someter a escrutinio la afirmación de Hintikka según la cual la verdadera lógica elemental no es la clásica sino la lógica IF y, en consecuencia, el marco en que ordinariamente son pensadas las relaciones entre lógica y matemáticas es por completo inadecuado. Para ello, primero se exponen las funciones o características que una lógica debe poseer y, en segundo lugar, se presentan las ideas constitutivas de la lógica IF. Más adelante se demuestran algunas de las propiedades matemáticas de la lógica IF y se analizan las complejidades a que da lugar la negación en este sistema. Por último, se ofrecen algunas razones para matizar o poner en duda las conclusiones que Hintikka extrae de su propuesta para la filosofía de las matemáticas. |
|---|