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)
“The scope of modern government in what it can and ought to accomplish for its people has been widened far beyond the principles laid down by the old “laissez faire” school of political rights, and the widening has met popular approval.”
—William Howard Taft (1857–1930)
“Happy is that mother whose ability to help her children continues on from babyhood and manhood into maturity. Blessed is the son who need not leave his mother at the threshold of the world’s activities, but may always and everywhere have her blessing and her help. Thrice blessed are the son and the mother between whom there exists an association not only physical and affectional, but spiritual and intellectual, and broad and wise as is the scope of each being.”
—Lydia Hoyt Farmer (1842–1903)
“To find the length of an object, we have to perform certain
physical operations. The concept of length is therefore fixed when the operations by which length is measured are fixed: that is, the concept of length involves as much as and nothing more than the set of operations by which length is determined.”
—Percy W. Bridgman (1882–1961)