Георгий Рузавин - Логика и аргументация: Учебн. пособие для вузов.

• Название: Логика и аргументация: Учебн. пособие для вузов.
• Автор: Георгий Рузавин
• Издательство: Культура и спорт, ЮНИТИ
• Жанр: Философия
• Год: 1997
• ISBN: 5-85178-037-1

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

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

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

---

В обычной речи часто не проводят различия между основанием и следствием, как логическим отношением, и причиной и следствием, как отношением реального мира. Убедиться в наличии причинной связи можно лишь путем конкретного исследования явлений окружающего нас мира. Если одно явление вызывает или порождает другое явление, то первое из них мы называем причиной, а второе - следствием. Так, нагревание стержня - причина - вызывает его удлинение - следствие. Эту зависимость мы устанавливаем эмпирически - путем наблюдения и измерения. Логическое отношение между основанием и следствием не нуждается в эмпирическом исследовании, так как устанавливается с помощью чисто логических рассуждений. В нашем примере равенство углов равностороннего треугольника выводится как геометрическая теорема.

Условные высказывания употребляются для выражения самых разнообразных отношений между высказываниями, но не во всех случаях при этом учитывается их содержание и смысл. В современной логике обращается внимание исключительно на связь между высказываниями по значению их истинности, потому что задача логики состоит в том, чтобы гарантировать истинность заключения из истинных посылок, а для этого необходимо перенести истинность с посылок на заключение. В связи с этим в логической импликации абстрагируются (отвлекаются) от содержания и смысла и обращают внимание только на связь высказываний по значению их истинности. В результате можно рассматривать импликации, которые выглядят бессмысленными и парадоксальными с точки зрения обычного, здравого смысла. Например, "Если 2 х 2 = 5, то Москва - большой город" считается не только допустимой, но и истинной импликацией.

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

Например, импликация "Если 2 х 2 = 4, то Москва - небольшой город" является ложной, так как ее антецедент - истинное высказывание, а консеквент - ложное.

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

Распределение значений истинности высказываний для импликации представлено табл.4, где стрелка обозначает импликацию.

Резкое расхождение между употреблением условных высказываний в естественной речи и современной логике породило немало споров и дискуссий, в которых логиков обвиняли в том, что они не учитывают смысловой связи между высказываниями, и поэтому приходят к бессмыслице. Но как уже подчеркивалось выше, логики рассматривают условное высказывание только как импликации, т.е. с точки зрения значений истинности антецедента и консеквента. Импликация является операцией формализованного языка, а не конкретным условным высказыванием, которое может пониматься по-разному в различных контекстах (причинная связь, отношение между достаточными и необходимыми условиями, связь основания и следствия и т.п.). Когда не учитывается различие между формализованным и естественным языком, между импликативным и условным высказываниями, тогда неизбежно возникают парадоксы импликации, наиболее известные из которых связаны с отождествлением импликации с логическим следованием. Тот факт, что в импликации истинный консеквент получается из любого антецедента - истинного и ложного, стали истолковывать как утверждение, что истина следует из чего угодно. Или другими словами, что ложный антецедент имплицирует любой - истинный или ложный - консеквент, начали интерпретировать как утверждение, что из ложного высказывания следует любое высказывание. Но эти утверждения не согласуются с нашими интуитивными представлениями, и поэтому выступают как парадоксы так называемой материальной импликации. В последние десятилетия были предприняты усилия по преодолению этих парадоксов и поиску таких логических понятий, которые более адекватно отразили бы смысловую связь в условных высказываниях. Весь вопрос, однако, состоит в том, как выявить такую связь в общем виде, независимо от конкретного содержания антецедента и консеквента. Во всяком случае импликации, претендующие на отображение смысла, будут заведомо более узкими, чем понятие материальной импликации.

Операция эквивалентности объединяет два высказывания, имеющие одинаковые значения истинности. Следовательно, будут эквивалентными, с одной стороны, истинные высказывания, а с другой - высказывания ложные. В противном случае высказывания считаются не эквивалентными. Исходя из этого легко построить таблицу истинности для эквивалентности, символом которой служит стрелка с противоположными концами (табл. 5).

Эквивалентность можно выразить на естественном языке словами "если и только если", и в таком виде она часто встречается в формулировке научных определений.

Кроме табличного определения логические операции (за исключением отрицания) можно определить через другие, с обязательным использованием отрицания. Действительно, применив табличный метод (табл. 6), можно убедиться, что выражения (х → у) и (¬у →¬x) будут эквивалентными, т.е. (х→у) ↔ (¬у→¬х).

Каждая строка первой импликации и второй конверсной (обратной), полученной перестановкой отрицаний консеквента и антецедента первой, совпадают друг с другом. Следовательно указанные импликации будут эквивалентны.

С помощью таблиц истинности можно проверить, что и остальные логические операции можно определить через Другие две, причем второй операцией всегда будет отрицание. Например, дизъюнкцию можно выразить через конъюнкцию: (х ∨ у) ↔ (¬x ∧ ¬у).

Способ установления истинности сложных высказываний, образованных из простых с помощью таблицы, был предложен американским логиком Ч.С. Пирсом и оказался весьма удобным. Как мы видели, этот способ основывается на комбинации значений истинности простых высказываний и последующего определения истинности сложных высказываний, образованных с помощью операций отрицания, конъюнкции, дизъюнкции и импликации. Например, когда имеется два высказывания, то число различных комбинаций из их значений истинности будет равно 4, при трех - 8, при четырех - 16, а следовательно, при заданном числе п оно равно 2n. Отсюда нетрудно заметить, что определение истинности сложного высказывания сводится в сущности к вычислению ее на основе значений истинности простых высказываний. Это впечатление усилится, если мы обозначим истину как 1, а ложь как 0 и будем их комбинировать, чтобы образовать отрицание, конъюнкцию, дизъюнкцию и т.д. В качестве иллюстрации вычислим значение истинности следующего выражения: (х ∨ у) → (х ∧ z).

При некотором навыке процесс вычисления можно ускорить, обратив главное внимание на основную операцию, которая связывает две части формулы. В приведенном примере (табл. 7) достаточно заметить, что ложная импликация возникает при истинном антецеденте и ложном консеквенте. Отсюда легко определить возможные значения х и у в дизъюнкции (х ∨ у), а также значения х и z в конъюнкции (х ∧ z). Такой сокращенный способ вычисления истинности сложного высказывания основывается на установлении главной логической операции в рассматриваемой формуле.

Законы логики высказываний

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

• Закон тождества: если х, то х, т.е. х → х.

• Закон упрощения: если х и у, то х, т.е. х∧у→х. То же самое относится к другому конъюнктивному члену: х∧у→ у

• Закон эквивалентности: если из х следует у, а из у следует х, тогда высказывания эквивалентны, т. е. x ↔ у.

• Закон гипотетического силлогизма: если из х следует у, а из у следует z, то из х следует z, т.е.

((x → y) ∧ (y → z)) → (x → z)

• Закон двойного отрицания: если из х следует не-х, то отрицание последнего приводит к первоначальному высказыванию:

¬ (¬x) ↔ x

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

а) отрицание конъюнкции высказываний эквивалентно дизъюнкции из отрицаний конъюнктивных членов: