메뉴 건너뛰기




Volumn , Issue , 2011, Pages 1-256

Tracking Reason: Proof, Consequence, and Truth

Author keywords

Analogues; Consequence; Logicians; Mathematical proof; Reason; Reasoning

Indexed keywords


EID: 36749037386     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1093/acprof:oso/9780195187137.001.0001     Document Type: Book
Times cited : (52)

References (171)
  • 1
    • 0003791987 scopus 로고
    • St. Paul's epistle to Titus
    • ed. R. L. Martin, New Haven, Conn.: Yale University Press
    • Anderson, A. R. 1970. St. Paul's epistle to Titus. In The paradox of the liar, ed. R. L. Martin, 1-11. New Haven, Conn.: Yale University Press.
    • (1970) The paradox of the liar , pp. 1-11
    • Anderson, A.R.1
  • 2
    • 65349116690 scopus 로고
    • Morphological change
    • ed. Frederick J. Newmeyer, of Linguistics: The Cambridge survey. Cambridge: Cambridge University Press
    • Anderson, Stephen R. 1988. Morphological change. In Linguistic theory: Foundations, ed. Frederick J. Newmeyer, 324-62. Vol. 1 of Linguistics: The Cambridge survey. Cambridge: Cambridge University Press.
    • (1988) Linguistic theory: Foundations , vol.1 , pp. 324-362
    • Anderson, S.R.1
  • 6
    • 0010880597 scopus 로고
    • Truth
    • ed. J. O. Urmson and G. J. Warnock, 3rd ed. Oxford: Oxford University Press
    • Austin, J. L. 1979. Truth. In Philosophical papers, ed. J. O. Urmson and G. J. Warnock, 117-33. 3rd ed. Oxford: Oxford University Press.
    • (1979) Philosophical papers , pp. 117-133
    • Austin, J.L.1
  • 7
    • 84972537538 scopus 로고
    • A simple axiomatizable theory of truth
    • Azzouni, Jody. 1991. A simple axiomatizable theory of truth. Notre Dame Journal of Formal Logic 32(3): 458-93.
    • (1991) Notre Dame Journal of Formal Logic , vol.32 , pp. 458-493
    • Azzouni, J.1
  • 9
    • 84921029388 scopus 로고
    • Review of "The liar speaks the truth
    • Azzouni, Jody. 1995. Review of "The liar speaks the truth." Mind 104(413): 222-25.
    • (1995) Mind , vol.104 , pp. 222-225
    • Azzouni, J.1
  • 10
    • 23844513337 scopus 로고    scopus 로고
    • Thick epistemic access: Distinguishing the mathematical from the empirical
    • Azzouni, Jody. 1997. Thick epistemic access: Distinguishing the mathematical from the empirical. Journal of Philosophy 94: 472-84.
    • (1997) Journal of Philosophy , vol.94 , pp. 472-484
    • Azzouni, J.1
  • 12
    • 52549095900 scopus 로고    scopus 로고
    • Comments on Shapiro
    • Azzouni, Jody. 1999. Comments on Shapiro. Journal of Philosophy 96: 541-44.
    • (1999) Journal of Philosophy , vol.96 , pp. 541-544
    • Azzouni, J.1
  • 13
    • 36749086084 scopus 로고    scopus 로고
    • Applying mathematics: An attempt to design a philosophical problem
    • Azzouni, Jody. 2000a. Applying mathematics: An attempt to design a philosophical problem. Monist 83: 209-27.
    • (2000) Monist , vol.83 , pp. 209-227
    • Azzouni, J.1
  • 14
    • 24944591564 scopus 로고    scopus 로고
    • London: Routledge. (Paperback edition [with important corrections] published in 2004.)
    • Azzouni, Jody. 2000b. Knowledge and reference in empirical science. London: Routledge. (Paperback edition [with important corrections] published in 2004.)
    • (2000) Knowledge and reference in empirical science
    • Azzouni, J.1
  • 15
    • 27244459393 scopus 로고    scopus 로고
    • Truth via anaphorically unrestricted quantifiers
    • Azzouni, Jody. 2001. Truth via anaphorically unrestricted quantifiers. Journal of Philosophical Logic 30: 329-54.
    • (2001) Journal of Philosophical Logic , vol.30 , pp. 329-354
    • Azzouni, J.1
  • 17
    • 27244460573 scopus 로고    scopus 로고
    • Proof and ontology in mathematics
    • ed. Tinne Hoff Kjeldsen, Stig AndurPedersen, and Lise Mariane Sonne-Hansen, Denmark: University Press of Southern Denmark
    • Azzouni, Jody. 2004b. Proof and ontology in mathematics. In New trends in the history and philosophy of mathematics, ed. Tinne Hoff Kjeldsen, Stig AndurPedersen, and Lise Mariane Sonne-Hansen, 117-33. Denmark: University Press of Southern Denmark.
    • (2004) New trends in the history and philosophy of mathematics , pp. 117-133
    • Azzouni, J.1
  • 19
    • 60449112570 scopus 로고    scopus 로고
    • Is there still a sense in which mathematics can have foundations?
    • ed. Giandomenico Sica, Milan, Italy:Polimetrica S.a.s
    • Azzouni, Jody. 2005. Is there still a sense in which mathematics can have foundations? In Essays on the foundations of mathematics and logic, ed. Giandomenico Sica, 9-47. Milan, Italy:Polimetrica S.a.s.
    • (2005) Essays on the foundations of mathematics and logic , pp. 9-47
    • Azzouni, J.1
  • 20
    • 1942494383 scopus 로고    scopus 로고
    • Deflationism, meaning, and truth conditions
    • Bar-On, Dorit, Claire Horisk, and William G. Lycan. 2000. Deflationism, meaning, and truth conditions. Philosophical Studies 101: 1-28.
    • (2000) Philosophical Studies , vol.101 , pp. 1-28
    • Bar-On, D.1    Horisk, C.2    Lycan, W.G.3
  • 21
    • 85047893286 scopus 로고
    • Chapter 1: Model-theoretic logics: Background and aims
    • ed. J. Barwise and S. Feferman, Berlin: Springer-Verlag
    • Barwise, Jon. 1985. Chapter 1: Model-theoretic logics: Background and aims. In Modeltheoretic logics, ed. J. Barwise and S. Feferman, 3-23. Berlin: Springer-Verlag.
    • (1985) Modeltheoretic logics , pp. 3-23
    • Barwise, J.1
  • 23
    • 0001287652 scopus 로고
    • Generalized quantifiers in natural language
    • Barwise, Jon, and Robin Cooper. 1981. Generalized quantifiers in natural language. Linguistics and Philosophy 4: 159-219.
    • (1981) Linguistics and Philosophy , vol.4 , pp. 159-219
    • Barwise, J.1    Cooper, R.2
  • 25
  • 27
    • 84921052903 scopus 로고    scopus 로고
    • A curious inference
    • ed. Richard Jeffrey, Cambridge, Mass.: Harvard University Press
    • Boolos, George. 1998a. A curious inference. In Logic, logic, and logic, ed. Richard Jeffrey, 376-82. Cambridge, Mass.: Harvard University Press.
    • (1998) Logic, logic, and logic , pp. 376-382
    • Boolos, G.1
  • 28
    • 0000665713 scopus 로고    scopus 로고
    • To be is to be a value of a variable (or to be some values of some variables)
    • ed. Richard Jeffrey, Cambridge, Mass.:Harvard University Press
    • Boolos, George. 1998b. To be is to be a value of a variable (or to be some values of some variables). In Logic, logic, and logic, ed. Richard Jeffrey, 54-72. Cambridge, Mass.:Harvard University Press.
    • (1998) Logic, logic, and logic , pp. 54-72
    • Boolos, G.1
  • 30
    • 2342659554 scopus 로고
    • Semantic paradox
    • ed. Robert L. Martin, Oxford: Oxford University Press
    • Burge, T. 1984. Semantic paradox. In Recent essays on truth and the liar paradox, ed. Robert L. Martin, 83-117. Oxford: Oxford University Press.
    • (1984) Recent essays on truth and the liar paradox , pp. 83-117
    • Burge, T.1
  • 31
    • 84921052902 scopus 로고    scopus 로고
    • First published in
    • First published in Journal of Philosophy 76 (1979): 169-78.
    • Journal of Philosophy , vol.76 , Issue.1979 , pp. 169-178
  • 33
    • 84938051171 scopus 로고
    • The semantic paradoxes: A diagnostic investigation
    • Chihara, C. 1979. The semantic paradoxes: A diagnostic investigation. Philosophical Review 88: 590-618.
    • (1979) Philosophical Review , vol.88 , pp. 590-618
    • Chihara, C.1
  • 37
    • 0038957201 scopus 로고
    • In defense of convention T
    • his, Oxford: Oxford University Press
    • Davidson, Donald. 1984a. In defense of convention T. In his Inquiries into truth and interpretation, 65-75. Oxford: Oxford University Press.
    • (1984) Inquiries into truth and interpretation , pp. 65-75
    • Davidson, D.1
  • 38
    • 0003156889 scopus 로고
    • On the very idea of a conceptual scheme
    • his, Oxford: Oxford University Press
    • Davidson, Donald. 1984b. On the very idea of a conceptual scheme. In his Inquiries into truth and interpretation, 183-98. Oxford: Oxford University Press.
    • (1984) Inquiries into truth and interpretation , pp. 183-198
    • Davidson, D.1
  • 39
    • 79956858411 scopus 로고
    • Semantics for natural languages
    • his, Oxford: Oxford University Press
    • Davidson, Donald. 1984c. Semantics for natural languages. In his Inquiries into truth and interpretation, 55-64. Oxford: Oxford University Press.
    • (1984) Inquiries into truth and interpretation , pp. 55-64
    • Davidson, D.1
  • 40
    • 52849085137 scopus 로고
    • Theories of meaning and learnable languages
    • his, Oxford: Oxford University Press
    • Davidson, Donald. 1984d. Theories of meaning and learnable languages. In his Inquiries into truth and interpretation, 3-15. Oxford: Oxford University Press.
    • (1984) Inquiries into truth and interpretation , pp. 3-15
    • Davidson, D.1
  • 41
    • 33646746117 scopus 로고
    • Truth and meaning
    • his, Oxford: Oxford University Press
    • Davidson, Donald. 1984e. Truth and meaning. In his Inquiries into truth and interpretation, 17-36. Oxford: Oxford University Press.
    • (1984) Inquiries into truth and interpretation , pp. 17-36
    • Davidson, D.1
  • 42
    • 0010840170 scopus 로고    scopus 로고
    • The folly of trying to define true
    • Davidson, Donald. 1996. The folly of trying to define true. The Journal of Philosophy 93, 263-78.
    • (1996) The Journal of Philosophy , vol.93 , pp. 263-278
    • Davidson, D.1
  • 43
    • 0004069989 scopus 로고    scopus 로고
    • Oxford: Oxford University Press
    • Dehaene, S. 1997. The number sense. Oxford: Oxford University Press.
    • (1997) The number sense
    • Dehaene, S.1
  • 44
    • 0018466858 scopus 로고
    • Social processes and proofs of theorems and programs
    • DeMillo, Richard A., Richard J. Lipton, and Alan J. Perlis. 1979. Social processes and proofs of theorems and programs. Communications of the ACM 22, 271-80.
    • (1979) Communications of the ACM , vol.22 , pp. 271-280
    • DeMillo, R.A.1    Lipton, R.J.2    Perlis, A.J.3
  • 45
    • 0011538706 scopus 로고
    • Rules for the direction of the mind
    • ed. and trans. Elizabeth S. Haldane and G. R. T. Ross, London:Cambridge University Press
    • Descartes, R. 1931. Rules for the direction of the mind. In The philosophical works of Descartes, ed. and trans. Elizabeth S. Haldane and G. R. T. Ross, 1-77. London:Cambridge University Press.
    • (1931) The philosophical works of Descartes , pp. 1-77
    • Descartes, R.1
  • 46
    • 84857947283 scopus 로고    scopus 로고
    • Making up stories
    • ed. Anthony Everett and Thomas Hofwever, Stanford, Calif.: CSLI Publications
    • Deutsch, Harry. 2000. Making up stories. In Empty names, fiction, and the puzzles of nonexistence, ed. Anthony Everett and Thomas Hofwever, 149-81. Stanford, Calif.: CSLI Publications.
    • (2000) Empty names, fiction, and the puzzles of nonexistence , pp. 149-181
    • Deutsch, H.1
  • 47
    • 84897906727 scopus 로고    scopus 로고
    • The metaphysics of deflationary truth
    • ed. Richard Schantz, Berlin: Walter de Gruyter
    • Devitt, Michael. 2002. The metaphysics of deflationary truth. In What is truth?, ed. Richard Schantz, 60-78. Berlin: Walter de Gruyter.
    • (2002) What is truth , pp. 60-78
    • Devitt, M.1
  • 50
    • 6944255196 scopus 로고
    • Truth
    • Cambridge, Mass.:Harvard University Press
    • Dummett, Michael. 1959. Truth. In Truth and other enigmas, 1-24. Cambridge, Mass.:Harvard University Press.
    • (1959) Truth and other enigmas , pp. 1-24
    • Dummett, M.1
  • 51
    • 37649021274 scopus 로고    scopus 로고
    • Of what kind of thing is truth a property?
    • ed. S. Blackburn and K. Simmons, Oxford: Oxford University Press
    • Dummett, Michael. 1999. Of what kind of thing is truth a property? In Truth, ed. S. Blackburn and K. Simmons, 264-81. Oxford: Oxford University Press.
    • (1999) Truth , pp. 264-281
    • Dummett, M.1
  • 52
    • 37949032719 scopus 로고
    • The substitution interpretation of the quantifiers
    • Dunn, J. M., and Belnap, N. D., Jr. 1968. The substitution interpretation of the quantifiers. Nous 2: 177-85.
    • (1968) Nous , vol.2 , pp. 177-185
    • Dunn, J.M.1    Belnap Jr., N.D.2
  • 54
    • 33748862872 scopus 로고
    • The causal theory of names
    • Oxford:Oxford University Press
    • Evans, Gareth. 1973. The causal theory of names. In Collected papers, 1-24. Oxford:Oxford University Press.
    • (1973) Collected papers , pp. 1-24
    • Evans, G.1
  • 56
    • 0009996547 scopus 로고
    • Towards useful type-free theories, I
    • Feferman, S. 1982. Towards useful type-free theories, I. Journal of Symbolic Logic 49(1):75-111.
    • (1982) Journal of Symbolic Logic , vol.49 , Issue.1 , pp. 75-111
    • Feferman, S.1
  • 57
    • 0024085326 scopus 로고
    • Program verification: The very idea
    • Fetzer, James H. 1988. Program verification: The very idea. Communications of the ACM 31: 1048-63.
    • (1988) Communications of the ACM , vol.31 , pp. 1048-1063
    • Fetzer, J.H.1
  • 58
    • 84921025181 scopus 로고
    • Introduction: Fictionalism, epistemology, and modality
    • Oxford: Basil Blackwell
    • Field, Hartry. 1989. Introduction: Fictionalism, epistemology, and modality. In Realism, mathematics, and modality, 1-52. Oxford: Basil Blackwell.
    • (1989) Realism, mathematics, and modality , pp. 1-52
    • Field, H.1
  • 59
    • 60949210262 scopus 로고    scopus 로고
    • Deflationist views of meaning and content
    • Oxford: Oxford University Press
    • Field, Hartry. 2001a. Deflationist views of meaning and content. In Truth and the absence of fact, 104-40. Oxford: Oxford University Press.
    • (2001) Truth and the absence of fact , pp. 104-140
    • Field, H.1
  • 60
    • 60949210262 scopus 로고    scopus 로고
    • Postscript: Deflationist views of meaning and content
    • Oxford: Oxford University Press
    • Field, Hartry. 2001b. Postscript: Deflationist views of meaning and content. In Truth and the absence of fact, 141-56. Oxford: Oxford University Press.
    • (2001) Truth and the absence of fact , pp. 141-156
    • Field, H.1
  • 61
    • 0011570095 scopus 로고    scopus 로고
    • Tarski's theory of truth
    • Oxford:Oxford University Press
    • Field, Hartry. 2001c. Tarski's theory of truth. In Truth and the absence of fact, 3-26. Oxford:Oxford University Press.
    • (2001) Truth and the absence of fact , pp. 3-26
    • Field, H.1
  • 62
    • 0346440922 scopus 로고
    • Chapter 3: Characterizing logics
    • ed. J. Barwise and S. Feferman, Berlin: Springer-Verlag
    • Flum, J. 1985. Chapter 3: Characterizing logics. In Model-theoretic logics, ed. J. Barwise and S. Feferman, 77-120. Berlin: Springer-Verlag.
    • (1985) Model-theoretic logics , pp. 77-120
    • Flum, J.1
  • 63
    • 0003906715 scopus 로고
    • Cambridge, Mass.: Harvard University Press
    • Fodor, Jerry A. 1975. The language of thought. Cambridge, Mass.: Harvard University Press.
    • (1975) The language of thought
    • Fodor, J.A.1
  • 64
    • 0039365834 scopus 로고
    • A theory of content (I and II)
    • Cambridge, Mass.: MIT Press
    • Fodor, Jerry A. 1990. A theory of content (I and II), in A theory of content and other essays, 51-136. Cambridge, Mass.: MIT Press.
    • (1990) A theory of content and other essays , pp. 51-136
    • Fodor, J.A.1
  • 65
    • 0018692402 scopus 로고
    • The spandrels of San Marco and the Panglossian paradigm: A critique of the adaptionist programme
    • Gould, S. J., and R. C. Lewontin. 1978. The spandrels of San Marco and the Panglossian paradigm: A critique of the adaptionist programme, Proceedings of the Royal Society of London 205: 581-98.
    • (1978) Proceedings of the Royal Society of London , vol.205 , pp. 581-598
    • Gould, S.J.1    Lewontin, R.C.2
  • 66
    • 84921052901 scopus 로고
    • Quantifying in and out of quotes
    • Princeton, N.J.: Princeton University Press
    • Grover, D. L., and N. D. Belnap. 1992. Quantifying in and out of quotes. In A prosentential theory of truth, 244-75. Princeton, N.J.: Princeton University Press.
    • (1992) A prosentential theory of truth , pp. 244-275
    • Grover, D.L.1    Belnap, N.D.2
  • 67
    • 33748190148 scopus 로고
    • A prosentential theory of truth
    • Princeton, N.J.: Princeton University Press
    • Grover, D. L., J. L. Camp, and N. D. Belnap. 1992. A prosentential theory of truth. In A prosentential theory of truth, 70-120. Princeton, N.J.: Princeton University Press.
    • (1992) A prosentential theory of truth , pp. 70-120
    • Grover, D.L.1    Camp, J.L.2    Belnap, N.D.3
  • 68
    • 79956196745 scopus 로고    scopus 로고
    • On locating our interest in truth
    • ed. Richard Schantz, Berlin: Walter de Gruyter
    • Grover, D. L. 2002. On locating our interest in truth. In What is truth?, ed. Richard Schantz, 120-32. Berlin: Walter de Gruyter.
    • (2002) What is truth , pp. 120-132
    • Grover, D.L.1
  • 69
    • 0041003451 scopus 로고
    • Truth and paradox
    • ed. Robert L. Martin, Oxford: Oxford University Press
    • Gupta, Anil. 1984. Truth and paradox. In Recent essays on truth and the liar paradox, ed. Robert L. Martin, 15-235. Oxford: Oxford University Press.
    • (1984) Recent essays on truth and the liar paradox , pp. 15-235
    • Gupta, A.1
  • 70
    • 84921052900 scopus 로고    scopus 로고
    • First published in
    • First published in Journal of Philosophical Logic 11 (1982): 1-60.
    • Journal of Philosophical Logic , vol.11 , Issue.1982 , pp. 1-60
  • 71
    • 52649166183 scopus 로고    scopus 로고
    • A critique of deflationism
    • ed. S. Blackburn and K. Simmons, Oxford: Oxford University Press
    • Gupta, Anil. 1999. A critique of deflationism. In Truth, ed. S. Blackburn and K. Simmons, 282-307. Oxford: Oxford University Press.
    • (1999) Truth , pp. 282-307
    • Gupta, A.1
  • 72
    • 60949916396 scopus 로고    scopus 로고
    • An argument against Tarski's convention T
    • ed. Richard Schantz, Berlin: Walter de Gruyter
    • Gupta, Anil. 2002. An argument against Tarski's convention T. In What is truth?, ed. Richard Schantz, 225-37. Berlin: Walter de Gruyter.
    • (2002) What is truth , pp. 225-237
    • Gupta, A.1
  • 74
    • 52549122269 scopus 로고    scopus 로고
    • Disquotationalism and infinite conjunctions
    • Halbach, V. 1999. Disquotationalism and infinite conjunctions. Mind 108(411): 249-85.
    • (1999) Mind , vol.108 , pp. 249-285
    • Halbach, V.1
  • 75
    • 1642384831 scopus 로고    scopus 로고
    • Tarski, truth, and semantics
    • Heck, R. G., Jr. 1997. Tarski, truth, and semantics, Philosophical Review 106(4): 533-54.
    • (1997) Philosophical Review , vol.106 , pp. 533-554
    • Heck Jr., R.G.1
  • 78
    • 0004271941 scopus 로고
    • 2nd ed. Lexington, Mass.: Xerox College Publishing
    • Herstein, I. N. 1975. Topics in algebra. 2nd ed. Lexington, Mass.: Xerox College Publishing.
    • (1975) Topics in algebra
    • Herstein, I.N.1
  • 79
    • 84921018228 scopus 로고
    • The logical consistency of language
    • Herzberger, Hans. 1964. The logical consistency of language. Harvard Educational Review 35: 469-80.
    • (1964) Harvard Educational Review , vol.35 , pp. 469-480
    • Herzberger, H.1
  • 81
    • 80054363619 scopus 로고
    • The truth-conditional consistency of natural languages
    • Herzberger, Hans. 1967. The truth-conditional consistency of natural languages. Journal of Philosophy 64: 29-35.
    • (1967) Journal of Philosophy , vol.64 , pp. 29-35
    • Herzberger, H.1
  • 82
    • 0038957192 scopus 로고
    • Paradoxes of grounding in semantics
    • Herzberger, Hans. 1970. Paradoxes of grounding in semantics. Journal of Philosophy 67: 145-67.
    • (1970) Journal of Philosophy , vol.67 , pp. 145-167
    • Herzberger, H.1
  • 84
    • 52649113260 scopus 로고
    • Reprinted in, ed. Robert L. Martin, Oxford: Oxford University Press
    • Reprinted in Recent essays on truth and the liar paradox, ed. Robert L. Martin, 133-74. Oxford: Oxford University Press, 1984.
    • (1984) Recent essays on truth and the liar paradox , pp. 133-174
  • 85
    • 84921052898 scopus 로고
    • The concept of truth in natural languages
    • Typescript
    • Herzberger, Hans, and J. J. Katz. 1967. The concept of truth in natural languages. Typescript.
    • (1967)
    • Herzberger, H.1    Katz, J.J.2
  • 86
    • 0011894114 scopus 로고    scopus 로고
    • Translated by Leo Unger. LaSalle, Ill.: Open Court
    • Hilbert, David. Foundations of geometry. Translated by Leo Unger. LaSalle, Ill.: Open Court.
    • Foundations of geometry
    • Hilbert, D.1
  • 88
    • 0011377152 scopus 로고
    • Elementary predicate logic
    • ed. D. Gabbay and F. Guenthner, Dordrecht: D. Reidel
    • Hodges, Wilfred. 1983. Elementary predicate logic. In Handbook of philosophical logic, ed. D. Gabbay and F. Guenthner, I: 1-131. Dordrecht: D. Reidel.
    • (1983) Handbook of philosophical logic , vol.1 , pp. 1-131
    • Hodges, W.1
  • 89
    • 51749088953 scopus 로고    scopus 로고
    • Inexpressible properties and propositions
    • ed. Dean Zimmerman. Oxford: Oxford University Press
    • Hofweber, Thomas. 2005. Inexpressible properties and propositions. In Oxford studies in metaphysics, vol. 2, ed. Dean Zimmerman. Oxford: Oxford University Press.
    • (2005) Oxford studies in metaphysics , vol.2
    • Hofweber, T.1
  • 90
    • 84921052897 scopus 로고
    • Disquotation and cause in the theory of reference
    • ed. Enrique Villanueva, Atascadero, Calif.: Ridgeview
    • Horwich, Paul. 1995. Disquotation and cause in the theory of reference. In Philosophical Issues, vol. 6, ed. Enrique Villanueva, 73-78. Atascadero, Calif.: Ridgeview.
    • (1995) Philosophical Issues , vol.6 , pp. 73-78
    • Horwich, P.1
  • 91
    • 84883747600 scopus 로고    scopus 로고
    • Deflationary truth and the problem of aboutness
    • ed. Enrique Villanueva, Atascadero, Calif.: Ridgeview
    • Horwich, Paul. 1997. Deflationary truth and the problem of aboutness. In Philosophical Issues, vol. 8, ed. Enrique Villanueva, 95-106. Atascadero, Calif.: Ridgeview.
    • (1997) Philosophical Issues , vol.8 , pp. 95-106
    • Horwich, P.1
  • 92
    • 0004189657 scopus 로고    scopus 로고
    • 2nd ed. Oxford: Oxford University Press
    • Horwich, Paul. 1998. Truth. 2nd ed. Oxford: Oxford University Press.
    • (1998) Truth
    • Horwich, P.1
  • 93
    • 52549115489 scopus 로고    scopus 로고
    • The minimalist conception of truth
    • ed. S. Blackburn and K. Simmons, Oxford: Oxford University Press
    • Horwich, Paul. 1999. The minimalist conception of truth. In Truth, ed. S. Blackburn and K. Simmons, 239-63. Oxford: Oxford University Press.
    • (1999) Truth , pp. 239-263
    • Horwich, P.1
  • 95
    • 0003851654 scopus 로고    scopus 로고
    • Trans. and ed. Paul Guyer and Allen W. Wood. Cambridge: Cambridge University Press
    • Kant, Immanuel. 1998. Critique of pure reason. Trans. and ed. Paul Guyer and Allen W. Wood. Cambridge: Cambridge University Press.
    • (1998) Critique of pure reason
    • Kant, I.1
  • 96
  • 98
    • 0002944735 scopus 로고    scopus 로고
    • Generalized quantifiers in linguistics and logic
    • ed. Johan van Benthem and Alice ter Meulen, Cambridge, Mass.: MIT Press
    • Keenan, E. L., and D. Westerståhl. 1997. Generalized quantifiers in linguistics and logic. In Handbook of logic and language, ed. Johan van Benthem and Alice ter Meulen, 837-93. Cambridge, Mass.: MIT Press.
    • (1997) Handbook of logic and language , pp. 837-893
    • Keenan, E.L.1    Westerståhl, D.2
  • 99
    • 0039467481 scopus 로고    scopus 로고
    • Deflationism and Tarski's paradise
    • Ketland, J. 1999. Deflationism and Tarski's paradise. Mind 108(429): 69-94.
    • (1999) Mind , vol.108 , pp. 69-94
    • Ketland, J.1
  • 104
    • 77956949740 scopus 로고
    • Informal rigour and completeness proofs
    • ed. I. Lakatos, Amsterdam: North-Holland
    • Kreisel, Georg. 1967. Informal rigour and completeness proofs. In Problems in the philosophy of mathematics, ed. I. Lakatos, 138-86. Amsterdam: North-Holland.
    • (1967) Problems in the philosophy of mathematics , pp. 138-186
    • Kreisel, G.1
  • 105
    • 77956972618 scopus 로고
    • Principles of proof and ordinals implicit in given concepts
    • ed. A. Kino, J. Myhill, and R. E. Vesley, Amsterdam: North-Holland
    • Kreisel, Georg. 1970. Principles of proof and ordinals implicit in given concepts. In Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968, ed. A. Kino, J. Myhill, and R. E. Vesley, 489-516. Amsterdam: North-Holland.
    • (1970) Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968 , pp. 489-516
    • Kreisel, G.1
  • 106
    • 0040369854 scopus 로고
    • Is there a problem about substitutional quantification?
    • ed. G. Evans and J. McDowell, Oxford: Oxford University Press
    • Kripke, Saul. 1976. Is there a problem about substitutional quantification? In Truth and meaning: Essays in semantics, ed. G. Evans and J. McDowell, 325-419. Oxford: Oxford University Press.
    • (1976) Truth and meaning: Essays in semantics , pp. 325-419
    • Kripke, S.1
  • 108
    • 84920133136 scopus 로고
    • Outline of a theory of truth
    • ed. Robert L. Martin, Oxford: Oxford University Press
    • Kripke, Saul. 1984. Outline of a theory of truth. In Recent essays on truth and the liar paradox, ed. Robert L. Martin, 53-81. Oxford: Oxford University Press.
    • (1984) Recent essays on truth and the liar paradox , pp. 53-81
    • Kripke, S.1
  • 109
    • 0000235860 scopus 로고
    • First published in
    • First published in Journal of Philosophy 72 (1975): 690-716.
    • (1975) Journal of Philosophy , vol.72 , pp. 690-716
  • 111
    • 37649005605 scopus 로고    scopus 로고
    • The significance of anaphoric theories of truth and reference
    • ed. Enrique Villanueva, Atascadero, Calif.: Ridgeview
    • Lance, Mark. 1997. The significance of anaphoric theories of truth and reference. Philosophical Issues 8, ed. Enrique Villanueva, 181-98. Atascadero, Calif.: Ridgeview.
    • (1997) Philosophical Issues , vol.8 , pp. 181-198
    • Lance, M.1
  • 112
    • 0002236012 scopus 로고
    • Cambridge, Mass.: Harvard University Press
    • Lavine, Shaughan. 1994. Understanding the infinite. Cambridge, Mass.: Harvard University Press.
    • (1994) Understanding the infinite
    • Lavine, S.1
  • 113
    • 0010676174 scopus 로고
    • Alternatives to standard first-order semantics
    • ed. D. Gabbay and F. Guenthner, Dordrecht: D. Reidel
    • Leblanc, Hugues. 1983. Alternatives to standard first-order semantics. In Handbook of Philosophical Logic, ed. D. Gabbay and F. Guenthner, I: 189-274. Dordrecht: D. Reidel.
    • (1983) Handbook of Philosophical Logic , vol.1 , pp. 189-274
    • Leblanc, H.1
  • 114
    • 33745739347 scopus 로고
    • Theories of reference and truth
    • Leeds, Stephen. 1978. Theories of reference and truth. Erkenntnis 13: 111-29.
    • (1978) Erkenntnis , vol.13 , pp. 111-129
    • Leeds, S.1
  • 115
    • 0040456170 scopus 로고
    • On extensions of elementary logic
    • Lindström, Per. 1969. On extensions of elementary logic. Theoria 35: 1-11.
    • (1969) Theoria , vol.35 , pp. 1-11
    • Lindström, P.1
  • 116
    • 84921030409 scopus 로고    scopus 로고
    • Interview with Marcus du Sautoy
    • Nov. 22-28, 2003
    • Longstaff, Ben. 2003. Interview with Marcus du Sautoy. New Scientist (Nov. 22-28, 2003): 48-51.
    • (2003) New Scientist , pp. 48-51
    • Longstaff, B.1
  • 117
    • 21244444718 scopus 로고    scopus 로고
    • Alethic pluralism and the functionalist theory of truth
    • Lynch, Michael P. 2000. Alethic pluralism and the functionalist theory of truth. Acta Analytica 15(24): 195-214.
    • (2000) Acta Analytica , vol.15 , pp. 195-214
    • Lynch, M.P.1
  • 119
    • 84909742052 scopus 로고
    • Chapter 20: Abstract embedding relations
    • ed. J. Barwise and S. Feferman, Berlin: Springer-Verlag
    • Makowsky, J. A. 1985. Chapter 20: Abstract embedding relations. In Model-theoretic logics, ed. J. Barwise and S. Feferman, 747-91. Berlin: Springer-Verlag.
    • (1985) Model-theoretic logics , pp. 747-791
    • Makowsky, J.A.1
  • 120
    • 33845277296 scopus 로고
    • A category solution to the liar
    • ed. Robert L. Martin, New Haven, Conn.: Yale University Press
    • Martin, R. L. 1970. A category solution to the liar. In The paradox of the liar, ed. Robert L. Martin, 91-120. New Haven, Conn.: Yale University Press.
    • (1970) The paradox of the liar , pp. 91-120
    • Martin, R.L.1
  • 121
    • 33751072385 scopus 로고
    • Maximal consistent sets of instances of Tarski's schema (T)
    • McGee, Vann. 1992. Maximal consistent sets of instances of Tarski's schema (T). Journal of Philosophical Logic 21: 235-41.
    • (1992) Journal of Philosophical Logic , vol.21 , pp. 235-241
    • McGee, V.1
  • 122
    • 49249117198 scopus 로고
    • A semantic conception of truth?
    • McGee, Vann. 1993. A semantic conception of truth? Philosophical Topics 21: 83-111.
    • (1993) Philosophical Topics , vol.21 , pp. 83-111
    • McGee, V.1
  • 123
    • 0002242447 scopus 로고
    • Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory
    • Moore, G. H. 1980. Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory. History and Philosophy of Logic I: 95-137.
    • (1980) History and Philosophy of Logic , vol.1 , pp. 95-137
    • Moore, G.H.1
  • 125
    • 84905608251 scopus 로고
    • The liar paradox
    • ed. Robert L. Martin, Oxford: Oxford University Press
    • Parsons, Charles. 1984. The liar paradox. In Recent essays on truth and the liar paradox, ed. Robert L. Martin, 9-45. Oxford: Oxford University Press.
    • (1984) Recent essays on truth and the liar paradox , pp. 9-45
    • Parsons, C.1
  • 126
    • 33746177150 scopus 로고    scopus 로고
    • First published in
    • First published in Journal of Philosophical Logic 3 (1974): 381-412.
    • Journal of Philosophical Logic , vol.3 , Issue.1974 , pp. 381-412
  • 127
    • 0346582882 scopus 로고
    • Nonexistent objects
    • New Haven, Conn.: Yale University Press
    • Parsons, Terence. 1980. Nonexistent objects. New Haven, Conn.: Yale University Press.
    • (1980)
    • Parsons, T.1
  • 128
    • 84921052896 scopus 로고    scopus 로고
    • Deflationism and the truth conditional theory of meaning
    • Forthcoming (a)
    • Patterson, Douglas. Forthcoming (a). Deflationism and the truth conditional theory of meaning. Philosophical Studies.
    • Philosophical Studies
    • Patterson, D.1
  • 129
    • 84921052895 scopus 로고    scopus 로고
    • Tarski on the necessity reading of convention T
    • Forthcoming (b)
    • Patterson, Douglas. Forthcoming (b). Tarski on the necessity reading of convention T. Synthese.
    • Synthese
    • Patterson, D.1
  • 130
    • 0040701891 scopus 로고
    • In contradiction
    • Dordrecht: Martinus Nijhoff
    • Priest, Graham. 1987. In contradiction. Dordrecht: Martinus Nijhoff.
    • (1987)
    • Priest, G.1
  • 131
    • 80054356807 scopus 로고
    • Do true assertions correspond to reality?
    • Cambridge: Cambridge University Press
    • Putnam, Hilary. 1975a. Do true assertions correspond to reality? In Mind, language, and reality: Philosophical papers, vol. 2, 70-84. Cambridge: Cambridge University Press.
    • (1975) Mind, language, and reality: Philosophical papers , vol.2 , pp. 70-84
    • Putnam, H.1
  • 132
    • 0000692309 scopus 로고
    • The meaning of 'meaning'
    • Cambridge: Cambridge University Press
    • Putnam, Hilary. 1975b. The meaning of 'meaning'. In Mind, language and reality: Philosophical papers, vol. 2, 139-52. Cambridge: Cambridge University Press.
    • (1975) Mind, language and reality: Philosophical papers , vol.2 , pp. 139-152
    • Putnam, H.1
  • 133
    • 33748200602 scopus 로고
    • Meaning and knowledge
    • London:Routledge and Kegan Paul
    • Putnam, Hilary. 1978. Meaning and knowledge. In Meaning and the moral sciences, 1-80. London:Routledge and Kegan Paul.
    • (1978) Meaning and the moral sciences , pp. 1-80
    • Putnam, H.1
  • 134
    • 0346269629 scopus 로고
    • Models and reality
    • his, Cambridge:Cambridge University Press
    • Putnam, Hilary. 1983. Models and reality. In his Philosophical papers, vol. 3, 1-25. Cambridge:Cambridge University Press.
    • (1983) Philosophical papers , vol.3 , pp. 1-25
    • Putnam, H.1
  • 135
    • 0003799915 scopus 로고
    • Cambridge, Mass.: MIT Press
    • Quine, W. V. 1960. Word and object. Cambridge, Mass.: MIT Press.
    • (1960) Word and object
    • Quine, W.V.1
  • 136
    • 0004242804 scopus 로고
    • Englewood Cliffs, N.J.: Prentice Hall
    • Quine, W. V. 1970. Philosophy of Logic. Englewood Cliffs, N.J.: Prentice Hall.
    • (1970) Philosophy of Logic
    • Quine, W.V.1
  • 137
    • 0003253788 scopus 로고
    • Quantifiers and propositional attitudes
    • 2nd ed. Cambridge, Mass.: Harvard University Press
    • Quine, W. V. 1975a. Quantifiers and propositional attitudes. In The ways of paradox and other essays, 185-96. 2nd ed. Cambridge, Mass.: Harvard University Press.
    • (1975) The ways of paradox and other essays , pp. 185-196
    • Quine, W.V.1
  • 138
    • 0038681770 scopus 로고
    • Three grades of modal involvement
    • 2nd ed. Cambridge, Mass.: Harvard University Press
    • Quine, W. V. 1975b. Three grades of modal involvement. In The ways of paradox and other essays, 158-76. 2nd ed. Cambridge, Mass.: Harvard University Press.
    • (1975) The ways of paradox and other essays , pp. 158-176
    • Quine, W.V.1
  • 139
    • 0042881311 scopus 로고
    • Truth by convention
    • 2nd ed. Cambridge, Mass.: Harvard University Press
    • Quine, W. V. 1975c. Truth by convention. In The ways of paradox and other essays. 77-106. 2nd ed. Cambridge, Mass.: Harvard University Press.
    • (1975) The ways of paradox and other essays , pp. 77-106
    • Quine, W.V.1
  • 140
    • 0142076503 scopus 로고
    • Logic and the reification of universals
    • 2nd ed. Cambridge, Mass.: Harvard University Press
    • Quine, W. V. 1980a. Logic and the reification of universals. In From a logical point of view, 102-29. 2nd ed. Cambridge, Mass.: Harvard University Press.
    • (1980) From a logical point of view , pp. 102-129
    • Quine, W.V.1
  • 141
    • 0001986823 scopus 로고
    • Reference and modality
    • 2nd ed. Cambridge, Mass.: Harvard University Press
    • Quine, W. V. 1980b. Reference and modality. In From a logical point of view, 139-59. 2nd ed. Cambridge, Mass.: Harvard University Press.
    • (1980) From a logical point of view , pp. 139-159
    • Quine, W.V.1
  • 142
    • 37549001020 scopus 로고
    • Reply to David Kaplan
    • ed. Lewis Edwin Hahn and Paul Arthur Schil pp, La Salle, Ill.: Open Court
    • Quine, W. V. 1986. Reply to David Kaplan. In The Philosophy of W. V. Quine, ed. Lewis Edwin Hahn and Paul Arthur Schil pp, 290-94. La Salle, Ill.: Open Court.
    • (1986) The Philosophy of W. V. Quine , pp. 290-294
    • Quine, W.V.1
  • 143
    • 0039605548 scopus 로고
    • Steps towards a constructive nominalism
    • Nelson Goodman, New York: Bobbs-Merrill
    • Quine, W. V., and Goodman, Nelson. 1972. Steps towards a constructive nominalism. In Nelson Goodman, Problems and projects, 173-98. New York: Bobbs-Merrill.
    • (1972) Problems and projects , pp. 173-198
    • Quine, W.V.1    Goodman, N.2
  • 144
    • 0039605548 scopus 로고
    • First published in
    • First published in Journal of Symbolic Logic 12 (1947): 105-22.
    • (1947) Journal of Symbolic Logic , vol.12 , pp. 105-122
  • 145
    • 0010424484 scopus 로고    scopus 로고
    • Why do we prove theorems?
    • Rav, Yehuda. 1999. Why do we prove theorems? Philosophia Mathematica (3) 7: 5-41.
    • (1999) Philosophia Mathematica , vol.7 , Issue.3 , pp. 5-41
    • Rav, Y.1
  • 147
    • 37849044415 scopus 로고    scopus 로고
    • Propositional quantification
    • ed. B. J. Copeland, Oxford: Oxford University Press
    • Richard, Mark. 1996. Propositional quantification. In Logic and reality: Essays on the legacy of Arthur Prior, ed. B. J. Copeland, 437-60. Oxford: Oxford University Press.
    • (1996) Logic and reality: Essays on the legacy of Arthur Prior , pp. 437-460
    • Richard, M.1
  • 150
    • 49849098260 scopus 로고
    • Canberra, Australia:Departmental Monograph #3, Philosophy Department, Research School of Social Sciences, Australian National University
    • Routley, Richard. 1980. Exploring Meinong's jungle and beyond. Canberra, Australia:Departmental Monograph #3, Philosophy Department, Research School of Social Sciences, Australian National University.
    • (1980) Exploring Meinong's jungle and beyond
    • Routley, R.1
  • 152
    • 24944579100 scopus 로고    scopus 로고
    • Proof and truth: Through thick and thin
    • Shapiro, S. 1998. Proof and truth: Through thick and thin. Journal of Philosophy 95(10): 493-521.
    • (1998) Journal of Philosophy , vol.95 , pp. 493-521
    • Shapiro, S.1
  • 153
    • 3843149133 scopus 로고    scopus 로고
    • Do not claim too much: Second-order logic and first-order logic
    • Shapiro, S. 1999. Do not claim too much: Second-order logic and first-order logic. Philosophia Mathematica (3) 7: 42-64.
    • (1999) Philosophia Mathematica , vol.7 , Issue.3 , pp. 42-64
    • Shapiro, S.1
  • 154
    • 60950136315 scopus 로고    scopus 로고
    • In search of a substantive theory of truth
    • Shapiro, S. , Gila. 2004. In search of a substantive theory of truth. Journal of Philosophy CI(1):5-36.
    • (2004) Journal of Philosophy , vol.CI , Issue.1 , pp. 5-36
    • Shapiro, S.G.1
  • 155
    • 23944435435 scopus 로고    scopus 로고
    • Deflationary truth and the liar
    • Simmons, K. 1999. Deflationary truth and the liar. Journal of Philosophical Logic 28(5):455-88.
    • (1999) Journal of Philosophical Logic , vol.28 , Issue.5 , pp. 455-488
    • Simmons, K.1
  • 156
    • 37649008843 scopus 로고    scopus 로고
    • The truth about deflationism
    • ed. Enrique Villanueva, Atascadero, Calif.: Ridgewood
    • Soames, Scott. 1997. The truth about deflationism. Philosophical Issues 8, ed. Enrique Villanueva, 1-44. Atascadero, Calif.: Ridgewood.
    • (1997) Philosophical Issues , vol.8 , pp. 1-44
    • Soames, S.1
  • 157
    • 4444351182 scopus 로고    scopus 로고
    • Oxford: Oxford University Press
    • Soames, Scott. 1999. Understanding truth. Oxford: Oxford University Press.
    • (1999) Understanding truth
    • Soames, S.1
  • 158
    • 84985402871 scopus 로고
    • Towards a causal theory of linguistic representations
    • ed. P. French, T. Euhling, and H. Wettstein, Minneapolis:University of Minneapolis Press
    • Stampe, Dennis. 1977. Towards a causal theory of linguistic representations. In Midwest studies in philosophy 2, ed. P. French, T. Euhling, and H. Wettstein, 42-63. Minneapolis:University of Minneapolis Press.
    • (1977) Midwest studies in philosophy , vol.2 , pp. 42-63
    • Stampe, D.1
  • 159
    • 0041417053 scopus 로고
    • The concept of chance in everyday teaching: Aspects of social epistemology of mathematical knowledge
    • Steinbring, Heinz. 1991. The concept of chance in everyday teaching: Aspects of social epistemology of mathematical knowledge. Educational Studies in Mathematics 22: 502-22.
    • (1991) Educational Studies in Mathematics , vol.22 , pp. 502-522
    • Steinbring, H.1
  • 160
    • 1942461957 scopus 로고    scopus 로고
    • Truth
    • ed. S. Blackburn and K. Simmons, Oxford:Oxford University Press
    • Strawson, P. F. 1999. Truth. In Truth, ed. S. Blackburn and K. Simmons, 162-82. Oxford:Oxford University Press.
    • (1999) Truth , pp. 162-182
    • Strawson, P.F.1
  • 162
    • 0011609067 scopus 로고
    • The concept of truth in formalized languages
    • ed. J. Corcoran, Indianapolis, Ind.: Hackett
    • Tarski, Alfred. 1983a. The concept of truth in formalized languages. In Logic, semantics, metamathematics, ed. J. Corcoran, 152-278. Indianapolis, Ind.: Hackett.
    • (1983) Logic, semantics, metamathematics , pp. 152-278
    • Tarski, A.1
  • 163
    • 33746850381 scopus 로고
    • On the concept of logical consequence
    • ed. J. Corcoran, Indianapolis, Ind.: Hackett
    • Tarski, Alfred. 1983b. On the concept of logical consequence. In Logic, semantics, metamathematics, ed. J. Corcoran, 409-20. Indianapolis, Ind.: Hackett.
    • (1983) Logic, semantics, metamathematics , pp. 409-420
    • Tarski, A.1
  • 164
    • 34248927548 scopus 로고
    • Why I don't understand substitutional quantification
    • van Inwagen, Peter. 1981. Why I don't understand substitutional quantification. Philosophical Studies 39: 281-85.
    • (1981) Philosophical Studies , vol.39 , pp. 281-285
    • van Inwagen, P..1
  • 165
    • 8344280691 scopus 로고    scopus 로고
    • Quantification and fictional discourse
    • ed. Anthony Everet and Thomas Hofweber, Stanford, Calif.: CSLI Publications
    • Tarski, Alfred. 2000. Quantification and fictional discourse. In Empty names, fiction, and the puzzles of non-existence, ed. Anthony Everet and Thomas Hofweber, 235-47. Stanford, Calif.: CSLI Publications.
    • (2000) Empty names, fiction, and the puzzles of non-existence , pp. 235-247
    • Tarski, A.1
  • 168
    • 34447138506 scopus 로고
    • Epistemological realism and the basis of scepticism
    • Williams, Michael. 1988. Epistemological realism and the basis of scepticism. Mind 97: 415-39.
    • (1988) Mind , vol.97 , pp. 415-439
    • Williams, M.1
  • 169
    • 84987876070 scopus 로고    scopus 로고
    • On some critics of deflationism
    • ed. Richard Schantz, Berlin: Walter de Gruyter
    • Williams, Michael. 2002. On some critics of deflationism. In What is truth?, ed. Richard Schantz, 146-58. Berlin: Walter de Gruyter.
    • (2002) What is truth , pp. 146-158
    • Williams, M.1
  • 171
    • 0003678815 scopus 로고
    • Cambridge, Mass.: Harvard University Press
    • Wright, Crispen. 1992. Truth and objectivity. Cambridge, Mass.: Harvard University Press.
    • (1992) Truth and objectivity
    • Wright, C.1


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