Paradojas semánticas y lógicas

• PRADILLA RUEDA, MAGDALENA ^[1]
  1. [1] Universidad de Grenoble (Francia)
• Localización: Revista Ingeniería, Matemáticas y Ciencias de la Información, ISSN-e 2357-3716, Vol. 2, Nº. 3, 2015 (Ejemplar dedicado a: Revista Ingeniería, Matemáticas y Ciencias de la Información), págs. 87-99
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    La teoría de conjuntos, planteada por Cantor, hacia 1890, se considera el soporte de la construcción matemática, de manera que la Aritmética pasa a ser un caso particular de la teoría de conjuntos, el de los conjuntos enumerables. Sin embargo, en su aplicación emergen paradojasa o contradicciones que se manifiestan en las superestructuras de la teoría lógica y matemática. Los lógicos matemáticos de ese momento reflexionan sobre esta noción, analizando y aportando soluciones al respecto, que marcan lineamientos para la consolidación de la semántica lógica y de la lógica, en general.

  • English

    Set theory, put forward by Cantor is considered mathematical, by 1890 construction support, so that the arithmeticbecomes a special case of set theory, the enumerable sets. However, pursuant to its emerging paradoxes or contradictionsthat manifested in the superstructures of the logical and mathematical theory. The mathematical logic of this time reflectson this notion, analyzing and providing solutions that set guidelines for the consolidation of the logical semantics and thegeneral logic

• Referencias bibliográficas
  • P. De Rouilhan, Frege les paradoxes de la représentation: Paris, PUF, 1996.
  • G. Cantor, «Beiträge zur Begründung der transfiniten Mengenlehre,» Mathematische Annalen, vol. 46, pp. 481-512, 49(1897)b reimpreso en 1932....
  • S. C. Kleene and J. Largeault, Logique mathématique: Traduction de Jean Largeault. Paris: Librairie Armand Colin, 1971.
  • D. Hilbert, «Sur l’infini. Traduit par André Weil ; «Über das unendliche : conférence prononcée le 4 Juin 1925 à l’occasion d’un congrès des...
  • B. W. Russell, Alfred North, Principia Mathematica vol. 3: Cambridge, University Press, 1910-1913. 2a. ed. 1925-1927.
  • F. Rivenc and P. D. Rouilhan, Logique et Fondements de Mathématiques (Anthologie (1850-1914). Institut d’Histoire et Philosophie des Sciences...
  • P. De Rouilhan, Russell et le cercle des paradoxes. Paris: Les Editions de Minuit, 1988.
  • G. Hottois, «Penser la Logique: une introduction technique et théorique à la philosophie de la logique et langage ». 2ème ed. Bruxelles, De...
  • M.-D. Popelard and D. Vernant, Eléments de logique: Seuil, 1998.
  • G. Frege and C. Imbert, Écrits logiques et philosophiques: Ed. du Seuil, 1971.
  • G. Frege, «Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Halle , Nebert 1879) traduction française...
  • L. Wittgenstein, Tractatus logico-philosophicus trad. de G.G. Granger, Gallimard, 1993. «Tractatus Logico-Philosophicus, suivi de Investigations...
  • A. Tarski, Introduction à la logique trad. française de J. Tramblay, Paris, Gauthier-Villiers, (1ère. éd. en polonais 1936). vol. 16: Gauthier-Villars,...
  • A. Tarski, Le concept de vérité dans les langages formalisés 1931 ; traduction française G.G. Granger; Logique, sémantique, métamathématique....
  • K. Gödel, «Sur les propositions formellement indécidables des Principia mathematica et des systèmes apparentés I,» Le théorème de Gödel, pp....
  • V. McGee, «Semantic Paradoxes and Theories of Truth,» in Journal of Philosophy vol. 8, R. E. o. Philosophy, Ed., ed: Ed. Edward Craig, 1998,...
  • S. A. Kripke, «Outline of a theory of truth,» The journal of philosophy, vol. 72, pp. 690-716, 1975.