←back to thread

283 points IdealeZahlen | 6 comments | | HN request time: 1s | source | bottom
1. Symbiote ◴[] No.42140408[source]
In the same Unicode block is "2129 ℩ TURNED GREEK SMALL LETTER IOTA" with explanation "unique element fulfilling a description (logic)".

That seems a ridiculous choice for a symbol — turning one of the most symmetrical letters upside down!

Background: https://philosophy.stackexchange.com/questions/51563/what-is...

replies(2): >>42140934 #>>42141902 #
2. Archelaos ◴[] No.42140934[source]
It could be motivated by the fact that Russell and Whitehead needed a symbol for printing that the printer had in his type case but could not be confused with anything else. Taking a iota and simply turning it upside down would then be a rather ingenious idea. But that is just my speculation ...
replies(2): >>42141354 #>>42142683 #
3. eesmith ◴[] No.42141354[source]
https://math.stackexchange.com/questions/1885938/whats-meani... says 'in the article Frege, Peano and Russell on Descriptions: a Comparison, Francisco A. Rodríguez-Consuegra tracks down the source to Peano's Studii di logica matematica (1897) as where the operator first appears'

That page in 'Studii di logica matematica' appears to be https://archive.org/details/peano-studii-di-logica-matematic... .

It also uses an upside-down C and upside-down E.

replies(1): >>42142600 #
4. schoen ◴[] No.42141902[source]
In the font on my phone it looks confusingly reminiscent of Hebrew vav.
5. Archelaos ◴[] No.42142600{3}[source]
And the Lambda looks like an upside-down V. The bases of all these upside-down letters do not match the baseline of the text. Obviously there were no special upside-down moveable types available of freshly cast for this book. Peano had to creatively repurpose what types were available.
6. masfuerte ◴[] No.42142683[source]
There are loads of examples of this, e.g. ∀ and ∃, but iota is a really poor choice.