Law of Excluded Middle - Analogous Laws

Analogous Laws

Some systems of logic have different but analogous laws. For some finite n-valued logics, there is an analogous law called the law of excluded n+1th. If negation is cyclic and "∨" is a "max operator", then the law can be expressed in the object language by (P ∨ ~P ∨ ~~P ∨ ... ∨ ~...~P), where "~...~" represents n−1 negation signs and "∨ ... ∨" n−1 disjunction signs. It is easy to check that the sentence must receive at least one of the n truth values (and not a value that is not one of the n).

Other systems reject the law entirely.

Read more about this topic:  Law Of Excluded Middle

Famous quotes containing the words analogous and/or laws:

    You expect far too much of a first sentence. Think of it as analogous to a good country breakfast: what we want is something simple, but nourishing to the imagination. Hold the philosophy, hold the adjectives, just give us a plain subject and verb and perhaps a wholesome, nonfattening adverb or two.
    Larry McMurtry (b. 1936)

    ... I want to live and be happy. I believe that we cannot be one or the other by pushing the absurd to all its consequences. I am like everyone. To feel liberated, I sometimes wish death on my loved ones, I covet the wives forbidden to me by the laws of family and friendship. To be logical, I should then kill or possess. But I judge that these vague ideas are unimportant. I everyone tried to put them to reality, we could neither live nor be happy.
    Albert Camus (1913–1960)