著者

藁谷 敏晴 小山田 圭一

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.39, no.1, pp.31-43, 2011-11-25 (Released:2017-08-01)

参考文献数

67

---

In this paper, we present a logical system which is constructed on the following principles: I) the singular proposition is a universal proposition with a singular term as its subject; II) the identity proposition is a singular proposition with a singular term as its predicate; III) a singular term is a term which designates the only one object. The resulting system is shown to be inferentially equivalent to the original system of Lesniewski's Ontology dating from 1920. We shall present some results on the comprehension axiom and the law of extensionality, too.