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
Number of items at this level: 164.

Preprint

Andreas, Holger (2020) Notes on Implicit Definitions and Truth-Value Semantics: Commentary on Hans Halvorson’s "The Logic in Philosophy of Science" (APA 2020 Symposium). [Preprint]

Arenhart, Jonas R. B. and Krause, Décio (2019) Quasi-truth and defective knowledge in science: a critical examination. [Preprint]

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

Avigad, Jeremy (2021) The design of mathematical language. [Preprint]

Avon, Mauro (2020) A different approach to logic: absolute logic. [Preprint]

Bacelar Valente, Mario (2020) On the formal justification of informal proofs. [Preprint]

Bacelar Valente, Mario (2020) The correctness of reasoning, logical models, and the faithfulness problem. [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 (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 (2020) Frege's theory of types. [Preprint]

Bentzen, Bruno (2021) Naive cubical type theory. [Preprint]

Bertran-San-Millán, Joan (2022) Peano's Structuralism and the Birth of Formal Languages. [Preprint]

Bonatti, Nicola (2022) A Reassessment of Cantorian Abstraction based on the ε-operator. [Preprint]

Bonzio, Stefano and Fano, Vincenzo and Graziani, Pierluigi (2022) A LOGICAL MODELING OF SEVERE IGNORANCE. [Preprint]

Bright, Liam Kofi (2021) Logical Nihilism Suggests Evidential Nihilism. [Preprint]

Butterfield, Jeremy and Gomes, Henrique (2020) Functionalism as a Species of Reduction. [Preprint]

Carlson, Matthew (2022) Anti-Exceptionalism and the Justification of Basic Logical Principles. [Preprint]

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

Chen, Eddy Keming (2021) Fundamental Nomic Vagueness. [Preprint]

Chen, Lu and Chen, Lu (2022) Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories. [Preprint]

Cobreros, P and La Rosa, E and Tranchini, L (2020) (I Can’t Get No) Antisatisfaction. [Preprint]

Corfield, David (2018) Modal homotopy type theory. [Preprint]

Costa-Leite, Alexandre (2020) Oppositions in a point. [Preprint]

Darnell, Eamon and Thomas-Bolduc, Aaron (2018) Is Hume's Principle Analytic? [Preprint]

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

Dentamaro, Dario and Loregian, Fosco (2020) Categorical Ontology I - Existence. [Preprint]

Dentamaro, Dario and Loregian, Fosco (2020) Functorial Erkennen. [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]

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]

Egorychev, Ilya (2021) Space of thought: categorial structure and gluing axiom. [Preprint]

Ehrlich, Philip (2021) Are Points (Necessarily) Unextended? [Preprint]

Ellerman, David (2019) A Graph-theoretic Method to Define any Boolean Operation on Partitions. [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]

Eva, Benjamin and Ozawa, Masanao and Doering, Andreas (2018) A Bridge Between Q-Worlds. [Preprint]

Ferrari, Francesco Maria (2021) An argument against Nominalism. [Preprint]

Fletcher, Samuel C. and Knobe, Joshua and Wheeler, Gregory and Woodcock, Brian A. (2021) Changing Use of Formal Methods in Philosophy: Late 2000s vs. Late 2010s. [Preprint]

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

Gauch,Jr., Hugh G. (2019) The Resources, Powers, and Limits of Science. [Preprint]

Gil Sanchez, Michał and Gyenis, Zalán and Wronski, Leszek (2022) Probability and symmetric logic. [Preprint]

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]

Heartspring, William (2019) Modal logic NL for common language. [Preprint]

Heartspring, William (2019) A tautological interpretation of Godel's ontological proof. [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, Simon (2017) Frege's theorem in plural logic. [Preprint]

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

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

Hudetz, Laurenz and Crawford, Neil (2022) Variation semantics: when counterfactuals in explanations of algorithmic decisions are true. [Preprint]

Icefield, William (2020) On inference from non-instantiated properties. [Preprint]

Ketland, Jeffrey (2020) Foundations of Applied Mathematics I. [Preprint]

Khudairi, Hasen (2017) Epistemic Modality, Mind, and Mathematics. [Preprint]

Khudairi, Hasen (2019) 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]

Kozdęba, Agnieszka and Tyszka, Apoloniusz (2022) Statements and open problems on decidable sets X⊆N that refer to the current knowledge on X and contain constructive and informal notions. [Preprint]

