| Project/Area Number |
13410002
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy
|
|---|
| Research Institution | Tokyo Metropolitan University |
|---|
Principal Investigator |
OKAMOTO Kengo Tokyo Metropolitan University, Philosophy, Associate Professor, 人文学部, 助教授 (00224072)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TANAJI Nobuharu Tokyo Metropolitan University, Philosophy, Professor, 人文学部, 教授 (20112469)
MATSUSAKA Youichi Tokyo Metropolitan University, Philosophy, Associate Professor, 人文学部, 助教授 (50244398)
NOMOTO Kazuyuki Souka University, literature, Professor, 文学部, 教授 (70007714)
IIDA Takashi Keio University, literature, Professor, 文学部, 教授 (10117327)
KANEKO Hiroshi Senshu University, literature, Professor, 文学部, 教授 (60191988)
戸田山 和久 名古屋大学, 文化情報学部, 教授 (90217513)
|
|---|
| Project Period (FY) |
2001 – 2004
|
| Project Status |
Completed (Fiscal Year 2004)
|
| Budget Amount *help |
¥8,600,000 (Direct Cost: ¥8,600,000)
Fiscal Year 2004: ¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 2003: ¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2002: ¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2001: ¥3,000,000 (Direct Cost: ¥3,000,000)
|
|---|
| Keywords | Philosophy of Logic / Philosophy of Mathematics / Realism / Constructivism / Physicalism / Type Theory / Category Theory / Set Theory / 論理学 / 数学 / タルスキ / ブラウワー / 論理主義 / 形式主義 / 直観主義 |
|---|
| Research Abstract |
Today, Realism(Platonism), Constructivis and Physicalistic Nominalism are three representative standpoints in the philosophical foundations of logic and mathematics. While they have their own merits and insights, they all suffer from certain philosophical difficulties peculiar to each of them. One would have to concede that those difficulties are urging us to reconsider the familiar fundamental questions in this field seriously: How should we identify the basic principles of logic and mathematics, and how should we give them adequate explanations and conceptual justifications. We seem to be simply at a loss as to how to answer these questions.
On the other hand, strongly influenced by the rapid growth of theoretical computer sciences, studies in logic and foundations of mathematics have gone through remarkable reformations and innovations for recent decades. Among the most notable developments are (i)systems of Typed Lambda Calculus, (ii)Category theory and (ii) sub-structural logics. T
… More
hese theories throw various new lights on the questions of the fundamental principles, thereby more or less invalidating the opposition between the three standpoints mentioned above, at the same time requiring renewal of interpretations of those historical figures such as Frege, Cantor, Hilbert and Brower.
Unfortunately, philosophers have been, and stall seem to be, very slow to understand and appreciate those innovative, far-reaching insights and proposals provided by the new developments in logic and foundations of mathematics. We attempt to build basic conceptual frameworks in which one could develop extensive philosophical analysis and critical examinations of those insights and proposals. Results of our present research could be summarize by the following two theses: First, we need to establish adequate principles for constructing those formalized languages (syntax) that are sensitive to dynamics of uses of language (egg making judgments, executing computations, etc). Second, in accordance with these syntactical principles, we need to find out relevant principles for constructing those mathematical structures that are flexible enough to admit of various kinds of indeterminacy and patiality. Less
|
