PhilSci Archive

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

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 | N | P | R | S | T
Number of items at this level: 47.


Acero, Juan José (2017) Alberto Moretti, Eleonora Orlando y Nora Stigol, comp. 2016. A medio siglo de Formas lógicas, realidad y significado de Thomas Moro Simpson. THEORIA. An International Journal for Theory, History and Foundations of Science, 32 (3). pp. 387-389. ISSN 2171-679X

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


Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]

Barrett, Thomas William (2017) What Do Symmetries Tell Us About Structure? [Preprint]

Barton, Neil (2018) 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 (2018) Set Theory and Structures. [Preprint]

Bianchi, Andrea (2017) On a logical argument against the naturalizability of reference. THEORIA. An International Journal for Theory, History and Foundations of Science, 32 (2). pp. 145-160. ISSN 2171-679X


Carnielli, Walter and Rodrigues, Abilio (2017) An epistemic approach to paraconsistency: a logic of evidence and truth. [Preprint]


Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Takeuti's Well-Ordering Proof: Finitistically Fine? [Preprint]

Dewar, Neil (2018) Algebraic structuralism. [Preprint]

Dewar, Neil (2018) On translating between logics. [Preprint]

Duzi, Marie (2017) If structured propositions are logical procedures then how are procedures individuated? [Preprint]

de Barros, Acacio and Holik, Federico and Krause, Décio (2017) Contextuality and Indistinguishability. [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]

Ellerman, David (2017) Logical Information Theory: New Logical Foundations for Information Theory. [Preprint]

Ellerman, David (2017) The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces. [Preprint]

Eva, Benjamin and Hartmann, Stephan (2018) Bayesian Argumentation and the Value of Logical Validity. [Preprint]


Friend, Michèle and Khaled, Mohamed and Lefever, Koen and Székely, Gergely (2018) Distances between formal theories. [Preprint]


García Murga, Fernando (2017) On Adversative Coordinative Conjunctions. THEORIA. An International Journal for Theory, History and Foundations of Science, 32 (3). pp. 303-327. ISSN 2171-679X

Gyenis, Zalán (2018) Finite Jeffrey logic is not finitely axiomatizable. [Preprint]

Gyenis, Zalán (2018) On the modal logic of Jeffrey conditionalization. [Preprint]

Gyenis, Zalán (2018) Standard Bayes logic is not finitely axiomatizable. [Preprint]

Gyenis, Zalán and Rédei, Miklós and Brown, William (2018) The modal logic of Bayesian belief revision. [Preprint]


Hewitt, Simon (2017) Frege's theorem in plural logic. [Preprint]

Hsiung, Ming (2018) What Paradoxes Depends on. [Preprint]

Hudetz, Laurenz (2018) Definable Categorical Equivalence. [Preprint]


Khudairi, Hasen (2017) Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism. [Preprint]

Kovac, Srecko (2018) On causality as the fundamental concept of Gödel's philosophy. [Preprint]

Krause, Décio (2018) Quantum Mechanics, Ontology, and Non-Reflexive Logics. [Preprint]


Lampert, Timm (2017) Turing's Fallacies. [Preprint]

Lefever, Koen and Székely, Gergely (2017) Comparing classical and relativistic kinematics in first-order logic. [Preprint]

Lefever, Koen and Székely, Gergely (2018) On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures. [Preprint]

Liu, Yang (2017) Frege's Begriffsschrift is First-order Complete. [Preprint]


Nefdt, Ryan M. (2018) Inferentialism and Structuralism: A Tale of Two Theories. [Preprint]


Parker, Matthew W. (2003) Undecidability in Rn: Riddled Basins, the KAM Tori, and the Stability of the Solar System. Philosophy of Science, 70 (2). pp. 359-382.


Rodin, Andrei and Krupski, Vladimir (2017) Knowing-How and the Deduction Theorem. [Preprint]


Sam, Baron (2017) Mathematical Explanation by Law. The British Journal for the Philosophy of Science.

Samaroo, Ryan (2018) The Principle of Equivalence as a Criterion of Identity. [Preprint]

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica, 41 (4). pp. 451-461.

Steeger, Jeremy (2017) Betting on Quantum Objects. [Preprint]


Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint]

This list was generated on Mon Aug 20 21:03:29 2018 EDT.