-28 / 5 / 0
Регистрация: 26.02.2015
Сообщений: 296
|
|
1 | |
Математический базис формальной логики29.08.2021, 21:07. Показов 479. Ответов 0
Понятие ложь излишне с логической точки зрения. Для логики достаточно 0 (неизвестное), 1 (истина), оператора И (выбор меньшего или равного), оператора ИЛИ (выбор большего или равного) и наконец оператора отрицания (унарный знак минуса). Этого достаточно чтобы построить современную логику, более того ввод неизвестного позволит её развить. А ложь это просто отрицание применённое к истине. Но смущает родство операторов И и ИЛИ, поэтому нужно перейти к оператору тождества (=) и оператору обобщения (выбор меньшего).
На таком базисе можно строить логический компьютер. Конечно логика так и не смогла еще поглотить математику, поэтому преждевременно говорить о идеальном базисе математического компьютера. Тем не менее такие попытки приветствуются и я думаю модераторы не будут возражать против философии, нужно осмыслить математические объекты чтобы логически артикулировать их. Аристотель определил ложь как неистину, Платон как путаницу, когда мы говорим о лжи подразумевается преднамеренная ложь, но чтобы она выглядела достоверно используются элементы правды. Понятие истины многозначно, обычно под ней понимают обобщенную картину, некая трансцендентальная истина как карта должна ориентировать вас. В логике же истина есть факт, вот стол, это истинно, вот яблоко это факт. Малейшее отклонения от фактов есть ложь. Правильно ли это? Ведь в 80% случаем путаница возникает ненамеренно, а мы отбрасываем эту "недостоверную" информацию и ищем абсолютной точности. Но откуда она возьмётся если мы предварительные размышления, предрассудки будем попросту игнорировать? Получается только эксперементальное, научное исследование, пока ты случайно не наткнулся на факт он как бы не существует. Часто плохо сформулированная речь просто игнорируется, туманные поиски кажутся бредом, а ведь человек что-то имеет в виду, но мы просто вычеркиваем его из списка знающих и обращаемся к авторитетам, которые в сотый раз повторяют одно и то же. Так мы топчем ростки знания, это всё равно как запрещать ребенку разговаривать пока он не научиться грамотно выражаться. Да Аристотель прав точная истина очень важна, на этом фундаменте можно что-то строить, но ведь большинство знаний совсем не такие и как с ними работать если формальная логика говорит, что это просто ложь. Существует еще вероятностная логика, она появилась в 20 веке и пока мало чем отличается от формальной. Хочется ведь получить истину, а не просто гадать на вероятностях, а для этого нужно иначе взглянуть на ложь. В трехзначной логике ложь есть -1, она абсолютная противоположность истины, но так не бывает. Фактически мы либо ничего не знаем, либо что-то знаем, а что-то нет, либо знаем всё. То есть если за 0 принять неизвестное, а за 1 истину, то интервал между ними и будет "ложь".
0
|
29.08.2021, 21:07 | |
Ответы с готовыми решениями:
0
Как математический вывод представляется в формальной логике? Перевод функций в язык формальной логики Существует ли в алгебре логики базис мощности 5, 10, 15, 20? Заданную функцию преобразовать в булевой базис и упростить, используя законы алгебры логики Задания по теме базис Шеффера, базис Пирса |
29.08.2021, 21:07 | |
29.08.2021, 21:07 | |
Помогаю со студенческими работами здесь
1
Убедиться, что многочлены составляют базис базис пространства Р2 многочленов, степени которых не превосходят 2 Найти базис линейной оболочки векторов, и выразить через этот базис остальные векторы системы Роль формальной логики в повседневном общении Построение МДНФ, МКНФ, Базис Пирса, Базис Шеффера Записать на языке логики высказывания (обычная алгебра логики без предикатов) Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |