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: B | D | E | H | K | L | P | R | S
Number of items at this level: 15.


Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [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


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


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


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

Liu, Yang (2017) Frege's Begriffsschrift is First-order Complete. [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.

Sarma, Gopal P. and Hay, Nick J. (2017) Robust Computer Algebra, Theorem Proving, and Oracle AI. [Preprint]

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

This list was generated on Wed Sep 20 03:06:24 2017 EDT.