1. bookVolume 14 (2022): Edizione 64 (May 2022)
Dettagli della rivista
License
Formato
Rivista
eISSN
2182-2875
Prima pubblicazione
16 Apr 2017
Frequenza di pubblicazione
4 volte all'anno
Lingue
Inglese
Accesso libero

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

Pubblicato online: 29 Aug 2022
Volume & Edizione: Volume 14 (2022) - Edizione 64 (May 2022)
Pagine: 41 - 49
Dettagli della rivista
License
Formato
Rivista
eISSN
2182-2875
Prima pubblicazione
16 Apr 2017
Frequenza di pubblicazione
4 volte all'anno
Lingue
Inglese

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

Articoli consigliati da Trend MD

Pianifica la tua conferenza remota con Sciendo