Model-theoretic Consequence and Modality

모형론적 귀결과 양상성

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

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.

Acknowledgement

Supported by : 한국연구재단

References

  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. https://doi.org/10.2307/2694970
  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. https://doi.org/10.1080/01445340.2011.577145
  5. Etchemendy, J.,"Tarski on Truth and Logical Consequence", Journal of Symbolic Logic 53(1988), pp. 51-79. https://doi.org/10.2307/2274427
  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. https://doi.org/10.1017/S1755020309090200
  10. Jane, I.,"What Is Tarski's Common Concept of Consequence?", Bulletin of Symbolic Logic 12(2006), pp. 1-42. https://doi.org/10.2178/bsl/1140640942
  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. https://doi.org/10.1111/j.1747-9991.2010.00324.x
  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. https://doi.org/10.2307/2275681
  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.