1.形式逻辑学家并不关心存在的事物,而艺术家所关心的则正是这些东西.
2.三项条件中的第二项和第三项条件具有形式逻辑的假言判断性质。
3.从形式逻辑和辩证逻辑两个方面加以分析，“技术决定论”与“社会建构论”是并非对立而是分立的关系。
4.证明是一种形式逻辑的思维方式,论证是一种非形式逻辑的思维方式.
5.论证概念是包括非形式逻辑在内的论辩理论的核心.
6.第八章介绍应用应用推理等价形式逻辑证明程序正确性。
7.形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。
8.形式逻辑允许你检查合乎逻辑的索赔而没有考虑到索赔的意思.
9.故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.
10.同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.
11.第八章介绍应用形式逻辑证明程序正确性.