- Did Tarski commit “Tarski's fallacy”?G. Y. Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.details
|
|
A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic.M. McKeon - 2005 - Journal of Philosophical Logic 34 (3):305-326.details
|
|
The Bounds of Logic: A Generalized Viewpoint.Gila Sher - 1991 - MIT Press.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Reflections on consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 263--299.details
|
|
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.details
|
|
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.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
|
|
Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.details
|
|
Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.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
|
|
An addendum to Demopoulos and Friedman (1985).Graham Solomon - 1989 - Philosophy of Science 56 (3):497-501.details
|
|
Logical consequence revisited.José M. Sagüillo - 1997 - Bulletin of Symbolic Logic 3 (2):216-241.details
|
|
A note on formality and logical consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.details
|
|
On Tarski on models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.details
|
|
Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.details
|
|
Completeness: From Husserl to Carnap.Víctor Aranda - 2022 - Logica Universalis 16 (1):57-83.details
|
|
An Observation about Truth.David Kashtan - 2017 - Dissertation, University of Jerusalemdetails
|
|
Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 273-287.details
|
|
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.details
|
|
Tarski's definition and truth-makers.Ilkka Niiniluoto - 2004 - Annals of Pure and Applied Logic 126 (1-3):57-76.details
|
|
Tarski on Logical Consequence.Mario Gómez-Torrente - 1996 - Notre Dame Journal of Formal Logic 37 (1):125-151.details
|
|
The grounds for the model-theoretic account of the logical properties.Manuel García-Carpintero Sánchez-Miguel - 1992 - Notre Dame Journal of Formal Logic 34 (1):107-131.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
The analytic conception of truth and the foundations of arithmetic.Peter Apostoli - 2000 - Journal of Symbolic Logic 65 (1):33-102.details
|
|
What is truth?Arhat Singh Virdi - unknowndetails
|
|
Scientific Realism Without Reality? What Happens When Metaphysics is Left Out.Alberto Corti - 2020 - Foundations of Science 28 (1):1-21.details
|
|
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
The Benacerraf Problem as a Challenge for Ontic Structural Realism.Majid Davoody Beni - 2020 - Philosophia Mathematica 28 (1):35-59.details
|
|
Is the Principle of Contradiction a Consequence of $$x^{2}=x$$ x 2 = x?Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):55-81.details
|
|
Logical contextuality in Frege.Brice Halimi - 2018 - Review of Symbolic Logic 11 (1):1-20.details
|
|
Tarski’s staggering existential assumptions.V. Mcgee - 2005 - Synthese 142 (3):371-387.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.details
|
|
Tarski's conception of logic.Solomon Feferman - 2004 - Annals of Pure and Applied Logic 126 (1-3):5-13.details
|
|
Structures and structuralism in contemporary philosophy of mathematics.Erich H. Reck & Michael P. Price - 2000 - Synthese 125 (3):341-383.details
|
|
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.details
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
Alfred Tarski and the "Concept of Truth in Formalized Languages": A Running Commentary with Consideration of the Polish Original and the German Translation.Monika Gruber - 2016 - Cham, Switzerland: Springer Verlag.details
|
|
Frege, hilbert, and the conceptual structure of model theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.details
|
|
Quasi-truth in quasi-set theory.Otávio Bueno - 2000 - Synthese 125 (1-2):33-53.details
|
|
En defensa del argumento finitista.Diego Tajer - 2014 - Revista Latinoamericana de Filosofia 40 (2):129-143.details
|
|
Did Tarski commit "Tarski's fallacy"?Gila Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.details
|
|
Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353 - 369.details
|
|
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.details
|
|
Geometric conventionalism and carnap's principle of tolerance: We discuss in this paper the question of the scope of the principle of tolerance about languages promoted in Carnap's The Logical Syntax of Language and the nature of the analogy between it and the rudimentary conventionalism purportedly exhibited in the work of Poincaré and Hilbert. We take it more or less for granted that Poincaré and Hilbert do argue for conventionalism. We begin by sketching Coffa's historical account, which suggests that tolerance be interpreted as a conventionalism that allows us complete freedom to select whatever language we wish—an interpretation that generalizes the conventionalism promoted by Poincaré and Hilbert which allows us complete freedom to select whatever axiom system we wish for geometry. We argue that such an interpretation saddles Carnap with a theory of meaning that has unhappy consequences, a theory we believe he did not hold. We suggest that the principle of linguistic tolerance in.David De Vidi & Graham Solomon - 1993 - Studies in History and Philosophy of Science Part A 25 (5):773-783.details
|
|