Использование этих знаков позволяет записывать структуру связей между высказываниями (если, конечно, эти связи сводятся к перечисленным пяти основным). Так, например, структура связей высказываний в приведенной выше фразе об электролизе будет выглядеть следующим образом:
[(Р V d V г) -*• s] — p.
(Попробуйте сами разобраться, какие различные высказывания обозначены здесь буквами р, q, г).
Теперь, когда мы кое-что уже знаем о способах образования системы высказываний, попробуем разобраться в том главном, что делает ее системой. Выясним, как устанавливается, на чем основывается и как осуществляется отношение выведения одних высказываний из других.
Чтобы ответить на эти вопросы, воспользуемся нашим испытанным методом. Спросим, для чего собственно нужно выведение? Ответ мы уже видели. Выведение позволяет из высказанных суждений получать новые, т.е., опираясь на сформулированные отношения вещей, утверждать или отрицать между ними какие-то еще не высказанные, не сформулированные нами отношения. Естественно, что вся эта процедура будет иметь смысл и давать новые знания только в том случае, когда утверждения (или отрицания), содержащиеся в выводе, будут соответствовать действительности.
Соответствие утверждений (или отрицаний), содержащихся в высказывании, действительности (или ее принятой идеальной модели) называют истинностью высказывания, а противоположное отношение — ложностью высказывания. Значит, выводимость определяется прежде всего отношением оснований к выводам (посылок к заключениям) с точки зрения истинности. Если истинность или ложность некоторого высказывания р полностью определяется истинностью или ложностью определенных других высказываний q, г..., то это высказывание р находится в отношении выводимости к высказываниям q, г...
Истинность исходных высказываний может устанавливаться из опыта (эмпирический путь), выводиться из других высказываний (теоретический путь), приниматься на веру (догматический путь) или подсказываться чувством достоверности, очевидности (интуитивный путь). Но, коль скоро истинность этих исходных высказываний тем или иным путем установлена, вывод может осуществляться, уже исходя только из формы и связей самих высказываний.
Возьмем для примера известный почтенный многовековой древности грустный силлогизм о неком Кае:
Все люди смертны.
Кай — человек._
Следовательно, Кай смертен.
Здесь выводимость печального заключения «Кай смертен» определяется только по формальным признакам исходных высказываний и их отношениям друг к другу. Для рассматриваемого случая эти отношения уже две тысячи лет тому назад определил древнегреческий философ Аристотель. Вот они:
801
26 Нак. 2143
Все Af (человеки) — Р (смертны). 5 (Кай) — М (человек).
5 (Кай) — Р (смертен).
Выводимость утверждения S — Р (Кай смертен) из посылок определяется формальным правилом, закрепленным в фигуре этого силлогизма. Причем, здесь совершенно неважно, о Кае и смертности людей идет речь, или о чем-нибудь ином. Если посылки истинны, то и заключение будет истинно, и обратно.
Значит, везде, где будут иметь место такая структура и такое отношение высказываний, можно высказать заключение со структурой S — Р. Это заключение будет находиться к посылкам в отношении выводимости, так как строго определена зависимость его истинности или ложности от истинности или ложности посылок.
Например, для приведенного нами типа вывода — силлогизма — каждая из двух посылок может выражать суждение общее или частное, утвердительное или отрицательное. То же относится к заключению. Формальная логика показала, что из всех возможных здесь 256 вариаций только 19 дают отношение выводимости и определила их структуры (так называемые модусы силлогизма).
Таким образом, новые знания получаются не путем оперирования над вещами или их представлениями, а путем оперирования высказываниями по определенным правилам. Правила такого оперирования высказываниями и их преобразований, с помощью которых образуются новые высказывания, находящиеся к исходным в отношении выводимости, изучает логика.
В рассмотренном случае эти правила основываются на определенных отношениях между классами объектов и признаками объектов (утверждение или отрицание определенных признаков у всех или некоторых объектов определенного класса). Признаки, приписываемые в суждении определенным классам и объектам, называют в логике предикатами. Следовательно, в силлогистических умозаключениях мы имеем один из случаев логики предикатов.
Силлогистическое умозаключение — не единственный способ образования выводных отношений высказываний. Другой важный способ установления таких отношений — это образование сложных высказываний с помощью логических связок или операторов.
В частности, перечисленные нами выше пять логических связок можно определить через зависимость истинности сложных высказываний, образуемых с помощью этих связок, от истинности или ложности исходных высказываний.
Например, оператор «И» можно определить так:
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х не положительное число, то х тоже не положительное число».
Структура этого вывода такова:
Заменим теперь высказывание р («х — положительное число») на высказывание р