Krause, Décio (2021) Non-Reflexive Logics: Logics that Derogate the Standard Theory of Identity. [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 (2018) Quantum Mechanics, Ontology, and Non-Reflexive Logics. [Preprint]

Krause, Décio and Arenhart, Jonas R. B. (2020) Identical particles in quantum mechanics: favouring the Received View. [Preprint]

Krause, Décio and Arenhart, Jonas R. B. and Bueno, Otávio (2020) The Non-Individuals Interpretation of Quantum Mechanics. [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]

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

Landsman, Klaas (2020) Indeterminism and Undecidability. [Preprint]

Lapin, Yair (2021) Arithmetic logical Irreversibility and the Turing's Halt Problem. [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]

Maffezioli, Paolo and Varzi, Achille C (2018) Intuitionistic Mereology. [Preprint]

Martínez-Ordaz, María del Rosario (2022) A methodological shift in favor of (some) paraconsistency in the sciences. [Preprint]

Mazurek, Leszek (2020) Division by zero. [Preprint]

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

Oldofredi, Andrea (2020) Classical Logic in Quantum Context. [Preprint]

Oldofredi, Andrea and Carcassi, Gabriele and Aidala, Christine A (2022) On the Common Logical Structure of Classical and Quantum Mechanics. [Preprint]

Oliver, Alex and Smiley, Timothy (2022) Snyder and Shapiro's critique of pseudo-singularity. [Preprint]

Penchev, Vasil (2020) All science as rigorous science: the principle of constructive mathematizability of any theory. [Preprint]

Perevalov, Eugene (2021) What is information after all? How the founder of modern dialectical logic could help the founder of cybernetics answer this question. [Preprint]

Persichetti, Alessio (2019) The later Wittgenstein’s guide to contradictions. [Preprint]

Raidl, Eric (2019) Quick Completeness for the Evidential Conditional. [Preprint]

Redhead, Michael (2019) A Simplified Version of Gödel’s Theorem. [Preprint]

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

Rodrigues, Abilio and Bueno-Soler, Juliana and Carnielli, Walter (2020) Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn Logic. [Preprint]

Rott, Hans (2020) Notes on contraposing conditionals. [Preprint]

Saba, Walid (2019) On the Winograd Schema: Situating Language Understanding in the Data-Information-Knowledge Continuum. [Preprint]

Salmón, Nathan (2018) A Paradox about Sets of Properties. [Preprint]

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

Sant'Anna, Adonai (2018) Epistemology of quasi-sets. [Preprint]

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]

Saudek, Daniel (2021) Implication as inclusion and the causal asymmetry. [Preprint]

Shafiei, Mohammad and Mesgari, Ahmad (2020) On Kant and Husserl on Transcendental Logic. [Preprint]

Srinivasan, Radhakrishnan (2022) Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL. [Preprint]

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

Szabo, Laszlo E. (2021) Physicalism without the idols of mathematics. [Preprint]

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]

Tanswell, Fenner Stanley (2016) Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics. [Preprint]

Tozzi, Arturo and Peters, James (2020) INFORMATION-DEVOID ROUTES FOR SCALE-FREE NEURODYNAMICS. [Preprint]

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

Van Fraassen, Bas C. (2020) Supervenience, Logic, and Empirical Content: Commentary on Hans Halvorson, The Logic in Philosophy of Science. [Preprint]

Venturi, Giorgio (2019) Genericity and Arbitrariness. [Preprint]

Weber, Keith (2019) The role of syntactic representations in set theory. [Preprint]

Winstanley, M. A. (2021) A Psychological Theory of Reasoning as Logical Evidence—a Piagetian Perspective. [Preprint]

Yuan, Yongfeng (2019) Are synthetic a priori propositions informative? [Preprint]

da Costa, Newton C. A. and Krause, Décio (2020) Suppes predicate for classes of structures and the notion of transportability. [Preprint]

de Barros, Acacio and Holik, Federico and Krause, Décio (2017) Contextuality and Indistinguishability. [Preprint]

Conference or Workshop Item

Dewar, Neil (2018) Supervenience, Reduction, and Translation. In: UNSPECIFIED.

Zhao, Kino (2018) A statistical learning approach to a problem of induction. In: UNSPECIFIED.

Zhao, Kino (2018) A statistical learning approach to a problem of induction. In: UNSPECIFIED.

Published Article or Volume

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

