Number of items at this level: **116**.

## A

Arsiwalla, Xerxes
(2024)
*Qualia and the Formal Structure of Meaning.*
[Preprint]

Arsiwalla, Xerxes and Elshatlawy, Hatem and Rickles, Dean
(2023)
*Pregeometry, Formal Language and Constructivist Foundations of Physics.*
[Preprint]

Asghari, Amir
(2018)
*Equivalence: An Attempt at a History of the Idea.*
[Preprint]

Avigad, Jeremy
(2019)
*Reliability of mathematical inference.*
[Preprint]

Avigad, Jeremy
(2023)
*The design of mathematical language.*
[Preprint]

Avner, Ash and Justin, Clarke-Doane
(2023)
*Intuition and Observation.*
[Preprint]

Avon, Mauro
(2020)
*A different approach to logic: absolute logic.*
[Preprint]

## B

Bacelar Valente, Mario
(2021)
*On the relationship between geometric objects and figures in Euclidean geometry.*
[Preprint]

Barton, Neil
(2018)
*Forcing and the Universe of Sets: Must we lose insight?*
[Preprint]

Barton, Neil
(2019)
*Forcing and the Universe of Sets: Must we lose insight?*
[Preprint]

Barton, Neil
(2017)
*Independence and Ignorance: How agnotology informs set-theoretic pluralism.*
[Preprint]

Barton, Neil
(2018)
*Large Cardinals and the Iterative Conception of Set.*
[Preprint]

Barton, Neil
(2016)
*Multiversism and Concepts of Set: How much relativism is acceptable?*
[Preprint]

Barton, Neil
(2016)
*Richness and Reflection.*
[Preprint]

Barton, Neil and Friedman, Sy-David
(2017)
*Maximality and Ontology: How axiom content varies across philosophical frameworks.*
[Preprint]

Barton, Neil and Friedman, Sy-David
(2019)
*Set Theory and Structures.*
[Preprint]

Bentzen, Bruno
(2023)
*Frege's theory of types.*
Manuscrito. Rev. Int. Fil.,.
ISSN 0100-6045

Bentzen, Bruno
(2021)
*Naive cubical type theory.*
Mathematical Structures in Computer Science, 31.
pp. 1205-1231.

Bentzen, Bruno
(2020)
*On different ways of being equal.*
Erkenntnis, 87 (4).
pp. 1809-1830.
ISSN 0165-0106

Bentzen, Bruno
(2023)
*Propositions as intentions.*
Husserl Studies.
pp. 1-18.

Bentzen, Bruno
(2020)
*Sense, reference, and computation.*
Perspectiva Filosofica, 47 (2).
pp. 179-203.
ISSN 2357-9986

Bentzen, Bruno
(2020)
*What types should not be.*
Philosophia Mathematica, 28 (1).
pp. 60-76.
ISSN 0031-8019

Bonatti, Nicola
(2022)
*A Reassessment of Cantorian Abstraction based on the ε-operator.*
[Preprint]

Bordg, Anthony
(2019)
*Univalent Foundations and the UniMath Library. The Architecture of Mathematics.*
in Reflections on the Foundations of Mathematics, Synthese Library, 407.

## C

Clarke-Doane, Justin
(2022)
*Mathemtics and Metaphilosophy.*
Cambridge Elements.

## D

Dentamaro, Dario and Loregian, Fosco
(2020)
*Categorical Ontology I - Existence.*
[Preprint]

DiBella, Nicholas
(2024)
*Cantor, Choice, and Paradox.*
[Preprint]

Dopico, Pablo
(2023)
*A defence of Isaacson's thesis, or how to make sense of the boundaries of finite mathematics.*
[Preprint]

da Costa, Newton C. A. and Krause, Décio
(2020)
*Suppes predicate for classes of structures and the notion of transportability.*
[Preprint]

## E

Eastaugh, Benedict
(2018)
*Computational reverse mathematics and foundational analysis.*
[Preprint]

