Metaphysics and Logic Seminar Thomas Randriamahazaka Title: A Neo-Meinongian Logic Based on Lambda-Abstraction
Abstract: Meinong’s object theory is thought by many to be inconsistent (or even trivial). Indeed, its most straightforward formalisation in second-order logic is. However, contemporary logicians have developed more subtle formalisations of Meinong’s…