Scope of The Concept
A statement is “vacuously true” if it resembles the statement, where is known to be false.
Statements that can be reduced (with suitable transformations) to this basic form include the following:
- , where it is the case that .
- , where the set is empty.
- , where the symbol is restricted to a type that has no representatives.
Vacuous truth is usually applied in classical logic, which in particular is two-valued, and most of the arguments in the next section will be based on this assumption. However, vacuous truth also appears in, for example, intuitionistic logic in the same situations given above. Indeed, the first two forms above will yield vacuous truth in any logic that uses material conditional, but there are other logics which do not.
Read more about this topic: Vacuous Truth
Famous quotes containing the words scope of, scope and/or concept:
“Every person is responsible for all the good within the scope of his abilities, and for no more, and none can tell whose sphere is the largest.”
—Gail Hamilton (1833–1896)
“A country survives its legislation. That truth should not comfort the conservative nor depress the radical. For it means that public policy can enlarge its scope and increase its audacity, can try big experiments without trembling too much over the result. This nation could enter upon the most radical experiments and could afford to fail in them.”
—Walter Lippmann (1889–1974)
“Behind the concept of woman’s strangeness is the idea that a woman may do anything: she is below society, not bound by its law, unpredictable; an attribute given to every member of the league of the unfortunate.”
—Christina Stead (1902–1983)