Eastaugh, Benedict
(2018)
*Set existence principles and closure conditions: unravelling the standard view of reverse mathematics.*
[Preprint]

Ehrlich, Philip
(2021)
*Are Points (Necessarily) Unextended?*
[Preprint]

Ellerman, David
(2024)
*A New Approach to Understanding Quantum Mechanics: Illustrated Using a Pedagogical Model over ℤ2.*
AppliedMath (MDPI), 4 (2).
pp. 468-494.

Ellerman, David
(2021)
*On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.*
[Preprint]

Elohim, David
(2017)
*Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.*
[Preprint]

Elohim, David
(2019)
*Hyperintensional Ω-Logic.*
Matteo Vincenzo D'Alfonso and Don Berkich (eds.), \textit{On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence}.
pp. 65-82.

## F

Fay, Jonathan
(2023)
*On the Relativity of Magnitudes: Delboeuf's forgotten contribution to the 19th Century problem of space.*
[Preprint]

Fay, Jonathan
(2023)
*On the Relativity of Magnitudes: Delboeuf's forgotten contribution to the 19th Century problem of space.*
[Preprint]

Ferreirós, José
(2017)
*Dedekind’s Map-theoretic Period.*
Philosophia Mathematica, 25 (3).
pp. 318-340.
ISSN 0031-8019

Ferreirós, José
(2005)
*La introducción de los números transfinitos.*
Fundamentos para una teoría general de conjuntos.

Ferreirós, José
(2004)
*The Motives behind Cantor’s Set Theory – Physical,
Biological, and Philosophical Questions.*
Science in Context, 17 (1).
pp. 49-83.

Ferreirós, José
(2004)
*On Quine, van Heijenoort, and modern logic: review of "From Frege to Gödel".*
Historia Mathematica, 31.
pp. 119-124.
ISSN 03150860

Ferreirós, José
(2000)
*Riemanniana Selecta: introducción.*

Ferreirós, José
(1995)
*"What Fermented in Me for Years": Cantor's discovery of transfinite numbers.*
Historia Mathematica, 22.
pp. 33-42.
ISSN 03150860

## G

Gisin, Nicolas
(2024)
*Elegance, Facts, and Scientific Truths.*
[Preprint]

Gisin, Nicolas
(2020)
*Indeterminism in Physics and Intuitionistic Mathematics.*
[Preprint]

Gisin, Nicolas
(2020)
*Mathematical languages shape our understanding of time in physics.*
Nature Physics, 16.
pp. 114-119.

Gisin, Nicolas
(1991)
*PROPENSITIES IN A NON-DETERMINISTIC PHYSICS*.*
Synthese, 89.
pp. 287-297.
ISSN 1573-0964

Gisin, Nicolas
(2020)
*Real Numbers are the Hidden Variables of Classical Mechanics.*
Quantum Studies: Mathematics and Foundations, 7.
pp. 197-201.

## H

Halák, Jan
(2021)
*Mathematics Embodied: Merleau-Ponty on Geometry and Algebra as Fields of Motor Enaction.*
[Preprint]

Heartspring, William
(2019)
*Modal logic NL for common language.*
[Preprint]

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on Strong Types.*
[Preprint]

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors.*
[Preprint]

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors.*
[Preprint]

Hewitt, Carl
(2019)
*For Cybersecurity, Computer Science Must Rely on the Opposite of Gödel’s Results.*
[Preprint]

Hewitt, Carl
(2017)
*Strong Types for Direct Logic.*
[Preprint]

Hosack, John M.
(2019)
*Deductive Pluralism.*
[Preprint]

## K

Kaoru, Takamatsu
(2024)
*Identification of numbers with operators to construct cardinals.*
[Preprint]

Kearney, Peter
(2020)
*Mathematical determinacy and internal categoricity.*
[Preprint]

Ketland, Jeffrey
(2022)
*Boolos’s Curious Inference in Isabelle/HOL.*
Archive of Formal Proofs.

