Scholarlink

<p>The key idea of this paper is that grounds are a special kind of reasons, so their logic is part of the logic of reasons. We outline a natural deduction calculus that provides a basic formal characterization of reasons and enables us to obtain some distinctive and relatively uncontentious principles about grounds. Then we show that the calculus outlined is consistent and decidable, which we take to be an interesting result in its own right.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Reasons and Grounds: A Proof-Theoretical Investigation

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年12月5日

查看全文
  • Francesco A. Genco,
  • Andrea Iacona

摘要

The key idea of this paper is that grounds are a special kind of reasons, so their logic is part of the logic of reasons. We outline a natural deduction calculus that provides a basic formal characterization of reasons and enables us to obtain some distinctive and relatively uncontentious principles about grounds. Then we show that the calculus outlined is consistent and decidable, which we take to be an interesting result in its own right.