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 | W | Z | Á
Number of items at this level: 106.

A

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. [Preprint]

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]

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 (2021) On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics. [Preprint]

F

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 (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

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

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

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

Khudairi (Bowen), Hasen (Tim) (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.

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 (2024) On Ot\'avio Bueno on identity and quantification. [Preprint]

Krause, Décio (2024) On Otavio Bueno on identity and quantification (v.2). [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. (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

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 (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".

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 Tue Mar 5 02:49:56 2024 EST.