- Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.details
|
|
Truthmakers, Truthbearers and the Objectivity of Truth.Artur Rojszczak & Barry Smith - 2003 - In Jaako Hintikka (ed.), Philosophy and Logic: In Search of the Polish Tradition. Kluwer Academic Publishers. pp. 229-268.details
|
|
Communist Conventions for Deductive Reasoning.Sinan Dogramaci - 2013 - Noûs 49 (4):776-799.details
|
|
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.details
|
|
Content, rationality and mental causation.Arkadiusz Chrudzimski - 2004 - Axiomathes 14 (4):307-340.details
|
|
The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance.Urszula Wybraniec-Skardowska - 2024 - History and Philosophy of Logic 45 (2):124-141.details
|
|
Quantification in the Interpretational Theory of Validity.Marco Grossi - 2023 - Synthese 202 (3):1-21.details
|
|
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
Infinite Reasoning.Jared Warren - 2020 - Philosophy and Phenomenological Research 103 (2):385-407.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
SYNTACTICS.John Corcoran - 2007 - In AMERICAN PHILOSOPHY: AN ENCYCLOPEDIA. pp. 746-7.details
|
|
Some aspectos of quantum physics.Newton C. A. Da Costa - 2007 - Principia: An International Journal of Epistemology 11 (1):77-95.details
|
|
Wittgenstein and Formal Semantics: A Case Study on the Tractarian Notions of Truth-Conditions and Compositionality.Nicoletta Bartunek - 2022 - History and Philosophy of Logic 43 (1):80-95.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
An Objection to Naturalism and Atheism from Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy (ed.), A Companion to Atheism and Philosophy. Hoboken: Blackwell. pp. 451-475.details
|
|
Can minimalism about truth embrace polysemy?Katarzyna Kijania-Placek - 2018 - Synthese 195 (3):955-985.details
|
|
Conditionals, curry, and consequence: embracing deduction.Roy T. Cook & Nicholas Tourville - 2023 - Synthese 201 (2):1-27.details
|
|
Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2020 - Synthese 198 (8):7073-7096.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
(1 other version)The Nature and Structure of Scientific Theories.C. Ulises Moulines - 2010 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 1:15--29.details
|
|
Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism.Bogdan Dicher - forthcoming - Analysis.details
|
|
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.Robert Goldblatt & Ian Hodkinson - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 342-361.details
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
Jump Liars and Jourdain’s Card via the Relativized T-scheme.Ming Hsiung - 2009 - Studia Logica 91 (2):239-271.details
|
|
Symbolic logic.Greg Restall - unknowndetails
|
|
Objects, properties and states of affairs. An aristotelian ontology of truth making.Arkadiusz Chrudzimski - 2002 - Axiomathes 13 (2):187-215.details
|
|
Logic and artificial intelligence: Divorced, still married, separated ...? [REVIEW]Selmer Bringsjord & David A. Ferrucci - 1998 - Minds and Machines 8 (2):273-308.details
|
|
Correction to: Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):687-687.details
|
|
(1 other version)Tarskian Truth And The Correspondence Theory.Luis Fernández Moreno - 2001 - Synthese 126 (1-2):123-148.details
|
|
The Moral Underpinnings of Popper's Philosophy.Noretta Koertge - 2009 - In Zuzana Parusniková & Robert S. Cohen (eds.), Rethinking Popper. London: Springer. pp. 323--338.details
|
|
Philosophy in Poland: Varieties of Anti-Irrationalism. A Commitment to Reason without the Worship of Reason.Konrad Werner - 2020 - Philosophia 48 (1):1-32.details
|
|