BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260605T132332Z
DTSTART;TZID=Europe/Vienna:20210909T100000
DTEND;TZID=Europe/Vienna:20210909T170000
SUMMARY:Advances in the Quantified Argument Calculus
UID:20260608T135755Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/Vienna
LOCATION:Vienna\, Austria
DESCRIPTION:<p>This online conference will bring together researchers who are currently working on Quarc\, to present their most recent results and work-in-progress.</p>\n<p>The Quantified Argument Calculus (Quarc) is a new logic system\,&nbsp\;developed by&nbsp\;Hanoch Ben-Yami&nbsp\;and other&nbsp\;philosophers and logicians. Its basic departure from Frege&rsquo\;s logic is in its treatment of quantification: quantifiers are not sentential operators but connect to one‑place predicates to form arguments &ndash\;&nbsp\;quantified&nbsp\;arguments &ndash\; 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.</p>\n<p>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&rsquo\;s assertoric logic\; it separates quantification from existence\, shedding new light on logic&rsquo\;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 &lsquo\;most&rsquo\; and &lsquo\;more&rsquo\;\; 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&rsquo\;s\; and more. Further research is currently being conducted\, and there&rsquo\;s much potential in additional directions.</p>\n<p>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.</p>\n<p>==================<br>TALKS<br>==================</p>\n<p>timetable and abstracts are found here:<br><a href="https://philosophy.ceu.edu/advances-quantified-argument-calculus-programme-and-abstracts">Advances in the Quantified Argument Calculus: Programme and Abstracts | Department of Philosophy (ceu.edu)</a></p>\n<p>Hanoch Ben-Yami (Central European University\, Vienna)<br> <strong>On &lsquo\;There Is&rsquo\;: Logical Investigations into Instantial Sentences</strong></p>\n<p>Norbert Gratzl (MCMP\, LMU Munich)<br> Edi Pavlovic (MCMP\, LMU Munich)<br> <strong>Proof Theory of Modal Quantified Argument Calculus</strong></p>\n<p>Ran Lanzet (The University of Haifa\; Edelstein Center\, Hebrew University of Jerusalem)<br> <strong>Quantification\, Ontology\, and Quarc</strong></p>\n<p>Elio La Rosa (MCMP\, LMU Munich)<br> Edi Pavlović (MCMP\, LMU Munich)<br> <strong>A Nested Sequent Calculus for Quarc</strong></p>\n<p>Matteo Pascucci (Slovak Academy of Sciences\, Bratislava\; Central European University\, Vienna)<br> Jonas Raab (University of Manchester)<br> <strong>A Geometrical Analysis of Modalities in Quarc</strong></p>\n<p>Hongkai Yin (Central European University\, Vienna)<br> <strong>Quarc and a Decidable Fragment of Predicate Logic</strong></p>\n<p>==================<br>REGISTRATION<br>==================</p>\n<p>Registration is free but required. To register and obtain a link to the conference talks\, please write to&nbsp\;Quarc@CEU.edu.</p>\n<p>==================<br>ORGANISERS<br>==================</p>\n<p>Hanoch Ben-Yami<br>Hongkai Yin</p>\n<p>Contact:&nbsp\;Quarc@CEU.edu</p>
ORGANIZER;CN=Hanoch Ben-Yami;CN=Hongkai Yin:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR