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

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

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

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

Наиболее важными среди них для нашего вопроса являются следующие пять операторов (почему, мы увидим позже): И, ИЛИ, ЕСЛИ... ТО, ТОГДА и ТОЛЬКО ТОГДА, НЕ.

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

которые осуществляются с помощью этих связок (в чем суть этих отношений, мы определим несколько позже):

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

[(Р V d V г) -*• s] — p.

(Попробуйте сами разобраться, какие различные высказывания обозначены здесь буквами р, q, г).

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

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

Соответствие утверждений (или отрицаний), содержащихся в высказывании, действительности (или ее принятой идеальной модели) называют истинностью высказывания, а противоположное отношение — ложностью высказывания. Значит, выводимость определяется прежде всего отношением оснований к выводам (посылок к заключениям) с точки зрения истинности. Если истинность или ложность некоторого высказывания р полностью определяется истинностью или ложностью определенных других высказываний q, г..., то это высказывание р находится в отношении выводимости к высказываниям q, г...

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

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