Kish Bar-On, Kati
(2022)
*Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.*
[Preprint]

Kish Bar-On, Kati
(2022)
*From Philosophical Traditions to Scientific Developments: Reconsidering the Response to Brouwer’s Intuitionism.*
[Preprint]

Kish Bar-On, Kati
(2024)
*Mathematics and Society Reunited: The Social Aspects of Brouwer’s Intuitionism.*
[Preprint]

Kish Bar-On, Kati
(2021)
*Towards a new philosophical perspective on Hermann Weyl’s turn to intuitionism.*
Science in Context, 34 (1).
pp. 51-68.
ISSN 1474-0664

Kovac, Srecko
(2018)
*On causality as the fundamental concept of Gödel's philosophy.*
[Preprint]

Kozdęba, Agnieszka and Tyszka, Apoloniusz
(2022)
*Statements and open problems on decidable sets X⊆N that contain informal notions and refer to the current knowledge on X.*
[Preprint]

Krause, Décio
(2022)
*On the discrepancies between quantum logic and classical logic.*
[Preprint]

Krause, Décio
(2022)
*Prolongments of "Ensaio": Schrödinger Logics and Quasi-Set Theory.*
[Preprint]

Krause, Décio
(2022)
*Quantifying over indiscernibles.*
[Preprint]

Krause, Décio
(2024)
*A new theory of quasi-sets without atoms: a reply to Adonai Sant'Anna.*
[Preprint]

Krause, Décio
(2023)
*The underlying logic is mandatory also in discussing the philosophy of quantum physics.*
[Preprint]

Krause, Décio and Arenhart, Jonas R. B.
(2020)
*Identical particles in quantum mechanics: favouring the Received View.*
[Preprint]

Kuby, Daniel
(2021)
*Reinterpreting the universe-multiverse debate in light of inter-model inconsistency in set theory.*
[Preprint]

Kurpaska, Sławomir and Tyszka, Apoloniusz
(2019)
*Semi-formally stated open problems on computable sets X={n \in N: \phi(n)}, where \phi(n) has the same intuitive meaning for every n \in N and the finiteness (infiniteness) of X remains conjectured.*
[Preprint]

Kurpaska, Sławomir and Tyszka, Apoloniusz
(2020)
*The physical impossibility of machine computations on sufficiently large integers inspires an open problem that concerns abstract computable sets X⊆N and cannot be formalized in the set theory ZFC as it refers to our current knowledge on X.*
[Preprint]

Kurpaska, Sławomir and Tyszka, Apoloniusz
(2020)
*The physical limits of computation inspire an open problem that concerns abstract computable sets X⊆N and cannot be formalized in the set theory ZFC as it refers to our current knowledge on X.*
[Preprint]

## L

Lampert, Timm
(2017)
*Turing's Fallacies.*
[Preprint]

Landsman, Klaas
(2023)
*Is mathematics a game?*
[Preprint]

## M

Maddy, Penelope
(2017)
*Set-theoretic Foundations.*
[Preprint]

Martin, James V.
(2022)
*On Certainty, Change, and "Mathematical Hinges".*
[Preprint]

Mazurek, Leszek
(2020)
*Division by zero.*
[Preprint]

Muñoz Pérez, M.
(2024)
*Believing in the objects: the shift to faith.*
[Preprint]

Muñoz Pérez, M.
(2023)
*The Continuum Hypothesis: schisms and other isms.*
[Preprint]

Muñoz Pérez, M.
(2024)
*Phenomenology and independence.*
[Preprint]

Muñoz Pérez, M.
(2022)
*Wittgenstein on decisions and the mathematical practice.*
[Preprint]

## N

Nakano, Anderson
(2020)
*On Ramsey's reason to amend Principia Mathematica's logicism and Wittgenstein's reaction.*
[Preprint]

## P

Parker, Matthew W.
(2017)
*Gödel's Argument for Cantorian Cardinality.*
Noûs.