Aguilera, Mariela (2020) Heterogeneous inferences with maps. Synthese. ISSN 1573-0964

Aguilera, Mariela (2020) Heterogeneous inferences with maps. Synthese. ISSN 1573-0964

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

Bentzen, Bruno (2019) Frege on Referentiality and Julius Caesar in Grundgesetze Section 10. Notre Dame Journal of Formal Logic, 60 (4). pp. 617-637.

Bentzen, Bruno (2020) Sense, reference, and computation. Perspectiva Filosofica, 47 (2). pp. 179-203. ISSN 2357-9986

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

Bordg, Anthony (2019) Univalent Foundations and the UniMath Library. The Architecture of Mathematics. in Reflections on the Foundations of Mathematics, Synthese Library, 407.

Clarke-Doane, Justin (2022) Mathemtics and Metaphilosophy. Cambridge Elements.

Costa-Leite, Alexandre (2018) Oppositions in a line segment. South American Journal of Logic, 4 (1). pp. 185-193. ISSN 2446-6719

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

Franklin, James (2016) Logical probability and the strength of mathematical conjectures. Mathematical Intelligencer, 38 (3). pp. 14-19. ISSN 1866-7414

Friedman, Sy-David and Ternullo, Claudio (2020) Maximality Principles in the Hyperuniverse Programme. Foundations of Science. ISSN 1233-1821

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

Gascón, José Ángel (2020) How to argue with coherence. THEORIA. An International Journal for Theory, History and Foundations of Science, 35 (3). pp. 327-344. ISSN 2171-679X

Heylen, Jan (2019) Apophatic Finitism and Infinitism. Logique et Analyse, 247. pp. 319-337.

Heylen, Jan (2014) Closure of A Priori Knowability Under A Priori Knowable Material Implication. Erkenntnis, 80 (2). pp. 359-380.

Heylen, Jan (2014) The Epistemic Significance of Numerals. Synthese. pp. 1-27.

Heylen, Jan (2013) Modal-Epistemic Arithmetic and the Problem of Quantifying In. Synthese, 190 (1). pp. 89-111.

Heylen, Jan and Horsten, Leon (2017) Truth and existence. Thought: A Journal of Philosophy, 6 (2). pp. 106-114.

Ketland, Jeffrey (2022) Boolos’s Curious Inference in Isabelle/HOL. Archive of Formal Proofs.

Ketland, Jeffrey (2020) Computation and Indispensability. Logic and Logical Philosophy, 30.

Landgrebe, Jobst and Smith, Barry (2019) Making AI meaningful again. Synthese. ISSN 1573-0964

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.

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

Redmond, Juan (2021) A free dialogical logic for surrogate reasoning: generation of hypothesis without ontological commitments. THEORIA. An International Journal for Theory, History and Foundations of Science, 36 (3). pp. 297-320. ISSN 2171-679X

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

Sezgin, Meliha and Kern-Isberner, Gabriele and Rott, Hans (2020) Inductive Reasoning With Difference-Making Conditionals. NMR 2020 - 18th International Workshop on Non-Monotonic Reasoning. pp. 83-92.

Teh, Nicholas and Kapulkin, Chris (2018) BJPS Book Review of "Categories for the Working Philosopher". BJPS Book Review of "Categories for the Working Philosopher".

Torza, Alessandro (2021) Quantum metametaphysics. Synthese. ISSN 1573-0964

Torza, Alessandro (2017) Quantum metaphysical indeterminacy and worldly incompleteness. Synthese, 197. pp. 4251-4264. ISSN 1573-0964

Williamson, Timothy (2018) Supervaluationism and good reasoning. THEORIA. An International Journal for Theory, History and Foundations of Science, 33 (3). pp. 521-537. ISSN 2171-679X

de Lorenzo, Javier and Ibarra, Andoni (2020) The fanciful optimism of Miguel Sánchez-Mazas. Let us calculate... = Freedom and Justice. THEORIA. An International Journal for Theory, History and Foundations of Science, 35 (3). pp. 255-265. ISSN 2171-679X

warenski, lisa (2009) Naturalism, Fallibilism, and the A Priori. Philosophical Studies, 142 (3). pp. 403-426. ISSN 0031-8116

Other

Bartlett, Steven James (2021) A Primer on Bartlett's CRITIQUE OF IMPURE REASON. Willamette University, Salem, OR.

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.

This list was generated on Wed Aug 17 18:33:55 2022 EDT.