- Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.details
|
|
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.details
|
|
On direct products of theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.details
|
|
On absolute properties of relations.Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (2):33-42.details
|
|
Does Putnam's argument Beg the question against the skeptic? Bad news for radical skepticism.Olaf Müller - 2001 - Erkenntnis 54 (3):299-320.details
|
|
Wahrheit, wirklichkeit und logik in der sprache der physik.Peter Mittelstaedt - 1983 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 14 (1):24-45.details
|
|
Pragmatic truth and approximation to truth.Irene Mikenberg, Newton C. A. da Costa & Rolando Chuaqui - 1986 - Journal of Symbolic Logic 51 (1):201-221.details
|
|
American Postulate Theorists and Alfred Tarski.Michael Scanlan - 2003 - History and Philosophy of Logic 24 (4):307-325.details
|
|
Some proofs of independence in axiomatic set theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.details
|
|
Some formal relative consistency proofs.Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (2):136-144.details
|
|
On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.details
|
|
Thought, thoughts, and deflationism.Vann McGee - 2016 - Philosophical Studies 173 (12):3153-3168.details
|
|
Tarski’s staggering existential assumptions.V. Mcgee - 2005 - Synthese 142 (3):371-387.details
|
|
Review: Two Conceptions of Truth? Comment. [REVIEW]Vann McGee - 2005 - Philosophical Studies 124 (1):71 - 104.details
|
|
Inscrutability and its discontents.Vann McGee - 2005 - Noûs 39 (3):397–425.details
|
|
Field’s logic of truth.Vann McGee - 2010 - Philosophical Studies 147 (3):421-432.details
|
|
Some Comments on Truth and Designation.R. M. Martin - 1949 - Analysis 10 (3):63-67.details
|
|
On truth and multiple denotation.R. M. Martin - 1953 - Journal of Symbolic Logic 18 (1):11-18.details
|
|
On 'analytic'.R. M. Martin - 1952 - Philosophical Studies 3 (3):42 - 47.details
|
|
On ‘Analytic’.R. M. Martin - 1952 - Philosophical Studies 3 (3):42-47.details
|
|
Paradox and context shift.Poppy Mankowitz - 2022 - Philosophical Studies 180 (5-6):1539-1557.details
|
|
Fixed- versus Variable-domain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu - 2010 - Philosophy Compass 5 (9):745-759.details
|
|
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.details
|
|
Frege, Kant, and the logic in logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.details
|
|
La filosofía de la ciencia y el lenguaje: relaciones cambiantes, alcances y límites.Pablo Lorenzano - 2011 - Arbor 187 (747):69-80.details
|
|
Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff.Iris Loeb - 2014 - Synthese 191 (10):2281-2299.details
|
|
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.details
|
|
Submodels in Carnap’s Early Axiomatics Revisited.Iris Loeb - 2014 - Erkenntnis 79 (2):405-429.details
|
|
A model theoretic characterization of effective operations.M. H. Löb - 1970 - Journal of Symbolic Logic 35 (2):217 - 222.details
|
|
What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.details
|
|
∈ I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.Steffen Lewitzka - 2009 - Notre Dame Journal of Formal Logic 50 (3):275-301.details
|
|
General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.details
|
|
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.details
|
|
What theories of truth should be like (but cannot be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.details
|
|
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.details
|
|
Truth as translation – part a.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.details
|
|
On the probabilistic convention T.Hannes Leitgeb - 2008 - Review of Symbolic Logic 1 (2):218-224.details
|
|
Circular languages.Hannes Leitgeb & Alexander Hieke - 2004 - Journal of Logic, Language and Information 13 (3):341-371.details
|
|
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.details
|
|
Ungroundedness in Tarskian Languages.Saul A. Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.details
|
|
First-order concatenation theory with bounded quantifiers.Lars Kristiansen & Juvenal Murwanashyaka - 2020 - Archive for Mathematical Logic 60 (1):77-104.details
|
|
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.details
|
|
Yet Another Puzzle of Ground.Johannes Korbmacher - 2015 - Kriterion - Journal of Philosophy 29 (2):1-10.details
|
|
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.details
|
|
Vérité sans vérités ? Réponse à Kevin Mulligan.Wolfgang Künne - 2011 - Philosophiques 38 (1):195-217.details
|
|
Empirical adequacy and ramsification.Jeffrey Ketland - 2004 - British Journal for the Philosophy of Science 55 (2):287-300.details
|
|
Can a many-valued language functionally represent its own semantics?Jeffrey Ketland - 2003 - Analysis 63 (4):292–297.details
|
|
Conservativeness and translation-dependent t-schemes.Jeffrey Ketland - 2000 - Analysis 60 (4):319–328.details
|
|
Conservativeness and translation-dependent T-schemes.Jeffrey Ketland - 2000 - Analysis 60 (4):319-328.details
|
|
A Proof of the (Strengthened) Liar Formula in a Semantical Extension of Peano Arithmetic.Jeffrey Ketland - 2000 - Analysis 60 (1):1-4.details
|
|