Re: 挖个坑......... - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Thoughts - 思考者

Re: 挖个坑.........

Re: 挖个坑.........# Thoughts - 思考者

v*e2003-03-08 08:03

1 楼

在我看来.逻辑有两种:1是数理逻辑,就是大家经常用的A,B,~!=>与或非逆否等等,其考察
的是从A能否得出B. N阶谓词逻辑,应该也是这里面的.
另一种是形式逻辑,考察的是人的思维方式,他关心的是:因果,假设,断言,整体,局部,
加强,削弱,支持
注意,前者不关心因果关系,也难以得出"支持,削弱"这样的结论.
前者大家在学校里学的多,而其实GRE逻辑分析大题里很多考的是后者.后者在国内好象没有
系统教授(在我看来是愚民政策!)

o*e2003-03-08 08:03

2 楼

你好像大概明白。

察
这个，你想说的是演绎逻辑(DEDUCTION LOGIC)。数理逻辑(MATHAMETIC LOGIC)的说法是
为了强调其公式化，可用于编程。
这个，你想说的是归纳逻辑(INDUCTION LOGIC)。
演绎逻辑和归纳逻辑都属於形式逻辑(FORMAL LOGIC)。

【在 v*******e 的大作中提到】

: 在我看来.逻辑有两种:1是数理逻辑,就是大家经常用的A,B,~!=>与或非逆否等等,其考察
: 的是从A能否得出B. N阶谓词逻辑,应该也是这里面的.
: 另一种是形式逻辑,考察的是人的思维方式,他关心的是:因果,假设,断言,整体,局部,
: 加强,削弱,支持
: 注意,前者不关心因果关系,也难以得出"支持,削弱"这样的结论.
: 前者大家在学校里学的多,而其实GRE逻辑分析大题里很多考的是后者.后者在国内好象没有
: 系统教授(在我看来是愚民政策!)