著者
細川 雄一郎
出版者
日本科学哲学会
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.45, no.1, pp.17-33, 2012-07-30 (Released:2013-06-05)
参考文献数
12

It has been common to formalize counterfactuals (or subjunctive conditionals) in natural language in terms of a certain binary sentential connective, as in Stalnaker [12] and D. Lewis [8]. This paper suggests that another formalization by means of unary multi-modal operators is natural and appropriate for some counterfactuals. To see this naturalness and appropriateness, we observe an instance of transitive inference constituted of three counterfactuals in natural language, and formalize it by using expressive power of multi-modal logic, in particular Hennessy-Milner logic(HML) and Dynamic logic (DL). As a result, the instance of transitive inference turns out to be justified by the multi-modalized version of the most fundamental and familiar rules of modal logic, that is, the necessitation rule (NAct) and the axiom (KAct).

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (1 users, 1 posts, 1 favorites)

反事実条件文推論の動態論理による形式化 https://t.co/EbWkj6l8RO

収集済み URL リスト