Parker, Matthew W.
(2013)
*Set Size and the Part–Whole Principle.*
Review of Symbolic Logic, 6 (4).
pp. 589-612.

Patton, Lydia
(2018)
*Laws of Thought and Laws of Logic After Kant.*
Logic from Kant to Russell.

Poggiolesi, Francesca and Francez, Nissim
(2021)
*Towards a generalization of the logic of grounding.*
THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (1).
pp. 5-24.
ISSN 2171-679X

Povich, Mark
(2024)
*The Symbolic Approach to the Omega Rule.*
In: UNSPECIFIED.

Prokopov, Aleksey
(2021)
*Relational physics and the concept of continuity.*
[Preprint]

Proszewska, Agnieszka M.
(2022)
*Goals shape means. A pluralist response to the problem of formal representation in ontic structural realism.*
[Preprint]

## R

Redhead, Michael
(2019)
*A Simplified Version of Gödel’s Theorem.*
[Preprint]

Rodin, Andrei
(2018)
*Models of HoTT and the Constructive View of Theories.*
[Preprint]

## S

Samaroo, Ryan
(2018)
*The Principle of Equivalence as a Criterion of Identity.*
[Preprint]

Sant'Anna, Adonai and Bueno, Otávio and de França, Márcio
(2019)
*Follow the Flow: sets, relations, and categories as special cases of functions with no domain.*
UNSPECIFIED.

Sant'Anna, Adonai and Bueno, Otávio and de França, Márcio and Brodzinski, Renato
(2020)
*Flow: the Axiom of Choice is independent from the Partition Principle.*
[Preprint]

Sarma, Gopal P.
(2015)
*The Art of Memory and the Growth of the Scientific Method.*
Interdisciplinary Description of Complex Systems, 13 (3).
pp. 373-396.

Soysal, Zeynep
(2017)
*Why Is the Universe of Sets Not a Set?*
[Preprint]

Srinivasan, Radhakrishnan
(2024)
*Do arbitrary constants exist? A logical objection.*
[Preprint]

Srinivasan, Radhakrishnan
(2023)
*Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL.*
[Preprint]

Stoica, Ovidiu Cristinel
(2024)
*Why the wavefunction already is an object on space.*
[Preprint]

Szabó, Máté
(2017)
*Kalmár's Argument Against the Plausibility of Church's Thesis.*
[Preprint]

Szabó, Máté
(2021)
*Péter on Church's Thesis, Constructivity and Computers.*
[Preprint]

## T

Teh, Nicholas and Kapulkin, Chris
(2018)
*BJPS Book Review of "Categories for the Working Philosopher".*
BJPS Book Review of "Categories for the Working Philosopher".

Toader, Iulian Danut
(2024)
*Weyl's Quantifiers.*
[Preprint]

Trlifajová, Kateřina
(2021)
*Infinity and Continuum in the Alternative Set Theory.*
[Preprint]

Tsementzis, Dimitris and Halvorson, Hans
(2016)
*Foundations and Philosophy.*
[Preprint]

## V

Veilahti, Antti
(2017)
*Higher Theory and the Three Problems of Physics.*
[Preprint]

Vorobyev, Oleg Yu
(2016)
*Postulating the theory of experience and chance
as a theory of co~events (co~beings).*
[Preprint]

van der Lugt, Tein
(2020)
*Indeterministic finite-precision physics
and intuitionistic mathematics.*
[Preprint]

## W

Weinstein, Galina
(2023)
*The Neverending Story of the Eternal Wormhole and the Noisy Sycamore.*
[Preprint]

Weinstein, Galina
(2023)
*Was Einstein a Lone Genius?*
[Preprint]

## Z

Zanetti, Luca
(2020)
*Grounding and Auto-abstraction.*
Synthese.
ISSN 0039-7857

## Á

Ásgeir, Berg
(2023)
*Was Wittgenstein a radical conventionalist?*
[Preprint]

This list was generated on **Sun Oct 13 09:44:36 2024 EDT**.