15 0 0 0 OA 間接検証としての演繹的推論
- 著者
- 大西 琢朗
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (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.
11 0 0 0 OA フォン・ノイマンと「自己」の問題 - セルラー・モデルと自己複製 -
- 著者
- 大西 琢朗
- 出版者
- 京都大学大学院文学研究科哲学研究室
- 雑誌
- 京都大学文学部哲学研究室紀要 : Prospectus
- 巻号頁・発行日
- vol.10, pp.1-20, 2007-12
4 0 0 0 OA フレーゲの論理主義と数の存在論
- 著者
- 大西 琢朗
- 出版者
- 京都大学哲学論叢刊行会
- 雑誌
- 哲学論叢 (ISSN:0914143X)
- 巻号頁・発行日
- vol.33, pp.43-54, 2006
"In Grundlagen, Frege claims that (cardinal) numbers are objects existing on their own. But his realistic view about numbers faces an epistemological problem. For Frege, while numbers are objective entities, they can’t be given to us in standard ways (perception, intuition or representation). Numbers are abstract objects. It is natural then to ask: why would Frege adopt such a problematic ontology of numbers? And, how can we say for certain that there are indeed such abstract objects? This paper tackles these two questions. For the former, I give a characterization of his conception of numbers in terms of his logicist project and the insights underlying it, and show that for Frege numbers must be ‘logical objects’. To establish existence of numbers as logical objects, Frege in Grundlagen attempts to define them contextually by using so-called Hume’s Principle. I examine his argument, thereby attempting to provide an answer to the second question. Though a conclusive justification for his attempt can’t be given in this paper, a concept in Frege’s philosophy is proposed in order to better understand his argument. If developed, I am of the opinion that it might be possible for his ontology of numbers to be come less unproblematic and more substantial. Frege’s discussion on numbers contains compelling insights and arguments. It is my hope that some of these are revealed through this exposition."
2 0 0 0 真矛盾主義とアジア思想:分析アジア哲学の国際研究拠点形成
分析アジア哲学の国際的な共同研究を推進した。具体的には2017年6月に「Dialetheism and Related Issues in Analytic Asian Philosophy」を開催し、アジア思想における「矛盾」の哲学的・論理学的意義に関する討議を行なった。同会議には Graham Priest, Jay Garfield, Mark Siderits, Ricki Bliss, Filippo Casati ら本研究プロジェクトの海外協力研究者が多数参加したのに加え、Wen-Fang Wang, Chih-chiang Hu, Chi-Yen Liu, Chun-Ping Yen (以上、台湾), Kanit Mitnunwong (タイ)といったアジアの研究者も参加した。その後は、この会議を踏まえ、英文論文集発刊のための研究・編集作業を進めた。発表を審査した上で、一定の基準を満たした発表者に対して原稿執筆依頼を行なう一方、外部の執筆者にも寄稿を依頼し、2017年12月から2018年3月にかけて提出された論文について、現在、査読作業を進めている。一方、Jay Garfield, Graham Priest, Robert Sharf ら海外研究協力者と進めている共著 What Can't Be Said の共同執筆の作業も進めた。具体的には2017年6月に四者による集中WSを開催し、その後も、各自が、適宜、メールやスカイプ等を駆使して議論を継続しつつ担当章の執筆を進めた。その結果、2017年年末までには、全章の原稿がほぼ完成し、その後、細部の調整を経て、2018年3月には原稿をOxfold University Press (New York)に送付し出版を依頼したところ、ただちに編集会議で認められ、現在、外部審査員による査読が行なわれている。
1 0 0 0 IR 証明論的意味論と双側面説
1 0 0 0 OA 部分構造論理と論理定項
- 著者
- 大西 琢朗
- 出版者
- 京都大学哲学論叢刊行会
- 雑誌
- 哲学論叢 (ISSN:0914143X)
- 巻号頁・発行日
- vol.36, pp.140-151, 2009
1 0 0 0 二元論的/双対的な意味のモデル-包括的な論理観を目指して
本研究の目的は,多様な論理の妥当性を統一的に説明しうるような「二元論的/双対的な意味のモデル」を,「証明論的意味論」の立場から確立することである。平成26年度はこの目的に照らして(1)「推論のパラドクス」に対する証明論的意味論の立場からの解明,および(2)「様相演算子としての否定」にかんする形式的研究,を行った。(1)について:推論のパラドクスとは,演繹的推論の正当性 (説得力があること) と有用性 (新しい知識の獲得を可能にすること) という2つの特徴のあいだには衝突があるのではないか,という問題である。本研究では,この問題にかんするマイケル・ダメットの議論を批判的に検討し,論文「間接検証としての演繹的推論」として発表した。そこではまず,彼の枠組みのなかでも特に「検証可能性」という様相的な概念に注目し,それが彼の議論においてほんらい意図されている役割を十分に果たせていないということを明らかにし,次に,オルタナティブな推論モデル,すなわち(二元論的/双対的な)「双側面説」をベースにしたモデルを提示し,それがダメットの枠組みの欠陥をある仕方で解消できる,と論じた。(2)について:否定演算子を,いわゆる可能世界意味論によって定式化される様相演算子と捉える研究伝統に対し次のような寄与を行った。第一に,様相としての否定を形式化するシークエント算(ディスプレイ計算)の体系を構築した。第二に,「自己双対的」な否定は「不可能性」と「非必然性」という二種類の否定的様相を同一視することで得られる,ということを明らかにした。これにより,従来の研究で構築されてきた枠組みのなかに含まれていた,いくつかの不自然な点を解消することができた。この研究成果は学会・研究会で口頭発表した後,Australasian Journal of Logicに投稿し,現在,修正の上掲載可という査読結果を得ている。
1 0 0 0 フレーゲの論理主義研究―「思想」の観点から―
本年度は、主に「証明論的意味論」の概念枠組についての批判的検討を行った。証明論的意味論とは、形式的証明体系を形成するシンタクティカルな推論規則から、論理定項にかんする合成的意味論を抽出することを目指す試みである。その意味論的探求は、フレーゲの「文脈原理」と「合成原理」の現代的実現と見ることができる。このような背景のもと、大西は次のような研究を行った。証明論的意味論は、これまで主に、ダメットやプラウィッツといった、構成主義的傾向をもつ論者によって発展させられてきた。そのため、その概念枠組は、直観主義論理に特有の性質が念頭に置かれるなど、明瞭性と一般性にかける面がある。そこで大西は、シークエント算の体系として定式化される、部分構造論理の研究を参照し、従来の証明論的意味論の概念枠組の明瞭化、一般化を試みた。特に注目したのが、「基本論理」という論理体系である。その構築過程で持ち出される意味論的考察と、証明論的意味論の議論を比較することで、証明論的意味論の枠組は、直観主義論理のみに適用可能なものではなく、適当な修正を加えれば、さまざまな論理に適用可能な一般的な枠組になりうることを明らかにした。ただし、その一般的な枠組の詳細な構築は、今後の課題として残った。