Modal Reasoning, Quarc and Metaphysics

Project: Research

Project Details

Description

In ordinary reasoning we often use sentences combining quantifying expressions (such as "all", "some", "most", etc.) and modal expressions (such as "must", "can", "should", etc.). The analysis of the structure and of the interpretation of these sentences has given rise to an intense debate over the last few decades. Many proposals are nowadays available and yet there is little consensus on how to answer fundamental questions like the following:

What counts as an appropriate logical representation of sentences including modal expressions and quantifiers?
What are the semantic ingredients required to interpret such sentences?
Does an interpretation of such sentences commit one to claim the existence of any sort of entity (such as possible worlds, possible individuals, etc.)?

In the present project we will address these questions and related problems within an innovative formal framework that combines modal logic and the Quantified Argument Calculus. The former component offers technical tools that have been corroborated by a long tradition of studies; the latter component offers a new perspective on the relation between natural languages and formal languages.
AcronymMODREQUAM
StatusActive
Effective start/end date1/02/2431/01/27

Collaborative partners

  • Ludwig-Maximilians-Universität München

Funding

  • Austrian Science Fund (FWF) - Principal Investigator Project: €273,252.00

Keywords

  • Modal Reasoning
  • Quarc
  • Metaphysics
  • Modal Logic
  • Ontological Commitment
  • Logic of Natural Languages

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.