Вопрос 4. Основные законы формальной логики

Необходимо усвоить содержание основных методологических принципов формальной логики. Согласно закону тождества всякое высказывание влечет (имплицирует) само себя, он гласит, что если высказывание истинно, оно истинно. Например, «если сахар сладкий, то он сладкий». Символически он представлен формулой р=р, то есть «р в том и только в том случае, если р».

Закон непротиворечия - принцип, согласно которому высказывание и его отрицание не могут быть одновременно истинными, В этом случае высказывания противоречат друг другу, что является ошибкой. Например, «Солнце встает на востоке» и «Солнце не встает на востоке». Этот принцип подчеркивает, что никакое высказывание не является одновременно истинным и ложным, то есть никакое высказывание не может соответствовать реальному положению дел и одновременно не соответствовать ему. Следствием этого принципа является мысль, что из двух противоречащих друг другу высказываний одно является ложным, следовательно, допущение противоречия означает введение в свои рассуждения заведомо ложного положения, что недопустимо.

Символически принцип непротиворечия выражается формулой Øр&~р – «неверно, что р и не-р», где знакØ означает «неверно, что», & - знак дизъюнкции, а ~ это знак отрицания.

Закон исключенного третьего - принцип, согласно которому истинно или само высказывание, или его отрицание. Он устанавливает связь между противоречащими друг другу высказываниями, которая заключается в том, что только одно из таких высказываний истинно. Например, «Вторая мировая война началась в 1939 году или она не началась в этом году». Само название принципа выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, или так, как говорится в его отрицании; третьего варианта нет («третьего не дано»).

Символически этот принцип представлен формулой p Ú ~p, где р - некоторое высказывание; Ú - дизъюнкция; ~ - отрицание), «р или не-р».

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

Для изучения темы:

· Прочитайте:

1. М.И. Ивлева Логика. Учебное пособие. – М.: Маркет ДС. 2009. Глава №2. Логика и язык. Параграфы: 1. Язык как знаковая система. 2. Естественные и искусственные языки. 3. Язык логики высказываний. 4. Основные методологические принципы формальной логики.

· Обратите внимание на:

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

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

· Ознакомьтесь со следующими дополнительными материалами:

1. Асмус В.Ф. Логика. М., УРСС, 2001.

2. Кузина Е.Б. Логика в кратком изложении и упражнениях. М.,изд-во МГУ, 2000.

3.Ивин А.А. Логика. Учебник для гуманитарных вузов. М., 2003.

· Обратите внимание на:

Дополнительную информацию по изучаемой теме.

Ответьте на следующие вопросы:

1. Что такое знак? Какие виды знаков Вы знаете?

2. Что такое имя? В чем различие между смыслом и объемом имени?

3. В чем заключается специфика искусственных языков?

4. Какие нормативные принципы научных языков Вы знаете?

5. Что такое логика высказываний?