Footnotes to Plato from the foothills of the Superstition Mountains

Three Senses of ‘Or’

‘Or’ is a troublesome particle in dire need of regimentation. Besides its two disjunctive meanings, the inclusive and the exclusive, there is also what I call the ‘or’ of identity. The inclusive meaning, corresponding to the Latin vel, is illustrated by ‘He is either morally obtuse or intellectually obtuse.’ This allows that the person in question may be both.

The exclusive meaning, corresponding to the Latin aut, is exemplified by the standard menu inscription, ‘soup or salad,’ which means one or the other, but not both. Logicians view the inclusive ‘or’ as a basic propositional connective. Thus our first example would be symbolized by p v q, where p is the proposition expressed by ‘He is morally obtuse’; q the proposition expressed by ‘He is intellectually obtuse’; with ‘v’ — in honor of vel — standing for inclusive disjunction. Exclusive ‘or’ can now be defined as follows: p aut q =df p v q & ~(p & q), where the tilde and the ampersand, both propositional connectives, represent negation and conjunction respectively.


Posted

in

,

by

Tags:

Comments

5 responses to “Three Senses of ‘Or’”

  1. A. Cooper Avatar
    A. Cooper

    A point rather orthogonal to your post, but interesting nonetheless:
    It’s ahistorical to say that aut is logically exclusive. Aut is generally used in situations where the disjuncts are incompatible anyway; the choice of aut versus vel is more of a pragmatic issue than a logical one.
    In fact there’s a fairly broad swath of the semantics literature devoted to the question of whether natural languages even have exclusive or at all. The consensus appears to be that they do not, but instead rely on pragmatics, facts about the world, or explicit “but not both”-type constructions to differentiate between inclusive and exclusive. It’s an interesting topic.

  2. John Cassidy Avatar

    Shouldn’t there be commas around such a parenthetical ‘or’? We’re not completely happy with the first term, so we introduce an alternative one “or if you like…” might be the full construction. In that case, I think it’s more idiom than a construction of logic.
    If it operates on anything it operates on the terms, rather than on the states the terms represent. So you can choose one term or both terms to represent the state if it suits you better.

  3. Ben Udell Avatar
    Ben Udell

    A Finnish woman complained to me about the third sense of “or” (the one which is sometimes expressible by “i.e.”) and that’s when I started using “a.k.a.” oftener.
    I liked Quine’s idea of a word “exclor” for exclusive disjunction, but that sort of thing never catches on. I’d prefer “twexclor” to reinforce the binary aspect, since exclusive “or” doesn’t behave like non-exclusive “or” in longer sequences.
    Could never go along, though, with Quine on the notion that “only if” means “if…then.”

  4. D Bnonn Tennant Avatar

    It’s simple!
    Let “aor” denote non-exclusive disjunctions (short for “and/or”).
    Let “orr” denote exclusive disjunctions (following the idea of “iff”).
    Let “aka” denote alternative expressions.
    There! No need for this “exclor” nonsense. Wasn’t he one of the evil Transformers?

  5. A. Cooper Avatar
    A. Cooper

    I usually write OR and XOR, following the electrical engineering terminology . . .

Leave a Reply to A. Cooper Cancel reply

Your email address will not be published. Required fields are marked *