The inverted iota always followed by a variable as following: (ιx)ϕx Some book say the formula should be read "The x such that x is ϕ". Does it is meaning as following: x=ϕ assign ϕ to variable x?
2026-04-02 06:24:21.1775111061
What's meaning of the inverted Greek letter iota “ι” in Principia Mathematica I* 14?
2.3k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
It is not an assignment. $\phi$ is a predicate. $(\iota x)\phi x$ is the one and only object $x$ for which the predicate $\phi$ is true.
For example, if $\phi x$ means "$x$ is the current monarch of the United Kingdom" then $(\iota x)\phi x$ denotes King Charles III. As another example, $(\iota x). x\ge 0\mathrel . x^2=3$ denotes the number $\sqrt 3$.
This is explained in the front matter of the Principia, including what the meaning is when there is no unique $x$ (either because there is none or because there is more than one). If the denoted predicate is not unique, then the truth value of the formula is false.