直観の形式化と論理的存在論

概要

論文の詳細を見る
0. 存在の論理としての論理学1. 直観の形式化としての形式主義2. レシニェフスキーの論理体系概観3. 意味論的範疇4. 存在論L : その成立史5. 存在論L6. 存在論Lと伝統的存在論7. 存在論Lの定義と定理This is a general survey work over Lesniewski's logical systems. The author tried to represent at first Lesniewski's attitude toward 'intuition', which made him radical 'formal intuitionist' in doing logic. The author made use of his works written in Polish, translating them into Japanese so as to make at least a part of Lesniewski's logical thought be understandable for Japanese logicians interested in Lesniewski's logical systems. Though this study is intended to be a general survey, the author chose especially his second system, Ontology, with the intention to bring out the relation between Lelniewski's logical Ontology and Aristotelian traditional Ontology. The contents are; formalism as formalization of intuition-outline of Lesniewski's logical systems-the origin of Lesniewski's Ontology-Ontology_L-Ontology_L and traditional Ontology-some defintions and theorems in Ontology_L.
慶應義塾大学の論文