I should respond to this: when I compared “possible” to “exists” earlier, I was comparing modal logic to binary (?) logic, in which things either are true or false, with no “possible” middle ground.
Daniel
If you check Stanford’s site they make the comparison to propositional logic operations “for all” and “there is some” as they relate to necessity and possibility. I’d copy and paste but they use images for the operators and I don’t know how to make sure the symbols will end up here correctly.
http://plato.stanford.edu/entries/logic-modal/
Second part (“2. Modal Logics”), second paragraph, which starts “The operator <>…” explains it. Perhaps this is where the problem is coming in is in looking at the operators differently?
Pete Rose doesn’t smell of lilacs, but then again, he’s not my Auntie. :eek: