1. bookVolumen 14 (2022): Edición 64 (May 2022)
Detalles de la revista
License
Formato
Revista
eISSN
2182-2875
Primera edición
16 Apr 2017
Calendario de la edición
4 veces al año
Idiomas
Inglés
Acceso abierto

Higher-Order Skolem’s Paradoxes and the Practice of Mathematics: a Note

Publicado en línea: 29 Aug 2022
Volumen & Edición: Volumen 14 (2022) - Edición 64 (May 2022)
Páginas: 41 - 49
Detalles de la revista
License
Formato
Revista
eISSN
2182-2875
Primera edición
16 Apr 2017
Calendario de la edición
4 veces al año
Idiomas
Inglés

Bays, Timothy. 2000. Reflections on Skolem’s paradox. Doctoral Dissertation. UCLA. Search in Google Scholar

Bays, Timothy. 2007. “The mathematics of Skolem’s paradox”. In Dale Jacquette (ed.), Philosophy of Logic Amsterdam: Elsevier: 615–48. Search in Google Scholar

Bays, Timothy. 2014. “Skolem’s paradox”. In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2014 Edition). https://plato.stanford.edu/archives/win2014/entries/paradox-skolem/ Search in Google Scholar

Hart, W. D. 2000. “Skolem Redux”. Notre Dame Journal of Formal Logic 41(4): 399–414.10.1305/ndjfl/1038336883 Search in Google Scholar

Hasenjaeger, Gisbert. 1967. “On Löwenheim-Skolem-type insufficiencies of second order logic”. In John N. Crossley (ed.), Sets, Models and Recursion Theory, Volume 46. Amsterdam: Elsevier: 173–82. Search in Google Scholar

Mendelson, Elliot. 2015. Introduction to Mathematical Logic, Sixth Edition. New York: Chapman & Hall.10.1201/b18519 Search in Google Scholar

Shapiro, Stewart. 1985. “Second-order languages and mathematical practice”. The journal of Symbolic Logic 50(3): 714–42.10.2307/2274326 Search in Google Scholar

Shapiro, Stewart. 1991. Foundations without Foundationalism: A Case for Second-order Logic. Oxford: Clarendon Press. Search in Google Scholar

van Dalen, Dirk. 2013. Logic and Structure, Fifth Edition. Heidelberg: Springer Verlag.10.1007/978-1-4471-4558-5 Search in Google Scholar

Artículos recomendados de Trend MD

Planifique su conferencia remota con Sciendo