presented Issues in Semantic Web Logic to 6.898
I recently took a turn leading discussion in the Notions & Notations class; I presented Issues in Semantic Web Logic, a hasty set of slides based on one of TimBL's DesignIssues notes, The Semantic Web as a language of logic. I expected that the idea of dropping the law of excluded middle in order to deal with self-reference paradoxes (liar's paradox, Russel's paradox, ...) would be controversial. It wasn't at all, to this audience. Hmm... See also: LogicalReflection wiki topic.