Talk: Jonas Raab (MCMP)

Title:

Essential QUARC

Abstract:

Hanoch Ben-Yami introduced a novel logical system called the QUantified ARgument Calculus (QUARC) which is meant to better capture the logic of natural language. As such, QUARC incorporates, for example, anaphora, predication-negation, and reorders of predicates. However, these features also cause the formalism to be more difficult to study. In this paper, I consider several sub-systems of QUARC and show that, modulo translations, they contain everything logically essential to QUARC. In particular, I show that a sub-system (called 'QUARC-') which neither contains unnecessary anaphora, predication-negation, nor reorders, modulo translations, still proves everything QUARC proves and that QUARC even takes the translation of any QUARC sentence into a QUARC- sentence to be equivalent to the translated sentence.