| 通过演绎方式得概称句推理的逻辑 |
| |
| 引用本文： | 张立英,周北海. 通过演绎方式得概称句推理的逻辑[J]. 逻辑学研究, 2013, 0(1): 13-26 |
| |
| 作者姓名： | 张立英 周北海 |
| |
| 作者单位： | 中央财经大学现代逻辑研究所;北京大学哲学系 |
| |
| 摘 要： | 基于[4]中的逻辑系统G，本文通过删减和增加公理及规则给出3个逻辑G0，GD和Gs，同时，我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中，G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。
|
| 关 键 词： | 逻辑系统 概称句 推理 演绎 选择函数 主项 |
Logics for Getting Generics by Deduction |
| |
| Liying Zhang The Institute of Modern Logic, the Central University of Finance and EconomicsBeihai Zhou. Logics for Getting Generics by Deduction[J]. Studies in Logic, 2013, 0(1): 13-26 |
| |
| Authors: | Liying Zhang The Institute of Modern Logic the Central University of Finance EconomicsBeihai Zhou |
| |
| Affiliation: | Department of Philosophy, Peking University |
| |
| Abstract: | In this paper, based on system G in [4], Go, GD and Gs are built by removing and adding axioms and rules. Corresponding to them, this paper also defines 3 different models about inferences of genetic sentences by adding different conditions on normal object selection function.N＂ in semantics. Among them, logic Go is the basic logic of GD and Gs. These logics are built to capture the partial reasoning on getting genetics by deduction. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
