1701744850
1701744851
这种三段论叫作Baroco，是三段论第二格的典型形式。另外，一个人也可能会否定结果，肯定情形，这样他就必须否定规则。
1701744852
1701744853
否定结果——以诺和以利亚没有死；
1701744854
1701744855
1701744856
1701744857
情形——以诺和以利亚都是人；
1701744858
1701744859
1701744860
1701744861
∴否定规则——有的人不会死。
1701744862
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
[
上一页 ]
[ :1.70174485e+09 ]
[
下一页 ]