形式邏輯

1.形式邏輯學家并不關心存在的事物,而藝術家所關心的則正是這些東西.

2.三項條件中的第二項和第三項條件具有形式邏輯的假言判斷性質。

3.從形式邏輯和辯證邏輯兩個方面加以分析，“技術決定論”與“社會建構論”是并非對立而是分立的關系。

4.證明是一種形式邏輯的思維方式,論證是一種非形式邏輯的思維方式.

5.論證概念是包括非形式邏輯在內的論辯理論的核心.

6.第八章介紹應用應用推理等價形式邏輯證明程序正確性。

7.形式邏輯已經從簡單命題邏輯發展到比較復雜的模態邏輯系列。

8.形式邏輯允許你檢查合乎邏輯的索賠而沒有考慮到索賠的意思.

9.故而,傳統形式邏輯三大基本規律在正統數理邏輯中均不能成立.

10.同一律、不矛盾律和排中律是傳統形式邏輯中的基本規律,在正統數理邏輯中體現為重言式.

11.第八章介紹應用形式邏輯證明程序正確性.