Да, логику высказываний и ещё алгебру логики. Может быть, развитая логика возникла сравнительно недавно, но она необходима для математики и естествознания.
Думаю не развитая , а упрощенная , формальная логика возникла недавно.
И почему Вы думаете, что для естествознания требуется ФЛ?
Естествознание это наблюдение, построение моделей , проверка моделей в эксперименте. Где здесь используется ФЛ?
ФЛ возникла как наука о мышлении, но так ею и не стала. Мышление исследуют когнитивные науки. Высказывания, речь- лингвистика. Логика осталась без предмета изучения.
Склеено 20 Май, 2019, 08:15:10 am
Кстати, о пятизначной логике: а таблица истинности для неё есть?)))
А в формальной логике вообще определение истинности есть?
Истинность, как я понял, понимается в логике предикатов как соблюдение законов логики предикатов. Но соблюдение этих законов не гарантирует получение истинных высказываний.
Склеено 20 Май, 2019, 08:21:21 am
Полагаю, что логика и математика - штуки, независимые от "аппаратной реализации" носителя разума.
Для математики это простительно, но как логика оторвалась от мозга , от того, что (кто) и осуществляет логику?
Формальная логика - маленькое пятно на верхушке айсберга, имо. Она открыла некоторую часть процессов мышления...лежащих на поверхности.
Склеено 20 Май, 2019, 08:30:16 am
Вообще, если вдуматься что такое логика, то логика это некоторая последовательность действий, алгоритм (если не понимать ее как науку), согласны?
Истинность это значение , число, которое может изменить алгоритм.
Формальная логика это неизменный алгоритм, алгоритм автомата.
Проблема автомата в его автоматичности, определенности , отсутствии у него способности менять свои алгоритмы.
Чтобы менять алгоритмы , автомату нужна вариативность.
Склеено 20 Май, 2019, 08:45:36 am
Да, я поправлю топикстартера , проблемы возникают (они не постоянны) не у двузначной логики, а у двузначных логиков.
С двузначной логикой наука была бы невозможна. Научная гипотеза это предположение имеющее некоторую вероятность. В средние века вероятность не допускалась , были только два варианта- истинно и ложно. Поэтому не было науки.
Декарт ввел вероятность как сомнение . Точнее- вернул, потому что уже древние греки отличали знание от мнения. Они допускали различные мнения и производили их отсев.
Склеено 20 Май, 2019, 09:32:36 am
Я согласен с автором , что нужно вводить в собственную логику категорию абсурдность. С этой категорией юзер логики получает возможность поступать абсурдно.
Не делая абсурдного, бессмысленного, он не узнает истинное.
Истинное субъективно и может меняться , меняя поведение и корректируя истинное.
Смысл это новый алгоритм. Новый алгоритм меняет истинное.
Критерий истины это не выполнение истинного алгоритма , а получение желаемого результата.
В бессмысленном может открыться смысл , если получено желаемое.
Как то так.
...если коротко, человек должен позволить себе ошибаться или результатов не будет, а будет только постижение истины , объективной реальности.
Лучше делать что то абсурдное, веря что получится, чем ничего не делать , познавая реальность....но это в отношении себя. Не надо брать пример с христиан и марксистов, и учить других как им жить.
Введение жестких, "истинных" норм морали было социальной необходимостью .
Мораль подавила свободомыслие. Аморальным стало в первую очередь свободомыслие и "ложные" модели поведения с ним связанные.