学术
摘 要:
同一律、不矛盾律和排中律是传统形式逻辑中的基本规律。在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效，可是，它们一经引入正统数理逻辑，便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而，传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。[著者文摘]
文章出处:
《贵阳学院学报：社会科学版》-2006年4期 -79-82页
栏目信息:
文献标识码:
A
文章编号:
1673-6133（2006）04-0079-04
相关文章:
Tautology, Basic Laws of Formal Logic and Semi-paradox of Logic
HU Hong,SHENG Zuo-gu（ 1. School of Literal Arts, Guizhou University, Guiyang, Guizhou, 550025 ; 2. Library of Guiyang College, Guiyang, Guizhou, 550005）
Abstract:
Law of identity, law of non-contradiction and law of excluded middle are the basic laws. In orthodox mathe- matical logic, they are tautology, in classical formal logic, they are universally valid as the basic law, but when they are introduced into orthodox mathematical logic, they result in semi paradoxes of logic that are not coincident with ordinary logical thinking process of human beings. Therefore, the three basic laws are not applicable to orthodox mathematical logic.[著者文摘]
Key words:
tautologies, basic laws of formal logic; law of identity, law of non-contradiction; law of excluded middle;Semi-paradox of logic
更多>>免费文章
cqvip.com