科学基礎論研究
Online ISSN : 1884-1236
Print ISSN : 0022-7668
ISSN-L : 0022-7668
<数学の哲学>における多元的視点(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)
中山 康雄
著者情報
ジャーナル フリー

2012 年 39 巻 2 号 p. 71-81

詳細
抄録

In this paper, I introduce three criteria for the historical assessment of research activities and apply them to mathematical activities, especially research activities in the set-theory. These criteria are accuracy, expressibility, and coherence. According to my proposal, a research tradition is progressive, when it is more accurate, more expressive and more coherent than its predecessors. A research tradition in a crisis is regressive with respect to at least one of these criteria. This approach is based on a nominalistic non-realism that is connected with a metaphysical position, namely the ontological theory of multiple languages.

著者関連情報
© 2012 科学基礎論研究
前の記事 次の記事
feedback
Top