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
Source
Timothy Williamson (Vagueness [1994], 5.2)
Book Reference
Williamson,Timothy: 'Vagueness' [Routledge 1996], p.145
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?
Related Idea
Idea 21606 'Bivalence' is the meta-linguistic principle that 'A' in the object language is true or false [Williamson]