Ошибка модальной области видимости
Ошибка необходимости — это ошибка в логике силлогизма , при которой в заключении помещается степень необоснованной необходимости.
Условие а) кажется тавтологией и поэтому верно. Условие б) является констатацией факта о Джоне, который делает его подпадающим под действие а); то есть б) объявляет Джона холостяком, а а) утверждает, что все холостяки не женаты.
Поскольку c) предполагает, что b) всегда будет иметь место, это заблуждение по необходимости. Джон, конечно, всегда волен перестать быть холостяком, просто женившись; если он это сделает, б) больше не верно и, следовательно, не подлежит тавтологии а). В этом случае c) имеет необоснованную необходимость, ошибочно предполагая, что Джон не может перестать быть холостяком. Формально говоря, этот тип аргумента колеблется между необходимостью de dicto а) и необходимостью de re с). Аргумент действителен только в том случае, если и a), и c) толкуются de re . Это, однако, подорвало бы аргумент, так как а) является лишь тавтологией de dicto — в самом деле, интерпретируемое de re , оно ложно. [1]Используя формальный символизм в модальной логике , выражение de dicto является тавтологией, а выражение de re — ложным.
