Performance information

• 穴と境界をめぐる錯乱(1) ：草は進まず。されど穴は進む。　　　　　　　　　　　　　　　
  加地 大介
  Volume：60, Number：2, First page：51, Last page：67, Mar. 2025
  Japanese, Research institution
• 力能・実体・因果：秋葉氏に答える(2)　　　　　　　　　　　　　　　
  加地 大介
  Volume：60, Number：1, First page：17, Last page：30, Sep. 2024
  Japanese, Research institution
• Predications as Truthbearers　　　　　　　　　　　　　　　
  Daisuke Kachi
  TETSUGAKU-ZASSHI, Volume：137, Number：810, First page：146, Last page：185, Oct. 2023, [Reviewed]
  Japanese, Scientific journal
  共同研究・競争的資金等ID：25992450
• Predication and Truthmaking: An Improvement on the Essentialist Approach to Truthmaking　　　　　　　　　　　　　　　
  Daisuke Kachi
  Asian Journal of Philosophy, Volume：2: 61, First page：1, Last page：15, Oct. 2023, [Reviewed], [Invited]
  English, Scientific journal
  DOI：https://doi.org/10.1007/s44204-023-00119-6
  DOI ID：10.1007/s44204-023-00119-6, 共同研究・競争的資金等ID：25992450
• Why I Reject Growing Block Theory ：Rejoinder to Mr. Akiba (1)　　　　　　　　　　　　　　　
  Daisuke Kachi
  Saitama University Review (Faculty of Liberal Arts), Volume：58, Number：1, First page：27, Last page：44, Oct. 2022
  Japanese, Research institution
  共同研究・競争的資金等ID：25992450;11191799
• 実体主義の論理としての部分論理(1)　　　　　　　　　　　　　　　
  加地大介
  Volume：57, Number：1, First page：21, Last page：36, Sep. 2021
  Japanese, Research institution
  共同研究・競争的資金等ID：25992450
• The Temporality of Truth in Temporal Realism (1)　　　　　　　　　　　　　　　
  Daisuke Kachi
  Saitama University Review (Faculty of Liberal Arts), Volume：56, Number：1, First page：35, Last page：50, Sep. 2020
  Japanese, Research institution
  共同研究・競争的資金等ID：25992450
