From: Pat Hayes (phayes@ai.uwf.edu)
Date: 12/04/01
>[this conversation has gone somewhat far afield; >let me know if I should stop using joint-committee for it.] > >"Peter F. Patel-Schneider" wrote: >> >> The problem with including meaningful syntax in interpretations is coming >> up with a set of semantic rules that actually work, i.e., don't produce >> paradoxes. > >OK; I can see why this concerns you. > >This sort of concern about paradoxes has convinced me >that we need to drop "P or not P" from the axioms (er.. axiom schemas) >in whatever logic(s) we use for the Semantic Web. That's a classical way out that doesn't really work. That is, it works for the 'negation' paradox, but its easy to construct an equally awkward case that breaks the logic even when it is weakened in this way. But in any case, think about the consequences of dropping 'P or not P'. That is a terrible thing to do to an assertional logic, if you take it seriously. It amounts to saying that P might be neither true nor false, so it can have some other value. So you have in effect made all of Web logic into a three-valued logic. That gets you effectively nothing in functionality, but weakens the logic in all kinds of ways. It basically just makes life more complicated to no purpose. If that third value has a name (and it is usually the truthvalue of (not(P or (not P)) , if negation works at all) then you can develop all the same paradoxes as before. >more related ramblings in... > http://www.w3.org/DesignIssues/Logic.html > > >> But when we try to finish this interpretation by determining CEXT(a) we are >> in trouble. If something is in CEXT(a) then, by the semantic rules for >> complementOf, it has to not be in CEXT(a). If something is not in CEXT(a) >> then, by the semantic rules for complementOf, it has to be in CEXT(a). > >That's the sort of thing that motivates getting rid of "P or not P"... >at least from axioms. I wonder if it allows us to un-answer >questions like this in the semantics. Not all questions like this, unless the logic has no notion of falsehood at all (like LCF). Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST