All -- Perhaps the interesting observation from this discussion is the amazing fact that conventional propositional logic operators are "truth functional" - that the truth of composite expressions formed by AND and OR is just a function of the truth of their arguments, and context among arguments does not need to be taken into account.
(Now someone demonstrate that this is not strictly true :) John Mark Agosta o) 408 765-0429 Machine Learning Intel Corporation Santa Clara, CA 95054 -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of [EMAIL PROTECTED] Sent: Tuesday, July 12, 2005 3:48 PM To: uai@ENGR.ORST.EDU Subject: [UAI] Is it a paradox? Consider the following line of reasoning. Let p be the proposition "Ronald was born in New York." From p, we can infer q: Ronald was born in the United States. From q, we can infer r: It is possible that Ronald was born in New Jersey. On the other hand, from p we can infer s: It is not possible that Ronald was born in New Jersey. We have arrived at a contradiction. What is wrong? Note: To answer the question, familiarity with modal logic is not needed. -- Lotfi A. Zadeh Professor in the Graduate School, Computer Science Division Department of Electrical Engineering and Computer Sciences University of California Berkeley, CA 94720 -1776 Director, Berkeley Initiative in Soft Computing (BISC) Tel.(office): (510) 642-4959 _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
