联合演算对传统直言推论的系统化

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点 ,本文对传统直接推论和传统直言三段论作出系统化处理 ,证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式。

论莱舍尔的“较大数”量词理论

论莱舍尔的“较大数”量词理论张维真在自然语言中，表示事物数量的词十分丰富。除了＂所有＂、＂有些＂等之外，还有一类表示事物较大数量的词，如＂多数（Ｍｏｓｔ）＂、＂大多数＂、＂大部分＂以及百分比中５０％以上的百分数等，它们也经常被使用。但是，形式逻辑只把...