Главная страница Случайная лекция
Мы поможем в написании ваших работ!
Порталы:
БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика
Мы поможем в написании ваших работ!
Язык и семантика КЛВ
Логика высказываний (пропозициональная логика) – это теория, изучающая логическую структуру сложных суждений без учета структуры простых суждений, входящих в их состав. Несмотря на то, что отдельные фрагменты этой теории разрабатывались еще античными мыслителями, как стройная система она сложилась лишь к концу XIX в. Её аксиоматизацию впервые осуществил немецкий логик Готлоб Фреге.
При выявлении логических форм контекстов естественного языка в этой теории происходит абстрагирование от содержаний простых суждений, от их внутренней структуры, а учитывается лишь то, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные. Алфавит логики высказываний включает в себя три вида символов:
| <== предыдущая страница | | | следующая страница ==> |
| Вывод: это предложение не истинно и не ложно – оно просто некорректно построено, и следовательно, бессмысленно | | | Пропозициональные переменные – p, q, r, s, |
Дата добавления: 2015-06-30; просмотров: 216; Нарушение авторских прав
Мы поможем в написании ваших работ!