On the Semantic Definition of Logical Consequence
Keywords:
Etchemendy, Tarski’ Fallacy, Logical Consequence, Model Theory
Abstract
Model Theory generally assumes the definition of logical consequence proffered by Tarski in 1936. John Etchemendy (1990) suggests that Tarski’s definition contains a fallacy, from which an interesting controversy ensued about the definition and its meaning. The main points in discussion are summarized and it is suggested that the controversy is based on a misunderstanding of the intentions of Etchemendy’s criticism: the target is not so much Tarski’s definition, but that it offers an insufficient foundation for Model Theory.
References
Aristóteles (1998), Metafísica. Trad. Tomás Calvo Martínez. Gredos: Madrid.
Burdman Feferman, Anita y Feferman, Solomon (2004), Alfred Tarski, Life and Logic. Cambridge University Press: Cambridge.
Etchemendy, John (1990), The Concept of Logical Consequence. Harvard University Press: Cambridge, Mass. and London, England.
Frege, Gottlob (2001), Schriften zur Logik und Sprachphilosophie. Aus dem Nachlass. Meiner: Hamburg.
Gómez Torrente, Mario (1996), «Tarski on logical consequence». Notre Dame Journal of Formal Logic 37: pp. 125-151.
Gómez Torrente, Mario (1998), «On a fallacy attributed to Tarski». History and Philosophy of Logic 19: pp. 227-234.
Gómez Torrente, Mario (2000), Forma y modalidad; una introducción al concepto de la consecuencia lógica. EUDEBA: Buenos Aires.
Gómez Torrente, Mario (2009), «Rereading Tarski on Logical Consequence». The Review of Symbolic Logic 2(2): pp. 249-297.
Sher, Gila (1991), The Bounds of Logic: A Generalized Viewpoint. MIT Press: Cambridge, Mass. and London.
Sher, Gila, 1996, «Did Tarski Commit “Tarski’s Fallacy”?». The Journal of Symbolic Logic 61(2): 653-686.
Tarski, Alfred (1966), Anhang «Wahrheit und Beweis». In: Einführung in die mathematische Logik. Vandenhoeck & Ruprecht; Göttingen; 5. Auflage 1977; pp. 244-275.
Tarski, Alfred (2002), «On the Concept of Following Logically»*. History and Philosophy of Logic 23(3): pp. 155-196.
*Traducción de artículos publicados originalmente en polaco («O pojęciu wynikania logicznego», Przegląd Filozoficzny 39, 1936, pp. 58-68) y en alemán («Über den Begriff der logischen Folgerung», en Actes du Congrès International de Philosophie Scientifique, Sorbonne, Paris, 1935 (Actualités Scientifiques et Industrielles 394) (VII, 1-11), Paris, Hermann,1936) y cotejados contra la traducción previa al inglés (Logic, Semantics, Metamathematics. Papers from 1923 to 1938, trans. J. H. Woodger, Oxford, Clarendon Press, 1956; 2a. edición, Indianapolis: Hackett, 1983) por Magda Stroińska y David Hitchcock. Un glosario sobre la traducción del
polaco al inglés y viceversa, vide: http://www.humanities.mcmaster.ca/~hitchckd/glossaries.htm
Burdman Feferman, Anita y Feferman, Solomon (2004), Alfred Tarski, Life and Logic. Cambridge University Press: Cambridge.
Etchemendy, John (1990), The Concept of Logical Consequence. Harvard University Press: Cambridge, Mass. and London, England.
Frege, Gottlob (2001), Schriften zur Logik und Sprachphilosophie. Aus dem Nachlass. Meiner: Hamburg.
Gómez Torrente, Mario (1996), «Tarski on logical consequence». Notre Dame Journal of Formal Logic 37: pp. 125-151.
Gómez Torrente, Mario (1998), «On a fallacy attributed to Tarski». History and Philosophy of Logic 19: pp. 227-234.
Gómez Torrente, Mario (2000), Forma y modalidad; una introducción al concepto de la consecuencia lógica. EUDEBA: Buenos Aires.
Gómez Torrente, Mario (2009), «Rereading Tarski on Logical Consequence». The Review of Symbolic Logic 2(2): pp. 249-297.
Sher, Gila (1991), The Bounds of Logic: A Generalized Viewpoint. MIT Press: Cambridge, Mass. and London.
Sher, Gila, 1996, «Did Tarski Commit “Tarski’s Fallacy”?». The Journal of Symbolic Logic 61(2): 653-686.
Tarski, Alfred (1966), Anhang «Wahrheit und Beweis». In: Einführung in die mathematische Logik. Vandenhoeck & Ruprecht; Göttingen; 5. Auflage 1977; pp. 244-275.
Tarski, Alfred (2002), «On the Concept of Following Logically»*. History and Philosophy of Logic 23(3): pp. 155-196.
*Traducción de artículos publicados originalmente en polaco («O pojęciu wynikania logicznego», Przegląd Filozoficzny 39, 1936, pp. 58-68) y en alemán («Über den Begriff der logischen Folgerung», en Actes du Congrès International de Philosophie Scientifique, Sorbonne, Paris, 1935 (Actualités Scientifiques et Industrielles 394) (VII, 1-11), Paris, Hermann,1936) y cotejados contra la traducción previa al inglés (Logic, Semantics, Metamathematics. Papers from 1923 to 1938, trans. J. H. Woodger, Oxford, Clarendon Press, 1956; 2a. edición, Indianapolis: Hackett, 1983) por Magda Stroińska y David Hitchcock. Un glosario sobre la traducción del
polaco al inglés y viceversa, vide: http://www.humanities.mcmaster.ca/~hitchckd/glossaries.htm
Published
2013-12-20
How to Cite
[1]
Wischin, K. 2013. On the Semantic Definition of Logical Consequence. Disputatio. 2, 3 (Dec. 2013), 111-136.
Issue
Section
Articles and Essays
Copyright (c) 2013 © Disputatio
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
