dgcthabzianetcom gzrdaeecsberkeleyedu writes 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 overloading term new york using refer city state jeffrey smith _______________________________________________ uai mailing list faqengrorstedu httpssecureengroregonstateedumailmanlistinfouai mon 04 aug 2008 095609 0600 uai paradox