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)
“You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
—Alexander Herzen (1812–1870)