Higher-Order Skolem’s Paradoxes

&

Abstract

Some analogous higher-order versions of Skolem’s paradox will be introduced. The generalizability of two solutions for Skolem’s paradox will be assessed: the course-book approach and Bays’ one. Bays’ solution to Skolem’s paradox, unlike the course-book solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The Mathematics of Skolem's Paradox.Timothy Bays - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 615--648.
Skolem's Paradox.Timothy Bays - 2012 - In Peter Adamson (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles
Higher-order free logic and the Prior-Kaplan paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
Skolem, the Skolem 'Paradox' and Informal Mathematics.Luca Bellotti - 2006 - Theoria 72 (3):177-212.
Higher-Order Vagueness and Borderline Nestings: A Persistent Confusion.Susanne Bobzien - 2013 - Analytic Philosophy 54 (1):1-43.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
Inclosures, Vagueness, and Self-Reference.Graham Priest - 2010 - Notre Dame Journal of Formal Logic 51 (1):69-84.
I—Columnar Higher-Order Vagueness, or Vagueness is Higher-Order Vagueness.Susanne Bobzien - 2015 - Aristotelian Society Supplementary Volume 89 (1):61-87.
Hilary Putnam.Hilary Putnam - unknown
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.
Paradox And Learning: Implications From Paradoxical Psychotherapy And Zen Buddhism For Mathematical Inquiry With Paradoxes.Nadia Kennedy - 2006 - Childhood and Philosophy 2 (4):369-391.
Higher-Order Sorites Paradox.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (1):25-48.
Skolem Functions in Non-Classical Logics.Tore Fjetland Øgaard - 2017 - Australasian Journal of Logic 14 (1):181-225.
Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem.Jan Woleński - 1998 - Erkenntnis 49 (3):393-396.

Analytics

Added to PP
2019-07-20

Downloads
237 (#85,147)

6 months
66 (#72,302)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Davood Hosseini
Tarbiat Modares University
Mansooreh (Sophia) Kimiagari
University of Calgary

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references