Отчетливое понимание метода выделения структуры силлогизма требует дальнейших тщательных исследований, проведенных с операциональной точки зрения, т. е. в терминах действий «сопоставления» и «отнесения» (ср. [Щедровицкий, 1957, с. 44–45 [331]]). Это – задача специальной работы. Здесь же нам важно подчеркнуть только три момента: 1) выделяя предмет логики, Аристотель охватил не все виды языковых рассуждений, а только незначительную часть их; 2) выделение этой группы рассуждений было во многом случайным, т. е. эти рассуждения не являются какими-то особенными и не занимают привилегированного положения среди всех других, хотя они и были, по-видимому, наиболее распространенными во времена Аристотеля; 3) выделение этой группы рассуждений было основано, с одной стороны, на смысловом выделении одного определенного отношения из всего множества отношений и связей, выражаемых различными предложениями, именно отношения «присущности» или «включения», с другой стороны – на формальном выделении меняющихся элементов предложений путем соответствующих сопоставлений этих предложений как особых структурных объектов.

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

а) Анализируя структуру аристотелевых силлогизмов, стоики нашли, что соответствующие им языковые

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

б) Гален, а в дальнейшем О. де Морган, Ч. Пирс и др. выделили и исследовали особую структуру предложений, так называемые предложения об отношениях, подчиняющиеся иным, нежели в силлогизмах, правилам преобразования.

в) Ф. Бэкон и Д.С. Милль обнаружили особые рассуждения о причинных связях, которые они ошибочно причисляли к так называемым индуктивным приемам, а А.А. Зиновьев в самое последнее время исследовал особенности строения знаний о связях и построил простейшее исчисление из соответствующих предложений.

г) Начиная с работ Дж. Буля по алгебре логики, усилиями Г. Фреге, Д. Пеано, Б. Рассела и др. была выработана новая символика для изображения строения языковых рассуждений, что позволило представить их в виде различных логико-математических исчислений. Выделенные по всем этим линиям формулы строения языковых выражений и правила преобразования их образуют предмет «собственно логики». По сравнению с тем, что было выделено в период Аристотеля, логика, бесспорно, значительно расширила границы своего предмета, однако и в настоящее время за их пределами остается подавляющее большинство языковых форм современных обиходного и научного языков, к примеру целиком языки геометрических чертежей и химических формул, языки арифметики, алгебры, дифференциального исчисления и многие другие. Причину этого надо искать, очевидно, прежде всего в ограниченности методологических принципов традиционной логики. Разбору некоторых из них посвящены следующие разделы.

II. Принцип параллелизма как теоретическое основание формальной логики

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