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
