v*******e
发帖数: 1715 | 1 在我看来.逻辑有两种:1是数理逻辑,就是大家经常用的A,B,~!=>与或非逆否等等,其考察
的是从A能否得出B. N阶谓词逻辑,应该也是这里面的.
另一种是形式逻辑,考察的是人的思维方式,他关心的是:因果,假设,断言,整体,局部,
加强,削弱,支持
注意,前者不关心因果关系,也难以得出"支持,削弱"这样的结论.
前者大家在学校里学的多,而其实GRE逻辑分析大题里很多考的是后者.后者在国内好象没有
系统教授(在我看来是愚民政策!) | o*****e
发帖数: 435 | 2 你好像大概明白。
察
这个，你想说的是演绎逻辑(DEDUCTION LOGIC)。数理逻辑(MATHAMETIC LOGIC)的说法是
为了强调其公式化，可用于编程。
这个，你想说的是归纳逻辑(INDUCTION LOGIC)。
演绎逻辑和归纳逻辑都属於形式逻辑(FORMAL LOGIC)。
【在 v*******e 的大作中提到】
: 在我看来.逻辑有两种:1是数理逻辑,就是大家经常用的A,B,~!=>与或非逆否等等,其考察
: 的是从A能否得出B. N阶谓词逻辑,应该也是这里面的.
: 另一种是形式逻辑,考察的是人的思维方式,他关心的是:因果,假设,断言,整体,局部,
: 加强,削弱,支持
: 注意,前者不关心因果关系,也难以得出"支持,削弱"这样的结论.
: 前者大家在学校里学的多,而其实GRE逻辑分析大题里很多考的是后者.后者在国内好象没有
: 系统教授(在我看来是愚民政策!)
|
|
