Hanoch Ben-Yami: The Quantified Argument Calculus

Lecture by Hanoch Ben-Yami (CEU), organized by GroLog

I present the principles of a logic I have developed, in which quantified arguments occur in the argument position of predicates. That is, while the natural language sentence ‘Alice is polite’ is formalised P(a), the sentence ‘Some students are polite’ is formalised P($S). In several ways, this logic is closer to Natural Language more than is any version of Frege’s Predicate Calculus (PC). I proceed to discuss further features of this new logic, the Quantified Argument Calculus (Quarc). For instance, (continue reading...)