Логическая возможность против метафизической возможности
Логическая возможность и Метафизическая возможность являются двумя из четырех типов субъективной возможности в курсе модальной логики. Утверждения или пропозиции возможности используют наклонения или модальные слова, такие как обязательно, случайно, мог бы, возможно, существенно, мог бы, контингентно, должен и другие подобные им.
Логическая возможность
Логическая возможность является наиболее широко обсуждаемым типом возможности из-за ее обширных объяснений. Вы можете считать утверждение логически возможным, если нет никаких противоречий для того, чтобы оно было истинным. Например, утверждение «Юлиан болен» считается логически возможным, поскольку «Юлиан» и «болезненный» не противоречат друг другу. Но утверждение «Юлиан здоров болен» логически невозможно, потому что «здоров» и «болен» противоречат друг другу.
Метафизическая Возможность
Метафизическая возможность немного уже, когда дело доходит до объяснений и утверждений, если сравнить ее с логической возможностью. Но иногда философы меняют их местами, поскольку они тесно связаны. Приведем пример для лучшего понимания. Предложение «Соль - это NaCl» метафизически возможно, поскольку соль на самом деле представляет собой соединение натрия (Na) и хлорида (Cl).
Разница между логической возможностью и метафизической возможностью
Когда вы говорите, что утверждение логически возможно, не должно быть никаких противоречащих друг другу слов или слов во всем утверждении, в то время как метафизически возможное - это предложение, которое устанавливает состав объекта. Довольно сложно понять их разницу, если не привести примеры. Используя известное высказывание Саула Крипке о том, что «вода не является Н2О», это утверждение на самом деле находится в состоянии логической возможности, поскольку вода и Н2О не противоречат друг другу, но также метафизически невозможно, потому что вода всегда будет Н2О. Рекомендуется более глубокое изучение этого вопроса.
Философы имеют дело с этими двумя типами возможностей уже много лет и даже до сих пор. Они продолжают спорить о том, что правильно использовать, логическую возможность или метафизическую возможность, поскольку есть утверждения, которые логически возможны, но метафизически невозможны, как то, что указано выше.
Кратко:
• Утверждение считается логически возможным, если в нем нет противоречащих друг другу слов, а метафизически возможным, если оно сообщает правильный состав объекта.
• Логически возможное утверждение не всегда означает метафизически возможное, а метафизически возможное утверждение иногда может быть логически невозможным.
