Teoremas limitativos de la lógica clásica de primer orden

Autor:	Yolanda Torres Falcón
Jazyk:	Spanish; Castilian
Rok vydání:	2002
Předmět:	Corrección Completud Filosofía Metateoría Semántica Compacidad Definibilidad
Zdroj:	Universidad Autónoma Metropolitana UAM Redalyc-UAM Signos Filosóficos (México) Num.7
Popis:	Muchos de los teoremas clásicos de la lógica clásica de primer orden pueden ser interpretados de dos maneras, generalmente opuestas: se pueden ver como riqueza de estructuras o como pobreza en el poder expresivo del lenguaje. El objetivo de este artículo es estudiar tres teoremas clásicos de la lógica de primer orden: los teoremas de compacidad, de Löwenheim-Skolem y de Morley desde este último punto de vista. Interpretar de esta manera tales teoremas hace más comprensible la introducción de nuevos conceptos y la pertinencia de ciertas preguntas metateóricas y, además, sirve para apreciar en toda su potencia uno de los aspectos más importantes de los lenguajes de primer orden, a saber, que representan el justo medio entre una teoría muy rica y una metateoría espléndida que permite solucionar, en buena medida, sus limitaciones expresivas.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d52541dbf2fc8d00c66cb6a68fd4f720 http://www.redalyc.org/articulo.oa?id=34300713 Zobrazit plný text záznamu