以论证形式来评价论证.DOCVIP

以論證形式來評估論證 （一）有效（valid）與健全（sound）； （二）以真值表來評估論證（與語句組的一致性）； （三）推論規則的運用與限制：單向的（8條）與雙向的（10條）推論規則（論證形式）； （四）條件證明（conditional proof）與間接證明（indirect proof） § 論證的評估-有效（valid）＆健全（sound） 定義： 有效論證：一種不可能「前提皆為真，而結論卻為假」的論證。 健全論證：一種前提皆真的有效論證。 例子： 美國每次總統選舉都由年紀較長者勝選。（假，甘迺迪當時年紀比對手小，但勝選為總統） 雷根比卡特年長。（真） 1980年的美