Skip to main content
SpringerLink
Log in

Some remarks on extending and interpreting theories with a partial predicate for 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

  • Aczel, P., ‘Frege structures’, in J. Barwise, J. Kiesler, and K. Kunen (eds.), The Kleene Symposium, North Holland (1980).

  • AndersonC. A., ‘The paradox of the knower’, Journal of Philosophy 80 (1983), 338–355.

    Google Scholar 

  • BurgeT., ‘Semantic paradox’, Journal of Philosophy 76 (1979), 169–198.

    Google Scholar 

  • Dyson, F. J., ‘Unfashionable pursuits’, The Mathematical Intelligencer 5 (1983).

  • Feferman, S., Talk at the 1983 joint ASL-APA meeting in Boston.

  • FefermanS., ‘Toward useful type free theories. I’, Journal of Symbolic Logic 49 (1984), 75–111.

    Google Scholar 

  • FitchF. B., ‘An extension of basic logic’, Journal of Symbolic Logic 13 (1948), 95–106.

    Google Scholar 

  • Gilmore, P. C., ‘The consistency of partial set theory without extensionality’, in T. Jech (ed.), Symposia on Pure Mathematics Proceedings, Vol. 13, Part 2 (1974).

  • GödelK., ‘Russell's mathematical logic’, in P. A.Schilpp (ed.), The Philosophy of Bertrand Russell, Library of Living Philosophers, Evanston, Illinois (1946). Reprinted in P. Benacerraf and H. Putnam (eds.), Philosophy of Mathematics, Prentice Hall (1964).

    Google Scholar 

  • GuptaA., ‘Truth and paradox’, Journal of Philosophical Logic 11 (1982), 1–60.

    Google Scholar 

  • HerzbergerH., ‘Notes on naive semantics’, Journal of Philosophical Logic 11 (1982), 61–102.

    Google Scholar 

  • KripkeS., ‘Outline of a theory of truth’, Journal of Philosophy 78 (1975), 690–716.

    Google Scholar 

  • MaddyP., ‘Proper classes’, Journal of Symbolic Logic 48 (1983), 113–139.

    Google Scholar 

  • ReinhardtW. N., ‘Necessity predicates and operators’, Journal of Philosophical Logic 9 (1980), 437–450.

    Google Scholar 

  • Reinhardt, W. N., ‘Remarks on significance and meaningful applicability’, in L. de Alcantara (ed.), Lecture Notes in Pure and Applied Mathematics, Marcel Dekker series 94 (1985).

  • StoneJ., ‘Simplism and the liar’, Journal of Philosophical Logic 10 (1981), 423–451.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Colorado, 80309-0426, Boulder, CO, U.S.A.

    William N. Reinhardt

Authors
  1. William N. Reinhardt
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Reinhardt, W.N. Some remarks on extending and interpreting theories with a partial predicate for truth. J Philos Logic 15, 219–251 (1986). https://doi.org/10.1007/BF00305492

Download citation

  • Issue Date:

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

Search

Navigation