Number of items at this level: 116.
Preprint
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]
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]
Bonatti, Nicola
(2022)
A Reassessment of Cantorian Abstraction based on the ε-operator.
[Preprint]
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]
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
(2021)
On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.
[Preprint]
Elohim, David
(2017)
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.
[Preprint]
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]
Gisin, Nicolas
(2024)
Elegance, Facts, and Scientific Truths.
[Preprint]
Gisin, Nicolas
(2020)
Indeterminism in Physics and Intuitionistic Mathematics.
[Preprint]
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]
Kaoru, Takamatsu
(2024)
Identification of numbers with operators to construct cardinals.
[Preprint]
Kearney, Peter
(2020)
Mathematical determinacy and internal categoricity.
[Preprint]
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]
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]
Lampert, Timm
(2017)
Turing's Fallacies.
[Preprint]
Landsman, Klaas
(2023)
Is mathematics a game?
[Preprint]
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]
Nakano, Anderson
(2020)
On Ramsey's reason to amend Principia Mathematica's logicism and Wittgenstein's reaction.
[Preprint]
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]
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]
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 and Brodzinski, Renato
(2020)
Flow: the Axiom of Choice is independent from the Partition Principle.
[Preprint]
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]
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]
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]
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]
Weinstein, Galina
(2023)
The Neverending Story of the Eternal Wormhole and the Noisy Sycamore.
[Preprint]
Weinstein, Galina
(2023)
Was Einstein a Lone Genius?
[Preprint]
da Costa, Newton C. A. and Krause, Décio
(2020)
Suppes predicate for classes of structures and the notion of transportability.
[Preprint]
van der Lugt, Tein
(2020)
Indeterministic finite-precision physics
and intuitionistic mathematics.
[Preprint]
Ásgeir, Berg
(2023)
Was Wittgenstein a radical conventionalist?
[Preprint]
Conference or Workshop Item
Povich, Mark
(2024)
The Symbolic Approach to the Omega Rule.
In: UNSPECIFIED.
Published Article or Volume
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
Bordg, Anthony
(2019)
Univalent Foundations and the UniMath Library. The Architecture of Mathematics.
in Reflections on the Foundations of Mathematics, Synthese Library, 407.
Clarke-Doane, Justin
(2022)
Mathemtics and Metaphilosophy.
Cambridge Elements.
Ellerman, David
(2024)
A New Approach to Understanding Quantum Mechanics: Illustrated Using a Pedagogical Model over ℤ2.
AppliedMath (MDPI), 4 (2).
pp. 468-494.
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.
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
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.
Ketland, Jeffrey
(2022)
Boolos’s Curious Inference in Isabelle/HOL.
Archive of Formal Proofs.
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
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
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.
Stoica, Ovidiu Cristinel
(2024)
Is the Wavefunction Already an Object on Space?
Symmetry, 16 (10).
pp. 1-23.
ISSN 2073-8994
Teh, Nicholas and Kapulkin, Chris
(2018)
BJPS Book Review of "Categories for the Working Philosopher".
BJPS Book Review of "Categories for the Working Philosopher".
Zanetti, Luca
(2020)
Grounding and Auto-abstraction.
Synthese.
ISSN 0039-7857
Other
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.
This list was generated on Sat Nov 2 16:10:50 2024 EDT.