为传统的矛盾律与排中律公式辩护:兼与万宁先生商榷

• 作 者: 倪荫林
• 机 构: 武警学院管理系!河北廊坊065000
• 出 处: 中南民族学院学报：人文社会科学版
• 发表日期: 2000年1期
• 关键词: 经典 逻辑 矛盾律 排中律 真值函项原则 公式 general logicslaw of contradictionlaw of excluded middle

本文依据经典逻辑的真值函项原则及联结词的普适性，指出万文所给－Ａ、－Ａ是不合逻辑规则的，又依据经典逻辑的已有联结词及矛盾律及排中律的要求，指出万文给出的矛盾律公式－（Ａ＾－Ａ）＾－（Ａ＾－Ａ）与排中律公式（Ａ＾↓－Ａ）＾（Ａ＾↓－Ａ）是赘余的，不能作为矛盾律与排中律的公式，然后从逻辑抽象角度与经典逻辑的二值二性角度论证了传统的矛盾律公式－（Ａ＾－Ａ）与排中律公式Ａ＾↓－Ａ的合理性与正确性。