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