• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Interdisciplinary Study in Philosophy of Logic - With a special focus on theory of inferences and proofs of intuitionistic logic

Research Project

Project/Area Number 23520036
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Philosophy/Ethics
Research InstitutionKeio University

Principal Investigator

OKADA Mitsuhiro  慶應義塾大学, 文学部, 教授 (30224025)

Project Period (FY) 2011 – 2014
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Keywords哲学 / 論理学 / 直観主義論理 / 論理推論研究 / フッサール論理学 / 論理哲学 / 図形推論 / 証明論 / 数学の哲学 / 線形論理 / ウィトゲンシュタイン / フッサール / 認知論理学 / 直観主義 / 通信プロトコル / 認知科学 / フッサールの論理 / 国際情報交流
Outline of Final Research Achievements

We produced fruitaful results on our interdisciplinary research on philosophy of logic. The issue on intuitionistic logic has been considered one of the important issues in philosophy of logic and philosophy of mathematics. Although the former work had used the traditional logical and mathematical methodologies only, with this research project we introduced new methodologies such as cognitive schientific inference study and Husserlian phenomenological logic, and we gave a new vew on this issue.

Report

(4 results)
  • 2014 Final Research Report ( PDF )
  • 2013 Annual Research Report
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (28 results)

All 2014 2013 2012 2011 Other

