<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>We will formulate some analogous higher-order versions of Skolem’s paradox and assess the generalizability of two solutions for Skolem’s paradox to these paradoxes: the textbook approach and that of Bays (2000). We argue that the textbook approach to handle Skolem’s paradox cannot be generalized to solve the parallel higher-order paradoxes, unless it is augmented by the claim that there is no unique language within which the practice of mathematics can be formalized. Then, we argue that Bays’ solution to the original Skolem’s paradox, unlike the textbook 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.</p>
</abstract>

We will formulate some analogous higher-order versions of Skolem’s paradox and assess the generalizability of two solutions for Skolem’s paradox to these paradoxes: the textbook approach and that of Bays (2000). We argue that the textbook approach to handle Skolem’s paradox cannot be generalized to solve the parallel higher-order paradoxes, unless it is augmented by the claim that there is no unique language within which the practice of mathematics can be formalized. Then, we argue that Bays’ solution to the original Skolem’s paradox, unlike the textbook 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.

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

Disputatio

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Higher-Order Skolem\u2019s Paradoxes and the Practice of Mathematics: a Note"}

We will formulate some analogous higher-order versions of Skolem’s paradox and assess the generalizability of two solutions for Skolem’s paradox to these...

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

Publicado en línea: 29 ago 2022

Páginas: 41 - 49

DOI: https://doi.org/10.2478/disp-2022-0003

Palabras clave
First-order logic, Löwenheim number, mathematical practice, second-order logic, Skolem’s paradox

© 2022 Davood Hosseini et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

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

Publicado en línea: 29 ago 2022

Páginas: 41 - 49

DOI: https://doi.org/10.2478/disp-2022-0003

Palabras claveFirst-order logic, Löwenheim number, mathematical practice, second-order logic, Skolem’s paradox

© 2022 Davood Hosseini et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Palabras clave
First-order logic, Löwenheim number, mathematical practice, second-order logic, Skolem’s paradox