Лев Ительсон - Лекции по общей психологии

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

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

Например, оператор «И» можно определить так:

1) Если исходные высказывания истинны, то и образованное из них с помощью связки «И» высказывание тоже истинно. (Пример: если высказывание «4 — четное число» — истинно, «8 — четное число» — истинно, то «4 и 8 четные числа», тоже истинно.)

2) Если любое (любые) из исходных высказываний ложно, то и сложное высказывание, образованное из них с помощью связки «И», ложно. (Пример. Высказывание «люди — существа разумные и бессмертные» — в целом ложно. Потому что высказывание «люди — существа бессмертные» — ложно.)

3) Если оба (все) исходные высказывания ложны, то и составное (сложное) высказывание ложно. (Пример: высказывание «сознание первично и творит действительность» ложно, ибо оба составляющих его высказывания ложны.)

Сокращенно все перечисленные правила можно записать в следующей таблице или матрице истинности (р, q означает любые высказывания, И — истинность, Л — ложность, Щ — конъюнкцию).

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

Например, пусть дана цепочка конъюнкций из 3-х высказываний pAqAr со значениями истинности соответственно И ИЛ, Тогда первая часть этого сложного высказывания pAq будет истинна (по таблице конъюнкций ИИ дает И). Последняя же часть ложна (по таблице сочетаний ИЛ дает Л), Значит, все высказывание в целом будет ложно.

Такие же определения с помощью матриц истинности можно построить и для остальных операторов.

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

Примером может служить закон упрощения. Он записывается так:

(Р А Я)-+Р

и читается: при всяком р и q, если р и q, то р. Проверим его с помощью таблицы для любых возможных комбинаций истинности и ложности высказываний /?, q.

ИИ и лил и л л л л л

Отсюда видно, что такое соотношение высказываний всегда обеспечивает истинный вывод.

Р Я РАЯ (рля)-*р

И

И

И

И

Приведем еще несколько подобных же законов:

1. Закон противоречия:

не [р А (не — р)].

2. Закон исключенного третьего:

р \/(не — р).

3. Законы тавтологии:

(р Л р) ~Р; (pVp)~p.

4. Коммутативные законы:

(рЛ<7)~(<7Лр); (р v<7)~(<7 Vp).

5. Ассоциативные законы:

[Р Л (<7 Л /■)] ~ [Р A q) Л г].

Другие правила вывода — это правило отделения и правило подстановки.

Первое из них закрепляется следующей формулой:

[(Р-»?)ЛР] -+q.

Пример: «Если х — положительное число, то 2хтоже положительное число; х — положительное число.» Если оба этих высказывания истинны, то истинно и высказывание (вывод), что «2дс— положительное число».

Второе правило (подстановки) разрешает заменять в сложном высказывании одни составляющие его высказывания другими, если при этом форма (структура) сложного высказывания останется без изменений. Так, например, из высказывания «если х— положительное число, то 2х — положительное число», следует, что «если 2х не положительное число, то х тоже не положительное число».

Структура этого вывода такова:

Заменим теперь высказывание р («х — положительное число») на высказывание р у(«сегодня понедельник»), а высказывание q («2jc — положительное число») заменим на q \ так чтобы сохранялось отношение импликации («завтра вторник»). Если подставим эти высказывания на места р и q соответственно формуле, то получим:

Из высказывания «если сегодня понедельник, то завтра вторник», вытекает, что «если не завтра вторник, то не сегодня понедельник».

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

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

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

Между прочим, автор этого определения известный логик А. Тарский отмечает, «какую чрезвычайно элементарную форму, с точки зрения психологической, приобретают все математические рассуждения благодаря знанию и применению законов логики и правил вывода; сложные умственные процессы целиком могут быть сведены к выполнению таких простых требований, как внимательное соблюдение положений, ранее принятых за истинные, учет структурных, чисто внешних соотношений между этими положениями и выполнение механических видоизменений согласно предписаниям правил вывода».

К сожалению, именно психологически дело обстоит далеко не так просто. В действительности мышление никогда не протекает, как «выполнение механических видоизменений» высказываний «согласно предписаниям правил вывода». С этой точки зрения, логика не описывает фактического протекания теоретического мышления. Она лишь формулирует его основы — те отношения суждений и высказываний, на которые оно опирается. Как любая абстракция, как всякая идеальная модель, логика представляет теоретическое мышление таким, каким оно должно было бы быть, если бы в нем не действовали никакие факторы, кроме логических отношений, выраженных в своем предельно полном, строгом и сознательном виде.