Formal Ontology based on Temporal Logic
| Project/Area Number |
13610002
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy
|
|---|
| Research Institution | Saitama University |
|---|
Principal Investigator |
KACHI Daisuke Saitama University, Faculty of Liberal Arts, Associate Professor, 教養学部, 助教授 (50251145)
|
|---|
| Project Period (FY) |
2001 – 2003
|
| Project Status |
Completed (Fiscal Year 2003)
|
| Budget Amount *help |
¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2003: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2002: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2001: ¥600,000 (Direct Cost: ¥600,000)
|
|---|
| Keywords | partial logic / temporal modal logic / formal ontology / philosophy of time / time travel / temporal becoming / substance ontology / tensed ontology / 時間論理 / 時間様相 / ディオドロス様相 / オントロジー / 時制 / 様相 / オントロジー工学 |
|---|
| Research Abstract |
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.
|
Report
(4 results)
Research Products
(15 results)
