经典逻辑和变异逻辑

摘要：

@@ 一、一些定义性澄清经典逻辑是指由弗雷格、皮尔士、罗素等人创立的现代逻辑系统,由统一的命题演算和谓词演算构成,叫做”一阶逻辑”,其特点是使用特制的人工符号语言,运用公理化、形式化的方法.与后来出现的各种逻辑系统相比,经典逻辑至少含有下述假定或预设:

机标关键词：经典逻辑、变异、逻辑系统、一阶逻辑、谓词演算、命题演算、符号语言、形式化、公理化、弗雷格、运用、特制、人工、构成、方法

分类号：TP3;O14

在线出版日期：2007-07-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：57-63