素朴集合論とコントラクション (特集 ラッセルのパラドックス・100年)
スポンサーリンク
概要
- 論文の詳細を見る
It is observed by Grishin that inconsistency of naive set theory can be avoided by restricting the logical law of contraction, as it is contraction that enables us to derive logical inconsistency from set-theoretic paradoxes such as Russell's paradox.<BR>In this paper, we examine Grishin's contraction-free naive set theory to better understand Russell's paradox and the naive comprehension principle from a purely formal standpoint. We study both static-propositional and dynamic-procedural aspects of naive comprehension and argue that it could lead to an ideal formalization of (part of) mathematics, where both propositional knowledge (theorems) and procedural knowledge (algorithms) reside in harmony.
- 日本科学哲学会の論文
日本科学哲学会 | 論文
- 時間の推移と記述の固定--マクタガートの「矛盾」に対する第一の書き換え (特集 時間の実在性)
- 書評 永井均著『〈私〉の存在の比類なさ』
- 書評 大庭健著『自分であるとはどんなことか』
- Qualiaの不在
- 書評 河野哲也著『エコロジカルな心の哲学--ギブソンの実在論から』