Классическая лог и ее базовые положения

Базируется на след принц-х:

1. З-Н ТОЖДЕСТВА во всяком рассуждении необходимо, чтобы понятие и суждение сохраняли свой смысл на протяжении всего рассуждения. Сформулировал его Аристотель «нельзя ничего мыслить, если каждый раз не мыслить одно и то же».

2. З-Н. НЕДОПУСТИМОСТИ ПРОТИВОРЕЧИЙ, если в одном суждении нечто утверждается, а в другом – то же отрицается, то эти суждения не мог быть одновременно истинными (одно обязат лож). Аристотель: «невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении».

3. З-Н ИСКЛЮЧЕННОГО ТРЕТЬЕГО два противоречащих др др суждения не могут быть одновременно ложн, одно из них обязат – истинно, др – лож, третьего вар нет. Аристотель: «не мож быть ничего промжуточного м/д двумя членами противоречия, а относительно чего-то одного необходимо утверждать, либо отрицать что-либо. a\/ не a.

4. З-Н ДОСТАТОЧНОГО ОСНОВАНИЯ был сформ в 17в Лейбницем – ни один факт не явл ист/действительным, ни одно положение не явл ист. без того, чтобы не было у нас достаточного основания считать почему они таковы. Этот пр-п вызвал острую критику, т.к. долгое время не удавалось предлож логически корректной формулировки. Сейчас это: «высказывание В явл ист ЕТЕ оно логически следует из высказывания/группы высказываний А и при этом А явл ист. Здесь А рассм как достаточное основание, а В как его следствие. ((a →b)/\ a) → b /

5. З-Н ДВОЙНОГО ОТРИЦАНИЯ отрицание отрицания дает утверждение. Утверждение мож быть заменено двойным отрицанием.

6. ПРИНЦ БИНАРНОСТИ в класс лог могут быть выведены две противоположности a и не a.

7. ЭКСТЕНСИОНАЛЬНОСТИ – значение сложного выражения зависит только от значений, входящих в него простых высказываний (переменных), знач класс лог сознательно отвлекается от смыслов понятий и суждений и обращ вним только на их объем.

8. ДВУЗНАЧНОСТИ любое высказывание мож быть либо ист либо ложн., др вар-ов нет (класс лог – двузначна).

В рамках классич лог эти пр-пы счит универсальными, как з-ны правильного мышления во всех средах познания и практики, при любых мыслительных операциях, если мы хотим достичь истинного заключения. Отсюда – характер наших рассуждений не зависит от специфики предмета о кот мы рассуждаем. Но! Совр лог пересматривает эту т.зр. – специфика предмета рассуждения наклад отпечаток на хар-р наших рассуждений, знач. Кл лог мож не соблюдаться в некоторых областях познания. На основе этого в 20-е ХХв стали возникать работы Гентинга, Лукасевича … по неклас лог, произошло разделение логики. Почти все неклас лог строились на исчислении, те. явл символическими, и возникали на основе пересмотра одного/неск положений класс лог. В некотор наруш-ся пр-п двузначности. В паранепротив-ой лог отсутствует з-н недопустимости противоречия.

В сер 20х возн релевантная лог ( интенсиональная, до нее –экстенсиональные ), ее появл означ разделение лог на интенсиональную и экстенсиональную. Эта лог треб учит не только объект, но и смысл понятий и высказываний при реш вопроса о правильности рассуждений (в посылке и закл долж быть общий смысловой Эл-т).

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

Т.о., происходит разделение лог на информальную и формальную, причем к последним относится экстенсиональные и интенсиональные системы, а так же классические и неклас логики.