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)
“Those rules of old discovered, not devised,
Are Nature sill, but Nature methodized;
Nature, like liberty, is but restrained
By the same laws which first herself ordained.”
—Alexander Pope (1688–1744)