б) Гален, а в дальнейшем Де Морган, Ч. Пирс и др. выделили и исследовали особую структуру предложений, так называемые предложения об отношениях, подчиняющиеся иным, нежели в силлогизмах, правилам преобразования.
в) Ф. Бэкон и Д. С. Милль обнаружили особые рассуждения о причинных связях, которые они ошибочно причисляли к так называемым «индуктивным приемам», а А. А. Зиновьев в самое последнее время исследовал особенности строения знаний о связях и построил простейшее исчисление из соответствующих предложений.
г) Начиная с работ Дж. Буля по алгебре логики, усилиями Г. Фреге, Д. Пеано, Б. Рассела и др. была выработана новая символика для изображения строения языковых рассуждений, что позволило представить их в виде различных логико-математических исчислений.
Выделенные по всем этим линиям формулы строения языковых выражений и правила преобразования их образуют предмет «собственно логики». По сравнению с тем, что было выделено в период Аристотеля, логика, бесспорно, значительно расширила границы своего предмета, однако и в настоящее время за их пределами остается подавляющее большинство языковых форм современных обиходного и научного языков, к примеру целиком языки геометрических чертежей и химических формул, языки арифметики, алгебры, дифференциального исчисления и многие другие. Причину этого надо искать, очевидно, прежде всего в ограниченности методологических принципов традиционной логики. Разбору некоторых из них посвящены следующие разделы.
1. В предыдущем разделе было показано, что исследование сложных языковых рассуждений как выражений определенных процессов мышления исторически распалось (хотя это и не соответствовало действительной «природе» самих языковых рассуждений) на два сравнительно обособленных друг от друга плана. Это было обусловлено прежде всего тем эмпирически выявляемым обстоятельством, что «смысл» всякого сложного языкового рассуждения зависит, во-первых, от связей между его частями и элементами, во-вторых, от «смысла» самих отдельных элементов. Попытки изучить природу смысла отдельных элементов языковых рассуждений — мы назвали этот план исследования планом Б — наталкивались на трудности, которые не могли быть преодолены, в частности на проблему «общего». Но зато вполне доступным и не вызывающим особых затруднений оказался анализ строения языковых рассуждений — мы назвали этот план исследования планом А, — причем в довольно широких границах он оказался независимым от анализа их в плане Б. Для выявления определенных структур языковых рассуждений (виды этих структур мы перечислили в предыдущем сообщении) было вполне достаточно: 1) понимать «смысл» языкового рассуждения в целом и отдельных его элементов и 2) отвлечься от исследования «природы» этого «смысла».
Именно по такому пути, т. е. по пути исследования языковых рассуждений в плане А, пошла традиционная логика, начиная с Аристотеля и кончая самыми последними, «математическими» или так называемыми «символическими» направлениями.
2. В то же время в ходе логических исследований выявился целый ряд пунктов, в которых одного понимания «смысла» языковых рассуждений и их элементов было уже недостаточно и требовался определенный анализ «природы» и строения этого «смысла», т. е. анализ «природы» и строения значения и содержания отдельных языковых выражений. Иначе говоря, в ряде пунктов анализ строения языковых рассуждений в плане А оказался органически связанным с анализом их в плане Б.
Одной из причин такого обращения к плану Б была необходимость дать оправдание выделенным структурам сложных языковых рассуждений, правилам преобразования одних предложений в другие, обосновать их, доказать, что именно эти, а не какие-либо другие структуры рассуждения дают в своем результате знание, соответствующее действительности, или, другими словами, что именно эти структуры являются «необходимыми».
Ссылка на определенное строение объективной действительности, выражаемой в этих рассуждениях, стала наиболее распространенным способом такого оправдания. По сравнению с другими способами оправдания, такими, как априоризм и конвенционализм, он, естественно, казался наиболее научным.
Другой причиной обращения к плану Б была необходимость обосновать различение истинных и ложных предложений. Одно лишь соблюдение «необходимой» структуры рассуждения не обеспечивало еще получения в итоге знания, соответствующего реальному положению вещей. Для этого нужно было, чтобы соответствовали действительности также и те исходные предложения, «посылки», из которых мы с помощью «необходимых» преобразований выводим новое предложение. Нужно было иметь определенный критерий, чтобы отобрать из всех возможных высказываемых предложений те, которые действительно соответствовали реальному положению дел. И здесь ссылка на определенное строение действительности, фактически — на определенное строение содержания языкового выражения, вновь стала наиболее распространенным основанием для различения и отбора истинного от ложного.[48]
Обсуждение этого круга вопросов привело к появлению наряду с предметом «собственно логики» также еще особого предмета «теорий логики», или, если так можно сказать, особого предмета «обоснования логики». В зависимости от способа постановки самих вопросов, а также от направления, в котором шло их решение, складывались психологические, теоретико-познавательные или логико-семантические направления в обосновании логики. Именно в связи с обсуждением этого «мета-логического» круга вопросов был осознан и сформулирован «принцип параллелизма».
Между задачей обоснования «необходимого» характера определенных структур языковых рассуждений и задачей отделения «истинных» предложений от «ложных» существует известное различие, которое и привело с самого начала возникновения логики к их разделению. Решение первой задачи связано с анализом схем преобразования языковых структур, которые как схемы деятельности непосредственно ничего не замещают из области действительности. Они не зависят от специфики индивидуального содержания преобразуемых предложений и входящих в них терминов, а вместе с тем и от специфических признаков сопоставляемых объектов. Решение второй задачи связано с анализом определенных связей терминов, которые непосредственно зависят от конкретного объективного содержания терминов, а следовательно, и от специфических признаков сопоставляемых объектов. Это различие обусловило и известное различие в способах, какими в традиционной логике обосновывалось соответствие одних и других структур действительности. Если в первом случае ссылались на общий характер строения объективного мира, общий характер строения человеческого сознания (априоризм) или общность конвенции, то во втором случае ссылка была направлена на конкретные ситуации, конкретные положения дел и содержала утверждения о непосредственном соответствии терминов и их связей объектам, показаниям чувств или мыслям.
Но чтобы оправдывать структуру языкового рассуждения ссылкой на определенное строение действительности, отражаемой в этом рассуждении, т. е. фактически определенным строением объективного содержания рассуждения, необходимо предварительно это содержание, и в частности его строение, ввести и определить. А так как вне и помимо самой формы содержание нигде не существует и не проявляется, то это значит, что его надо каким-то путем выявить в форме, реконструировать, и только потом. мы сможем выводить строение знаковой формы языковых выражений из строения их содержания. По методу своему такая реконструкция, как мы уже говорили, исключительно сложна; она предполагает, в частности, применение специфически диалектических приемов исследования сложных органических объектов. Не выработав этих приемов и, следовательно, не имея возможности осуществить такое исследование и в то же время имея задачу обосновать строение формы языковых выражений строением их содержания, подавляющее большинство философов, логиков, психологов и лингвистов просто постулировали наличие параллелизма между содержанием языкового мышления и его формой (часто этот путь решения указанной выше задачи характеризуют как осуществление принципа тождества бытия и мышления).
48
«…Так что в истине пребывает тот, кто полагает разделенное разделенным, а соединенное — соединенным, а в заблуждении — тот, чье мнение противоположно действительному положению вещей» [Аристотель, 1937 а, кн. IX, гл. 10, 1051b].