Избранные труды - [16]

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

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

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

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

г) Начиная с работ Дж. Буля по алгебре логики, усилиями Г. Фреге, Д. Пеано, Б. Рассела и др. была выработана новая символика для изображения строения языковых рассуждений, что позволило представить их в виде различных логико-математических исчислений.

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

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

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

Именно по такому пути, т. е. по пути исследования языковых рассуждений в плане А, пошла традиционная логика, начиная с Аристотеля и кончая самыми последними, «математическими» или так называемыми «символическими» направлениями.

2. В то же время в ходе логических исследований выявился целый ряд пунктов, в которых одного понимания «смысла» языковых рассуждений и их элементов было уже недостаточно и требовался определенный анализ «природы» и строения этого «смысла», т. е. анализ «природы» и строения значения и содержания отдельных языковых выражений. Иначе говоря, в ряде пунктов анализ строения языковых рассуждений в плане А оказался органически связанным с анализом их в плане Б.

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

Ссылка на определенное строение объективной действительности, выражаемой в этих рассуждениях, стала наиболее распространенным способом такого оправдания. По сравнению с другими способами оправдания, такими, как априоризм и конвенционализм, он, естественно, казался наиболее научным.

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