Against harmony
I Rumfitt - A Companion to the Philosophy of Language, 2017 - Wiley Online Library
This chapter concerns that harmony is a particular relationship between the introduction rule
and the elimination rule for a given connective. The Harmony Thesis says that a connective …
and the elimination rule for a given connective. The Harmony Thesis says that a connective …
[PDF][PDF] 証明論的意味論と双側面説
大西琢朗 - 2012 - repository.kulib.kyoto-u.ac.jp
(論文内容の要旨) 本論文の課題は 「論理法則の正当化 J である. ある前提からある結論が論理的
に帰結することを確立するためには, 論理法則に従った演鐸的推論を行うことが必要であるが …
に帰結することを確立するためには, 論理法則に従った演鐸的推論を行うことが必要であるが …
[PDF][PDF] < サーヴェイ論文> 証明論的意味論における原子ベースと完全性の連関
豊岡正庸 - 科学哲学科学史研究, 2021 - repository.kulib.kyoto-u.ac.jp
証明論的意味論 (Proof-Theoretic Semantics, 以下 PTS) はモデル論的意味論に代わる意味論の
候補として提示されてきた. モデル論的意味論が文の意味を真理値から説明するのに対し, PTS は …
候補として提示されてきた. モデル論的意味論が文の意味を真理値から説明するのに対し, PTS は …