agosta john ocscbnevdxqintelcom perhaps interesting observation discussion amazing fact conventional propositional logic operators truth functional truth composite expressions formed function truth arguments context among arguments need taken account someone demonstrate strictly true john mark agosta 408 7650429 machine learning intel corporation santa clara ca 95054 original message nhipljlbixengrorstedu mailtonhipljlbixengrorstedu behalf gzrdaeecsberkeleyedu sent tuesday july 12 2005 348 pm faqengrorstedu subject uai paradox consider following line reasoning let p proposition ronald born new york p infer q ronald born united states q infer r possible ronald born new jersey hand p infer possible ronald born new jersey arrived contradiction wrong note answer question familiarity modal logic needed lotfi zadeh professor graduate school computer science division department electrical engineering computer sciences university california berkeley ca 94720 1776 director berkeley initiative soft computing bisc teloffice 510 6424959 wed 06 aug 2008 075833 0700 uai paradox