通过演绎方式得概称句推理的逻辑(英文)  

Logics for Getting Generics by Deduction

作　　者：张立英[1] 周北海[2] 

机构地区：[1]中央财经大学现代逻辑研究所 [2]北京大学哲学系

出　　处：《逻辑学研究》2013年第1期13-26,共14页Studies in Logic

摘　　要：基于[4]中的逻辑系统 ,本文通过删减和增加公理及规则给出3个逻辑G0,GD和GS,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和GS的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。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.

关 键 词：逻辑系统 概称句 推理 演绎 选择函数 主项 

分 类 号：B812.23[哲学宗教—逻辑学]