On Thu, Sep 20, 2012 at 10:38 PM, John E. Clifford <kali9putra@hidden.email> wrote:
Yes. Standard logic since at least 400BCE, so not a change. The change is whether to use restricted or unrestricted quantifier (introduced roughly 1858).
You can start with any basic quanitifiers you want, but that one complicates things a bit formally. Plus sometimes you do need the non-importing version. So why not design the language by making the modern logical "every" the basic one, and allow the language to mark the importing variant exactly those times you need it? You don't need it with ra mlta.
I think what I want to do now is revisit l- but approach it from another direction. Do you know of any good online sources for L-sets, mereology and the like?