Elbrecht <sirfonts at mac dot com> wrote:
> http://plato.stanford.edu/entries/pm-notation/
>
> "read as ‘the’; is the inverted iota or description operator and is
> used in expressions for definite descriptions, such as (℩x)φx (which
> is read: the x such that φx)."
>
> That's definitely not my cup of tea, but the author Eberhard Conze
> remembers: "I then [1926/27] moved on to Kiel, only to find that
> [Prof. Heinrich] Scholz had succumbed to the craze for modern logic,
> which has dogged my footsteps ever since." (Conze Memoirs Part I, p.
> 8)
>
> [Scholz was pioneering modern logic in Germany at the time the
> "principia mathematica" 2nd was published.]
>
> That's it - maybe?
Fine. Go with it. We certainly haven't seen any evidence to support
encoding it as anything else.
-- Doug Ewell | Thornton, CO, USA http://ewellic.org | @DougEwell Received on Tue Jan 15 2013 - 15:50:50 CST
This archive was generated by hypermail 2.2.0 : Tue Jan 15 2013 - 15:50:51 CST