亦称“非标准逻辑”、“非古典逻辑”。泛指一切不属于古典形式逻辑(传统的亚里士多德逻辑)和由弗雷格、罗素所完成的经典数理逻辑(以二值逻辑为基础的经典命题演算和谓词演算系统)的现代逻辑学分支系统。与“经典逻辑”相 (本文共 761 字 ) [阅读本文] >>
海量资源,尽在掌握
 亦称“非标准逻辑”、“非古典逻辑”。泛指一切不属于古典形式逻辑(传统的亚里士多德逻辑)和由弗雷格、罗素所完成的经典数理逻辑(以二值逻辑为基础的经典命题演算和谓词演算系统)的现代逻辑学分支系统。与“经典逻辑”相 (本文共 761 字 ) [阅读本文] >>