Crítica, Revista Hispanoamericana de Filosofía, Volume 24, number 72, diciembre 1992
On Non-Well Founded Sets
[Sobre conjuntos no bien fundados]
W.D. Hart
University College
London University


Abstract: En The Liar, Barwise y Etchemendy proponen una construcción de las proposiciones de acuerdo con la cual la proposición expresada por una oración de la forma sujeto-predicado es el par ordenado cuyo primer miembro es la denotaci6n del sujeto y cuyo segundo miembro es la extensión del predicado. Aplicado a oraciones autorreferenciales como "la proposición expresada por esta oración es falsa", esto conduce a un par ordenado que es a la vez el primer miembro de dicho par. Dada la explicación habitual de los pares ordenados, esto conduce a un conjunto que es miembro de sí mismo, Tales conjuntos no son aceptados por las teorías corrientes, inspiradas en el enfoque iterativo de los conjuntos, que el autor describe sintéticamente. Pero hay un enfoque alternativo que sí acepta la existencia de conjuntos como el antes mencionado. El autor sintetiza las ideas fundamentales de esta teoría alternativa, expuesta en Non-Well Founded Sets, de Aczel. Se muestra luego que la mera extensionalidad no basta para fijar la identidad de los conjuntos no-bien-fundados y que además existe una amplia variedad de alternativas para completar un criterio de identidad. Se argumenta que no hay razones firmes para preferir una de estas alternativas. Una comparaci6n con las proposiciones muestra algo similar y el autor finaliza sugiriendo que las proposiciones y los conjuntos no-bien-fundados adolecen de oscuridades paralelas. [Raúl Orayen]
Keywords:

| PDF in English (200 Kb)