Scholarlink

<p>This paper extends Kit Fine’s (2012a, 2012b, 2017a, 2017b, 2017c) truthmaker framework to provide a novel <i>task semantics</i> for tensed counterfactual conditionals. Instead of taking possible worlds to be primitive elements in a model, possible worlds will be defined in terms of <i>states</i>, <i>parthood</i>, <i>tasks</i>, and <i>times</i> where the task relation encodes the possible transitions between states. Rather than invoking primitive relations for similarity or imposition, possible worlds will be compared at a time independent of that time’s past and future where the comparison will be carried out in modal and mereological terms. After reviewing motivations for this approach, I will provide the hyperintensional semantics for counterfactuals that is implemented in the <a href="https://pypi.org/project/model-checker/">model-checker</a> software along with a unified logic for counterfactual, modal, and tense operators. I will then extend the language to include further tense operators in order to analyze forwards, backwards, and backtracking counterfactuals.</p>

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

Counterfactual Worlds

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年6月3日

查看全文
  • Benjamin Brast-McKie

摘要

This paper extends Kit Fine’s (2012a, 2012b, 2017a, 2017b, 2017c) truthmaker framework to provide a novel task semantics for tensed counterfactual conditionals. Instead of taking possible worlds to be primitive elements in a model, possible worlds will be defined in terms of states, parthood, tasks, and times where the task relation encodes the possible transitions between states. Rather than invoking primitive relations for similarity or imposition, possible worlds will be compared at a time independent of that time’s past and future where the comparison will be carried out in modal and mereological terms. After reviewing motivations for this approach, I will provide the hyperintensional semantics for counterfactuals that is implemented in the model-checker software along with a unified logic for counterfactual, modal, and tense operators. I will then extend the language to include further tense operators in order to analyze forwards, backwards, and backtracking counterfactuals.