文章基本信息

标题：Teoremas limitativos de la lógica clásica de primer orden
本地全文：下载
作者：Yolanda Torres Falcón
期刊名称：Signos Filosóficos
印刷版ISSN：1665-1324
出版年度：2002
期号：7
页码：245-262
语种：Spanish
出版社：Universidad Autónoma Metropolitana
摘要：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.
其他摘要：Many of the classic theorems of first order classical logic can be interpreted in two ways, opposed generally. They could be seen like wealth of structures or poverty in the languaje expressive power. The objective of this article is to study three classic theorems of the first order logic: the theorems of compacity, Löwenheim-Skolem and Morley from this last point of view. To interpret this way such theorems does more comprehensible introduction of new concepts and importance of certain metatheorical questions and, in addition, serves to appreciate in all his power one of more important aspects of first order languages. This theorems are localizated in a middle point between an splendid very rich theory and a metatheory that allows to solve, largely, their expresive limitations.
关键词：Compacidad; Metateoría; Corrección; Completud; Definibilidad; Semántica