Skip to main content
SpringerLink
Log in

Four valued semantics and the Liar

  • 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

  1. Belnap, N. D.: ‘A useful four-valued logic’, in Dunn and Epstein (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977.

    Google Scholar 

  2. Belnap, N. D.: ‘Gupta's rule of revision theory of truth’, Journal of Philosophical Logic 11 (1982), 103–116.

    Google Scholar 

  3. Blamey, S. R.: ‘Partial valued logic’, Dissertation, University of Oxford, 1980.

  4. Dowden, B. H.: ‘The Liar paradox and Tarski's undefinability theorem’, Dissertation, Stanford University, 1979.

  5. Dunn, J. M.: ‘Intuitive semantics for first-degree entailments and “coupled trees”’, Philosophical Studies 29 (1976), 149–168.

    Google Scholar 

  6. Dunn, J. M.: ‘A relational representation of quasi-Boolean algebras’, Notre Dame Journal of Formal Logic 23 (1982), 353–357.

    Google Scholar 

  7. Feferman, S.: ‘Towards useful typefree theories, I’, to appear in Martin (ed.), New Essays on Truth and the Liar Paradox.

  8. Gupta, A.: ‘Truth and paradox’, Journal of Philosophical Logic 11 (1982), 1–60.

    Google Scholar 

  9. Herzberger, H. G.: ‘Notes on naive semantics’, Journal of Philosophical Logic 11 (1982), 61–102.

    Google Scholar 

  10. Herzberger, H. G.: ‘Naive semantics and the Liar paradox’, The Journal of Philosophy 79 (1982), 479–497.

    Google Scholar 

  11. Kripke, S.: ‘Outline of a theory of truth’, The Journal of Philosophy 72 (1975), 690–716.

    Google Scholar 

  12. Manna, Z. and Shamir, A.: ‘The theoretical aspects of the optimal fixedpoint’, Siam Journal of Computing 5 (1976), 414–426.

    Google Scholar 

  13. Manna, Z. and Shamir, A.: ‘The convergence of functions to fixed-points of recursive definitions’, Theoretical Computer Science 6 (1978), 109–141.

    Google Scholar 

  14. Martin, R. L. (ed): New Essays on Truth and the Liar Paradox, Oxford (to appear).

  15. McGee, V.: ‘Technical notes on three systems of naive semantics’, UC Berkeley (to appear).

  16. Moschovakis, Y. N.: Elementary Induction on Abstract Structures, North-Holland, Amsterdam, 1974.

    Google Scholar 

  17. Smoryński, C.: ‘The incompleteness theorems’, Handbook of Mathematical Logic, Barwise (ed.), North-Holland, 1977.

  18. Visser, A.: ‘The Liar paradox’, Lecture Notes, University of Utrecht, 1980/81.

  19. Woodruff, P. W.: ‘Paradox, truth and logic, Part I: Paradox and truth’, Journal of Philosophical Logic 13 (1984), 213–232 (this issue)

    Google Scholar 

  20. Yablo, S.: ‘Grounding, dependence and paradox’, Journal of Philosophical Logic 11 (1982), 117–137.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centrale Interfaculteit, Filosofisch Instituut, Heidelberglaan 2, 3508 TC, Utrecht, The Netherlands

    Albert Visser

Authors
  1. Albert Visser
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The present paper was written during a one year visit to Stanford. I wish to thank the Stanford Philosophy Department for providing me the opportunity to work in their nice atmosphere. I am grateful to Nuel Belnap, Solomon Feferman and Peter Woodruff for stimulating discussions.

This paper is a successor of an earlier unpublished draft “Sketchy Notes on Four Valued Logic and a ‘Solution’ of the Liar”. Shortly after writing Sketchy Notes I received Peter Woodruff's “Paradox, Truth and Logic. Part I: Paradox and Truth”. In the process of transmutation of “Sketchy Notes” into the present paper I have not hesitated to use certain ideas of Peter Woodruff — especially his notion of overlap — to improve both contents and presentation.

Section 3.3 on Iterations is an adaptation of Herzberger's earlier work on iterations. Most of the ideas of that section have to be credited to him.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Visser, A. Four valued semantics and the Liar. J Philos Logic 13, 181–212 (1984). https://doi.org/10.1007/BF00453021

Download citation

  • Issue Date:

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

Search

Navigation