Мы делаем утверждения вроде «Эта таблица состоит из атомов». Это утверждение должно быть истинным или ложным. Но что, если завтра атомная теория будет полностью заброшена и мы будем работать с другой теорией, в которой нет понятия «атом». Будет ли утверждение теперь истинным или ложным? Если оно ложно, то это ясно показывает, что утверждения зависят от того, какую модель/теорию мы принимаем.
Пример 1 Вот ссылка на определение моря из Википедии . Предположим, что однажды вся соль со всех «морей» вдруг исчезнет (но больше ничего не изменится). Теперь имеет ли смысл сказать, например, «Акула плавает в море»? Это противоречит нашему понятию «живописного» (я не знаю технического термина) понимания того, что означает «море». Даже если бы никто не знал, что вся соль испарилась, он мог бы увидеть, что «акула плавает в море». Теперь это утверждение верно или ложно?
Пример 2 Предположим, кого-то просят ответить на следующий вопрос. «У нас есть коробка с 2 апельсинами. Теперь мы добавляем еще 3 апельсина. Сколько у нас апельсинов? Будет ли иметь значение, если мы сначала добавим 3 апельсина, а затем добавим 2?» Если он ответит: «Послушай, это зависит от того, работает ли реальный мир так же, как математика, т. е. работает ли свойство коммутативности и т. д.», я думаю, все над ним посмеются. Мы не нашли ни одного примера, где математика не работает в реальном мире. Но это не значит, что мы не найдем. И, конечно же, это не означает, что математика не работает, если мы ее найдем. Но когда мы делаем заявления, мы используем теории или математику, чтобы оценить их истинность. Зачем мы это делаем, если заявления должны оцениваться только в соответствии с реальным миром?
Мы делаем утверждения вроде «Эта таблица состоит из атомов». Это утверждение должно быть истинным или ложным. Но что, если завтра атомная теория будет полностью заброшена и мы будем работать с другой теорией, в которой нет понятия «атом». Будет ли утверждение теперь истинным или ложным? Если оно ложно, то это ясно показывает, что утверждения зависят от того, какую модель/теорию мы принимаем.
Нет. Если окажется, что атомная теория ошибочна, это означает, что мы все время ошибались в отношении атомов, а теперь, приняв эту другую теорию, мы оказались правы. Тот факт, что предложение принято, не делает его истинным.
Мы тянемся к истине, но никогда не можем быть уверены, постигли мы ее или нет. Консенсус не делает истину. Тот факт, что теория выводит суждение, не делает это суждение истинным; сама теория может быть ошибочной.
Наука не определяет, что истинно. Наука — это всего лишь вид знания (полученного с помощью научного метода... и т. д. и т. п.). В любом случае наука будет искать эмпирическую истину , то есть истину, которая лучше подходит для опыта.
Знание субъективно (мы с вами дали бы совершенно другое описание того, что такое радуга), поэтому истина субъективна (поскольку основана на знании). Именно вы решаете, какие знания вы считаете истинными. Обычно науке можно доверять, потому что она лучше соответствует нашему опыту (лучше соответствует опыту каждого). Но никто не заставляет верить в науку.
Две теории, например, эволюционизм и креационизм, не имеют внутренней ценности как таковой, ни одна из них не лучше другой как таковой. Каждый сам выбирает, какой из них использовать в соответствии с его опытом.
Когда теория заменяется новой в науке, мы используем последнюю не потому, что она новая, а потому, что она обычно лучше адаптируется к нашему опыту. Но каждый человек волен верить в то, во что он хочет.
Но когда мы делаем заявления, мы используем теории или математику, чтобы оценить их истинность. Зачем мы это делаем, если заявления должны оцениваться только в соответствии с реальным миром?
Потому что мы уже используем теории или математику, когда делаем утверждения. Слова не имеют смысла без теории или математики. Если два человека сходятся во мнении о значении слова, это просто означает, что они разделяют теорию.
Вместо математики и естественных наук можно оценить истину, используя другие теории, но невозможно не использовать какую-либо теорию. Отсутствие теории означает отсутствие языка.
Мы не нашли ни одного примера, где математика не работает в реальном мире.
Верно и обратное. Наука много раз находила случаи, когда предыдущие модели или даже математические расчеты были ошибочными, и их нужно было исправлять. См. https://mathoverflow.net/questions/879/most-interesting-mathematics-mistake для примеров. Кроме того, в текущих моделях, вероятно, больше ошибок. Известны также нерешенные и неразрешимые проблемы представления реального мира с помощью математики. https://en.m.wikipedia.org/wiki/List_of_unsolved_problems_in_physics , но для этих проблем нет лучших альтернатив.
Классическая логика исходит из принципа, называемого «Законом исключенного третьего», согласно которому все утверждения должны быть либо истинными, либо ложными. https://en.wikipedia.org/wiki/Law_of_excluded_middle . Логики разработали несколько логик, альтернативных классической логике, и многие из них не принимают закон исключенного третьего. См. это обсуждение логики трех состояний: https://en.wikipedia.org/wiki/Three-valued_logic
Вы обнаружили, что эмпиризм и наука основаны на нарушении Закона Исключенного Середины. Наука оперирует логикой четырех состояний утверждений:
НИ ОДНО из этих четырех логических состояний не является ни истинным, ни ложным, поэтому все они являются нарушением Закона Исключенного Середины.
Этот предварительный, фаллибилистский, эмпирический подход к выводу реальности с четырьмя состояниями присущ косвенному реализму. И косвенный реализм — это то, как работает наука.
Осознание того, что наши лучшие методы приобретения знаний не согласуются с классической логикой, способствовало недавно сложившемуся консенсусу среди логиков в пользу логического плюрализма. https://www.cambridge.org/core/journals/think/article/abs/guide-to-logical-pluralism-for-nonlogicians/EDFDFA1C9EB65DB71848DABD6B12D877
Кроме того, существует множество примеров того, как простая арифметика не работает в реальном мире. Один простой пример — добавьте трех животных к двум в вашей коробке и вернитесь через несколько дней, и их может быть два, пять или пять десятков, в зависимости от того, какие отношения хищник/жертва/размножение применимы к этим животным.
Логический
Конифолд
адо сар
Логический
адо сар
Логический
адо сар
Логический
адо сар
Логический
Джей Ди
Джей Ди
адо сар
Конифолд
Дасем
КриглКрагл