Избранные труды
Шрифт:
В какой-то мере этот факт является парадоксальным. Дело в том, что взятые сами по себе, т. е. со стороны своего «материала», языковые выражения являются либо временными последовательностями звуков и движений, либо пространственными комбинациями письменных значков. Расчленить эти последовательности звуков и движений и комбинации значков на отдельные значащие единицы и таким путем представить их в виде определенных знаковых структур можно только исходя из их значений, или, точнее, из обозначаемого ими, из их содержания. Собственно, только наличие обозначаемого ими содержания делает эти звуки, движения и графические значки знаками, а определенный порядок и последовательность процесса обозначения создает структуру языковых выражений. Но это, в частности, означает, что только понимание этого содержания (соответственно значений знаков) дает возможность человеку выявить структуру языковых выражений. Иначе говоря, анализируя языковые выражения в плане А, т. е. в плане их структуры, исследователь не может сделать ни одного шага без ссылки на «смысл»,
4. На основе такого подхода в традиционной логике и осуществлялось исследование строения сложных языковых выражений.
Но не всех. Из всего множества разнообразных языковых рассуждений создатель логики, Аристотель, выделил одну узкую группу так называемых «необходимых» умозаключений и изобразил ее в виде «силлогизмов» разного вида. [45] За границами выделенной таким образом области языковых рассуждений остались, во-первых, все рассуждения, содержащие описание различных действий с предметами и явлениями, взаимодействий и изменений самих предметов и т. п., [46] т. е. все, если можно так сказать, «не-необходимые» рассуждения; во-вторых, целый ряд «необходимых» умозаключений, которые строились на основе предложений об отношениях, связях, на арифметических соотношениях и т. п.
45
«…Силлогизм же есть высказывание, в котором при утверждении чего-либо из него необходимо вытекает нечто отличное от утвержденного и <именно> в силу того, что это есть. Под словами же «в силу того, что это есть» я разумею, что это отличное вытекает благодаря этому, а под словами «вытекает благодаря этому» — что оно не нуждается ни в каком постороннем термине, чтобы следовать с необходимостью» [Аристотель, 1952, с. 10].
46
Следует заметить, что подобные языковые рассуждения не бывают резко отделены от «необходимых», и в частности силлогистических, умозаключений. Наоборот, они, как правило, органически связаны с последними и часто — например, в элементарной геометрии — образуют необходимую составную часть в процессах доказательства; это описания преобразований различных фигур, новых построений и т. п.
Вопрос о том, каким образом и почему Аристотель выделил группу «силлогистических умозаключений» из всех других, не ставился в традиционной логике, ибо сама эта группа долгое время рассматривалась как единственно возможная. Отказ от такого взгляда заставляет поставить и решить новый ряд вопросов: во-первых, какой именно вид языковых рассуждений и соответственно мыслительных процессов фиксируется в формулах силлогизма и, во-вторых, почему и каким образом была выделена именно эта группа рассуждений?
Нам представляется — и это было подробно рассмотрено в [1958 b *; I–V], — что схемы силлогизма являются описанием части одного наиболее распространенного и в наименьшей степени зависящего от содержания процесса мышления, так называемого «соотнесения общего формального знания с единичными объектами». Атрибутивная схема представления предложений («А приписывается Б» или «А содержится в Б») и правила преобразования двух таких предложений с общими терминами по всем фигурам силлогизма (например, «если А приписывается всем Б, а Б — всем В, то А необходимо приписывается всем В»), введенные Аристотелем, полностью соответствуют формальной части этого мыслительного процесса.
Чтобы выделить структуру этих предложений и описать механизм формального преобразования, осуществляющегося в процессе соотнесения, не нужно обращаться к анализу строения области содержания; достаточно на основе понимания смысла различных языковых выражений выделить отношение «присущности» или «включения» из всех других отношений, встречающихся в предложениях языка, и затем, ориентируясь на это всюду сохраняющееся отношение, сопоставить исходные и полученные предложения в плане выявления сменяющихся элементов («метод коммутации»). Точно так же не нужно особой проницательности, чтобы понять природу того формального преобразования, которое мы осуществляем, превращая пару предложений в одно: оно есть попросту «выбрасывание», «вычеркивание» опосредствующего термина. И это становится особенно наглядным, если записать предложения в ряд: А — Б, Б — В, — а именно так их записывал Аристотель, и не случайно поэтому «выбрасываемый» термин называется у него «средним». [47]
47
«…Если три термина так относятся между собой, что последний целиком содержится в среднем, а средний целиком содержится или не содержится в первом, то необходимо, чтобы «для двух» крайних «терминов» образовался совершенный силлогизм. Средним «термином» я называю «тот», который сам содержится в одном, в то время как в нем самом содержится другой и по положению он является средним…» [Аристотель, 1952, с. 14].
Отчетливое понимание метода выделения структуры силлогизма требует дальнейших тщательных исследований, проведенных с операциональной точки зрения, т. е. в терминах действий «сопоставления» и «отнесения» (ср. [1957 b, с. 44–45]). Это — задача специальной работы. Здесь же нам важно подчеркнуть только три момента: 1) выделяя предмет логики, Аристотель охватил не все виды языковых рассуждений, а только незначительную часть их; 2) выделение этой группы рассуждений было во многом случайным, т. е. эти рассуждения не являются какими-то особенными и не занимают привилегированного положения среди всех других, хотя они и были, по-видимому, наиболее распространенными во времена Аристотеля; 3) выделение этой группы рассуждений было основано, с одной стороны, на смысловом выделении одного определенного отношения из всего множества отношений и связей, выражаемых различными предложениями, именно отношения «присущности» или «включения», с другой стороны — на формальном выделении меняющихся элементов предложений путем соответствующих сопоставлений этих предложений как особых структурных объектов.
5. Все дальнейшее развитие логики в плане анализа и выявления строения сложных языковых рассуждений сводится в основном к следующему.
а) Анализируя структуру аристотелевых силлогизмов, стоики нашли, что соответствующие им языковые рассуждения содержат не только связи между терминами, но также и связи между предложениями и, соответственно этому, могут быть представлены не только в символической форме силлогизма, но и в иной форме схем вывода (со связями импликации, конъюнкции, дизъюнкции и т. п.). Этот анализ положил начало так называемой «логике предложений» и в дальнейшем — так называемому «исчислению высказываний».
б) Гален, а в дальнейшем Де Морган, Ч. Пирс и др. выделили и исследовали особую структуру предложений, так называемые предложения об отношениях, подчиняющиеся иным, нежели в силлогизмах, правилам преобразования.
в) Ф. Бэкон и Д. С. Милль обнаружили особые рассуждения о причинных связях, которые они ошибочно причисляли к так называемым «индуктивным приемам», а А. А. Зиновьев в самое последнее время исследовал особенности строения знаний о связях и построил простейшее исчисление из соответствующих предложений.
г) Начиная с работ Дж. Буля по алгебре логики, усилиями Г. Фреге, Д. Пеано, Б. Рассела и др. была выработана новая символика для изображения строения языковых рассуждений, что позволило представить их в виде различных логико-математических исчислений.
Выделенные по всем этим линиям формулы строения языковых выражений и правила преобразования их образуют предмет «собственно логики». По сравнению с тем, что было выделено в период Аристотеля, логика, бесспорно, значительно расширила границы своего предмета, однако и в настоящее время за их пределами остается подавляющее большинство языковых форм современных обиходного и научного языков, к примеру целиком языки геометрических чертежей и химических формул, языки арифметики, алгебры, дифференциального исчисления и многие другие. Причину этого надо искать, очевидно, прежде всего в ограниченности методологических принципов традиционной логики. Разбору некоторых из них посвящены следующие разделы.
1. В предыдущем разделе было показано, что исследование сложных языковых рассуждений как выражений определенных процессов мышления исторически распалось (хотя это и не соответствовало действительной «природе» самих языковых рассуждений) на два сравнительно обособленных друг от друга плана. Это было обусловлено прежде всего тем эмпирически выявляемым обстоятельством, что «смысл» всякого сложного языкового рассуждения зависит, во-первых, от связей между его частями и элементами, во-вторых, от «смысла» самих отдельных элементов. Попытки изучить природу смысла отдельных элементов языковых рассуждений — мы назвали этот план исследования планом Б — наталкивались на трудности, которые не могли быть преодолены, в частности на проблему «общего». Но зато вполне доступным и не вызывающим особых затруднений оказался анализ строения языковых рассуждений — мы назвали этот план исследования планом А, — причем в довольно широких границах он оказался независимым от анализа их в плане Б. Для выявления определенных структур языковых рассуждений (виды этих структур мы перечислили в предыдущем сообщении) было вполне достаточно: 1) понимать «смысл» языкового рассуждения в целом и отдельных его элементов и 2) отвлечься от исследования «природы» этого «смысла».