Browse > Article

Model-theoretic Consequence and Modality  

Choi, Wonbae (Department of Policy, Hanyang University)
Publication Information
Journal for History of Mathematics / v.25, no.4, 2012 , pp. 21-36 More about this Journal
Abstract
It is commonly believed that the model-theoretic account of logical consequence is originated from Tarski' s 1936 paper. But Etchemendy has denied this. This paper discusses and evaluates the recent controversies over whether the definition of logical consequence presented in Tarski' s paper is based on the fixed-domain conception or the variable-domain conception.
Keywords
model-theoretic consequence; logical consequence; material consequence; domain;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Bach, C. N.,"Tarski's 1936 Account of Logical Consequence", Modern Logic 7(1997), pp. 109-130.
2 Bays, T.,"On Tarski on Models", Journal of Symbolic Logic 66(2001), pp. 1701-1726.   DOI   ScienceOn
3 Corcoran, J.,"Meanings of Implication", Dialogos 25(1973), pp. 59-76, reprinted in A Philosophical Companion to First-Order Logic, ed. R. I. G. Hughes, Hackett Publishing Co., 1993, pp. 85-100.
4 Corcoran, J. and Saguillo, J. M.,"The Absence of Multiple Universe of Discourse in the 1936 Tarski Consequence-Definition Paper", History and Philosophy of Logic 32(2011), pp. 359-374.   DOI   ScienceOn
5 Etchemendy, J.,"Tarski on Truth and Logical Consequence", Journal of Symbolic Logic 53(1988), pp. 51-79.   DOI   ScienceOn
6 Etchemendy, J., The Concept of Logical Consequence, Harvard Univ. Press, 1990.
7 Etchemendy, J.,"Reflections on Consequence", in New Essays on Tarski and Philosophy, ed. D. Patterson, Oxford Univ. Press, 2008, pp. 263-299.
8 Gomez-Torrente, M.,"Tarski on Logical Consequence", Notre Dame Journal of Formal Logic 37(1996), pp. 125-151.
9 Gomez-Torrente, M.,"Rereading Tarski on Logical Consequence", Review of Symbolic Logic 2(2009), pp. 249-297.   DOI
10 Jane, I.,"What Is Tarski's Common Concept of Consequence?", Bulletin of Symbolic Logic 12(2006), pp. 1-42.   DOI   ScienceOn
11 Mancosu, P.,"Tarski on Models and Logical Consequence", in The Architecture of Modern Mathematics, eds. J. Ferreiros and J. J. Gray, Oxford Univ. Press, 2006, pp. 209-237.
12 Mancosu, P.", Fixed- versus Variable-Domain Interpretations of Tarski's Account of Logical Consequence", Philosophy Compass 5(2010), pp. 745-759.   DOI
13 Ray, G.,"Logical Consequence: A Defence of Tarski", Journal of Philosophical Logic 25(1996), pp. 617-677.
14 Shapiro, S.,"Logical Consequence, Models and Modality", in The Philosophy of Mathematics Today, ed. M. Schirn, Oxford Univ. Press, 1998, pp. 131-156.
15 Shapiro, S.,"Logical Consequence, Proof Theory, and Model Theory", in The Oxford Handbook of Philosophy of Mathematics and Logic, ed. S. Shapiro, Oxford Univ. Press, 2005, pp. 651-670.
16 Sher, G., The Bounds of Logic: A Generalized Viewpoint, The MIT Press, 1991.
17 Sher, G.,"Did Tarski Commit'Tarski's Fallacy'?", Journal of Symbolic Logic 61(1996), pp. 653-686.   DOI   ScienceOn
18 Tarski, A.,"On the Concept of Logical Consequence"(1936), in Logic, Semantics, Metamathematics, ed. J. Corcoran, Hackett Publishing Co., 1983, pp. 409-420.
19 Tarski, A., Introduction to Logic and to the Methodology of Deductive Sciences, Oxford Univ. Press, 1941.