Historical Developments and Contemporary Tasks of the Philosophy of Logic and Mathematics in Analytic Philosophy

今年，我们努力对每一项任务进行更多的研究，并对我们的整个任务进行综合考虑。具体地说，在逻辑哲学和数学哲学的历史发展中，我们研究了(1)弗雷格的通用性概念，(2)庞加莱通过与罗素和泽梅洛的争论重建了他的建构性数学观，(3)维特根斯坦对直觉主义哲学的批判，(4)拉姆齐的真理和信仰理论，通过对他的实用主义的思考。关于逻辑哲学的当代任务，我们研究了(5)从情境论到经典真理论和语义学的激进批评，(6)情境论对日语语义学的适应，(7)通过回顾最近对这一问题的研究，研究了一个基本问题：什么是逻辑常量。并围绕数学哲学的当代任务，重点研究了集合论的基础，(8)D·刘易斯对集合论的辩证法重建，(9)达米特从阶级一元论的角度对集合论的批判。并对(10)直觉主义类型理论的新发展进行了综述。因此，我们对集合论在数学哲学中的作用有了一个新的看法，无论是在历史背景下还是在当代的争论中。因此，我们考察了关于数学哲学和逻辑哲学的建设性观点，例如直觉主义。我们还阐明了与计算机科学和其他经验科学重叠的哲学任务。

This year did we try to make much more study of each of our tasks and to give a synthetic view of our whole task. Concretely, concerning the historical development of the philosophy of logic and mathematics,did we study (1)Frege's conception of generality by looking at his text, (2)Poincare's constructive view of mathematics by reconstruct his argument with Russell and Zermelo, (3)Wittgenstein's criticism to intuitionistic philosophy and (4)Ramsey's theory of truth and belief by pondering his pragmatism. And concerning the contemporary tasks of the philosophy of logic, did we study (5)the radical criticism from the situation theory to the classical theory of truth and semantics, (6)an adaptation of situation theory to the semantics of Japanese and (7)an essential question 'what is a logical constant' by surveying recent researches on this matter. And concerning the contemporary tasks of the philosophy of mathematics, did we study, especially about groundings of set theory, (8)D.Lewis' mereological reconstruction of set theory, (9) M.Dummett's criticism to set theory from his class-monistic point of view. And we made a survey of (10)new developments of the intuitionistic type theory. We, therefore, have gained a new vision of the part which set theory plays in the philosophy of mathematics both in the historical context and in contemporary arguments. And so we have examined constructive views, e.g. intuitionism, both for the philosophy of mathematics and for the philosophy of logic. And we have clarified philosophical tasks which overlap computer science and other empirical sciences.