1. bookVolume 14 (2022): Edition 64 (May 2022)
Détails du magazine
License
Format
Magazine
eISSN
2182-2875
Première parution
16 Apr 2017
Périodicité
4 fois par an
Langues
Anglais
Accès libre

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

Publié en ligne: 29 Aug 2022
Volume & Edition: Volume 14 (2022) - Edition 64 (May 2022)
Pages: 41 - 49
Détails du magazine
License
Format
Magazine
eISSN
2182-2875
Première parution
16 Apr 2017
Périodicité
4 fois par an
Langues
Anglais

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

Articles recommandés par Trend MD

Planifiez votre conférence à distance avec Sciendo