• Agents: Contemporary Substance Ontology (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi
  Doctoral Thesis (The Univerity of Tokyo), Number：18471, Feb. 2019, [Reviewed]
  Japanese, Doctoral thesis
• 穴の物象性と因果性　　　　　　　　　　　　　　　
  加地大介
  Volume：45, Number：21, First page：70, Last page：88, Nov. 2017, [Invited]
  Japanese, Scientific journal
• Self-unification of Physical Objects and Hylemorphism　　　　　　　　　　　　　　　
  加地大介
  Volume：52, Number：2, First page：97, Last page：105, Mar. 2017
  Japanese, Research institution
  ISSN：1349-824X, CiNii Articles ID：120006309693, CiNii Books ID：AA12017560
• Powers and Modalities　　　　　　　　　　　　　　　
  加地大介
  Volume：51, Number：2, First page：65, Last page：80, 2016
  Japanese, Research institution
  ISSN：1349-824X, CiNii Articles ID：120005754380, CiNii Books ID：AA12017560
• Understanding Spatial Knowledge : An Ontology-Based Representation for Object Identification (Special Issue on Computer Vision and Applications)　　　　　　　　　　　　　　　
  CAO Lu; LAM Antony
  IIEEJ transactions on image electronics and visual computing, Volume：3, Number：2, First page：150, Last page：163, 2015, [Reviewed]
  Spatial descriptions are one of the most effective methods to enable interlocutors to identify which object is being discussed in discourse. In this paper, we propose a framework that can identify an object whose positional relation with another object is indicated verbally by a human. To this end, we construct a spatial knowledge ontology. The ontology is enriched by Description Logic (DL) of concepts, which allows discovering hidden knowledge. We also propose a Spatial Object Dataset that is specifically tailored for our experiments with ontological structures. The dataset currently contains 130 objects and in total of 720 images for object recognition and 360 scenes for spatial recognition. Preliminary experimental results confirmed that the system was able to correctly recognizes human descriptions and identify unknown objects and that understanding human spatial descriptions is efficient for human-machine interaction.
  The Institute of Image Electronics Engineers of Japan, English, Scientific journal
  ISSN：2188-191X, CiNii Articles ID：120005726884, CiNii Books ID：AA12661628
• Object Recognition Based on Human Description Ontology for Service Robots　　　　　　　　　　　　　　　
  Hisato Fukuda; Satoshi Mori; Yoshinori Kobayashi; Yoshinori Kuno; Daisuke Kachi
  IECON 2014 - 40TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, First page：4051, Last page：4056, 2014, [Reviewed]
  We are developing a helper robot able to fetch objects requested by users. This robot tries to recognize objects through verbal interaction with the user concerning the objects that it cannot detect autonomously. We have shown that the system can recognize objects based on an ontology for interaction. In this paper, we extend a human description ontology to link a "human description" to "attributes of objects" for our interactive object recognition framework. We develop an interactive object recognition system based on this ontology. Experimental results confirmed that the system could efficiently recognize objects by utilizing this ontology.
  IEEE, English, International conference proceedings
  DOI：https://doi.org/10.1109/IECON.2014.7049109
  DOI ID：10.1109/IECON.2014.7049109, ISSN：1553-572X, DBLP ID：conf/iecon/FukudaMKKK14, Web of Science ID：WOS:000389471603132
• Recognizing Objects with Indicated Shapes Based on Object Shape Ontology　　　　　　　　　　　　　　　
  Mori Satoshi; Fukuda Hisato; Kobayashi Yoshinori; Kuno Yoshinori; Kachi Daisuke
  The Journal of the Institute of Image Electronics Engineers of Japan, Volume：42, Number：4, First page：477, Last page：485, 2013, [Reviewed]
  Service robots need to be able to recognize objects located in complex environments. Al-though there has been recent progress in this area, it remains difficult for autonomous vision systems to recognize objects in natural conditions. Thus, we propose an interactive object recognition system，which asks the user to verbally provide information about the objects that it cannot recognize. However, humans may use various expressions to describe objects．Meanwhile, the same verbal expression may indicate different meanings depending on the situation. In this paper, we propose a framework of ontology representing such knowledge for interactive object recognition. Then, as the first step, we construct an ontology on object shape and develop an interactive object recognition system based on this ontology. It can recognize objects that have shapes indicated by natural language. We confirm the usefulness of the system through experiments using various daily objects.
  The Institute of Image Electronics Engineers of Japan, Japanese, Scientific journal
  DOI：https://doi.org/10.11371/iieej.42.477
  DOI ID：10.11371/iieej.42.477, ISSN：0285-9831, CiNii Articles ID：130005108141, CiNii Books ID：AA12563298
• Object Recognition for Service Robots through Verbal Interaction Based on Ontology　　　　　　　　　　　　　　　
  Hisato Fukuda; Satoshi Mori; Yoshinori Kobayashi; Yoshinori Kuno; Daisuke Kachi
  ADVANCES IN VISUAL COMPUTING, ISVC 2013, PT I, Volume：8033, First page：395, Last page：406, 2013, [Reviewed]
  We are developing a helper robot able to fetch objects requested by users. This robot tries to recognize objects through verbal interaction with the user concerning objects that it cannot detect autonomously. Since the robot recognizes objects based on verbal interaction with the user, such a robot must by necessity understand human descriptions of said objects. However, humans describe objects in various ways: they may describe attributes of whole objects, those of parts, or those viewable from a certain direction. Moreover, they may use the same descriptions to describe a range of different objects. In this paper, we propose an ontological framework for interactive object recognition to deal with such varied human descriptions. In particular, we consider human descriptions about object attributes, and develop an interactive object recognition system based on this ontology.
  SPRINGER-VERLAG BERLIN, English, International conference proceedings
  DOI：https://doi.org/10.1007/978-3-642-41914-0_39
  DOI ID：10.1007/978-3-642-41914-0_39, ISSN：0302-9743, DBLP ID：conf/isvc/FukudaMKKK13, Web of Science ID：WOS:000335391300039
• How should We Understand Contemporary Essentialism?　　　　　　　　　　　　　　　
  加地大介
  Volume：49, Number：2, First page：51, Last page：59, 2013
  Japanese
  ISSN：1349-824X, CiNii Articles ID：120005422983, CiNii Books ID：AA12017560
• The Essence of the Rainbow : Holes, Rainbows, Mirror-images and Sounds　　　　　　　　　　　　　　　
  加地大介
  Volume：48, Number：1, First page：49, Last page：57, 2012
  Japanese
  ISSN：1349-824X, CiNii Articles ID：120005027668, CiNii Books ID：AA12017560
• Serious Copula-Tensing　　　　　　　　　　　　　　　
  Daisuke Kachi
  Interdisciplinary Ontology, Volume：5, First page：67, Last page：73, 2012, [Invited]
  M. Johnston proposed an adverbialist solution to the problem of intrinsic change for enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing the having simpliciter of a property by the standing in a triadic relation to a property and a time, and so is threatened by Bradley's Regress. I agree with Lewis on requiring the having a property to be non-relational, while I disagree with him on restricting it to the having simpliciter. I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor's 'pure becoming'. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming.
  慶應義塾大学 文理融合型「論理学とフォーマルオントロジー」オープンリサーチセンター, English
  CiNii Articles ID：120003989175
• 書評　　　　　　　　　　　　　　　
  加地 大介; 桑島 秀樹; 生越 利昭; 山田 園子; 伊勢 俊彦; 柘植 尚則; 藤田 祐; 桜井 徹; 木島 泰三; 犬塚 元; 大久保 正健; 篠原 久; 島内 明文; 児玉 聡; 山根 明大
  Volume：34, Number：0, First page：65, Last page：95, 2011
  Japanese
  DOI：https://doi.org/10.24587/sbp.2011_065
  DOI ID：10.24587/sbp.2011_065, ISSN：0387-7450, CiNii Articles ID：130006593936
• The Power of Holes　　　　　　　　　　　　　　　
  Daisuke Kachi
  Ontology Meeting: A supplementary volume for 2011, First page：7, Last page：12, 2011, [Invited]
  English, International conference proceedings
• Tense, Endurance and Becoming (1) Tensing the Copula Seriously　　　　　　　　　　　　　　　
  加地大介
  Volume：47, Number：2, First page：123, Last page：144, 2011
  Japanese
  ISSN：1349-824X, CiNii Articles ID：40019321067, CiNii Books ID：AA12017560
• 穴から覗き見る物理主義　　　　　　　　　　　　　　　
  加地 大介
  Number：1030, First page：103, Last page：125, Feb. 2010, [Invited]
  Japanese
  ISSN：0386-2755, CiNii Articles ID：40016919031, CiNii Books ID：AN00104091
• The power of holes　　　　　　　　　　　　　　　
  加地大介
  Saitama University review Faculty of Liberal Arts, Volume：46, Number：2, First page：55, Last page：71, 2010
  Japanese
  ISSN：1349-824X, CiNii Articles ID：120002971235, CiNii Books ID：AA12017560
• Bourne on Future Contingents and Three-valued Logic　　　　　　　　　　　　　　　
  Daisuke Kachi
  Logic and Logical Philosophy, Volume：18, Number：1, First page：33, Last page：43, 2009, [Reviewed]
  the Nicolaus Copernicus University Press, English
  CiNii Articles ID：120001631897
• Four Kinds of Boundary : From an Ontological Point of View　　　　　　　　　　　　　　　
  Daisuke Kachi
  Interdisciplinary Ontology, Volume：2, First page：87, Last page：90, 2009, [Invited]
  Casati and Varzi have developed a theory of boundary based on extensional mereotopology and the distinction between fiat and bona fide boundaries. Firstly, I point out some problems in their theory that are related to the contact of bodies. Next, I propose a way of classification of boundaries into four kinds based on substance ontology and an alternative distinction between potential and actual boundaries. Finally, I will show that my way of classification makes it possible to solve the problems above.
  慶應義塾大学 論理学とフォーマルオントロジー・オープンリサーチセンター, English
  CiNii Articles ID：120001613755
• 現代的実体主義の諸相――実体の独立性をめぐって　　　　　　　　　　　　　　　
  加地大介
  Volume：35, First page：37, Last page：49, 2008, [Invited]
• 現代的カテゴリー論の諸相 (形而上学の可能性)　　　　　　　　　　　　　　　
  加地 大介
  Number：4, First page：334, Last page：357, Nov. 2007, [Invited]
  Japanese
  CiNii Articles ID：40015753806, CiNii Books ID：AA12122623
• Partial Logic as a Logic of Extensional Alethic Modality (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi
  Journal of the Japan Association for Philosophy of Science, Volume：34, Number：2, First page：61, Last page：70, Mar. 2007, [Reviewed]
  In [Kachi 2002a] I made comparison between several definitions of validity in Simple Partial Logic (SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof theory and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we can regard SPL as a logic of extensional alethic modality.
  JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE, Japanese
  DOI：https://doi.org/10.4288/kisoron1954.34.61
  DOI ID：10.4288/kisoron1954.34.61, CiNii Articles ID：10018919292, CiNii Books ID：AN00036945
• Do Time Travelers Suffer from Paradoxes?　　　　　　　　　　　　　　　
  Daisuke Kachi
  Annals of the Japan Association for Philosophy of Science, Volume：15, Number：2, First page：43, Last page：46, 2007, [Reviewed]
  In this paper I give consideration to some apparent impossibilities for the time travelers to the past. After criticizing the views of D. Lewis and K. Vihvelin, I will show in what sense they are really impossible.
  the Japan Association for Philosophy of Science, English
  DOI：https://doi.org/10.4288/jafpos1956.15.95
  DOI ID：10.4288/jafpos1956.15.95, ISSN：0453-0691, CiNii Articles ID：110007033700, CiNii Books ID：AA00026247
• Aspects of formal ontology　　　　　　　　　　　　　　　
  加地大介
  Jahrbuch der japanischen Gesellschaft fur Phanomenologie, Volume：23, Number：23, First page：31, Last page：39, 2007, [Invited]
  Japanese
  ISSN：0289-825X, CiNii Articles ID：40016394337, CiNii Books ID：AN10167699
• Is a Decision-Theorist a Friend or Foe of a Bayesian-Theorist? : Comments on Professor Ichinose’s Paper　　　　　　　　　　　　　　　
  Daisuke Kachi
  Bulletin of Death and Life Studies, Volume：2, First page：43, Last page：45, 2006, [Invited]
• The logic and metaphysics of sortai modality　　　　　　　　　　　　　　　
  加地大介
  Saitama University review Faculty of Liberal Arts, Volume：42, Number：2, First page：1, Last page：14, 2006
  Japanese
  ISSN：1349-824X, CiNii Articles ID：120001369990, CiNii Books ID：AA12017560
• A Realist Methodology for Constructing Ontology　　　　　　　　　　　　　　　
  Daisuke Kachi; Faculty of Liberal Arts Saitama University
  Journal of Japanese Society for Artificial Intelligence, Volume：20, Number：5, First page：595, Last page：603, Sep. 2005, [Reviewed], [Invited]
  Japanese
  ISSN：0912-8085, CiNii Articles ID：110002809468, CiNii Books ID：AN10067140
• Tense and Substance　　　　　　　　　　　　　　　
  KACHI Daisuke
  Saitama University review. Faculty of Liberal Arts, Volume：41, Number：1, First page：1, Last page：13, Sep. 2005
  Saitama University, Japanese
  ISSN：1349-824X, CiNii Articles ID：110006183859, CiNii Books ID：AA12017560
• 分析哲学における伝統的形而上学の復興 (特集=分析哲学) -- (形而上学)　　　　　　　　　　　　　　　
  加地 大介
  Volume：32, Number：8, First page：166, Last page：178, Jul. 2004, [Invited]
  Japanese
  CiNii Articles ID：40006317921, CiNii Books ID：AN00017328
• 可能性から必然性への変化としての時間生成 (特集 時間の矢とは--なぜ時間は一方向に流れるのか?)　　　　　　　　　　　　　　　
  加地 大介
  Volume：42, Number：7, First page：55, Last page：62, Jul. 2004, [Invited]
  Japanese
  ISSN：0386-2240, CiNii Articles ID：40006289957, CiNii Books ID：AN00125207
• Validity in Simple Partial Logic　　　　　　　　　　　　　　　
  Daisuke Kachi
  Annals of the Japan Association for Philosophy of Science, Volume：10, Number：4, First page：139, Last page：153, 2002, [Reviewed]
• Tensed ontology based on simple partial logic　　　　　　　　　　　　　　　
  D Kachi
  NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, First page：141, Last page：145, 2002, [Reviewed]
  Simple partial logic (SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on Lukasiewicz's three-valued logic and branching temporal logic.
  IEEE COMPUTER SOC, English, International conference proceedings
  DOI：https://doi.org/10.1109/TIME.2002.1027487
  DOI ID：10.1109/TIME.2002.1027487, CiNii Articles ID：120001613757, Web of Science ID：WOS:000177066900022
• Tense and Partial Logic　　　　　　　　　　　　　　　
  KACHI Daisuke
  Volume：116, Number：788, First page：115, Last page：130, 2001, [Reviewed]
  Japanese, Scientific journal
  ISSN：0387-3366, CiNii Articles ID：110000262381, CiNii Books ID：AN00150532
• 過去へはなぜ行けないか--タイムトラベル論覚書(1)　　　　　　　　　　　　　　　
  加地 大介
  Volume：34, Number：2, First page：17, Last page：22, 1998
  Japanese
  ISSN：0581-3654, CiNii Articles ID：40001439329, CiNii Books ID：AN00095660
• The Ontology of Many‐Worlds : Modality and Time　　　　　　　　　　　　　　　
  Daisuke Kachi
  The Paideia Archive: Twentieth World Congress of Philosophy, Volume：13, First page：42, Last page：46, 1998, [Reviewed]
  Paideia Project On-Line, English
  CiNii Articles ID：120001613758
• 部分論理と時間様相　　　　　　　　　　　　　　　
  加地 大介
  Volume：33, Number：2, First page：57, Last page：67, 1997
  Japanese
  ISSN：0581-3654, CiNii Articles ID：40001439311, CiNii Books ID：AN00095660
• 生成する指示 (可能世界/固有名<特集>)　　　　　　　　　　　　　　　
  加地 大介
  Volume：23, Number：4, First page：256, Last page：265, Apr. 1995, [Invited]
  Japanese
  CiNii Articles ID：40001110242, CiNii Books ID：AN00017328
• 直接指示と貫時点同一性　　　　　　　　　　　　　　　
  加地 大介
  Number：43, First page：15, Last page：22, 1994
  Japanese
  ISSN：0558-2423, CiNii Articles ID：40001439965, CiNii Books ID：AN00095784
• 過去概念の源泉としての再認――ウィトゲンシュタインの時間論　　　　　　　　　　　　　　　
  加地大介
  Volume：16, First page：17, Last page：28, 1993, [Reviewed]
• 鏡が教えてくれること--鏡像論覚書-1-　　　　　　　　　　　　　　　
  加地 大介
  Number：42, First page：1, Last page：15, 1993
  Japanese
  ISSN：0558-2423, CiNii Articles ID：40001439960, CiNii Books ID：AN00095784
• 外延的様相論理としての3値論理--ウカシェヴィッチの様相論　　　　　　　　　　　　　　　
  加地 大介
  Volume：104, Number：776, First page：193, Last page：209, 1989, [Reviewed]
  Japanese
  ISSN：0387-3366, CiNii Articles ID：40002495448, CiNii Books ID：AN00150532
• 様相としての時制――ミルの時間論　　　　　　　　　　　　　　　
  加地大介
  Volume：2, Number：5, First page：257, Last page：261, 1988, [Invited]
• 逆向き因果と宿命論――ダメットへの一批判(II)　　　　　　　　　　　　　　　
  加地大介
  Volume：7, First page：85, Last page：97, 1988
• マクタガートの擁護のしかた――ダメットへの一批判　　　　　　　　　　　　　　　
  加地大介
  Volume：6, First page：163, Last page：175, 1987
• Time and Logic: Critical Investigations into the Timelessness of Truth in Contemporary Logic (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi
  Master Thesis (The University of Tokyo), Mar. 1986, [Reviewed]
  Japanese, Master thesis

• 書評『虹と空の存在論』(飯田隆 著)　　　　　　　　　　　　　　　
  加地大介
  Volume：53, Number：2, First page：324, Last page：327, Mar. 2021, [Invited]
  Book review
• ブックガイド 「分析哲学：形而上学からの分析哲学」　　　　　　　　　　　　　　　
  加地大介
  Volume：46, Number：4, First page：16, Last page：22, Apr. 2018, [Invited]
  Japanese, Book review
• 書評 『現代形而上学入門』(柏端達也 著)　　　　　　　　　　　　　　　
  加地大介
  Number：3335, First page：3, Last page：3, Jan. 2018, [Invited]
  Japanese, Book review
• ワークショップ報告「論理哲学の源流」　　　　　　　　　　　　　　　
  加地大介
  Volume：130, Number：802, First page：164, Last page：166, Oct. 2015, [Invited]
  Japanese, Meeting report
  ISSN：0387-3366, CiNii Articles ID：40020651660, CiNii Books ID：AN00150532
• D-12-58 A Study on Object Recognition through Verbal Interaction Based on Ontology　　　　　　　　　　　　　　　
  Fukuda Hisato; Kobayashi Yoshinori; Kuno Yoshinori; Kachi Daisuke
  Proceedings of the IEICE General Conference, Volume：2013, Number：2, First page：151, Last page：151, 05 Mar. 2013
  The Institute of Electronics, Information and Communication Engineers, Japanese
  CiNii Articles ID：110009711900, CiNii Books ID：AN10471452
• 書評 『時間様相の形而上学』(伊佐敷隆弘 著)　　　　　　　　　　　　　　　
  加地 大介
  Number：34, First page：65, Last page：67, Mar. 2011, [Invited]
  Japanese, Book review
  ISSN：0387-7450, CiNii Articles ID：40018807392, CiNii Books ID：AN00013859
• D-12-56 Toward Ontology-Based Robot Vision　　　　　　　　　　　　　　　
  Kobayashi Yoshinori; Kuno Yoshinori; Kachi Daisuke
  Proceedings of the IEICE General Conference, Volume：2009, Number：2, First page：165, Last page：165, 04 Mar. 2009
  The Institute of Electronics, Information and Communication Engineers, Japanese
  CiNii Articles ID：110007095934, CiNii Books ID：AN10471452
• 研究成果報告書「種的様相論理に基づく形式存在論」　　　　　　　　　　　　　　　
  加地大介
  Last page：ⅳ+71, Mar. 2007
  Others
• 書評 『ダメットにたどりつくまで--反実在論とは何か』(金子洋之 著)　　　　　　　　　　　　　　　
  加地 大介
  Number：30, First page：135, Last page：137, Mar. 2007, [Invited]
  Japanese, Book review
  ISSN：0387-7450, CiNii Articles ID：40016575495, CiNii Books ID：AN00013859
• ワークショップ報告「報告要旨：コプラとしての時制形態素」　　　　　　　　　　　　　　　
  加地大介
  Volume：15, First page：4, Last page：4, Oct. 2005, [Invited]
  Japanese, Summary national conference
• シンポジウム報告「大会報告：シンポジウムⅡ：時間論 第3報告 実体と時制」　　　　　　　　　　　　　　　
  加地大介
  Volume：29, First page：192, Last page：193, Mar. 2005, [Invited]
  Japanese, Summary national conference
• 解説 『数学原理』Principia Mathematica(1910-1913) ラッセル(1872-1970)+ホワイトヘッド(1861-1947) (ブックガイド60)　　　　　　　　　　　　　　　
  加地 大介
  Volume：32, Number：11, First page：114, Last page：117, Sep. 2004, [Invited]
  Japanese, Introduction scientific journal
  CiNii Articles ID：40006484509, CiNii Books ID：AN00017328
• 書評 『時間論の構築』(中山康雄 著)　　　　　　　　　　　　　　　
  加地 大介
  Volume：37, Number：1, First page：91, Last page：94, Jul. 2004, [Invited]
  Japanese, Book review
  ISSN：0289-3428, CiNii Articles ID：40006383877, CiNii Books ID：AN00037482
• 研究成果報告書「時間論理に基づく形式存在論」　　　　　　　　　　　　　　　
  加地大介
  Last page：ⅲ+55, Mar. 2004
• ワークショップ報告「第35回大会ワークショップ記録Ⅳ. 空間表象の形式理論と存在論」　　　　　　　　　　　　　　　
  加地大介
  Volume：36, Number：1, First page：157, Last page：159, Nov. 2002, [Invited]
  Japanese, Meeting report
• 国際会議報告 FOIS(Formal Ontology in Information System)’01　　　　　　　　　　　　　　　
  加地大介
  Number：21, First page：3, Last page：4, May 2002, [Invited]
  Japanese, Meeting report
• 書評 『オッカム『大論理学』註解I・II』(渋谷克美 訳註)　　　　　　　　　　　　　　　
  加地大介
  Volume：24, First page：85, Last page：86, Mar. 2001, [Invited]
  Japanese, Book review
• 国際会議報告 アリストテレス協会・マインド協会合同学会/ウカシェーヴィチ没後40周年記念学会　　　　　　　　　　　　　　　
  加地大介
  Number：4, First page：6, Last page：7, May 1997, [Invited]
  誤「ウィトゲンシュタインの不思議な赶M」⇒正「ウィトゲンシュタインの不思議な情熱」
  Japanese, Meeting report
• 翻訳 「証明論の哲学的立場」 (数学の文法<特集>)　　　　　　　　　　　　　　　
  Prawiz Dag; 加地 大介
  Volume：18, Number：10, First page：231, Last page：243, Oct. 1990, [Invited]
  Japanese, Book review
  CiNii Articles ID：40001110825, CiNii Books ID：AN00017328
• 翻訳 「一般多様体論の基礎」　　　　　　　　　　　　　　　
  Cantor Georg; 岡本賢吾; 戸田山和久; 加地大介
  Volume：2, Number：5, First page：8, Last page：35, Nov. 1988, [Invited]
  Japanese, Book review
• 翻訳 「悪循環原理――Principia Mathematica序文から」　　　　　　　　　　　　　　　
  Whitehead A.N; Russell B; 岡本賢吾; 戸田山和久; 加地大介
  Volume：1, Number：1, First page：114, Last page：192, Nov. 1987, [Invited]
  Japanese, Book review

• Why do Mirrors Only Reverse Right and Left? : Philosophy of Space and Time (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi, [Single work]
  Kyoikuhyoronsha, May 2024
  ISBN：9784866241005
• Holes and Boundaries： An Ontological Investigation (enlarged edition) (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi, [Single work]
  Shunjusha, Jan. 2023
  Total pages：245
  ISBN：4393329074, ASIN：4393329074, EAN：9784393329078
• The Surprises of Logic: An Introduction to Philosophical Logic (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi, [Single work]
  Kyoikuhyoronsha, Jun. 2020
  Japanese, Total pages：254p
  CiNii Books：http://ci.nii.ac.jp/ncid/BB30950950
  ISBN：9784866240275, CiNii Books ID：BB30950950
• Agents: Contemporary Substance Ontology (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi, [Single work], pp.1-364
  Shunjusha, Dec. 2018
  Japanese, Total pages：ix, 364, 21p
  CiNii Books：http://ci.nii.ac.jp/ncid/BB27383411
  ISBN：9784393323779, CiNii Books ID：BB27383411, 共同研究・競争的資金等ID：11191802;11191801
• 失われたドーナツの穴を求めて　　　　　　　　　　　　　　　
  芝垣亮介; 奥田太郎; 芝垣 亮介; 奥田 太郎, [Contributor]
  Jul. 2017
  Total pages：224
  

  

  
  ISBN：4990956605, ASIN：4990956605, EAN：9784990956608
• 言語をめぐるX章：言語を考える、言語を教える、言語で考える （埼玉大学教養学部リベラルアーツ叢書別冊2：仁科弘之教授退職記念論文集）　　　　　　　　　　　　　　　
  河正一; 島田雅晴; 金井勇人; 仁科弘之, [Contributor]
  Feb. 2017
  Japanese, Total pages：584, Responsible for pages：507-519, Scholarly book
• Contemporary Aristotelian Metaphysics (Japanese Edition)　　　　　　　　　　　　　　　
  加地 大介; 鈴木 生郎; 秋葉 剛史; 谷川 卓; 植村 玄輝; 北村 直彰, [Joint translation]
  Shunjusha, Jan. 2015
  Tuomas E Tahko, Total pages：482
  

  

  
  ISBN：4393323491, ASIN：4393323491, EAN：9784393323496
• 部分と全体の哲学: 歴史と現在　　　　　　　　　　　　　　　
  松田毅 編; 松田 毅, [Joint work]
  Nov. 2014
  Total pages：328
  

  

  
  ISBN：4393323599, ASIN：4393323599, EAN：9784393323595
• 哲学の歴史〈別巻〉哲学と哲学史　　　　　　　　　　　　　　　
  中央公論新社編集部; 中央公論新社編集部, [Contributor]
  Aug. 2008
  Total pages：717
  

  

  
  ISBN：4124035306, ASIN：4124035306, EAN：9784124035308
• 環境のオントロジー　　　　　　　　　　　　　　　
  河野 哲也; 齋藤 暢人; 加地 大介; 柏端 達也; 三嶋 博之; 関 博紀; 溝口 理一郎; 染谷 昌義; 倉田 剛, [Joint work]
  Jul. 2008
  Total pages：281
  

  

  
  ISBN：4393360508, ASIN：4393360508, EAN：9784393360507
• Holes and Boundaries: An Ontological Investigation (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi, [Single work]
  Shunjusha, Mar. 2008
  Total pages：231
  ISBN：4393329066
• イギリス哲学・思想事典　　　　　　　　　　　　　　　
  日本イギリス哲学会; 日本イギリス哲学会, [Contributor]
  Oct. 2007
  Total pages：763
  

  

  
  ISBN：476749074X, ASIN：476749074X, EAN：9784767490748
• 哲学の歴史〈第11巻〉論理・数学・言語 20世紀2　　　　　　　　　　　　　　　
  飯田隆 編; 飯田 隆, [Contributor]
  Apr. 2007
  Total pages：750
  

  

  
  ISBN：4124035284, ASIN：4124035284, EAN：9784124035285
• 現代倫理学事典　　　　　　　　　　　　　　　
  大庭 健 編; 大庭 健; 井上 達夫; 川本 隆史; 加藤 尚武; 神崎 繁; 塩野谷 祐一; 成田 和信, [Contributor]
  Dec. 2006
  Total pages：1100
  

  

  
  ISBN：4335160402, ASIN：4335160402, EAN：9784335160400
• Why Can't We Go to the Past?: A Genuine Introduction to Philosophy (Japanese)　　　　　　　　　　　　　　　
  Daisuke Kachi, [Single work]
  Philosophy Press, Nov. 2003
  Total pages：200
  ISBN：4886791506
• 事典・哲学の木　　　　　　　　　　　　　　　
  永井 均; 小林 康夫; 大澤 真幸; 山本 ひろ子; 中島 隆博; 中島 義道; 河本 英夫, [Contributor]
  Mar. 2002
  Total pages：1088
  

  

  
  ISBN：4062110806, ASIN：4062110806, EAN：9784062110808
• 岩波哲学・思想事典　　　　　　　　　　　　　　　
  廣松 渉 編; 廣松 渉, [Contributor]
  Mar. 1998
  Total pages：1929
  

  

  
  ISBN：4000800892, ASIN：4000800892, EAN：9784000800891
• 現代論理学〈2〉 (マグロウヒル大学演習)　　　　　　　　　　　　　　　
  加地 大介; 斎藤 浩文, [Joint translation]
  Aug. 1996
  ジョン ノルト; デニス ロハティン, Total pages：191
  

  
  ISBN：427413069X, ASIN：427413069X, EAN：9784274130694
• Schaum's Outline of Logic(1st ed.), (Schaum's Outlines) (Japanese Edition)　　　　　　　　　　　　　　　
  加地 大介, [Single translation]
  Ohmsha, Sep. 1995
  John Eric Nolt; Dennis A Rohatyn, Total pages：280
  

  

  
  ISBN：4274130320, ASIN：4274130320, EAN：9784274130328
• リーディングス 数学の哲学―ゲーデル以後　　　　　　　　　　　　　　　
  飯田 隆, [Joint translation]
  Aug. 1995
  飯田隆 編, Total pages：352
  

  

  
  ISBN：4326101040, ASIN：4326101040, EAN：9784326101047
• 真理への反逆―知識と行為の哲学 (富士思想叢書)　　　　　　　　　　　　　　　
  河本英夫; 一ノ瀬正樹; 瀬戸 一夫; 重野 豊隆; 加地 大介; 河本 英夫; 一ノ瀬 正樹, [Joint work]
  Apr. 1994
  Total pages：219
  

  
  ISBN：4892270385, ASIN：4892270385, EAN：9784892270383
• 例題で学ぶ現代論理学〈1〉　　　　　　　　　　　　　　　
  加地 大介, [Single translation]
  Apr. 1994
  ジョン ノルト; デニス ロハティン, Total pages：280
  

  
  ISBN：4895015912, ASIN：4895015912, EAN：9784895015912
• Principia Mathematica(1st ed.): Introduction (Japanese Edition)　　　　　　　　　　　　　　　
  A.N.Whitehead; B. Russell, [Joint translation]
  Philosophy Press, Jul. 1988
  A.N. ホワイトヘッド; B. ラッセル, Total pages：350
  ISBN：4886790232
• Vehicles: Experiments in Synthetic Psychology (Japanese Edition)　　　　　　　　　　　　　　　
  V. Braitenberg, [Single translation]
  Philosophy Press, Jun. 1987
  ヴァレンティノ ブライテンベルク, Total pages：232
  ISBN：4886790135

• 真理の担い手としての述定　　　　　　　　　　　　　　　
  加地 大介
  Oct. 2022, [Invited]
  Oct. 2022 - Oct. 2022, Japanese
  共同研究・競争的資金等ID：25992450
• The Reality of Holes　　　　　　　　　　　　　　　
  Daisuke Kachi
  Tokyo Philosophy Project (Mumford Meeting), May 2017, [Invited], [International conference]
  English, Invited oral presentation
• 「穴と境界」をめぐる哲学的考察　　　　　　　　　　　　　　　
  加地大介
  Jul. 2016, [Invited], [Domestic conference]
  Japanese, Public discourse
• 様相と力能　　　　　　　　　　　　　　　
  加地大介
  Oct. 2015, [Invited], [Domestic conference]
  Japanese, Oral presentation
• Endurance and the Asymmetry of Time　　　　　　　　　　　　　　　
  Daisuke Kachi
  philosophy of mental time Ⅲ:the metaphysics of time, Sep. 2014, [Invited]
  English
• D-12-58 A Study on Object Recognition through Verbal Interaction Based on Ontology　　　　　　　　　　　　　　　
  Fukuda Hisato; Kobayashi Yoshinori; Kuno Yoshinori; Kachi Daisuke
  Proceedings of the IEICE General Conference, Mar. 2013
  Japanese
• 虹と鏡像 ――虹は実在するか　　　　　　　　　　　　　　　
  加地大介
  Jan. 2013, [Invited], [Domestic conference]
  Japanese, Invited oral presentation
• Endurance and Pure Becoming　　　　　　　　　　　　　　　
  Daisuke Kachi
  Tokyo Forum For Analytic Philosophy, May 2012, [Invited]
  English
• Serious Copula Tensing　　　　　　　　　　　　　　　
  Daisuke Kachi
  The 5th Interdisciplinary Ontology Conference (IO’12 Tokyo), Feb. 2012, [Invited], [International conference]
  English, Invited oral presentation
• 時制・耐続・生成：コプラを深く時制化する　　　　　　　　　　　　　　　
  加地大介
  Nov. 2011, [Domestic conference]
  Japanese, Nominated symposium
• The Power of Holes　　　　　　　　　　　　　　　
  Daisuke Kachi
  ONTOLOGY and ANALYTIC METAPHYSICS Meeting, Feb. 2011, [Invited], [International conference]
  English, Invited oral presentation
• 「穴」の力　　　　　　　　　　　　　　　
  加地大介
  Dec. 2010, [Invited], [Domestic conference]
  Japanese, Invited oral presentation
• D-12-56 オントロジーに基づくロボットビジョンの提案(D-12.パターン認識・メディア理解B(コンピュータビジョンとコンピュータグラフィックス),一般セッション)　　　　　　　　　　　　　　　
  小林 貴訓; 久野 義徳; 加地 大介
  Mar. 2009
  Japanese
• Four Kinds of Boundaries: From an Ontological Point of View　　　　　　　　　　　　　　　
  Daisuke Kachi
  The 2nd Interdisciplinary Ontology Conference (IO’09 Tokyo), Feb. 2009, [Invited], [International conference]
  English, Invited oral presentation
• Who is afraid of Holes and Boundaries (as Dependent Entities)?　　　　　　　　　　　　　　　
  加地大介
  Dec. 2008, [Invited], [Domestic conference]
  Japanese, Invited oral presentation
• 現代的実体主義の諸相　　　　　　　　　　　　　　　
  加地大介
  Jul. 2007, [Invited], [Domestic conference]
  Japanese, Invited oral presentation
• 性質に関する中性的一元論について　　　　　　　　　　　　　　　
  崎井将之; 加地大介
  Jun. 2007, [Domestic conference]
  Japanese, Oral presentation
• フォーマル・オントロジーの諸相　　　　　　　　　　　　　　　
  加地大介
  Nov. 2006, [Invited], [Domestic conference]
  Japanese, Nominated symposium
• 実体様相の論理と形而上学　　　　　　　　　　　　　　　
  加地大介
  Oct. 2006, [Invited], [Domestic conference]
  Japanese, Nominated symposium
• Tense Morpheme as Copula　　　　　　　　　　　　　　　
  Daisuke Kachi
  Workshop "Modern Plural Aspects of Modal Logics: from a semantical point of view", Oct. 2005, [Invited], [International conference]
  Japanese, Nominated symposium
• 実体と時制　　　　　　　　　　　　　　　
  加地大介
  Mar. 2005, [Invited], [Domestic conference]
  Japanese, Nominated symposium
• Is a Decision Theorist a Friend or Foe of a Bayesian Theorist?: Comments on Prof. Ichinose's Paper　　　　　　　　　　　　　　　
  Daisuke Kachi
  The Philosophy of Facing Uncertainty, Dec. 2004, [Invited], [International conference]
  English, Nominated symposium
• Can a Hole Rotate?　　　　　　　　　　　　　　　
  Daisuke Kachi
  Interdisciplinary Ontology Forum in Japan, Nov. 2004, [Invited]
  English
• カサティとヴァルツィのメレオトポロジー　　　　　　　　　　　　　　　
  加地大介
  Nov. 2002, [Domestic conference]
  Japanese
• Tensed Ontology based on Simple Partial Logic　　　　　　　　　　　　　　　
  Daisuke Kachi
  Ninth International Symposium on Temporal Representation and Reasoning: TIME-02, Jul. 2002, [International conference]
  English, Oral presentation
• フォーマル・オントロジーと知識工学　　　　　　　　　　　　　　　
  加地大介
  Nov. 2001, [Invited], [Domestic conference]
  Japanese, Nominated symposium
• 部分論理における妥当性について　　　　　　　　　　　　　　　
  加地大介
  Jun. 2000, [Domestic conference]
  Japanese, Oral presentation
• The Ontology of Many-Worlds: Modality and Time　　　　　　　　　　　　　　　
  Daisuke Kachi
  Twentieth World Congress of Philosophy, Aug. 1998, [International conference]
  English, Oral presentation
• 部分論理と時間様相　　　　　　　　　　　　　　　
  加地大介
  Nov. 1996, [Domestic conference]
  Japanese, Oral presentation
• Was Lukasiewicz Wrong?: Three-valued Logic and Determinism　　　　　　　　　　　　　　　
  Daisuke Kachi
  ‘Lukasiewicz in Dublin’: An International Conference on the Work of Jan Lukasiewicz, Jul. 1996
• 入門的論理学教育への非形式論理学の導入について　　　　　　　　　　　　　　　
  加地大介
  Nov. 1994, [Domestic conference]
  Japanese, Nominated symposium
• 過去概念の源泉としての再認――ウィトゲンシュタインの時間論　　　　　　　　　　　　　　　
  加地大介
  Mar. 1992, [Domestic conference]
  Japanese, Oral presentation
• 時点と通時的同一性　　　　　　　　　　　　　　　
  加地大介
  Oct. 1991, [Domestic conference]
  Japanese, Oral presentation
• 再認と宿命論――ウィトゲンシュタインの考察を手がかりとして　　　　　　　　　　　　　　　
  加地大介
  Oct. 1990, [Domestic conference]
  Japanese, Oral presentation

• Apr. 1991 - Present, Japanese Society for British Philosophy
• Apr. 1989 - Present, Philosophy of Science, Japan
• Apr. 1989 - Present, Japan Association for Philosophy of Science
• Apr. 1986 - Present, The Philosophical Association of Japan
• Apr. 1983 - Present, The Society of Philosophy
• Apr. 2001 - Mar. 2011, The Japanese Society for Artificial Intelligence
• Apr. 2001 - Mar. 2009, IPSJ SIG Computers and the Humanities

• Construction of the Correspondence Theory of Truth Based on Partial Truth　　　　　　　　　　　　　　　
  Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Grant-in-Aid for Scientific Research (C), Apr. 2020 - Mar. 2024
  Daisuke KACHI, Saitama University
  論文ID：43886362, 講演・口頭発表等ID：41174997
• Reconstruction of Temporal Realism Based on Fugitive Truth　　　　　　　　　　　　　　　
  Japan Society for the Promotion of Science, Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C), Grant-in-Aid for Scientific Research (C), Apr. 2016 - Mar. 2020
  Daisuke KACHI, Saitama University
  Grant amount(Total)：2470000, Direct funding：1900000, Indirect funding：570000
  This research attempted at reconstructing 'temporal realism', which takes temporal becoming as an ontologically fundamental feature of reality, based on the concept of 'fugitive truth', which admits that truth can be time-dependent. For that purpose, this researcher employed the results of the recent researches on the theories of truthmaking, truthmaker semantics and propositions.
  As a result, this researcher found the ground of temporal becoming in the 'pure becoming', which stands for the endurance of substantial objects. Besides, he realistically characterized the temporality of truth as a consequence of the non-indexical contextualism.
  Grant number：16K02108
• 言語・非言語行動の統合オントロジーに基づくサービスロボット　　　　　　　　　　　　　　　
  Apr. 2014 - Mar. 2019
  Competitive research funding
• Theory of Causation and Substance Ontology Based on Contemporary Power Realism　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(C), Apr. 2013 - Mar. 2016
  Daisuke KACHI, Principal investigator
  Grant amount(Total)：2730000, Direct funding：2100000, Indirect funding：630000
  Competitive research funding
  論文ID：41174952
• オントロジーに基づく地理空間概念・地理学用語の体系化と地理教育内容の標準化の試み　　　　　　　　　　　　　　　
  Apr. 2013 - Mar. 2016
  Coinvestigator not use grants
  Grant amount(Total)：2210000, Direct funding：1700000, Indirect funding：510000
  Competitive research funding, Grant number：25580171
• サービスロボットのためのオントロジーに基づく対話を援用した統合物体認識　　　　　　　　　　　　　　　
  Apr. 2011 - Mar. 2014
  Coinvestigator not use grants
  Grant amount(Total)：15990000, Direct funding：12300000, Indirect funding：3690000
  Competitive research funding, Grant number：23300065
• The Logic and Ontology of Contemporary Essentialism　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(C), 基盤研究(C), Apr. 2010 - Mar. 2013
  Daisuke KACHI, 埼玉大学, Principal investigator
  Grant amount(Total)：2210000, Direct funding：1700000, Indirect funding：510000
  Based upon comparative considerations on several types of essentialism, I adopted ‘the categorial power essentialism', which is basically a variety of the definitional essentialism based on real definitions but which also introduces some aspects of the dispositional essentialism and the minimal essentialism. Standing upon that position, I made real definitions of a hole and a rainbow, both of which are pseudo-substances. The former was defined as a dependent endurant that has the power of fillability. The latter was defined as a phenomenal endurant that lacks real individuality which is required for a real concrete object. Moreover I characterized the endurance, which is a part of essence of substantial objects, as the pure becoming regarded as the trans-moment identity and defended its reality together with that of tense and becoming.
  Competitive research funding, Grant number：22520010
  書籍等出版物ID：13215061
• The Logic and Ontology of Contemporary Substantialism　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(C), 基盤研究(C), Apr. 2007 - Mar. 2010
  Daisuke KACHI, 埼玉大学, Principal investigator
  Grant amount(Total)：2470000, Direct funding：1900000, Indirect funding：570000
  As for the logic of substantialism, I axiomatized, after constructing their syntax and semantics, the systems of Temporal Substantial Logic and Sortal Substantial Logic, which are based upon the atomic sentences that are classified by de copula modalities that derive from the endurance and the essence of substances respectively.
  As for the ontology of substantialism, after comparing the definitions of the independence of substances proposed by several representative contemporary substantialists, I concluded that an essentialist definition based upon the specific independence of essence that E.J. Lowe had come up with was the best.
  Competitive research funding, Grant number：19520011
  書籍等出版物ID：13215061
• 哲学的形式存在論とその知識工学的応用　　　　　　　　　　　　　　　
  Oct. 2007 - Mar. 2008
  Principal investigator
  Competitive research funding
• Formal Ontology Based on Sortal Modal Logic　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(C), 基盤研究(C), Apr. 2004 - Mar. 2007
  Daisuke KACHI, 埼玉大学, Principal investigator
  Grant amount(Total)：1900000, Direct funding：1900000
  Adopting the position that takes sortal modality, which derives from the essences of substances, as one of the important realistic modalities, this research aimed at two objectives : (1)the construction of a formal system of Sortal Modal Logic that can properly deal with the arguments concerning sortal modality and(2)the construction of a system of substance ontology, which takes substances and sorts as the most fundamental entities in the reality.
  As for(1), I constructed the system of Sortal Modal Logic SS5 by adding modal operators and two modal axioms to E.J.Lowe's 1^Order Sortal Logic and extending its basic logic to modal logic S5. Comparing it with Aristotle's Modal Syllogisms, I found that SS5 formally embodies a kind of substance ontology.
  As for(2), firstly I found the following parallelisms between sortal substance modality and temporal substance modality, which derives from the endurance of substances : (a) Both of the categorical, occurrent, dispositional propositions and the past, present, future propositions can be characterized as the propositions that includes de copula predicative modalities that represent a kind of necessity, actuality and possibility respectively. (b)These predicative modalities function as the sufficient conditions of corresponding intensional alethic modalities and represent their sources. (c)While both of the future propositions and the dispositional propositions sometimes lack truth values, the others do not. These differences can be expressed by the extensional alethic modal operators in Simple Partial Logic.
  Then, based on these parallelisms, I characterized both of the sortal substance modality and the temporal substance modality as what are indispensable at the most fundamental level of the concrete realm of reality, and established a framework for an ontological system that takes substances as the most fundamental entities.
  Competitive research funding, Grant number：16520005
• Formal Ontology Based on Temporal Logic　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(C), 基盤研究(C), Apr. 2001 - Mar. 2004
  Daisuke KACHI, 埼玉大学, Principal investigator
  Grant amount(Total)：1600000, Direct funding：1600000
  Taking temporal becoming as one of important aspects in reality, this research aimed at two tasks : one is constructing a formal system of temporal logic that can properly deal with ontological inferences related to temporal becoming, and the other is building up, based on that system, an inclusive ontological theory that gives a principal role to temporal becoming.
  As for the former, I constructed the system of (propositional) temporal partial logic PS4.3. PS4.3 is a system given by making simple partial logic SPL temporal along with S4.3, which is known as a Diodorean modal logic. Since the Kripke frame that characterizes S4.3 is a dense ordered sequence, there the propositions that express possibility can be interpreted as those that insist on their truth at some present or future moments in a dense linear time. After defining the syntax and semantics of PS4.3, I constructed a tableau proof system and showed its soundness, completeness and decidability.
  As for the latter, firstly I built up a system of tensed ontology based on SPL and secondly constructed a system of formal ontology of temporal modality based on PS4.3, in accordance with substance ontology.
  Moreover I made investigations about two ontological problems concerning time : the possibility of time travel and the reality of temporal becoming. As for the former, making a distinction between the real past and the unreal future along the history of a substance, I proved that the time travels to the past that may bring about paradoxes are impossible. As for the latter, finding in the occurrence of an event a temporal direction of changing from possibility to necessity and from unreality to reality, I insisted that we should recognize the reality of temporal becoming in such an occurrence.
  Competitive research funding, Grant number：13610002
• 時間論理の存在論的基礎付け　　　　　　　　　　　　　　　
  Mar. 2001 - Apr. 2001
  Principal investigator
  Competitive research funding
• 時間様相の存在論　　　　　　　　　　　　　　　
  Aug. 2000 - Nov. 2000
  Principal investigator
  Competitive research funding
• Japanese and Logic　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research(B), 基盤研究(B), Apr. 1997 - Mar. 2000
  Takashi IIDA; 金子 洋之; 金沢 誠; 藤本 隆志; Daisuke KACHI; Syun TUTIYA; Mitsuhiro OKADA, 千葉大学->慶応義塾大学->慶應義塾大学
  Grant amount(Total)：6600000, Direct funding：6600000
  A widely accepted opinion has it that any formal semantics for the standard language of logic could not supply an adequate theory of meaning for a natural language. However, a natural language has various aspects which can be profitably described by the standard logical machinery. Our research aimed at identifying such aspects of Japanese that can be handled by the standard semantics for predicate logic, and making a progress towards enriching the standard machinery by some devices for the semantic description of a natural language. We have presented a formal language that corresponds to a Japanese fragment in which various complex non phrases can be freely constructed. In the report of our research, one can find the description of the language and its semantics as well as some philosophical discussion about the methodology.
  Our method has the following features:
  1. If we add a device for various sorts of restricted quantification to the standard first-order predicate logic, we can supply the semantics for many complex noun phrases of Japanese in a systematic way.
  2. We can assign a truth condition almost directly to a Japanese sentence. Our semantics respects the word order of a Japanese sentence.
  3. Our method can provide a formal framework for studying the contributions of various contextual factors in determining the meaning of natural language expressions.
  Competitive research funding, Grant number：09410002
• The Ontology of Temporal Many-worlds Theory　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research, Apr. 1997 - Mar. 1999
  Daisuke KACHI, Principal investigator
  Grant amount(Total)：2200000, Direct funding：2200000
  Competitive research funding
• The Logic and Semantics of Temporal Modality　　　　　　　　　　　　　　　
  Ministry of Education, Culture, Sports, Science and Technology, Grants-in-Aid for Scientific Research, Apr. 1996 - Mar. 1997
  Daisuke KACHI, Principal investigator
  Grant amount(Total)：1000000, Direct funding：1000000
  Competitive research funding