- Experience and Prediction: An Analysis of the Foundations and the Structure of Knowledge.Hans Reichenbach - 1938 - Chicago, IL, USA: University of Chicago Press.details
|
|
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.details
|
|
Zermelo and Set Theory. [REVIEW]Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
Poderes Causales, Tropos, y Otras Criaturas Extrañas: Ensayos de Metafísica Analítica.Ezequiel Zerbudis (ed.) - 2017 - Buenos Aires: Título.details
|
|
Swyneshed Revisited.Alexander Sandgren - forthcoming - Ergo: An Open Access Journal of Philosophy.details
|
|
Generalized Quantification in an Axiomatic Truth Theory.Ian Rumfitt - forthcoming - Australasian Journal of Philosophy.details
|
|
Zitierte Zeichenreihen.Olaf Müller - 1996 - Erkenntnis 44 (3):279 - 304.details
|
|
Progress by Paradox: Paradoxien als Katalysator wissenschaftlichen Fortschritts.Sascha Benjamin Fink - 2017 - In Von Schildkröten und Lügnern. Paderborn, Deutschland:details
|
|
Developments in Logic: Carnap, Gödel, and Tarski.Erich H. Reck - 2013 - In Michael Beaney (ed.), Oxford Handbook of the History of Analytic Philosophy. Oxford: Oxford University Press. pp. 546-571.details
|
|
Logic and semantic analysis.Ernest Lepore & Matthew Stone - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 173.details
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.details
|
|
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.details
|
|
Explicating ‘Explication’ via Conceptual Spaces.Matteo De Benedetto - 2020 - Erkenntnis 87 (2):853-889.details
|
|
Explicating ‘Explication’ via Conceptual Spaces.Matteo De Benedetto - 2022 - Erkenntnis 87 (2):853-889.details
|
|
Explication as a Three-Step Procedure: the case of the Church-Turing Thesis.Matteo De Benedetto - 2021 - European Journal for Philosophy of Science 11 (1):1-28.details
|
|
The prehistory of the subsystems of second-order arithmetic.Walter Dean & Sean Walsh - 2017 - Review of Symbolic Logic 10 (2):357-396.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.details
|
|
Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.details
|
|
On Suppes' set theoretical predicates.Newton C. A. Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.details
|
|
Monism, Pluralism and Relativism: New Essays on the Status of Logic.Daniel Cohnitz, Peter Pagin & Marcus Rossberg - 2014 - Erkenntnis 79 (S2):201-210.details
|
|
Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.details
|
|
Introduction.Elisabeth Camp - 2007 - The Baltic International Yearbook of Cognition, Logic and Communication 3 (1).details
|
|
Compatibility of a Categorial Grammar With an Associated Category System.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (14-18):229-238.details
|
|
Troubles with trivialism.Otávio Bueno - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):655 – 667.details
|
|
Quasi-truth in quasi-set theory.Otávio Bueno - 2000 - Synthese 125 (1-2):33-53.details
|
|
Partial worlds and paradox.Elke Brendel - 1993 - Erkenntnis 39 (2):191 - 208.details
|
|
Note on heterologicality.D. Bostock - 2011 - Analysis 71 (2):252-259.details
|
|
The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.details
|
|
Consistency and konsistenz.William Boos - 1987 - Erkenntnis 26 (1):1 - 43.details
|
|
On Tarski's foundations of the geometry of solids.Arianna Betti & Iris Loeb - 2012 - Bulletin of Symbolic Logic 18 (2):230-260.details
|
|
Lesniewski's Early Liar, Tarski and Natural Language.Arianna Betti - 2004 - Annals of Pure and Applied Logic 127 (1-3):267-287.details
|
|
Tarski on logical notions.Luca Bellotti - 2003 - Synthese 135 (3):401 - 413.details
|
|
On rigorous definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.details
|
|
Where the Paths Meet: Remarks on Truth and Paradox.Jc Beall - 2008 - Midwest Studies in Philosophy 32 (1):169-198.details
|
|
Should deflationists be dialetheists?J. C. Beall & Bradley Armour-Garb - 2003 - Noûs 37 (2):303–324.details
|
|
Heaps of gluts and Hyde-ing the sorites.JC Beall & Mark Colyvan - 2001 - Mind 110 (438):401--408.details
|
|
Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (1):3-28.details
|
|
Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):3-28.details
|
|
Minimalism, the generalization problem and the liar.Bradley Armour-Garb - 2004 - Synthese 139 (3):491 - 512.details
|
|
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Fitch's Argument and Typing Knowledge.Alexander Paseau - 2008 - Notre Dame Journal of Formal Logic 49 (2):153-176.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Truth, correspondence, models, and Tarski.Panu Raatikainen - 2007 - In Sami Pihlström, Panu Raatikainen & Matti Sintonen (eds.), Approaching truth: essays in honour of Ilkka Niiniluoto. London: College Publications. pp. 99-112.details
|
|
Proofs and Retributions, Or: Why Sarah Can’t Take Limits.Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz & Mary Schaps - 2015 - Foundations of Science 20 (1):1-25.details
|
|
Quantifier-free induction for lists.Stefan Hetzl & Jannik Vierling - forthcoming - Archive for Mathematical Logic:1-23.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknowndetails
|
|