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