%0 Journal Article
%T Teoremas limitativos de la l車gica cl芍sica de primer orden
%A Yolanda Torres Falc車n
%J Signos filos車ficos
%D 2002
%I Universidad Aut車noma Metropolitana-Iztapalapa
%X "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 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. "Limitativ theorems of first order classical logic" 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. Keywords compacidad --- metateor赤a --- correcci車n --- completud --- definibilidad --- sem芍ntica
%K compacidad
%K metateor赤a
%K correcci車n
%K completud
%K definibilidad
%K sem芍ntica
%U http://tesiuami.uam.mx/revistasuam/signosfilosoficos/include/getdoc.php?id=196&article=181&mode=pdf