Classical negation and expansions of FDE - a podcast by MCMP Team

Michael De (Utrecht) gives a talk at the MCMP Colloquium (14 November, 2012) titled "Classical negation and expansions of FDE" (joint work with Hitoshi Omori (Kobe University, Japan&CUNY, New York)). Abstract: It is sometimes said that classical negation can be recaptured in some systems of non-classical logic. But what exactly *is* classical negation? We endorse and defend one such characterization of classical negation in the context of FDE. We then provide an expansion FDE+ of FDE by this classical negation and show it sound and complete with respect to its intended semantics. Along the way we show that other candidate classical negations to be undefinable in FDE+.

Further episodes of MCMP – Mathematical Philosophy (Archive 2011/12)

Further podcasts by MCMP Team

Website of MCMP Team