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 the, scope of, scope and/or concept:
“For it is not the bare words but the scope of the writer that gives the true light, by which any writing is to be interpreted; and they that insist upon single texts, without considering the main design, can derive no thing from them clearly.”
—Thomas Hobbes (1579–1688)
“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)
“As the creative adult needs to toy with ideas, the child, to form his ideas, needs toys—and plenty of leisure and scope to play with them as he likes, and not just the way adults think proper. This is why he must be given this freedom for his play to be successful and truly serve him well.”
—Bruno Bettelheim (20th century)
“The new concept of the child as equal and the new integration of children into adult life has helped bring about a gradual but certain erosion of these boundaries that once separated the world of children from the word of adults, boundaries that allowed adults to treat children differently than they treated other adults because they understood that children are different.”
—Marie Winn (20th century)