Я уверен, что у этого вопроса должно быть простое объяснение, но я в значительной степени не знаком с разделами формальной логики и не знаю, где его искать.
Мы знаем, что «Все холостяки — неженатые мужчины» — это один из классических примеров аналитической истины. Я отмечаю, что в одном вопросе на этом сайте это даже дается как «бесвременное» предложение, в отличие от тех, которые требуют временных операторов.
В то же время именно этот пример исторически не соответствует действительности. Поскольку «брак» когда-то довольно строго определялся как таинство между мужчиной и женщиной , теперь у нас есть сколько угодно «женатых холостяков».
Насколько я помню, это не тот вопрос, который поднимался, скажем, в «Двух догмах эмпиризма» Куайна, и мне не кажется, что его легко решить, добавив временные условия ко всему предложению.
Проблема в этом случае в том, что «холостяк» остается фиксированным, а «брак» меняется. Подлежащее и сказуемое в некотором смысле не могут менять «время» с одинаковой скоростью. Так же как и подлежащее и сказуемое. Разделение их на части и добавление разных временных операторов в попытке получить разные термины, по-видимому, приведет лишь к бесконечному регрессу.
Возможно, это ближе к «историческому» подходу Гегеля, согласно которому закон противоречия должен быть отброшен за борт, если мы признаем реальность движения. Или просто окончательная капитуляция перед индукцией и вероятностью. Это также похоже на то, что мог бы утверждать покойный Витгенштейн, хотя я лишь поверхностно знаком с его работами.
Я предполагаю, что мой вопрос: есть ли у формальной логики простое решение для этого? Есть ли что-то очевидное, что я упускаю? Или эта историческая позиция просто утверждает «материальный» (за неимением лучшего слова) предел «логике», как бы он ни выражался? Опять же, извините, но формальные демонстрации, вероятно, будут за пределами моего понимания.
«Холостяки - это неженатые мужчины» - это аналитическое суждение, учитывая современное значение слов «холостяк» и «женатый». Слова имели разное значение в разное время, но из этого следует лишь то, что одно и то же предложение выражало разное суждение, а не то, что суждение, которое оно выражает сегодня, не является аналитическим. Поскольку формальная логика занимается пропозициями, а не предложениями, ей не нужно беспокоиться об этом.
пользователь9166
Нельсон Александр
пользователь9166
Нельсон Александр
пользователь9166
пользователь9166
Александр С Кинг
Корт Аммон
Нельсон Александр
Мозибур Улла
Хью Мейерс
Нельсон Александр
Крис Санами поддерживает Монику
Нельсон Александр