Skip to main content
Log in

Excluded middle and bivalence

  • Published:
Erkenntnis Aims and scope Submit manuscript

Abstract

I consider two related objections to the claim that the law of excluded middle does not imply bivalence. One objection claims that the truth predicate captured by supervaluation semantics is not properly motivated. The second objection says that even if it is, LEM still implies bivalence. I show that LEM does not imply bivalence in a supervaluational language. I also argue that considering supertruth as truth can be reasonably motivated.

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

Access this article

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • McGee V.: 1989 ‘Applying Kripke's Theory of Truth’, Journal of Philosophy 86, 530–539.

    Google Scholar 

  • Sayward C.: 1989, ‘Does the Law of Excluded Middle Require Bivalence?’, Erkenntnis 31, 129–137.

    Google Scholar 

  • van Fraassen B. C.: 1966, ‘Singular Terms, Truth-Value Gaps, and Free Logic’, Journal of Philosophy 63, 481–495.

    Google Scholar 

  • van Fraassen B. C.: 1971, Formal Semantics and Logic, Macmillan, New York.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Day, T.J. Excluded middle and bivalence. Erkenntnis 37, 93–97 (1992). https://doi.org/10.1007/BF00220634

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation