Elias Yuan at the Munich Center for Mathematical Philosophy

On July 24th, UCalgary Philosophy MA student Elias Yuan presented at a poster session held by the Munich Center for Mathematical Philosophy (MCMP) Summer School at the Ludwig-Maximilians-Universität München (LMU). The poster was on a co-authored project with UCalgary Philosophy PhD student Koray Akçagüner, titled “The Non-Equivalence of the Law of Excluded Middle and Double Negation Elimination”.  This project called attention to the fact that while Double Negation Elimination (DNE) is a corollary of the Law of Excluded Middle (LEM), LEM is not a corollary of DNE, and presented a constructive interpretation of DNE and LEM which may help further our understanding of their non-equivalence.