W.D. Hart, The Evolution of Logic

• Autores: Cristian Alejandro Gutiérrez Ramírez
• Localización: Crítica: revista hispanoamericana de filosofía, ISSN 0011-1503, Vol. 46, Nº. 137, 2014, págs. 129-137
• Idioma: español
• DOI: 10.22201/iifs.18704905e.2014.604
• Enlaces
  • Texto completo
• Referencias bibliográficas
  • Bell, J.L.. (1977). Boolean-Valued Models and Independence Proofs in Set Theory. Clarendon Press. Oxford.
  • Benacerraf, P.. (1983). Philosophy of Mathematics: Selected Readings. Cambridge University Press. Cambridge.
  • Boolos, G.,Burgess, J.,Jeffrey, R.. (2007). Computability and Logic. Cambridge University Press. Cambridge.
  • Cohen, P.. (1963). The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Science of the United States of America....
  • Enderton, H.. (2001). A Mathematical Introduction to Logic. Harcourt Academic Press. San Diego.
  • Gödel, K.. (1939). Consistency-Proof for the Generalized ContinuumHypothesis. Proceedings of the National Academy of Science of the United...
  • Gómez Torrente, M.. (2003). Notas sobre la paradoja de Orayen. Hurtado y Moretti. 83-94
  • Hart, W.D.. (2010). The Evolution of Logic. Cambridge University Press. Nueva York.
  • Hart, W.D.. (1991). Benacerraf’s Dilemma. Crítica. Revista Hispanoamericana de Filosofía. 23. 87-103
  • Hurtado, G.,Moretti, A.. (2003). La paradoja de Orayen. EUDEBA. Buenos Aires.
  • Jech, T.. (2003). Set Theory. The Third Millennium Edition, Revised and Expanded. Springer-Verlag. Berlín.
  • Kunen, K.. (1980). Set Theory: An Introduction to Independence Proofs. North-Holland. Ámsterdam.
  • McGee, V.. (1997). How We Learn Mathematical Language. Philosophical Review. 106. 35-68
  • Mendelson, E.. (2010). Introduction to Mathematical Logic. CRC Press. Boca Ratón.
  • Rayo, A.. (2005). Nota Crítica sobre La paradoja de Orayen. Crítica. Revista Hispanoamericana de Filosofía. 37. 99-115
  • Shapiro, S.. (1991). Foundations without Foundationalism: A Case for Second-Order Logic. Clarendon Press. Oxford.
  • Smullyan, R.. (1993). Recursion Theory for Metamathematics. Oxford University Press. Nueva York.
  • Smullyan, R.. (1992). Gödel’s Incompleteness Theorems. Oxford University Press. Nueva York.
  • Uzquiano, G.. (2002). Categoricity Theorems and Conceptions of Set. Journal of Philosophical Logic. 31. 181
  • Woodin, W.H.. (1999). The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. De Gruyter. Berlín.