非法換位
非法換位（）是一種形式謬誤。 換位法只能套用在直言命題的全稱否定型（E型）和特稱肯定型（I型），而不能用在全稱肯定型（A型）和特稱否定型（O型），套用在後者即是不當換位。 形式說明 A型（無效） 形式： P都是Q，因此，Q都是P 範例： 英國人都講英語，因此講英語的都是英國人。 E型（有效） 形式： P都不是Q，因此，Q都不是P 範例： 海馬都不是馬，因此，馬都不是海馬。 I型（有效） 形式： 有些P是Q，因此，有些Q是P 範例： 有些…
标签：#量化詞邏輯謬誤
共 5 篇文章
存在性謬誤
存在性謬誤（existential fallacy）是不當假定推理中的类有成員存在（即非空）造成的推理錯誤。 存在性謬誤可歸類於形式謬誤，或歸類於不當預設的非形式謬誤。 像例如討論人死後會因其生前的的善行或惡行而上天堂、下地獄、轉生到好人家、壞人家或甚至轉生為動物，或者認為死後會到泰山與祖先團聚或者戰士死後會進入瓦爾哈拉聖殿等，就可能犯下此種謬誤，因為這些講法都假定死後有來生，而死後是否有來生尚未得到證實。 說明 标准直言命題有四种： …
換質換位律
換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是传统邏輯的一種結構變換推理，一般用於改變條件命題的結構。 換質（obversion）是指將 P \to Q 改為 \neg P \to \neg Q 換位（conversion）是指將 P \to Q 改為 Q \to P 換質換位（contraposition）是指將 P \to Q 改為 \neg Q \to \neg P 在直言命…
量化詞對調
量化詞對調（Quantifier shift）是一種形式謬誤，係指不當將「對於所有的」與「存在」量化詞對調位置的謬誤。這樣的錯誤往往不明顯，尤其在自然語言中。 形式說明 量化詞對調謬誤的形式如下： :\forall x \exists y Rxy \vdash \exists y \forall x Rxy 其文字描述如下： :對於所有A，存在B而C。 :因此，存在B，使所有A而C。 範例： :對於所有人，都有一個女人作為母親。 :因此…
無端對立
不當對立或無端對立（unwarranted contrast）是一種形式謬誤，無來由地推定對立事物存在。形式邏輯上，是將特稱肯定型（I型）或特稱否定型（O型）之直言命題做形式互換。 形式說明 特稱肯定型（I型） 形式： :有些S是P :因此，有些S不是P 範例： :有些飲料有毒。 :因此，有些飲料沒有毒。 可能所有的飲料都有毒。 特稱否定型（O型） 形式： :有些S不是P :因此，有些S是P 範例： :有些飲料沒有毒。 :因此，有些飲料…