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:
“There was ... a large, shaggy dog, whose nose, report said, was full of porcupine quills. I can testify that he looked very sober. This is the usual fortune of pioneer dogs, for they have to face the brunt of the battle for their race.... When a generation or two have used up all their enemies’ darts, their successors lead a comparatively easy life. We owe to our fathers analogous blessings.”
—Henry David Thoreau (1817–1862)
“Strange and predatory and truly dangerous, car thieves and muggers—they seem to jeopardize all our cherished concepts, even our self-esteem, our property rights, our powers of love, our laws and pleasures. The only relationship we seem to have with them is scorn or bewilderment, but they belong somewhere on the dark prairies of a country that is in the throes of self-discovery.”
—John Cheever (1912–1982)