Consistency
A formal theory using "⊥" connective is defined to be consistent if and only if the false is not its theorem. In the absence of propositional constants, some substitutes such as mentioned above may be used instead to define consistency.
Read more about this topic: False (logic)
Famous quotes containing the word consistency:
“The lawyer’s truth is not Truth, but consistency or a consistent expediency.”
—Henry David Thoreau (1817–1862)
“All religions have honored the beggar. For he proves that in a matter at the same time as prosaic and holy, banal and regenerative as the giving of alms, intellect and morality, consistency and principles are miserably inadequate.”
—Walter Benjamin (1892–1940)