Model-theoretic Consequence and Modality

모형론적 귀결과 양상성

  • Received : 2012.08.24
  • Accepted : 2012.10.18
  • Published : 2012.11.30


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.


Supported by : 한국연구재단


  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.
  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.
  5. Etchemendy, J.,"Tarski on Truth and Logical Consequence", Journal of Symbolic Logic 53(1988), pp. 51-79.
  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.
  10. Jane, I.,"What Is Tarski's Common Concept of Consequence?", Bulletin of Symbolic Logic 12(2006), pp. 1-42.
  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.
  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.
  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.