¿Qué es?
No se ha añadido ninguna twiki todavía.
Símbolo (ι, la letra «iota» del alfabeto griego) para introducir en lógica una descripción definida, que se aplica cuando se cree que sólo hay «un tal y tal» que cumple determinadas condiciones.
Ejemplo: el operador iota (ι) permite escribir en lógica de predicados «el único x tal que tiene la propiedad F» como ιx (Fx). La definición de Russell de descripción definida se interpreta como: «el x tal que tiene la propiedad F tiene la propiedad G y nadie más que x tiene la propiedad F» De modo que la notación lógica de «el manco de Lepanto escribió El Quijote» es la siguiente: G(ιX)(Fx), cuyo sentido es equivalente a [math]\exists{}x [/math] (x es el manco de Lepanto y [math]\forall{y}[/math], si y es un manco de Lepanto, entonces y es identico a x), y x escribió El Quijote" O bien, [math]\exists{x} [Fx\wedge [ \forall{y} (Fy \rightarrow{y = x}] \wedge Gx][/math], que también puede leerse: «hay un x tal que: x es el Manco de Lepanto, y todo y que sea Manco de Lepanto es idéntico a x, y x escribió El Quijote».