1701744837
现在，一个人可能会否定结果，肯定规则。在这种情况下，他就必须否定情形。
1701744838
1701744839
否定结果——以诺和以利亚没有死；
1701744840
1701744841
1701744842
1701744843
规则——人都会死；
1701744844
1701744845
1701744846
1701744847
∴否定情形——以诺和以利亚不是人。
1701744848
1701744849
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
[
上一页 ]
[ :1.701744837e+09 ]
[
下一页 ]