return to list of latest ideas

Single Idea 21605

[catalogued under 5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle]

Full Idea

The logical law of excluded middle (now the standard one) is the schema 'A or not A' in the object-language.

Gist of Idea

Excluded Middle is 'A or not A' in the object language


Timothy Williamson (Vagueness [1994], 5.2)

A Reaction

[He cites Henryk Mehlberg 1958] See Idea 21606. The only sensible way to keep Excluded Middle and Bivalence distinct. I would say: (meta-) only T and F are available, and (object) each proposition must have one of them. Are they both normative?

Book Reference

Williamson,Timothy: 'Vagueness' [Routledge 1996], p.145

Related Idea

Idea 21606 'Bivalence' is the meta-linguistic principle that 'A' in the object language is true or false [Williamson]