- 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
|
|
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
|
|
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.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
|
|
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
|
|
Frege, hilbert, and the conceptual structure of model theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.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
|
|
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
|
|
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
|
|
Logical consequence revisited.José M. Sagüillo - 1997 - Bulletin of Symbolic Logic 3 (2):216-241.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353 - 369.details
|
|
A note on formality and logical consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.details
|
|
Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.details
|
|
Scientific Realism Without Reality? What Happens When Metaphysics is Left Out.Alberto Corti - 2020 - Foundations of Science 28 (1):455-475.details
|
|
Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication.Ahti-Viekko Pietarinen - 2006 - Dordrecht, Netherland: Springer.details
|
|
What is truth?Arhat Singh Virdi - unknowndetails
|
|
Completeness: From Husserl to Carnap.Víctor Aranda - 2022 - Logica Universalis 16 (1):57-83.details
|
|
Scientific Realism Without Reality? What Happens When Metaphysics is Left Out.Alberto Corti - 2020 - Foundations of Science 28 (1):1-21.details
|
|
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl.Víctor Aranda - 2020 - Bulletin of the Section of Logic 49 (2).details
|
|
An Observation about Truth.David Kashtan - 2017 - Dissertation, University of Jerusalemdetails
|
|
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
|
|
Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.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
|
|
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
|
|
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
|
|
Did Tarski commit “Tarski's fallacy”?G. Y. Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.details
|
|
On tarski’s assumptions.Jaakko Hintikka - 2005 - Synthese 142 (3):353-369.details
|
|
Tarski’s staggering existential assumptions.V. Mcgee - 2005 - Synthese 142 (3):371-387.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
|
|
En defensa del argumento finitista.Diego Tajer - 2014 - Revista Latinoamericana de Filosofia 40 (2):129-143.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
|
|
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.details
|
|
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.details
|
|
Alfred Tarski: philosophy of language and logic.Douglas Patterson - 2012 - New York: Palgrave-Macmillan.details
|
|
Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.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
|
|
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
|
|
Oordeel en Gevolgtrekking. Bedreigde Species?(Judgement and Inference: Endangered Species?).B. G. Sundholm - unknowndetails
|
|
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.details
|
|
One versus many intended applications: Reply to Sjoerd Zwart.Theo A. F. Kuipers - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):396-402.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
|
|
Alfred Tarski.Mario Gómez-Torrente - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The truths of logic.Eric M. Hammer - 1996 - Synthese 109 (1):27 - 45.details
|
|