The Quantified Argument Calculus

Hanoch Ben-Yami (CEU) gives a talk at the MCMP Colloquium (16 December, 2015) titled "The Quantified Argument Calculus". Abstract: 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 this and several other respects, this logic is closer to Natural Language than is any version of Frege’s Predicate Calculus. I proceed to discuss further features of this logic, the Quantified Argument Calculus (Quarc). For instance, the Quarc incorporates both sentential negation and predication negation. The use of converse relation terms and of anaphors vis-à-vis variables is also discussed. I then concisely introduce the proof system and semantics, and describe the system’s power and its metalogical properties. I conclude by extending the Quarc to modal logic and discussing its treatment of the Barcan formulas.

You can listen to The Quantified Argument Calculus online on Radio and Podcast. Open the player on this page to stream the available audio.

The Quantified Argument Calculus is an episode from MCMP by MCMP Team.

This episode is 00:47:18 long.

This episode was published on Mar 17, 2018.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from MCMP when more episodes are available from the podcast feed.