The Barcan formulas and necessary existence: the view from Quarc

Research output: Contribution to journalArticlepeer-review

Abstract (may include machine translation)

The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus (Quarc), a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is shown by Quarc to be a result of the specific incorporation of quantification in the Predicate Calculus, and not as reflecting a feature of the interaction of quantification and modality more generally. Necessary existence is shown to follow from the identification, in the Predicate Calculus on its canonical interpretation, of particular quantification, ascription of existence and the ‘there is’ construction, three constructions which are distinguished in both Quarc and Natural Language. The issues surrounding the Barcan formulas, their converses and necessary existence are thus shown to be an artefact of a specific logic system, not an essential feature of our relevant modal concepts or of formal logic.

Original languageEnglish
Pages (from-to)11029-11064
Number of pages36
JournalSynthese
Volume198
Issue number11
DOIs
StatePublished - Nov 2021

Keywords

  • Barcan formulas
  • Modal logic
  • Necessary existence
  • Quantification
  • Quantified argument calculus

Fingerprint

Dive into the research topics of 'The Barcan formulas and necessary existence: the view from Quarc'. Together they form a unique fingerprint.

Cite this