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:
“What is history? Its beginning is that of the centuries of systematic work devoted to the solution of the enigma of death, so that death itself may eventually be overcome. That is why people write symphonies, and why they discover mathematical infinity and electromagnetic waves.”
—Boris Pasternak (1890–1960)
“Histories make men wise; poets witty; the mathematics subtle; natural philosophy deep; moral grave; logic and rhetoric able to contend.”
—Francis Bacon (1561–1626)