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…