- Circularity, Definition and Truth.Michael Glanzberg - 2002 - Philosophical Review 111 (3):465-470.details
|
|
(1 other version)Post-tarskian truth.Jaakko Hintikka - 2001 - Synthese 126 (1-2):17 - 36.details
|
|
Introduction and postcript.J. Hintikka - 2001 - Synthese 126 (1-2):1-15.details
|
|
Modality as many metalinguistic predicates.Allen Hazen - 1984 - Philosophical Studies 46 (2):271 - 277.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski.B. G. Sundholm - unknowndetails
|
|
Tolerance and metalanguages in carnap'slogical syntax of language.David Devidi & Graham Solomon - 1995 - Synthese 103 (1):123 - 139.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
|
|
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
|
|
Die logik der anführung und quasianführung.U. Blau - 1988 - Erkenntnis 29 (2):227 - 268.details
|
|
(1 other version)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
|
|
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
|
|
Die pragmatische vollendung Des logischen empirismus. In memoriam Carl Gustav Hempel (1905–1997).Gereon Wolters - 2000 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 31 (2):205-242.details
|
|
(2 other versions)Theories, theoretical models, truth.Ryszard Wójcicki - 1995 - Foundations of Science 1 (4):337-406.details
|
|
(2 other versions)Theories, theoretical models, truth.Ryszard Wójcicki - 1995 - Foundations of Science 1 (4):471-516.details
|
|
(2 other versions)Theories, theoretical models, truth.Ryszard Wójcicki - 1995 - Foundations of Science 1 (4):471-516.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
|
|
(1 other version)Definability and decision problems in arithmetic.Julia Robinson - 1949 - Journal of Symbolic Logic 14 (2):98-114.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Die idee hinter tarskis definition Von wahrheit.Dirk Greimann - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):121-158.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
A contextual–hierarchical approach to truth and the liar paradox.Michael Glanzberg - 2004 - Journal of Philosophical Logic 33 (1):27-88.details
|
|
Troubles with trivialism.Otávio Bueno - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):655 – 667.details
|
|
Necessity, quotation, and truth: An indexical theory.Richmond H. Thomason - 1975 - Philosophia 5 (3):219-241.details
|
|
(1 other version)Who were the American Postulate Theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
(1 other version)On the theory of types.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (4):125-139.details
|
|
(1 other version)Concatenation as a basis for arithmetic.W. V. Quine - 1946 - Journal of Symbolic Logic 11 (4):105-114.details
|
|
On the logical positivists' theory of truth: The fundamental problem and a new perspective. [REVIEW]Lorenz B. Puntel - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (1):101-130.details
|
|
Semantic closure.Graham Priest - 1984 - Studia Logica 43 (1-2):117 - 129.details
|
|
Wahrheit und selbstrückbezüglichkeit.Jesus Padilla-Galvez - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (1):111-132.details
|
|
(1 other version)A complete theory of natural, rational, and real numbers.John R. Myhill - 1950 - Journal of Symbolic Logic 15 (3):185-196.details
|
|
(1 other version)On absolute properties of relations.Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (2):33-42.details
|
|
(1 other version)On direct products of theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.details
|
|
(1 other version)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
|
|
(1 other version)Some proofs of independence in axiomatic set theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.details
|
|
(1 other version)On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.details
|
|
(1 other version)On truth and multiple denotation.R. M. Martin - 1953 - Journal of Symbolic Logic 18 (1):11-18.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
|
|
Circular languages.Hannes Leitgeb & Alexander Hieke - 2004 - Journal of Logic, Language and Information 13 (3):341-371.details
|
|
(1 other version)Zermelo and Set Theory. [REVIEW]Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
(1 other version)Zermelo and set theory.Akihiro Kanamori - 2004 - Bulletin of Symbolic Logic 10 (4):487-553.details
|
|
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.details
|
|
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.details
|
|
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.details
|
|