cbostrum (02/09/83)
I dont think that the / in and/or has any but syncategorematic meaning in this particular case. But it could be contructed as an operator which takes two propositional functions and returns a new one such that: slash(f,g)(x,y) == f(x,y) or g(x,y) so, "and/or" (which really is "and/xor") becomes the traditional "or". the idea with slash is that you use one of its arguments to do the evaluation but not both. you get to choose non deterministically which to use so as to maximise truth value. is this right? i think that or in english is allmost exculsively xor, logically speaking. if you want an amazing amount of variety in your connectives, try japanese!