形式逻辑

1.基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。

2.或然性推理由于其结论不必然为真，在形式逻辑体系中一直未受到重视。

3.形式逻辑学家并不关心存在的事物,而艺术家所关心的则正是这些东西.

4.三项条件中的第二项和第三项条件具有形式逻辑的假言判断性质。

5.从形式逻辑和辩证逻辑两个方面加以分析，“技术决定论”与“社会建构论”是并非对立而是分立的关系。

6.证明是一种形式逻辑的思维方式,论证是一种非形式逻辑的思维方式.

7.论证概念是包括非形式逻辑在内的论辩理论的核心.

8.第八章介绍应用应用推理等价形式逻辑证明程序正确性。

9.形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。

10.形式逻辑允许你检查合乎逻辑的索赔而没有考虑到索赔的意思.

11.故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.

12.同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.

13.第八章介绍应用形式逻辑证明程序正确性.