内容説明
この論文集の主な目的は、レスニェウスキーの論理学、とくにその存在論、すなわちレスニェウスキー存在論に関する研究をまとめたものである。
目次
第１章 抽象を含むレスニェウスキー存在論について
第２章 レスニェウスキー存在論の命題論理的部分系とその完全性
第３章 レスニェウスキー存在論の解釈―レスニェウスキー存在論の命題論理的部分系と関連する系について
第４章 レスニェウスキー初等存在論の部分理論に関する分離定理と翻訳定理の構成的証明
第５章 古典命題論理における公理的拒否の方法とその応用について
第６章 中世論理学の三段論法と単称判断
第７章 レスニェウスキー存在論の部分系Ｌ１における公理的拒否
第８章 レスニェウスキー存在論の命題論理的部分系とその簡略化した定式化
第９章 レスニェウスキー存在論の一階述語論理的部分系と論理文法との関連について
第１０章 初等レスニェウスキー存在論のための新しい公理系
第１１章 アリストテレスの三段論法のヒルベル式定式化に関する一考察
第１２章 正規様相論理を特徴づけるモデルの集合に関する覚え書
第１３章 連立様相論理の構成における連結の公理とそのフレーム
第１４章 強い否定を含む構成論理に関する一考察―その健全性と完全性
第１５章 三段論法のゲンツェン式定式化とその一階述語論理のモデルに関する完全性について
-
- 洋書
- Sonatine
