description operator
logic
Learn about this topic in these articles:
definite descriptions in LPC
- In formal logic: Definite descriptions
…and (ιx), known as a description operator, can be thought of as forming a name of an individual out of a proposition form. (ιx) is analogous to a quantifier in that, when prefixed to a wff α, it binds every free occurrence of x in α. Relettering of bound variables…
Read More