論證（ARGUMENT）：一組命題集合,，其目的是以推理說服他人。其中被稱為“前提”的一個命題子集為某個被稱為“結(jié)論”的命題提供支持,。

命題（proposition）：一個陳述,，或真或假，但不能亦真亦假,。例如：“波士頓是馬薩諸塞州面積最大的城市,。”

前提（premiss）：為一項論證的結(jié)論提供支持的命題,。一項論證可能有一個或多個前提,。也可稱為“假設(shè)”（premise）。

可證偽（falsifiable）：如果通過觀察或?qū)嶒?，可以反駁或反證一個命題或論證,，則稱該命題或該論證具有可證偽性，例如,，命題“所有葉子都是綠的”可以通過指出一片不綠的葉子而被證偽,。可證偽性是一個論證力量的表現(xiàn),，而不是它虛弱無力的表現(xiàn),。

邏輯謬誤（LOGICAL FALLACY）：從一個命題推衍至下一個命題的過程中發(fā)生的錯誤，最終導(dǎo)致錯誤的論證,。邏輯謬誤違背了一個或多個成為好論證的原則,，例如：良好的結(jié)構(gòu)、連貫性,、清晰性,、有序性、相關(guān)性,，以及完整性,。但要注意，在某項論證中找到謬誤,，并不意味著其結(jié)論必定是假的,。結(jié)論可以是真的，但需要更好的推理來支持它,。

形式謬誤（formal fallacy）：因結(jié)構(gòu)缺陷而導(dǎo)致論證不合邏輯的錯誤,。僅僅分析論證的形式就能發(fā)現(xiàn)這種謬誤，而不需要分析其內(nèi)容,。（參見本書“肯定后件”,。）

非形式謬誤（informal fallacy）：因內(nèi)容和語境（而非形式）導(dǎo)致論證不合邏輯的錯誤。要成為一項非形式謬誤,，它應(yīng)該是一個經(jīng)常被犯的錯誤,。（本書中絕大部分謬誤都是非形式謬誤。）

演繹論證（DEDUCTIVE ARGUMENT）：一個論證,，若其前提為真,，則其結(jié)論必定為真。結(jié)論是根據(jù)前提并依照邏輯必然性得出的,。例如：“人皆有一死,；蘇格拉底是人；因此,，蘇格拉底終有一死,。”一個演繹論證一般會被預(yù)期為“有效”,，但事實當(dāng)然未必如此,。

有效（valid）： 若其結(jié)論確實是根據(jù)其前提并依照邏輯得出的，則該演繹論證被認(rèn)為是有效的,。否則即是無效的,。“有效”和“無效”的描述僅適用于論證而非命題,。

可靠（sound）：若論證有效,，且其前提為真，則該演繹論證被認(rèn)為是可靠的,。若有任一條件不滿足,，則該論證不可靠。對真?zhèn)蔚呐袛嗍腔谠撉疤岷徒Y(jié)論是否與真實世界的事實一致而確定的,。

歸納論證（INDUCTIVE ARGUMENT）： 一個論證,，若其前提為真，則其結(jié)論可能為真,。^?結(jié)論是根據(jù)前提并依照概率（而非邏輯必然性）得出的,。例如：“每次我測量真空中的光速，它都是3×10⁸m/s,。因此,，真空中的光速是一個普適常數(shù),。” 歸納論證經(jīng)常由特殊情況推及一般,。

強（Strong）：若其前提為真,，則其結(jié)論非常有可能為真，此時便稱該歸納論證為強論證,。相反地,，若其結(jié)論不太可能為真，那便被稱為弱論證,。由于依賴于概率,，歸納論證無法確保真實性；前提為真絕不代表結(jié)論必定為真,。

可信（Cogent）： 若為強論證,，且其前提為真（也就是說，和事實一致）,，則該歸納論證被認(rèn)為是可信的,。否則即為不可信。（美.阿莫薩維）

?在科學(xué)上,，從數(shù)據(jù)發(fā)展成法則再發(fā)展成理論,，通常都使用歸納論證，因此,，歸納是許多科學(xué)的基礎(chǔ),。歸納通常意味著，要么只在樣本上測試命題（因為更廣泛的測試無法實現(xiàn)）,，要么僅僅使用推理（因為根本不可能測試）,。——作者原注