Open Access

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


Cite

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. 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. Search in Google Scholar

Shapiro, Stewart. 1985. “Second-order languages and mathematical practice”. The journal of Symbolic Logic 50(3): 714–42. 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. Search in Google Scholar

eISSN:
2182-2875
Languages:
English, Portuguese
Publication timeframe:
4 times per year
Journal Subjects:
Philosophy, Selected Philosophical Movements, Analytical Philosophy