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)
Is the Wavefunction Already an Object on Space?
Symmetry, 16 (10).
pp. 1-23.
ISSN 2073-8994
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 Sat Nov 2 16:10:50 2024 EDT.