Г. И. Рузавин логика и аргументация



страница17/54
Дата10.05.2018
Размер3.9 Mb.
1   ...   13   14   15   16   17   18   19   20   ...   54
x  (yz) ↔ (xy)  z или x  (yz) ↔ (xy)  z.

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

(xy) ↔ (¬y → ¬x)

Закон противоречия: два противоречащих друг другу высказывания, т.е. высказывание х и его отрицание не-х, не могут быть вместе истинными:

(x  ¬x)

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

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

x  ¬x

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

Все перечисленные выше законы служат основой для правильных рассуждений, ибо опираясь на них, никогда нельзя получить ложного заключения из истинных посылок. Поэтому любое последовательное, непротиворечивое и правильное мышление всегда осуществляется в соответствии с законами логики, сознаем мы это или нет. В то же время среди перечисленных законов необходимо выделить самые основные, которые обычно называются законами логики. К ним относятся законы тождества, противоречия и исключенного третьего, о которых пойдет речь в гл.6.

Все законы исчисления высказываний, как в этом можно убедиться с помощью таблиц истинности, являются тождественно истинными (общезначимыми формулами). Какие бы истинностные значения не придавались входящим в них высказываниям, в конечном счете формула оказывается всегда истинной. Вот почему эти законы явно или неявно применяются в любом рассуждении, ибо именно с их помощью становится возможным преобразовать и упрощать имеющуюся информацию и приходить к определенным заключениям. Поясним это на примере закона контрапозиции. Если нам известно, что "треугольник х равнобедренный", то отсюда следует высказывание у, утверждающее, что "углы при его основании равны". Но если эти углы не равны, то по закону контрапозиции можно заключить, что "треугольник не является равнобедренным", т.е. (ху) → (¬y → ¬x). Таким образом, этот вывод мы получаем чисто логически, не прибегая, например, к доказательству методом от противного.

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

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


3.5. Логическое следование


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

"Если не будет дождя (¬Д), то он придет на встречу (В)". Пошел дождь, значит он не придет на встречу (¬В). Переведем эту словесную формулировку на логический язык исчисления высказываний и тогда получим формулу:

((¬Д → В)  Д)) → ¬В (1)

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



Хотя заключение словесного рассуждения кажется на первый взгляд верным, но оно логически не следует из посылок, в чем можно убедиться, если сравнить значение истинности посылок формулы (1) со значением истинности заключения. Если бы заключение логически следовало из посылок, тогда при одновременной истинности посылок (¬Д В) в первой строке табл. 8 и Д заключение ¬В в последнем столбце этой же строки должно быть истинным, а оно ложно. Но фундаментальный принцип логики постулирует, что из истинных посылок нельзя вывести ложного заключения. Это и показывает, что рассматриваемое заключение не следует из посылок. Ведь не исключается возможность, что несмотря на дождь, человек может прийти на встречу.

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

Теперь дадим общее определение логическому следованию в исчислении высказываний. Обозначим через заглавные буквы латинского алфавита молекулярные высказывания А и В, состоящие из атомарных (элементарных) высказываний х1, х2, x3,..., xn. Тогда говорят, что "В следует из А или является следствием А", когда в таблицах истинности для А и В формула В имеет значение "истина" во всех тех строках, где А имеет значение "истина". Символически следование обозначается знаком " | =", например А | = В.

Если из А логически следует В, а из В следует А, т.е. А | = В и В | =А, то в этом случае высказывания А и В будут логически эквивалентными.

Обратимся теперь к другому случаю и определим, например, следует ли формула х у из формулы (ху)  (x ¬y). Для этого снова построим таблицу их истинности (табл. 9).




Однако в этой таблице ни в одной строке высказывания ху и х  ¬у не являются одновременно истинными, а потому их конъюнкция будет ложной. Но импликация из ложного высказывания считается истинной. Можно сказать поэтому, что из рассматриваемой формулы следует не только дизъюнкция х  у, но и любая другая формула. Такой парадоксальный результат объяснить нетрудно. Дело в том, что формула (ху)  (х  ¬у) представляет собой логическое противоречие, в чем можно убедиться, если выразить ее вторую часть через импликацию, т.е. (х  ¬у) ↔ ¬(xy). Отсюда непосредственно видно, что второй член конъюнкции является отрицанием первого члена: (ху)  ¬(х → ¬у).

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

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

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

В первом примере ошибочное заключение было связано с недостаточной точностью его словесной формулировки, во втором примере – противоречие было замаскировано другой формой символической записи второй части формулы. Ясно, что если бы противоречие было записано в виде: (ху) и ¬(xу), то сразу стало бы видно, что здесь перед нами противоречие, из которого, как теперь мы знаем, следует любое заключение: истинное, ложное и даже абсурдное. Нельзя, однако, считать, что противоречия раскрываются так легко. Как будет показано в гл. 6, противоречия зависят от ряда условий, выполнение которых обязательно для того, чтобы характеризовать их как противоречия, в частности чтобы высказывания, из которых одно отрицает другое, характеризовали предмет мысли в одно и то же время и в одном и том же отношении. С течением времени наши знания изменяются, и поэтому высказывания, которые характеризовали явления, также могут измениться и перестать противоречить друг другу.

