論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として

• 研究課題/領域番号: 23520036
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 哲学・倫理学
• 研究機関: 慶應義塾大学
• 研究代表者: 岡田 光弘 慶應義塾大学, 文学部, 教授 (30224025)
• 研究期間 (年度): 2011 – 2014
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2013年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2012年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
• キーワード: 哲学 / 論理学 / 直観主義論理 / 論理推論研究 / フッサール論理学 / 論理哲学 / 図形推論 / 証明論 / 数学の哲学 / 線形論理 / ウィトゲンシュタイン / フッサール / 認知論理学 / 直観主義 / 通信プロトコル / 認知科学 / フッサールの論理 / 国際情報交流

研究成果の概要

論理哲学の学際研究を行い成果をあげた。直観主義論理に関す２０世紀初頭以来のこの分野の主要問題の一つと考えられてきたが、これまでの先行研究では論理的手法や数学基礎論手法などの伝統的なものに限られていた。本研究では、認知科学推論研究手法やフッサール現象学論理手法なども取り入れた新しい学際研究手法を構築して、本研究に取り組み、新しい成果をあげた。

研究成果

• [雑誌論文] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. (2014)
  • 著者名/発表者名: Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
  • 雑誌名: Journal of Visual Languages and Computing, accepted 巻: 25 ページ: 156-169
  • 査読あり
• [雑誌論文] Wittgenstein on Equinumerosity and Surveyability (2014)
  • 著者名/発表者名: M.atheu Marion & M.itsuhiro Okada
  • 雑誌名: Grazer Philosophische Studien 巻: 89 ページ: 59-76
  • 査読あり
• [雑誌論文] Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity (2013)
  • 著者名/発表者名: Mitsuhiro Okada
  • 雑誌名: 24th International Conference on Rewriting Techniques and Applications (RTA’13) 巻: 21 ページ: 4-19
  • DOI: 10.4230/LIPIcs.RTA.2013.4
  • 査読あり
• [雑誌論文] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC) (2013)
  • 著者名/発表者名: Ando. J, Shikishima C, Sugimoto Y, Okada M et al. (26 co-authors)
  • 雑誌名: Twin research and human genetics 巻: 16 ページ: 211-254
  • 査読あり
• [雑誌論文] WITTGENSTEIN O N CONTRADICTION AND CONSISTENCY: AN OVERVIEW (2013)
  • 著者名/発表者名: Mathieu Marion and Mitsuhiro Okada
  • 雑誌名: O Que Nos Faz Pensar 巻: Accepted
