Skip to main content
SpringerLink
Log in

Kripke and the logic of truth

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Ayer, Alfred J., 1952: Language, Truth and Logic, Dover, New York.

    Google Scholar 

  • Ayer, Alfred J., 1953: ‘Truth’. Revue Internationale de Philosophie7, pp. 183–200.

    Google Scholar 

  • Ayer, Alfred J., 1963: ‘Truth’, in The Concept of a Person and Other Essays, St. Martin's Press, New York, pp. 162–187.

    Google Scholar 

  • Burge, Tyler, 1984: ‘Semantical Paradox’, in Martin, 1984, pp. 83–117. First published in 1979.

  • Gentzen, Gerhard, 1969a: The Collected Papers of Gerhard Gentzen, M. E. Szabo, ed., North-Holland, Amsterdam.

    Google Scholar 

  • Gentzen, Gerhard, 1969b: ‘Investigations into Logical Deduction’, in Gentzen, 1969a, pp. 68–131. First published in 1935.

  • Gupta, Anil, 1984a: ‘The Meaning of Truth’, unpublished manuscript.

  • Gupta, Anil, 1984b: ‘Truth and Paradox’, in Martin, 1984, pp. 175–235. First published in 1982.

  • Gupta, Anil, and Belnap, Nuel D., 1987: ‘A Note on Extension, Intension and Truth’, Journal of Philosophy84, pp. 168–174.

    Google Scholar 

  • Haack, Susan, 1978. Philosophy of Logics Cambridge University Press, Cambridge.

    Google Scholar 

  • Hawthorn, John, 1983: The Liar and Theories of Truth, doctoral dissertation, McGill University.

  • Hellman, Geoffrey, 1985: Review of Martin and Woodruff, 1984, Kripke, 1984, Gupta, 1984b, and Herzberger, 1984, Journal of Symbolic Logic50, pp. 1068–1071.

    Google Scholar 

  • Herzberger, Hans G., 1970: ‘Paradoxes of Grounding in Semantics’. Journal of Philosophy67, pp. 145–167.

    Google Scholar 

  • Herzberger, Hans G., 1982: ‘Naive Semantics and the Liar Paradox’, Journal of Philosophy79, pp. 479–497.

    Google Scholar 

  • Herzberger, Hans G., 1984: ‘Notes on Naive Semantics’, in Martin, 1984, pp. 133–174. First published in 1982.

  • Kremer, Michacl, 1986: Logicand Truth, Ph.D. dissertation, University of Pittsburgh.

  • Kremer, Michael, 1988: ‘Logic and Meaning’, Mind97, pp. 50–72.

    Google Scholar 

  • Kripke, Saul, 1984: ‘Outline of a Theory of Truth’, in Martin, 1984, pp. 53–81. First published in 1975.

  • Martin, Robert L., ed., 1984: Recent Essays on Truth and the Liar Paradox, Oxford University Press, Oxford.

    Google Scholar 

  • Martin Robert L., and Woodruff, Peter W., 1984: ‘On Representing ‘True-in-L’ in L’, in Martin, 1984, pp. 47–52. First published in 1975.

  • Parsons, Charles, 1983a: Mathematics in Philosophy, Cornell University Press, Ithaca.

    Google Scholar 

  • Parsons, Charles, 1983b: ‘The Liar Paradox’, in Parsons, 1983a, 221–267. First published 1974; postscript added in 1983. Also appears in Martin, 1984, pp. 9–45.

  • Rescher, Nicholas, 1969: Many-Valued Logic, McGraw-Hill Co., New York.

    Google Scholar 

  • Russell, Bertrand, 1956a: Logic and Knowledge, Macmillan, New York.

    Google Scholar 

  • Russell, Bertrand, 1956b: ‘Mathematical Logic as Based on the Theory of Types’, in Russell, 1956a, pp. 59–105. First published in 1908.

  • Russell, Bertrand, 1956c: ‘The Philosophy of Logical Atomism’, in Russell, 1956a, pp. 178–221. First read as a series of public lectures in 1918.

  • Scott, Dana, 1975: ‘Combinators and Classes’, in λ-calculus and Computer Science Theory, Lecture Notes in Computer Science, vol. 37, Springer-Verlag, Berlin, pp. 1–26.

    Google Scholar 

  • Sellars, Wilfrid, 1963a: Science, Perception and Reality, Routledge and Kegan Paul, London.

    Google Scholar 

  • Sellars, Wilfrid, 1963b: ‘Some Reflections on Language Games’, in Sellars, 1963a, pp. 321–358. First published in 1954.

  • Tarski, Alfred, 1983a: Logic, Semantics, Metamathematics, Hackett Publishing Co., Indianapolis.

    Google Scholar 

  • Tarski, Alfred, 1983b: ‘The Concept of Truth in Formalized Languages’, in Tarski, 1983a, pp. 152–268. First published in 1933.

  • Yablo, Steve, 1982: ‘Grounding, Dependence and Paradox’, Journal of Philosophical Logic11, pp. 117–137.

    CAS  PubMed  Google Scholar 

  • Yablo, Steve, 1985: ‘Truth and Reflection’, Journal of Philosophical Logic14, pp. 297–349.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Notre Dame, 46556, Notre Dame, IN, USA

    Michael Kremer

Authors
  1. Michael Kremer
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper is based on Chaptes 1 and 2 of my doctoral dissertation, Logic and Truth, University of Pittsburgh, 1986. I would like to acknowledge the invanluable assistance of my director, Proffessor Nuel Belnap. I also received useful comments on some of this material from Proffessor Anil Gupta, and from an anoymous referee. Nonetheless, all responsibility for the views expressed herein is my own.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kremer, M. Kripke and the logic of truth. J Philos Logic 17, 225–278 (1988). https://doi.org/10.1007/BF00247954

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00247954

Search

Navigation