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

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

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

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

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]

E

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]

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

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

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

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

H

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]

K

Kovac, Srecko (2018) On causality as the fundamental concept of Gödel's philosophy. [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]

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]

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. Informatica, 41 (4). pp. 451-461.

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

T

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

This list was generated on Sat Apr 21 05:09:40 2018 EDT.