著者
西脇 与作 藁谷 敏晴
出版者
慶應義塾大学
雑誌
哲學 (ISSN:05632099)
巻号頁・発行日
vol.65, pp.23-49, 1977-01

1. logical valueの論理 : 存在論的価値 1.1. 文、真理値、存在の相互関係 1.2. 真理値と2値性 1.3. 結合子としての同一性記号2. W-言語と理論3. SCIの諸性質 3.1. SCIの基本的定理 3.2. 論理評価と指示 3.3. 論理評価の種類4. SCIの拡張 4.1. 中間的諸システム 4.2. 拡張の過程In this paper, " non-Fregean logics " proposed by R. Suszko are studied ; 1. from a philosophical point of view concerning the necessity of introducing the identity-connective, and 2. from technical point of view concerning logical structure of non-Fregean logics. Analysing the Frege's ambiguity in treating the logical constants 1,0 (in Frege), we were led to the conclusion ; 1) A distinction between valuational two valuedness and ontological (referential) two-valuedness should be made, 2) keeping the valuational two-valuedness (the principle of bivalence), the abolition of ontological one is possible (ontological many-valuedness), 3) in order to express logical systems based on valuational two-valuedness and ontological many-valuedness, the introduction of identity-connective is unavoidable. Such logics have been studied among others by R. Suszko as theories of kind W, and its sentential part is called SCI (sentential calculus with identity). In this paper, our interest was directed esp. on 1) logical relations between SCI, SC (sentential calculus) and there intermediate variaties, 2) A possibility of introducing some meta-notions into object languages, 3) some valuations of non-Fregean languages.
著者
鈴木 美佐子 藁谷 敏晴
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.23, no.2, pp.53-58, 1996-03-31 (Released:2009-07-23)
参考文献数
7

柏端氏は論文「行為と道具」において, 道具を表す副詞句を含む行為文の興味深い分析を展開している。その分析は, デイヴィドソン的な論理分析を基本的には保持する仕方で, デイヴィドソン的な分析によっては扱うことのできない行為文に論理形式を与えるものである。しかしわれわれは, デイヴィドソン型分析それ自体に関して基本的な疑義を感じることから, 本論を柏端氏への反論として発表する次第である。われわれの感じている疑義及びそれに関する考察の結果を端的に言うなら, 主に以下の三つの論点においてデイヴィドソン型の分析が妥当ではないということである。すなわち, デイヴィドソン型分析は (1) 因果関係を含む推論を十分に明らかにしないまま遂行され, なおかつ (2) 出来事存在論に立脚しているが, それは不自然であり, (3) 行為の個別化について十分な考察が行われていない, ということである。われわれの主張は, 行為に関する推論に関して, 出来事存在論を仮定する必要はなく, それらは単に因果関係を含んだ三段論法として処理できる, ということである。
著者
藁谷 敏晴 大森 仁
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.36, no.1, pp.9-18, 2009-02-25
被引用文献数
1

In a paper by Waragai and Shidori, a system of paraconsistent logic called PCL1 was proposed and a result showing the relation between PCL1 and the system of Modal Logic S5 was given. Though the classical negation plays an important role in the result, it was treated in an abstract way, so the present paper focuses on the concrete treatment of classical negation in PCL1 and makes the condition to enrich PCL1 with classical negation explicit. For this purpose, strong negation, which is defined by using a bottom particle in PCL1, is introduced and some of its results will be given. Also the notion of "behaving classically" in the extended system will be discussed.
著者
藁谷 敏晴 小山田 圭一
出版者
科学基礎論学会
雑誌
科学基礎論研究 (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.
著者
大森 仁 藁谷 敏晴
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.39, no.2, pp.51-68, 2012-03-25 (Released:2017-08-01)
参考文献数
21

A system of paraconsistent logic called PCL1 is known to have an interesting relation to Modal Logic S5, and in one of our previous papers, we focused on some concrete conditions to obtain the "minimal" extension of PCL1 enriched with the classical negation. Based on this result, the present paper offers some additional remarks on enriching PCL1 with the classical negation and other concrete conditions to obtain the relation between PCL1 enriched with the classical negation and S5. Also a simple relation between PCL1 and the existing systems is clarified and a maximal three-valued extension of PCL1 is presented.
著者
藁谷 敏晴 大森 仁
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.36, no.1, pp.9-18, 2009-02-25 (Released:2017-07-14)
参考文献数
19
被引用文献数
1 1

In a paper by Waragai and Shidori, a system of paraconsistent logic called PCL1 was proposed and a result showing the relation between PCL1 and the system of Modal Logic S5 was given. Though the classical negation plays an important role in the result, it was treated in an abstract way, so the present paper focuses on the concrete treatment of classical negation in PCL1 and makes the condition to enrich PCL1 with classical negation explicit. For this purpose, strong negation, which is defined by using a bottom particle in PCL1, is introduced and some of its results will be given. Also the notion of "behaving classically" in the extended system will be discussed.
著者
倭文 知騎 藁谷 敏晴
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.30, no.2, pp.61-66, 2003-03-25 (Released:2009-07-23)
参考文献数
45
被引用文献数
1 1
著者
藁谷 敏晴
出版者
一般社団法人 人工知能学会
雑誌
人工知能学会論文誌 (ISSN:13460714)
巻号頁・発行日
vol.20, no.6, pp.448-460, 2005 (Released:2005-10-12)
参考文献数
27
被引用文献数
2 2

The main aim of this paper is to propose an appropriate logical system that is suitable to describe the notion of IS-A link as well as is-a link. The most important point to be realized is that those relations are not set thoretical ones. They connect two `general names' to construct a proposition, so that what is needed for proper descriptions of the relations in question is a theory of general names. It will be shown that is-a is a logical unit of axiomatically determined behaviour. The axiom concerning is-a relation was established by S. Lesniewski who named his theory of general names ontology. Today `ontology' has also become a common term for AI researchers. I intend to make it clear that there is a close connection between `ontology' used by Lesniewski and by AI researchers, even though they developed quite independently. I wish to stress that ontology created by Lesniewski is a system of syllogistic equipped with singular propositions and the theory of quantification. To make this point clear, I proposed a fragment of syllogism that I called MO(minimal ontology). This paper includes comments and examples articulating the logical power of ontology.
著者
藁谷 敏晴
出版者
サイエンス社
雑誌
数理科学 (ISSN:03862240)
巻号頁・発行日
vol.25, no.1, pp.p5-9, 1987-01