• [雑誌論文] generalized syllogistic inference system based on inclusion and exclusion relations. (2013)
  • 著者名/発表者名: Koji Mineshima, Mitsuhiro Okada and Ryo Takemura、
  • 雑誌名: Studia Logica (Special issue, Logic and Natural Language） 巻: 100-issue 4
  • 査読あり
• [雑誌論文] Shape Perception in Chemistry (2013)
  • 著者名/発表者名: Janna HASTINGS1, Colin BATCHELOR and Mitsuhiro OKADA,, , accepted, 2013,
  • 雑誌名: Shape 2013, CEUR Proceedings 巻: Accepted
  • 査読あり
• [雑誌論文] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)(Running Title: Twin Projects of the Keio Twin Research Center)、 (2013)
  • 著者名/発表者名: Juko Ando et al. 26 co-authors. (Mitsuhiro Okada as the sub-leader of the logic-Baroco-DecisionMaking subprojects
  • 雑誌名: Twin research and human genetics 巻: Accepted.
• [雑誌論文] Intuition and Form in Formation of Proofs (2013)
  • 著者名/発表者名: 1 Mitsuhiro Okada , , Toyo University, 1913, to appear,Invited Article, .(招待論文)
  • 雑誌名: Annual Report of the International Research Center for Philosophy, Toyo University 巻: Accepted
• [雑誌論文] Wittgenstein et le lien entre la signification d’enonce mathematique et sa preuve, (2012)
  • 著者名/発表者名: Mathieu Marion and Mitsuhiro Okada
  • 雑誌名: Philosophiques, vol. 39, n° 1, 2012, p. 101-124., SPECIAL ISSUE ON WITTGENSTEIN 巻: 39- n1 ページ: 101-124
• [雑誌論文] On the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational per (2012)
  • 著者名/発表者名: Koji Mineshima, Yuri Sato, Ryo Takemura, and Mitsuhiro Okada.spective, Best Paper Award
  • 雑誌名: Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings 巻: Vol-854 ページ: 17-31
  • 査読あり
• [雑誌論文] A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations (2012)
  • 著者名/発表者名: Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
  • 雑誌名: Studia Logic 巻: 近刊 2011年５月採択済み
  • 査読あり
• [学会発表] Twin Study with Allais Paradox (Invited talk) (2012)
  • 著者名/発表者名: Mitsuhiro Okada, Chizuru Shikishima and Juko Ando
  • 学会等名: Biology of decision Making
  • 発表場所: University of Paris, France
  • 招待講演
• [学会発表] Proof Theory for Euler Diagrammatic Inferences(Invited Talk) (2012)
  • 著者名/発表者名: Mitsuhiro Okada
  • 学会等名: The Workshop of INRIA-Beijing Research Center on Software Science
  • 発表場所: INRIA=China Lab, Beijing, China
  • 招待講演
• [学会発表] Twin Study with Allais Paradox (Poster Presentation) (2012)
  • 著者名/発表者名: Mitsuhiro Okada, Shikishima Chizuru et al.
  • 学会等名: International Behavioral Genetics Meeting
  • 発表場所: University of Edingburgh \, UK,
  • 招待講演
• [学会発表] Euler Diagram (Best Paper Award) (2012)
  • 著者名/発表者名: Yuri Sato, Koji Mineshima, Ryo Takemura and Mitsuhiro Okada
  • 学会等名: the 3rd international Euler 2012 Workshop
  • 発表場所: St Andrews University, UK
• [学会発表] What is Logic? (2012)
  • 著者名/発表者名: Mitsuhiro Okada
  • 学会等名: The Kick-off Symposium of the Global Research Center for Logic ans Sensibility
  • 発表場所: Keio University, tokyo
• [学会発表] Diagrammatic Logical Inferences and Proof Theory (2012)
  • 著者名/発表者名: Mitsuhiro Okada
  • 学会等名: The Proof and Program Meeting, INRIA, Place d'Italie
  • 発表場所: INRIA, Paris、France
  • 招待講演
• [学会発表] Goodstein and Wittgenstein (2012)
  • 著者名/発表者名: Mathieu Marion and Mitsuhiro Okada
  • 学会等名: Goodstein Meeting
  • 発表場所: Leichester University, UK
  • 招待講演
• [学会発表] 図形を用いた演繹的推論の認知プロセス (2011)
  • 著者名/発表者名: 佐藤有理、峯島宏次、竹村亮、岡田光弘
  • 学会等名: 2011年度日本認知科学会第28回大会
  • 発表場所: 東京大学
• [学会発表] Two Sources of Rewriting Logic (2011)
  • 著者名/発表者名: 岡田光弘
  • 学会等名: The 17th International Workshop on Logic, Language and Computation(招待講演)
  • 発表場所: University of Philarelphia
• [学会発表] Equational arithmetic in Husserl and Wittgenstein
  • 著者名/発表者名: Mitsuhiro Okada
  • 学会等名: International Workshop on Cognition of interactions
  • 発表場所: Universite Lyon 3,Lyon (フランス)
  • 招待講演
• [学会発表] Husserl and Hilbert on Completeness
  • 著者名/発表者名: Mitsuhiro Okada
  • 学会等名: Programs and Complexity
  • 発表場所: University of Lyon 3, Lyon (フランス)
  • 招待講演
• [学会発表] Philosophy of Arithmetical Proof of Wittgenstein
  • 著者名/発表者名: Mitsuhiro Okada
  • 学会等名: Philosophy Seminar, University of Rome 3
  • 発表場所: University of Rome 3, Rome (イタリア)
  • 招待講演
• [図書] Wittgenstein (Chapter tTitle: La philosophie des mathematiques de Wittgenstein) (2012)
  • 著者名/発表者名: Mathieu Maron and Mitsuhiro Okada (Chapter co-authors), editors:C. Chauvire and s. Plaud
  • 総ページ数: 412
  • 出版者: Ellipses
• [図書] Interdisciplinary Ontology, volume 5 (2012)
  • 著者名/発表者名: 岡田光弘
  • 総ページ数: 6
  • 出版者: Keio University, Logic and foFormal Ontology Open Research Centre
• [図書] CARLS=Keio University Press (2012)
  • 著者名/発表者名: Koji Mineshima, Mitsuhiro Okada, Yuri Sato, and Ryo Takemura
  • 総ページ数: 18
  • 出版者: Advanced Studies on Logic and Sensibility
• [図書] 2011年度日本認知科学会第28回大会発表論文集 (2011)
  • 著者名/発表者名: 佐藤有理、峯島宏次、竹村亮、岡田光弘
  • 総ページ数: 5
  • 出版者: 日本認知科学会