1701744863
1701744864
1701744865
这种三段论叫作Bocardo，是三段论第三格的典型形式。
1701744866
1701744867
当然，Baroco和Bocardo都是演绎三段论，但有其特殊性。逻辑学家们将其称为“间接形式”，因为要想将它们呈现为“将普遍规则应用于具体情形”的形式，我们需要做一些转换。然而，如果我们不用Barbara三段论必需的演绎步骤，而是用相似的形式做一个演绎推理，那么我们可以得到的间接形式就是：
1701744868
1701744869
Baroco对应于假设；
1701744870
1701744871
1701744872
1701744873
Bocardo对应于归纳。
1701744874
1701744875
1701744876
1701744877
举例来说，我们从一个Barbara演绎推理开始：
1701744878
1701744879
规则——这个袋子里大多数豆子都是白色的；
1701744880
1701744881
1701744882
1701744883
情形——这一把豆子来自这个袋子；
1701744884
1701744885
1701744886
1701744887
∴结果——这一把豆子可能大多数都是白色的。
1701744888
1701744889
1701744890
1701744891
现在，否定结果，肯定规则：
1701744892
1701744893
否定结果——这一把豆子有很少一部分是白色的；
1701744894
1701744895
1701744896
1701744897
规则——这个袋子里大多数豆子都是白色的；
1701744898
1701744899
1701744900
1701744901
∴否定情形——这些豆子可能来自其他袋子。
1701744902
1701744903
1701744904
1701744905
这就是一个假设推理。下面否定结果，肯定情形：
1701744906
1701744907
否定结果——这一把豆子有很少一部分是白色的；
1701744908
1701744909
1701744910
1701744911
情形——这些豆子来自这个袋子；
1701744912
[
上一页 ]
[ :1.701744863e+09 ]
[
下一页 ]