Levi Stephen wrote: >I seem to remember there was a proto or proposal trying to define >statements like these in more >detail, but I can't find it right now.
"clarify Mother, May I?", proposal 5136, rejected with VI=1.25. You voted against it; it would have been adopted if you'd voted in favour instead. >This is starting to remind me of this paper: >http://www.cs.virginia.edu/~evans/cs655/readings/steele.pdf A brilliant paper. Quite persuasive in its point, I think. >Maybe R754(3) could (or is that COULD ;) ) be relied on in more cases. I don't think that can cover most logical connectives in its current state. That, and some potential variation in the natural-language meanings, was why Murphy argued for explicit definitions in my proposal. -zefram
