2 0 0 0 OA カルナップの哲学 「アウフバウ」を中心として
2 0 0 0 論理思想の革命 : 理性の分析
1 0 0 0 OA 書評
- 著者
- 石本 新他
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.14, pp.125-132, 1981-11-10 (Released:2009-05-29)
1 0 0 0 OA 古典命題論理再訪 その完全性を中心として
- 著者
- 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.29, pp.107-125, 1996-11-15 (Released:2009-05-29)
- 参考文献数
- 23
Lukasiewicz-type completeness proof of classical propositional logic is presented coupled with the axiomatic rejection for the logic. This is to the effect of much simplifying the completeness proof. On the basis of the consistency of the logic the cut-elimination theorem in the sense of Gentzen is also demonstrated of the logic making use of the axiomatic rejection.
1 0 0 0 OA 命題論理における充足可能性の公理化と公理的拒否の形式化
- 著者
- 金井 範夫 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.29, pp.127-137, 1996-11-15 (Released:2009-05-29)
- 参考文献数
- 13
Axiomatic rejection for Aristotle's syllogistic is not fully arranged as a formal system because one of its rejection rules contains a meta-concept. In this paper, we restrict our discussion to the classical propositional logic and reconstruct the rejection system as a formal system with assumptions. Furthermore, we give the axiomatization of satisfiability through a similar way of the reconstruction of the rejection system.
1 0 0 0 OA レスニェウスキー存在論における確定記述
- 著者
- 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.24, pp.57-73, 1991-11-15 (Released:2009-05-29)
1 0 0 0 OA 自然言語理解の論理的構造 レスニェウスキー存在論の立場から
- 著者
- 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.21, pp.145-159, 1988-11-05 (Released:2009-05-29)
- 参考文献数
- 15
1 0 0 0 OA 言語理解の構造 モンタギュー主義者とレスニェウスキー主義者の対話
1 0 0 0 OA アリストテレス式三段諭法のゲンツェン式定式化
1 0 0 0 OA 古典命題論理における公理的拒否の方法について
- 著者
- 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.14, pp.45-60, 1981-11-10 (Released:2009-05-29)
- 参考文献数
- 13
1 0 0 0 OA 自然言語の論理をめぐって
- 著者
- 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.15, pp.7-14, 1982-11-13 (Released:2009-05-29)
- 参考文献数
- 12
1 0 0 0 OA 論理としてのレスニェウスキー存在論
- 著者
- 石本 新
- 出版者
- 日本科学哲学会
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.12, pp.107-114, 1979-11-10 (Released:2009-05-29)
- 参考文献数
- 10
1 0 0 0 OA 若干の双様相系の構成
- 著者
- 石本 新 藤川 吉美
- 出版者
- The Philosophy of Science Society, Japan
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.2, pp.5-17, 1969-10-10 (Released:2009-05-29)
- 参考文献数
- 7
In this paper some bi-modal systems involving two kinds of modal operators are constructed in Gentzen-type formulations with the proof of the " Hauptsatz " for some of these systems.
1 0 0 0 OA ルイス系S1の部分系S1'の構成とその決定手続きについて
- 著者
- 石本 新 藤川 吉美
- 出版者
- The Philosophy of Science Society, Japan
- 雑誌
- 科学哲学 (ISSN:02893428)
- 巻号頁・発行日
- vol.1, pp.9-22, 1968-10-10 (Released:2009-05-29)
- 参考文献数
- 12
This paper concerns the construction of a modal sentential calculus, which constitutes a subsystem of Lewis' S 1 and a decision method of the proposed calculus. The method represents a generalization of that rendered by McKinsey for Lewis' S 2 as well as for S 4 and is characterized by the construction of all the finite regular matrices containing not more than a certain number of elements specified by the given formula.