Легко заметить, что все рассмотренные выше контрадикторные (противоречащие) высказывания могут быть представлены с помощью общей формулы (А  ¬А), где члены конъюнкции А и ¬А являются выражениями метаязыка, т.е. языка, на котором мы говорим об объектном (предметном) языке. Метаязык служит для представления высказываний, которые выражаются с помощью переменных х1, х2, х3,..., xn. В дальнейшем формулы метаязыка будут применяться всякий раз, когда нам придется говорить о предметном языке, чтобы не загромождать изложение и не выписывать формулы этого языка.

Итак, любые сколь угодно сложные высказывания, которые могут быть представлены в форме конъюнкции утверждения и его отрицания, т.е. как А  ¬А, представляют именно противоречие. Поэтому при любой комбинации входящих в них высказываний по истинностному их значению ("истина" или "ложь") будут приводить к ложному заключению. Другими словами, функция-высказывание, образованное из элементарных высказываний, всегда будет иметь своим значением "ложь". Поскольку из ложного утверждения можно получить как истину, так и ложь, постольку основной закон логики – закон непротиворечия – запрещает использовать противоречивые высказывания или формулы в рассуждении. Этот запрет выражается в требовании непротиворечивости рассуждения, которую часто называют также требованием совместимости (связности) рассуждения.

Если формула (А  ¬А) является всегда ложным высказыванием, то ее отрицание, выражающее требование непротиворечивости, напротив, будет всегда истинным высказыванием, общезначимой формулой, или тавтологией, как стали называть такие высказывания вслед за Л. Витгенштейном. Следует, однако, не смешивать языковые тавтологии с логическими. Если в языке тавтология означает повторение той же фразы или предложения текста, то в логике она является тождественно истинным высказыванием. Не следует также путать тождественно истинные высказывания с законом тождества, который выражается формулой АА, хотя последняя также выражает тавтологию.

Отсюда становится ясным, что тавтологии (тождественно истинные высказывания) можно использовать для представления всех законов логики или любых общезначимых ее формул. Действительно, закон непротиворечия, запрещающий противоречия в рассуждении, можно выразить формулой ¬(A  ¬A), которая представляет собой тавтологию, в чем можно убедиться, построив для нее соответствующую таблицу истинности (табл. 10). То же самое можно сказать о законе исключенного третьего – (A  ¬A) (табл.11).










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

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

3.6. Доказуемость и выводимость


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

По своей сути этот метод весьма похож на метод доказательства теорем, который известен из школьной геометрии. Доказательство там сводилось к логическому выводу теорем из аксиом, а также из ранее доказанных теорем, которые принимались в качестве истинных утверждений геометрии. В конечном итоге всякое доказательство сводится к логическому выводу теорем из аксиом, так как ранее доказанные теоремы также можно логически вывести из аксиом. Таким образом, отличие доказательства от логического вывода состоит в том, что при доказательстве мы принимаем посылки в качестве истинных высказываний, а при логическом выводе – в качестве допущений или гипотез. Отсюда становится ясным различие между истинностью и правильностью рассуждения или мышления, о котором шла речь в гл. 1. Истинность утверждения предполагает, во-первых, истинность посылок, из которых оно выводится, и, во-вторых, правильность логического вывода. Вывод может быть сделан из любых допущений, в том числе из ложных.

Хотя процесс доказательства в логике аналогичен доказательствам в математике, но между ними есть и существенное различие; оно заключается в том, что в математике мы имеем дело со специфическими математическими объектами – числами, фигурами, функциями и т.п., а в логике – с высказываниями, т.е. с логическими объектами. Чтобы отличить объекты разного уровня, для представления высказываний в математике используется предметный язык, а для анализа предметного языка – метаязык, на котором формулирует свои утверждения исследователь. Проще говоря, чтобы рассуждать об объектах предметного языка, необходим метаязык, выступающий в качестве языка второго уровня. Это обстоятельство следует всегда иметь в виду в дальнейшем.

Чтобы построить доказательство высказывания или формулы в исчислении высказываний, необходимо:

1) указать те аксиомы или недоказуемые формулы, из которых выводятся все доказуемые формулы или теоремы;

2) точно сформулировать правила вывода теорем из аксиом.

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

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




Каталог: sites -> default -> files
files -> Валявский Андрей Как понять ребенка
files -> Народная художественная культура. Профиль Теория и история народной художественной культуры
files -> Отчет о научно-исследовательской работе за 2014 год ростов-на-Дону 2014
files -> Учебно-методический комплекс дисциплины философия для образовательной программы по направлениям юридического факультета: Курс 1
files -> Цветков Андрей Владимирович, кандидат психологических наук, доцент кафедры клинической психологии программа
files -> Программа итогового (государственного) комплексного междисциплинарного экзамена по направлению 521000 (030300. 62) «Психология»


Поделитесь с Вашими друзьями:
1   ...   13   14   15   16   17   18   19   20   ...   54


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница