Ложь как проблема формальной онтологииLitres, 15.05.2022 В коллективной монографии, с точки зрения онтологии и логики, рассматривается философское понятие «ложь». Следуя традиции свободной философской дискуссии, авторский коллектив демонстрирует не совпадающие точки зрения по обсуждаемой теме.В ряде разделов показано, что, с точки зрения современной онтологии и вопреки мнению Г. Фреге, ложь не обладает статусом самостоятельно существующего объекта. В работе убедительно продемонстрировано, что наделение лжи этим статусом приводит к «псематическому парадоксу» (А. Н. Павленко). Кроме того, показано, что объединение семантик Дж. Буля и Г. Фреге также уверенно говорит в пользу того, что нет необходимости принимать денотат ложь как существующий (С. А. Павлов).В других разделах, напротив, указывается на то, что онтологически укоренена как раз ложь, а истина не получает адекватного универсального истолкования на уровне денотационных значений (А. М. Анисов). Показано, что система формальной онтологии «ложности», надстроенная над новой логикой, с использованием онтологии Ст. Лесьневского и интуиционистской логики, трансформируется в новую систему, описывающую совершенно иной мир «ложности» (В. Л. Васюков).Монография носит полемический характер и может представлять интерес для специалистов в области онтологии, логики, философии науки и эпистемологии. |
Häufige Begriffe und Wortgruppen
аксиом аксиомы алгебры будем будет введения вида вместо возможных вопрос всех всякое второй вывода выражение высказываний говорит данной деле денотат доказательства доказать должна допущений других есть здесь значение имеем имеет места имен именно иной интерпретации интуиционистской истинности исчисления каждого качестве класса классической константы которые лжи логики логического ложно ложности ложь мир множество модели может можно называется Например натурального науки нашего некоторые нет новые области обозначает образом объект Однако одной онтологии онтологическое оператора определения определяется основе отношение отрицания переменная получается понятие поскольку построения Поэтому правила предикат предложение представляет принимать принцип природы пропозициональным просто противоречия прототетики пустое пустое множество равенства результат самым своей свойство себе семантики семантических символ систему системы следовательно следует словами случае смысле собственные соответствует суждений существования существует схема тем теоремы теории теории множеств теперь термин типов тогда том универсального условия утверждение факт формальной форму формула Фреге функтора штопор-формула элементарной является языка false