58吃瓜

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…