著者
大西 琢朗
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.42, no.2, pp.81-95, 2015-03-30 (Released:2017-08-31)
参考文献数
27

Dummett's conception of deductive inference as indirect verification underlies his philosophy of logic. It is intended to serve as the core idea to make clear the complex relationships among the key notions such as legitimacy and utility of inference, applicability of deduction to empirical statements, the realist and semantic concept of truth, and so forth. In this paper, we focus on his constructivist idea of justification of inference and point out that it does not play the intended role in the entire picture. In particular, it faces a difficulty in explaining the modal notion of verifiability. Then an alternative model of justification is proposed. It is called bilateralism since it explains legitimacy of inference in terms of (in)coherence between verification and falsification, from which modality involved in justification process is derived.

言及状況

外部データベース (DOI)

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

Twitter (12 users, 16 posts, 22 favorites)

今回は、証明論的意味論の哲学的親玉であるマイケル・ダメット先生の議論をベースに、証明論的意味論の何がそんなにうれしいのか、お話します。 基本的には、拙論↓の内容を2日間かけて解説するという感じになります。 https://t.co/QLvBDv5Xj0
YouTubeのコメントで「主張」と「否認」の関係について質問が出ていたのでこの論文をおすすめしました。便乗して宣伝すると、私の論文↓がそれについて、Restall論文に依拠してねちっこく論じているので興味ある方はどうぞ。用語は「検証」と「反証」を使ってます。 https://t.co/3fQPwj6IJc https://t.co/YVBVydYCPD
どうぞ存分に思い出してください。採点とメール仕事に追われてるので文脈は追えてませんが。 https://t.co/QLvBDv5Xj0

収集済み URL リスト