Mathematical Logic
In much formal work, authors use a definite description operator symbolized using . The operator is usually defined so as to reflect a Russellian analysis of descriptions (though other authors, especially in linguistics, use the operator with a Fregean semantics). Thus
- ,
means "the unique such that ", and
is stipulated to be equivalent to "There is exactly one and it has the property ":
Read more about this topic: Definite Description
Famous quotes containing the words mathematical and/or logic:
“The most distinct and beautiful statement of any truth must take at last the mathematical form.”
—Henry David Thoreau (1817–1862)
“Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
—Sir Peter Frederick Strawson (b. 1919)