А) Когда-то отец мне сказал: «Никогда не слушай ничьих советов». С тех пор я неукоснительно следую его совету

б) Разговор в бюро патентов: «Ну, и что вы нам принесли?» – «Мое величайшее открытие! Это кислота, которая разъедает все существующие вещества!» – «И много ее у вас?» – «Целая банка!».

в) «Доктор, помогите мне. Я несчастный человек – никогда ни в чем не уверен …» – «Ни в чем?» – «Ни в чем…» – «Никогда?» – «Никогда…» – «Вы уверены в этом?» – «Абсолютно!»

г) «Кто женат, я? Да я никогда не был женат! Спроси хоть у моего шурина».

Для исследования логических форм языковых контекстов строятся специальные логические теории. Логической теорией называется система взаимосвязанных понятий и суждений, касающихся логической формы каких-либо языковых контекстов.

Для этих целей в логических теориях используются специальные формализованные языки, позволяющие отвлекаться от смысла дескриптивных терминов и фиксировать лишь способ связи их содержаний друг с другом. Все символы таких языков делятся на три вида: (1) логические, позволяющие описывать логическую форму; (2) нелогические, которыми заменяются дескриптивные выражения; (3) технические, служащие для упрощения способа записи.

Любая логическая теория должна быть непротиворечивой и полной.

Теория называется непротиворечивой, если в ней можно доказать только те утверждения, которые являются истинными на данной предметной области. Теория называтся полной, если в ней можно доказать все утверждения, которые являются истинными на данной предметной области.

В рамках данного курса мы рассмотрим несколько различных теорий – классическую пропозициональную логику, классическую логику предикатов первого порядка, силлогистику, теорию бинарных отношений.

Каждая из них анализирует логическую формы наших мыслей на определенном, более или менее глубоком уровне. Соответственно, каждая из них по-своему конкретизирует понятия логического закона и логического следования. Но при этом все вышеперечисленные теории являются полными и непротиворечивыми.

Дата добавления: 2015-06-30; просмотров: 153; Нарушение авторских прав

Мы поможем в написании ваших работ!