PhilSci Archive

Items where Subject is "Specific Sciences > Mathematics > Foundations"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: A | B | C | D | E | F | G | H | K | L | M | N | P | R | S | T | V | Z
Number of items at this level: 89.


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

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

Avigad, Jeremy (2021) The design of mathematical language. [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]

Bentzen, Bruno (2020) Frege's theory of types. [Preprint]

Bentzen, Bruno (2021) Naive cubical type theory. [Preprint]

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.


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


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

da Costa, Newton C. A. and Krause, Décio (2020) Suppes predicate for classes of structures and the notion of transportability. [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]


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) 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.


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]


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

Khudairi, Hasen (2017) Epistemic Modality and Hyperintensionality in Mathematics. [Preprint]

Khudairi, Hasen (2019) Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. [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 (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 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]


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

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


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


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.

Penchev, Vasil (2020) Skolem’s “paradox” as logic of ground: The mutual foundation of both proper and improper interpretations. [Preprint]

Penchev, Vasil (2020) A reductionist reading of Husserl’s phenomenology by Mach’s descriptivism and phenomenalism. [Preprint]

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

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 (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 (2022) 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]


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

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]

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


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

This list was generated on Mon Nov 28 13:18:19 2022 EST.