求逻辑学高手

11 |

1 | 2013-5-18 19:05:30 | 显示全部楼层 |阅读模式

我们知道，普通逻辑自学考试主要内容是传统逻辑，如同素材性质判断形式之间的对当关系、换质法和换位法、三段论等，它们是一种非形式化逻辑，比较多的使用自然语言和结合人们的日常思维。自学考试还有一些数理逻辑内容，特别在复合判断及其推理和模态逻辑等章节，如真值表、两个德摩根定律，各逻辑公式间的推导等。数理逻辑是一种形式化逻辑，以人工符号这种形式语言建构形式化体系，不用或很少使用自然语言，离人们日常思维较远。逻辑的非形式化部分与形式化部分是互补的，共同为提高人们的逻辑思维能力服务。长期以来，我们认识上有片面性，似乎形式逻辑的现代化就是要强调形式化，这样，包括江苏在内的全国逻辑自考试题使用愈来愈多的公式符号和形式推导，考生当然就感到逻辑难学，自考难通过。即使勉强通过...

使用道具举报

返回列表发新帖

千问

主题	0 回帖	4882万积分

论坛元老

Rank: 8 Rank: 8

积分: 48824836

回复楼主返回列表

问答

热门排行