经典逻辑和变异逻辑

一、一些定义性澄清 经典逻辑是指由弗雷格、皮尔士、罗素等人创立的现代逻辑系统,由统一的命题演算和谓词演算构成,叫做“一阶逻辑”,其特点是使用特制的人工符号语言,运用公理化、形式化的方法。与后来出现的各种逻辑系统相比,经典逻辑至少含有下述假定或预设: (1)外延原则,即它在处理语词、语句时,只考虑它们的外延,并认为语词的外延是它所指称的对象,语句的外延是它所具有的真值,如果在某一复合语句中用具有同样指称但有不同涵义的语词或语句去替换另一语词或子语句,该复合语句的真值保持不变。这就是著名的“外延论题”。