Teoremas limitativos de la lógica clásica de primer orden
Muchos de los teoremas clásicos de la lógica clásica de primer orden pueden serinterpretados de dos maneras, generalmente opuestas: se pueden ver como riquezade estructuras o como pobreza en el poder expresivo del lenguaje. El objetivode este artículo es estudiar tres teoremas clásicos de la lógica...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2002 |
| País: | México |
| Institución: | Universidad Autónoma Metropolitana |
| Repositorio: | Redalyc-UAM |
| OAI Identifier: | oai:redalyc.org:34300713 |
| Acceso en línea: | https://www.redalyc.org/articulo.oa?id=34300713 |
| Access Level: | acceso abierto |
| Palabra clave: | Filosofía Completud Semántica Compacidad Metateoría Corrección |
| Sumario: | Muchos de los teoremas clásicos de la lógica clásica de primer orden pueden serinterpretados de dos maneras, generalmente opuestas: se pueden ver como riquezade estructuras o como pobreza en el poder expresivo del lenguaje. El objetivode este artículo es estudiar tres teoremas clásicos de la lógica de primer orden: losteoremas de compacidad, de Löwenheim-Skolem y de Morley desde este últimopunto de vista. Interpretar de esta manera tales teoremas hace más comprensiblela introducción de nuevos conceptos y la pertinencia de ciertas preguntasmetateóricas y, además, sirve para apreciar en toda su potencia uno de los aspectosmás importantes de los lenguajes de primer orden, a saber, que representan eljusto medio entre una teoría muy rica y una metateoría espléndida que permitesolucionar, en buena medida, sus limitaciones expresivas. |
|---|