Aug. 15, 2024
Elias Yuan at the Munich Center for Mathematical Philosophy
Elias Yuan presented at a poster session hosted by the Munich Center for Mathematical Philosophy (MCMP) Summer School in July 2024
On July 24th, 草莓污视频导航 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 草莓污视频导航 Philosophy PhD student Koray Ak莽ag眉ner, titled 鈥淭he 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.