1995 Fiscal Year Final Research Report Summary
INCOMPLETENESS THEOREM AND A SYSTEM WITHIN WHICH THE CONSTRUCTION OF A NAME OF A SENTENCE IS POSSIBLE
| Project/Area Number |
06801001
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Philosophy
|
|---|
| Research Institution | TOKYO INSTITUTE OF TECHNOLOGY |
|---|
Principal Investigator |
WARAGAI Toshiharu TOKYO INSTITUTE OF TECHNOLOGY FACULTY OF ENGINEERING PROFESSOR, 工学部, 教授 (80136209)
|
|---|
| Project Period (FY) |
1994 – 1995
|
| Keywords | Incompleteness / Set theory / Definition / Event / Name of Events / General sentence / Knowledge Representation / Ontology |
|---|
| Research Abstract |
The main results of the present reserach are following :
1 We constructed a logical system within which we can construct a name of a sentence by a proper extention of the standard logical system. We thus enriched the expressive power of the logical system.
2 A remarkable feature if the system is that it contains as a theorem a formula that expresses the principle of comprehension. This fact implies that the notions considered to be peculiar to set theory belong to this enriched system. This suggests the inadequacy of the standard logical system the representative means of natural language.
3 In the system thus obtained, we can develop a method by means of which we can distinguish singular sentences from general ones. This method leads us to a solution of [the problem of the unique correspondence between the form and the content of a sentence].
|
