메뉴 건너뛰기




Volumn , Issue , 2007, Pages 226-240

Necessity, meaning, and rationality: The notion of logical consequence

Author keywords

Epistemic matters; Logical consequence; Modality; Recapitulation; Semantics

Indexed keywords


EID: 84955407706     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/9780470996751.ch15     Document Type: Chapter
Times cited : (6)

References (20)
  • 2
    • 33749281656 scopus 로고
    • Aristotle's natural deduction system
    • J. Corcoran (ed.) Dordrecht: Reidel, 85-131
    • Corcoran, J. (1974) Aristotle's natural deduction system. In J. Corcoran (ed.), Ancient Logic and its Modern Interpretations (pp. 85-131). Dordrecht: Reidel, 85-131.
    • (1974) Ancient Logic and its Modern Interpretations , pp. 85-131
    • Corcoran, J.1
  • 3
    • 0000495135 scopus 로고
    • Die Vollständigkeit der Axiome des logischen Funktionenkalkuls
    • translated as "The completeness of the axioms of the functional calculus of logic," in Jean van Heijenoort (ed.), From Frege to Gödel, Cambridge, MA: Harvard University Press, 1967, 582-91
    • Gödel, K. (1930) Die Vollständigkeit der Axiome des logischen Funktionenkalkuls. Montatshefte für Mathematik und Physik, 37, 349-60; translated as "The completeness of the axioms of the functional calculus of logic," in Jean van Heijenoort (ed.), From Frege to Gödel, Cambridge, MA: Harvard University Press, 1967, 582-91.
    • (1930) Montatshefte für Mathematik und Physik , vol.37 , pp. 349-360
    • Gödel, K.1
  • 5
    • 0009943356 scopus 로고
    • The idea of a logical constant
    • McCarthy, T. (1981) The idea of a logical constant. Journal of Philosophy, 78, 499-523.
    • (1981) Journal of Philosophy , vol.78 , pp. 499-523
    • McCarthy, T.1
  • 6
    • 0009919997 scopus 로고
    • What is a logical constant
    • Peacocke, C. (1976) What is a logical constant? Journal of Philosophy, 78, 221-40.
    • (1976) Journal of Philosophy , vol.78 , pp. 221-240
    • Peacocke, C.1
  • 9
    • 84947142886 scopus 로고
    • What are logical notions
    • John Corcoran
    • Tarski, A. (1986) What are logical notions. In John Corcoran (ed.), History and Philosophy of Logic, 7, 143-54.
    • (1986) History and Philosophy of Logic , vol.7 , pp. 143-154
    • Tarski, A.1
  • 11
    • 0003782078 scopus 로고
    • Princeton NJ: Princeton University Press. (An extensive study of logical consequence, arguing that the premises of a logical consequence must be relevant to its conclusion.)
    • Anderson, A. and Belnap, N. (1975) Entailment: The Logic of Relevance and Necessity I. Princeton, NJ: Princeton University Press. (An extensive study of logical consequence, arguing that the premises of a logical consequence must be relevant to its conclusion.)
    • (1975) Entailment: The Logic of Relevance and Necessity I
    • Anderson, A.1    Belnap, N.2
  • 13
    • 4244143302 scopus 로고
    • trans. R. George. Berkeley, University of California Press, 1972. (A presentation of a substitutional account of consequence, along the lines of (Sub).)
    • Bolzano, B. (1837) Theory of Science, trans. R. George. Berkeley, University of California Press, 1972. (A presentation of a substitutional account of consequence, along the lines of (Sub).)
    • (1837) Theory of Science
    • Bolzano, B.1
  • 14
    • 0040701920 scopus 로고
    • Meanings of implication
    • (Presents a lucid account of several different notions of consequence, focusing on the role of formal deductive systems and a relation like (Ded).)
    • Corcoran, J. (1973) Meanings of implication. Dialogos, 25, 59-76. (Presents a lucid account of several different notions of consequence, focusing on the role of formal deductive systems and a relation like (Ded).)
    • (1973) Dialogos , vol.25 , pp. 59-76
    • Corcoran, J.1
  • 15
    • 0004266443 scopus 로고
    • Cambridge, MA: Harvard University Press. (A critical study of the influential account in Tarski (1935) and of contemporary modeltheoretic consequence. This book generated many responses, including Sánchez-Miguel (1993), Sher (1996), and Shapiro (1998)
    • Etchemendy, J. (1990) The Concept of Logical Consequence. Cambridge, MA: Harvard University Press. (A critical study of the influential account in Tarski (1935) and of contemporary modeltheoretic consequence. This book generated many responses, including Sánchez-Miguel (1993), Sher (1996), and Shapiro (1998).
    • (1990) The Concept of Logical Consequence
    • Etchemendy, J.1
  • 16
    • 0004242804 scopus 로고
    • 2nd edn., Englewood Cliffs, NJ: Prentice-Hall. (An influential substitutional account, along the lines of (Sub), relating that conception to the formal notions of model-theoretic consequence and deducibility in a standard deductive system.)
    • Quine, W. V. O. (1986) Philosophy of Logic, 2nd edn., Englewood Cliffs, NJ: Prentice-Hall. (An influential substitutional account, along the lines of (Sub), relating that conception to the formal notions of model-theoretic consequence and deducibility in a standard deductive system.)
    • (1986) Philosophy of Logic
    • Quine, W.V.O.1
  • 17
    • 84972535287 scopus 로고
    • The grounds of the model-theoretic account of the logical properties
    • (A nice study of the role of modeltheoretic consequence, responding to Etchemendy (1990).)
    • Sánchez-Miguel, M. (1993) The grounds of the model-theoretic account of the logical properties. Notre Dame Journal of Formal Logic, 34, 107-31. (A nice study of the role of modeltheoretic consequence, responding to Etchemendy (1990).)
    • (1993) Notre Dame Journal of Formal Logic , vol.34 , pp. 107-131
    • Sánchez-Miguel, M.1
  • 18
    • 33746782356 scopus 로고    scopus 로고
    • Logical consequence: models and modality
    • M. Schirn (ed.) Oxford: Oxford University Press, (A defense of model-theoretic consequence, relating it to the various intuitive notions.)
    • Shapiro, S. (1998) Logical consequence: models and modality. In M. Schirn (ed.), The Philosophy of Mathematics Today. Oxford: Oxford University Press, 131-56. (A defense of model-theoretic consequence, relating it to the various intuitive notions.)
    • (1998) The Philosophy of Mathematics Today , pp. 131-156
    • Shapiro, S.1
  • 19
    • 0030538669 scopus 로고    scopus 로고
    • Did Tarski commit "Tarski's fallacy"
    • (A reaction to Etchemendy (1990), relating Tarski's account to the model-theoretic one.)
    • Sher, G. (1996) Did Tarski commit "Tarski's fallacy"? Journal of Symbolic Logic, 61, 653-86. (A reaction to Etchemendy (1990), relating Tarski's account to the model-theoretic one.)
    • (1996) Journal of Symbolic Logic , vol.61 , pp. 653-686
    • Sher, G.1
  • 20
    • 33746850381 scopus 로고
    • On the concept of logical consequence
    • A. Tarski, Oxford: Clarendon Press, 1956; 2nd edn., edited and introduced by John Corcoran (Indianapolis: Hackett, 1983), (A very influential article, developing a notion of consequence evolving from (Sub) but avoiding the tie to the expressive resources of the base language. The notion of satisfaction is introduced. The connection between this Tarskian notion and the contemporary model-theoretic one is a matter of controversy.)
    • Tarski, A. (1935) On the concept of logical consequence. In A. Tarski, Logic, Semantics and Metamathematics. Oxford: Clarendon Press, 1956; 2nd edn., edited and introduced by John Corcoran (Indianapolis: Hackett, 1983), 417-29. (A very influential article, developing a notion of consequence evolving from (Sub) but avoiding the tie to the expressive resources of the base language. The notion of satisfaction is introduced. The connection between this Tarskian notion and the contemporary model-theoretic one is a matter of controversy.)
    • (1935) Logic, Semantics and Metamathematics , pp. 417-429
    • Tarski, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.