Высказывания, из которых выводятся другие, но которые сами не выводятся ни из каких, называют определениями и аксиомами.
Двигаясь таким образом по заданным правилам от определений и аксиом ко все новым и новым выводимым из них высказываниям, мы можем получить всю теорию (если уже имеются все необходимые для этого понятия и суждения!).
Такой путь построения теории называется дедуктивным. А само выведение все более частных и конкретных суждений и понятий из более общих и абстрактных называют дедукцией.
Чтобы не терять времени на примеры и иллюстрации, напомним известную каждому из школы систему эвклидовой геометрии. С ее постулатами, аксиомами, определениями, леммами, теоремами и следствиями она представляет довольно типичную (хотя по сегодняшним требованиям не вполне строгую) модель дедуктивной теории.
С этой точки зрения, теория может рассматриваться как своего рода машина для выработки все новых и новых высказываний.
Эти высказывания отображают новые и новые стороны определенных вещей и явлений, выводимые из уже известных их отношений. Поэтому теорию можно представить еще как своеобразную машину для выработки новых знаний из уже имеющихся путем оперирования по определенным правилам понятиями и высказываниями.
Как же все это происходит? Рассмотрим сначала внешнюю сторону деятельности теоретического мышления. Как она проявляется и какими правилами определяется? А затем попытаемся проникнуть вглубь — какие внутренние психологические процессы порождают эти проявления и находят в них свое выражение.
Начнем с вопроса, как внешне выражается связь между отдельными высказываниями. Для этой цели в языке существуют особые, так называемые, синтаксические средства.
В частности, связь двух высказываний может выражаться просто их следованием друг за другом. Пример: «Растворим в воде соль (щелочь, кислоту). Ее молекулы распадутся на электрически заряженные частицы — ионы. Произойдет электролитическая диссоциация».
Ту же связь можно выразить с помощью особых орфографических средств — знаков препинания: «Растворим в воде соль (щелочь, кислоту): молекулы распадаются на электрически заряженные частицы (ионы), это — электролитическая диссоциация».
Но яснее всего связи приведенных высказываний (и соответственно, отраженных в них событий) выражаются с помощью специальных языковых знаков (слов или терминов). «Если растворить в воде соль или щелочь или кислоту, то их молекулы распадутся на электрически положительные и отрицательные заряженные частицы, именуемые ионами. Этот процесс представляет собой электролитическую диссоциацию.»
Нетрудно заметить, что слова «если... то», «или», «и», так же как знаки препинания, не имеют никаких предметных значений. Они обозначают не вещи, а определенные связи высказываний или слов внутри них, т.е. приведенные слова и знаки имеют синтаксические значения.
Такого рода синтаксических знаков, слов и терминов в языке (как обыденном, так и научном) существует великое множество. Кроме уже перечисленных, сюда относятся, например, слова «существуют», «имеются», «принадлежат», «все», «некоторые», «хотя», «но», «не», «предположим», «когда», «следовательно», «значит», «потому что», «также», «пока», «тогда, когда» и др. Все такие синтаксические средства, с помощью которых связываются определенным образом высказывания или слова в высказываниях, называют логическими связками, или, по-другому, логическими операторами.
Наиболее важными среди них для нашего вопроса являются следующие пять операторов (почему, мы увидим позже): И, ИЛИ, ЕСЛИ... ТО, ТОГДА и ТОЛЬКО ТОГДА, НЕ.
Ввиду их особой важности эти связки (операторы) обозначаются особыми значками. Ниже мы приводим эти значки, а также название тех отношений (операций),
которые осуществляются с помощью этих связок (в чем суть этих отношений, мы определим несколько позже):
Использование этих знаков позволяет записывать структуру связей между высказываниями (если, конечно, эти связи сводятся к перечисленным пяти основным). Так, например, структура связей высказываний в приведенной выше фразе об электролизе будет выглядеть следующим образом:
[(Р V d V г) -*• s] — p.
(Попробуйте сами разобраться, какие различные высказывания обозначены здесь буквами р, q, г).