All Journal Article (12 results) (of which Peer Reviewed: 8 results) Presentation (12 results) (of which Invited: 8 results) Book (4 results)

  • [Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.2014

    • Author(s)
      Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada
    • Journal Title

      Journal of Visual Languages and Computing, accepted

      Volume: 25 Pages: 156-169

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Wittgenstein on Equinumerosity and Surveyability2014

    • Author(s)
      M.atheu Marion & M.itsuhiro Okada
    • Journal Title

      Grazer Philosophische Studien

      Volume: 89 Pages: 59-76

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity2013

    • Author(s)
      Mitsuhiro Okada
    • Journal Title

      24th International Conference on Rewriting Techniques and Applications (RTA’13)

      Volume: 21 Pages: 4-19

    • DOI

      10.4230/LIPIcs.RTA.2013.4

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Two cohort and three independent anonymous twin projects at the Keio Twin Research Center (KoTReC)2013

    • Author(s)
      Ando. J, Shikishima C, Sugimoto Y, Okada M et al. (26 co-authors)
    • Journal Title

      Twin research and human genetics

      Volume: 16 Pages: 211-254

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] WITTGENSTEIN O N CONTRADICTION AND CONSISTENCY: AN OVERVIEW2013

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Journal Title

      O Que Nos Faz Pensar

      Volume: Accepted

    • Related Report
      2012 Research-status Report
  • [Journal Article] generalized syllogistic inference system based on inclusion and exclusion relations.2013

    • Author(s)
      Koji Mineshima, Mitsuhiro Okada and Ryo Takemura、
    • Journal Title

      Studia Logica (Special issue, Logic and Natural Language)

      Volume: 100-issue 4

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Shape Perception in Chemistry2013

    • Author(s)
      Janna HASTINGS1, Colin BATCHELOR and Mitsuhiro OKADA,, , accepted, 2013,
    • Journal Title

      Shape 2013, CEUR Proceedings

      Volume: Accepted

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] 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

    • Author(s)
      Juko Ando et al. 26 co-authors. (Mitsuhiro Okada as the sub-leader of the logic-Baroco-DecisionMaking subprojects
    • Journal Title

      Twin research and human genetics

      Volume: Accepted.

    • Related Report
      2012 Research-status Report
  • [Journal Article] Intuition and Form in Formation of Proofs2013

    • Author(s)
      1 Mitsuhiro Okada , , Toyo University, 1913, to appear,Invited Article, .(招待論文)
    • Journal Title

      Annual Report of the International Research Center for Philosophy, Toyo University

      Volume: Accepted

    • Related Report
      2012 Research-status Report
  • [Journal Article] Wittgenstein et le lien entre la signification d’enonce mathematique et sa preuve,2012

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Journal Title

      Philosophiques, vol. 39, n° 1, 2012, p. 101-124., SPECIAL ISSUE ON WITTGENSTEIN

      Volume: 39- n1 Pages: 101-124

    • Related Report
      2012 Research-status Report
  • [Journal Article] On the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational per2012

    • Author(s)
      Koji Mineshima, Yuri Sato, Ryo Takemura, and Mitsuhiro Okada.spective, Best Paper Award
    • Journal Title

      Proceedings of 3rd International Workshop on Euler Diagrams,CEUR Workshop Proceedings

      Volume: Vol-854 Pages: 17-31

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations2012

    • Author(s)
      Koji Mineshima, Mitsuhiro Okada, and Ryo Takemura
    • Journal Title

      Studia Logic

      Volume: 近刊 2011年5月採択済み

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Presentation] Twin Study with Allais Paradox (Invited talk)2012

    • Author(s)
      Mitsuhiro Okada, Chizuru Shikishima and Juko Ando
    • Organizer
      Biology of decision Making
    • Place of Presentation
      University of Paris, France
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Proof Theory for Euler Diagrammatic Inferences(Invited Talk)2012

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      The Workshop of INRIA-Beijing Research Center on Software Science
    • Place of Presentation
      INRIA=China Lab, Beijing, China
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Twin Study with Allais Paradox (Poster Presentation)2012

    • Author(s)
      Mitsuhiro Okada, Shikishima Chizuru et al.
    • Organizer
      International Behavioral Genetics Meeting
    • Place of Presentation
      University of Edingburgh \, UK,
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Euler Diagram (Best Paper Award)2012

    • Author(s)
      Yuri Sato, Koji Mineshima, Ryo Takemura and Mitsuhiro Okada
    • Organizer
      the 3rd international Euler 2012 Workshop
    • Place of Presentation
      St Andrews University, UK
    • Related Report
      2012 Research-status Report
  • [Presentation] What is Logic?2012

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      The Kick-off Symposium of the Global Research Center for Logic ans Sensibility
    • Place of Presentation
      Keio University, tokyo
    • Related Report
      2012 Research-status Report
  • [Presentation] Diagrammatic Logical Inferences and Proof Theory2012

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      The Proof and Program Meeting, INRIA, Place d'Italie
    • Place of Presentation
      INRIA, Paris、France
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Goodstein and Wittgenstein2012

    • Author(s)
      Mathieu Marion and Mitsuhiro Okada
    • Organizer
      Goodstein Meeting
    • Place of Presentation
      Leichester University, UK
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 図形を用いた演繹的推論の認知プロセス2011

    • Author(s)
      佐藤有理、峯島宏次、竹村亮、岡田光弘
    • Organizer
      2011年度日本認知科学会第28回大会
    • Place of Presentation
      東京大学
    • Related Report
      2011 Research-status Report
  • [Presentation] Two Sources of Rewriting Logic2011

    • Author(s)
      岡田光弘
    • Organizer
      The 17th International Workshop on Logic, Language and Computation(招待講演)
    • Place of Presentation
      University of Philarelphia
    • Related Report
      2011 Research-status Report
  • [Presentation] Equational arithmetic in Husserl and Wittgenstein

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      International Workshop on Cognition of interactions
    • Place of Presentation
      Universite Lyon 3,Lyon (フランス)
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Husserl and Hilbert on Completeness

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Programs and Complexity
    • Place of Presentation
      University of Lyon 3, Lyon (フランス)
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Presentation] Philosophy of Arithmetical Proof of Wittgenstein

    • Author(s)
      Mitsuhiro Okada
    • Organizer
      Philosophy Seminar, University of Rome 3
    • Place of Presentation
      University of Rome 3, Rome (イタリア)
    • Related Report
      2013 Annual Research Report
    • Invited
  • [Book] Wittgenstein (Chapter tTitle: La philosophie des mathematiques de Wittgenstein)2012

    • Author(s)
      Mathieu Maron and Mitsuhiro Okada (Chapter co-authors), editors:C. Chauvire and s. Plaud
    • Total Pages
      412
    • Publisher
      Ellipses
    • Related Report
      2012 Research-status Report
  • [Book] Interdisciplinary Ontology, volume 52012

    • Author(s)
      岡田光弘
    • Total Pages
      6
    • Publisher
      Keio University, Logic and foFormal Ontology Open Research Centre
    • Related Report
      2011 Research-status Report
  • [Book] CARLS=Keio University Press2012

    • Author(s)
      Koji Mineshima, Mitsuhiro Okada, Yuri Sato, and Ryo Takemura
    • Total Pages
      18
    • Publisher
      Advanced Studies on Logic and Sensibility
    • Related Report
      2011 Research-status Report
  • [Book] 2011年度日本認知科学会第28回大会発表論文集2011

    • Author(s)
      佐藤有理、峯島宏次、竹村亮、岡田光弘
    • Total Pages
      5
    • Publisher
      日本認知科学会
    • Related Report
      2011 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi