Modal_scope_fallacy
必然性の誤謬は、三段論法の論理における誤謬であり、それによってある程度の不当な必要性が結論に置かれます。
例
a)独身者は必然的に未婚です。
b)ジョンは独身です。
したがって、c)ジョンは結婚できません。
条件 a) はトートロジーのように見え、したがって真です。条件 b) は、ジョンについて a) の対象となる事実の陳述です。つまり、b) John が独身であると宣言し、a) すべての独身者が未婚であると述べています。
c) は b) が常に当てはまると仮定しているため、必然性の誤謬です。もちろん、ジョンは、結婚するだけでいつでも自由に独身をやめることができます。その場合、b) はもはや真ではなく、トートロジーa) の対象にはなりません。この場合、c) は、ジョンが独身であることをやめることができないと誤って仮定することによって、不当な必要性を持っています。形式的に言えば、この種の議論は、a) の決定的必要性とc ) の必要性との間で曖昧になります。この引数は、a) と c) の両方が定義されている場合にのみ有効です。ただし、これは議論を弱体化させます。なぜなら、a) はディクトロジーのトートロジーにすぎないからです。実際、 de reと解釈すると、それは誤りです。様相論理における形式的象徴論を用いて、決定的表現 ◻ ( BX¬ MX )
{ Box (Bxrightarrow neg Mx)}
はトートロジーですが、de re式はBX ◻ ¬ MX
{ Bxrightarrow Box neg Mx}
は偽です。
こちらもご覧ください
決定と決定: モダリティの文脈
モーダル ロジック
参考文献
^ Garson， James （2021)， Zalta， Edward N. (ed.)， “”Modal Logic”” ， The Stanford Encyclopedia of Philosophy (Summer 2021 ed.)， Metaphysics Research Lab， Stanford University ， 2022-03-02取得
Curtis、Gary N.、「Modal Scope Fallacy」、The Fallacy Files 、 2014年 10 月 22 日取得
ブラッドリー、レイモンド。Swartz， Norman (1979)， “”Problems with the use of “”it is needed that””; 様相誤謬; 絶対的および相対的な必要性””，可能な世界: 論理とその哲学の紹介， Hackett Publishing Company， pp. 330–332 、ISBN 978-0-915144-60-0
Swartz， Norman ， More on “”The” Modal Fallacy ， 2014年 10 月 22 日検索
Franzén， Torkel、Eternal Questions: Free Will and Divine Omniscience 、 2007-07-08にオリジナルからアーカイブ、2014年 10 月 22 日に取得”