原帖由 轩辕苍龙 于 2007-11-7 13:45 发表
我看不懂……谁来解释解释？
这是形式逻辑里面的（狭义的逻辑就是指形式逻辑，数理逻辑是符号化的形式逻辑，而辩证逻辑没有广泛被承认），内容很多，没法一一解释，大概解释一下吧。如果能耐住枯燥，建议可以仔细读读，倒是很有好处。形式逻辑，形式指它只是研究思维的形式，而不管思维的内容如何。比如:
石头都可以孵小鸡；
这是一块石头；
——————
所以它可以孵小鸡。
这句话内容有问题，但在形式逻辑中是正确的，因为符合形式逻辑的形式。所以说，形式逻辑研究思维的形式，而其他学科研究思维的内容，学好很有用处（够费劲的，我也只是大略看了感兴趣的部分）。
形式逻辑有三大部分：概念、判断和推理，以及一些构成规则。推理也有三种：演绎（一般到特殊）、归纳（特殊到一般）、类比（特殊到特殊）——一般到一般的大部分似乎不成立，所以没有太大价值（个人观点）。
一个概念有内涵和外延两个性质，内涵可以认为是基本属性，外延是其包括的内容，比如金属包括金银铜铁等。
周延指包含了此概念所有外延，不周延反之。
P、M、S是起指代作用的字母，你可以把它看作方程的未知数。A（全称肯定）E（全称否定）I（特称肯定）O（特称否定）是四种基本的分类形式（判断总可以分成此四类。而判断是推理的基础），其中全称指概念的全体外延，特称指个别。
三段论是最常用的推理方式，是演绎推理的一种。“格”可以看作是分类方式（根据中词在前提中的的位置决定——其中中词也就是M，起传递作用；前提分大前提和小前提，一般指推理中的前两句），三段论的格有四种，“式”其实就是形式，或者指公式。每个推理有三句，每句中的判断都可以有A、E、I、O4种，所以每格共有4×4×4＝64种，加上4个格，共64×4＝256种格。但扣掉不合理的，只有19种。但第四格用的很少，而其它三格都可以化作第一格，所以基本式只有AAA和EAE两种。
大概说这么多，能看懂吧？
[ 本帖最后由 deepfly 于 2007-11-16 23:52 编辑 ]
