![]() |
|
| アポーハ代数・アポーハ論理・アポーハ比量=Apoha Algebra/Apoha Logic/Apoha Inference | ||
| 作者 | 上田昇 (著)=Ueda, Noboru (au.) |
|---|---|
| 出處題名 | 印度學佛教學研究 =Journal of Indian and Buddhist Studies=Indogaku Bukkyōgaku Kenkyū |
| 卷期 | v.67 n.1 (總號=n.146) |
| 出版日期 | 2018.12.20 |
| 頁次 | 358 - 352 |
| 出版者 | 日本印度学仏教学会 |
| 出版者網址 | http://www.jaibs.jp/ |
| 出版地 | 東京, 日本 [Tokyo, Japan] |
| 資料類型 | 期刊論文=Journal Article |
| 使用語言 | 日文=Japanese |
| 關鍵詞 | 外遍充; 二重否定; vyatireka |
| 摘要 | In his Apoha Theory, Dignāga argues that when two words stand in a hyper-hyponym relationship (sāmānya-viśeṣa relationship), each word does not exclude the other, and that the meaning (artha) of the hyponym includes the meaning of the hypernym. Using symbolic logic, the author of the present paper has formalized the meaning of a word on a given group of words each of which has a definite extension. A result of formalization is that the negation in the negative compound behaves like a negation in intuitionistic logic, rather than a negation in classical logic, in which the law of double negation holds. The present paper introduces two implication-free propositional subsystems of Gentzen’s LK (classical logic), one of which is equivalent with Gentzen’s LJ (intuitionistic logic), and names both systems “Apoha logic”. The present paper shows that in relation to Dignāga’s three-part-inference, we can, under some logical conditions, deduce in Apoha logic the double negation of the proposition (pratijñā) from the premises–––the inferential reason (hetu) and the negative concomitance (vyatireka)–––whereas in Apoha logic we cannot necessarily deduce the proposition from the premises. |
| 目次 | 1.アポーハ代数 358 2.アポーハ論理 357 3.アポーハ比量 356 |
| ISSN | 00194344 (P); 18840051 (E) |
| DOI | https://doi.org/10.4259/ibk.67.1_358 |
| 點閱次數 | 138 |
| 建檔日期 | 2022.08.11 |
| 更新日期 | 2022.08.11 |
提示訊息
您即將離開本網站,連結到,此資料庫或電子期刊所提供之全文資源,當遇有網域限制或需付費下載情形時,將可能無法呈現。
