The Quantified Argument Calculus – Quarc – is a recent formal logic system invented by Ben-Yami and further expended and applied by other researchers. It was first published in 2014 but is based on work published in the preceding decade. It incorporates quantification in a way different than the one used in Fregean logic, closer to quantification in Natural Language. This deviation leads Quarc to be closer to Natural Language in other respects as well, and consequently it gives, arguably, a better representation of the logic of Natural Language than does the Predicate Calculus.
Following the 2014 publication of the formal system, Ben-Yami and others have published on Quarc, extending and applying it in various ways. A modal system has been developed, a sequent calculus, the relation of Quarc to the Predicate Calculus investigated, Quarc was employed to provide a representation of Aristotle’s logic (which it incorporates), issues of modality and quantification and of existence discussed, and more. There’s also much work in progress being done, on completeness, so-called existential sentences, definite descriptions, axiomatic systems, properties of modal systems and natural deduction for modal systems, and more.
The seminar will start with an introduction to Quarc, which will take around four meetings, and continue with presentations of mostly work in progress, by various researchers working on Quarc.