1. bookVolumen 14 (2022): Heft 64 (May 2022)
Zeitschriftendaten
License
Format
Zeitschrift
eISSN
2182-2875
Erstveröffentlichung
16 Apr 2017
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch
Uneingeschränkter Zugang

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

Online veröffentlicht: 29 Aug 2022
Volumen & Heft: Volumen 14 (2022) - Heft 64 (May 2022)
Seitenbereich: 41 - 49
Zeitschriftendaten
License
Format
Zeitschrift
eISSN
2182-2875
Erstveröffentlichung
16 Apr 2017
Erscheinungsweise
4 Hefte pro Jahr
Sprachen
Englisch

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

Empfohlene Artikel von Trend MD

Planen Sie Ihre Fernkonferenz mit Scienceendo