раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
В современной математической логике развиваются два раздела:
логикавысказываний (пропозициональная... логика);
логика предикатов.... Логикавысказываний
Основополагающие понятия логикивысказываний – это высказывания и операции над ними... к логикевысказываний.... Логика предикатов
Расширением логикивысказываний является логика предикатов, позволяющая проводить исследование
В классической логике каждое высказывание может быть либо истинным, либо ложным, а в реальном мире часто... Релевантная логика была разработана для того, чтобы учитывать эту неоднозначность в высказываниях.... Например, в релевантной логике существует понятие "релевантности", которое определяет, насколько высказывание... Релевантная логика является многозначной логикой, потому что она допускает более двух значений для высказываний... В релевантной логикевысказывание может быть истинным, ложным, нейтральным или неопределенным.
Проведенное исследование и анализ необходимых предпосылок классической логики высказываний показало, что есть возможность их уточнений, связанных с построением синтаксических аналогов семантических правил логики высказываний, с модификацией семантики Фреге для логики высказываний и с формализацией понятий истинности и ложности. По отношению к возможности построения неклассических логик были определены классы логик, удовлетворяющих найденным условиям. В результате имеем одну теорию истины и конечное число неклассических логик, выводимых из нее.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
Оставляя свои контактные данные и нажимая «Попробовать в Telegram», я соглашаюсь пройти процедуру
регистрации на Платформе, принимаю условия
Пользовательского соглашения
и
Политики конфиденциальности
в целях заключения соглашения.
Пишешь реферат?
Попробуй нейросеть, напиши уникальный реферат с реальными источниками за 5 минут
