Advances in the Quantified Argument Calculus

September 9, 2021

This event is online

Main speakers:

Central European University
Ludwig Maximilians Universität, München
Hebrew University of Jerusalem
Slovak Academy of Sciences
University of Manchester
Central European University


Central European University
Central European University

Topic areas

Talks at this conference

Add a talk


This online conference will bring together researchers who are currently working on Quarc, to present their most recent results and work-in-progress.

The Quantified Argument Calculus (Quarc) is a new logic system, developed by Hanoch Ben-Yami and other philosophers and logicians. Its basic departure from Frege’s logic is in its treatment of quantification: quantifiers are not sentential operators but connect to one‑place predicates to form arguments – quantified arguments – of other predicates. Quarc is closer to natural language in its syntax and the inferences it validates than the first-order Predicate Calculus, while being at least as strong as the latter.

By now, Quarc comprises a family of closely related systems. On all or some of its versions, Quarc has been shown to be sound and complete; to contain and validate Aristotle’s assertoric logic; it separates quantification from existence, shedding new light on logic’s ontological commitments, and lack thereof; it has been extended to modality, invalidating its analogues of the Barcan formulas; three-valued versions of it have been developed, capturing presupposition failure; additional quantifiers have been incorporated in it, such as ‘most’ and ‘more’; several Quarc proof systems have been developed, including sequent calculi, and its metalogical properties have been researched in depth; the image of the Predicate Calculus it contains shows in what sense quantification in the latter is restricted relative to Quarc’s; and more. Further research is currently being conducted, and there’s much potential in additional directions.

A recording of an introductory talk on Quarc, by Ben-Yami, delivered as a World Logic Day event, and a Quarc publications page, can be reached through the conference site.


timetable and abstracts are found here:
Advances in the Quantified Argument Calculus: Programme and Abstracts | Department of Philosophy (

Hanoch Ben-Yami (Central European University, Vienna)
On ‘There Is’: Logical Investigations into Instantial Sentences

Norbert Gratzl (MCMP, LMU Munich)
Edi Pavlovic (MCMP, LMU Munich)
Proof Theory of Modal Quantified Argument Calculus

Ran Lanzet (The University of Haifa; Edelstein Center, Hebrew University of Jerusalem)
Quantification, Ontology, and Quarc

Elio La Rosa (MCMP, LMU Munich)
Edi Pavlović (MCMP, LMU Munich)
A Nested Sequent Calculus for Quarc

Matteo Pascucci (Slovak Academy of Sciences, Bratislava; Central European University, Vienna)
Jonas Raab (University of Manchester)
A Geometrical Analysis of Modalities in Quarc

Hongkai Yin (Central European University, Vienna)
Quarc and a Decidable Fragment of Predicate Logic


Registration is free but required. To register and obtain a link to the conference talks, please write to [email protected]


Hanoch Ben-Yami
Hongkai Yin

Contact: [email protected]

Supporting material

Add supporting material (slides, programs, etc.)




September 7, 2021, 11:45pm CET

Who is attending?

2 people are attending:

Central European University
University of Manchester

See all

Will you attend this event?

Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.