| Budget Amount *help |
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 2006: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2005: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2004: ¥700,000 (Direct Cost: ¥700,000)
|
|---|
| Research Abstract |
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^<st>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.
|
