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 | G | H | K | L | P | R | S | T
Number of items at this level: 21.

A

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

B

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]

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

C

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

D

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]

E

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]

G

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

H

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

K

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

L

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]

P

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.

R

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

S

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]

T

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

This list was generated on Sun Nov 19 15:54:10 2017 EST.