Sobre la definición semántica de consecuencia lógica
Resumen
La teoría de modelos parte generalmente de la definición de consecuencia lógica ofrecida por Tarski en 1936. John Etchemendy (1990) asevera que esta definición contiene una falacia si se le toma como definición genuina de este concepto. Esta aseveración ha desatado una polémica interesante. El presente ensayo resume los puntos principales en discusión y sugiere en su conclusión que el rechazo de la propuesta de Etchemendy se basa en un malentendido de la intención de su crítica, cuyo objeto no es, propiamente dicho, la definición de Tarski, sino que ésta ofrece un fundamento insuficiente para la teoría de modelos.
Referencias
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
Derechos de autor 2013 © Disputatio
Esta obra está bajo licencia internacional Creative Commons Reconocimiento-NoComercial-SinObrasDerivadas 4.0.