Традиционная логика
Традиционная логика — это наука о законах выводного знания. Основоположником ее является величайший мыслитель древности Аристотель (384— 322 до н. э.), которого К. Маркс и Ф. Энгельс называли «исполином мысли» [27].
Разрабатывая основы науки логики, Аристотель опирался на работы многих предшественников. Известно, что отдельные проблемы логики (индукция, суждение, понятие, определение понятия, правила доказательства и др.) рассматривались в работах греческих мыслителей V и VI вв. до н. э. Уже имелось большое количество работ по философии (Гераклита, Демокрита, Платона и др.), по истории (Геродота, Фукидида, Ксенофонта и др.), по медицине и естествознанию. Все это давало богатейший материал для разработки основных начал науки о логическом мышлении.
Традиционная логика — это первая ступень логики выводного значения, как бы арифметика логики. Она изучает общечеловеческие формы мысли (суждения и понятия) и формы связи мыслей в рассуждении (умозаключении), зафиксированные в формально-логических законах (тождества, противоречия, исключенного третьего и достаточного основания), в которых отобразились объективно существующие общие законы, связи и отношения предметов и явлений материальной действительности. Логические формы и законы есть отражение объективного мира[22].
Изучение логической формы имеет поэтому важное научное значение. Как и всякая форма, логическая форма есть внутренняя организация содержания, в данном случае организация в сознании человека мыслительных образов предмета и явлений материального мира.
Логическое содержание— это, по выражению К. Маркса, «материальное, пересаженное в человеческую голову и преобразованное в ней» [18], является динамической, подвижной стороной мыслительного процесса; оно меняется, обогащаясь в процессе практического взаимоотношения человека с окружающей его средой.
Логическая форма, в которой протекает идеальная деятельность общественного субъекта ,— это система устойчивых связей суждения, понятий и категорий в ходе мыслительного процесса, в которых, повторяем, также отобразилась объективная действительность со стороны существующих в ней наиболее общих связей и отношений.
Практика человека, «миллиарды раз повторяясь, закрепляется в сознании человека фигурами логики. Фигуры эти имеют прочность предрассудка, аксиоматический характер именно (и только) в силу этого миллиардного повторения» [19].
Являясь отображением объективного мира, где форма и содержание даны в единстве, логическая форма и логическое содержание также находятся в единстве: в познающем мышлении логическое содержание оформлено в суждениях, понятиях и категориях, а суждения, понятия и категории наполнены содержанием. Но находясь в неразрывном единстве с содержанием, логическая форма, отобразив устойчивые связи и отношения предметов объективного мира, вычленилась из содержания, приняла устойчивые «параметры» и получила относительную самостоятельность. Это выражается уже в том, что в одной и той же форме (например) в форме дедукции, когда мыслительный процесс развивается в направлении от знания общего к знанию частного и единичного) может воплощаться и организоваться в самое различное идеальное содержание (дедуктивно можно сочетать суждения о физических, химических, биологических, социальных и других явлениях и процессах). И во всех случаях, если посылки правильны и к ним безошибочно применены требования дедуктивного умозаключения, то и вывод из посылок будет правильным.
Относительная самостоятельность логической формы выражается также в том, что логическая форма носит принудительный характер, заставляя сделать необходимый вывод из принятых посылок.
Принудительный характер имеет любая логическая форма. Таким образом, все логические формы имеют относительную самостоятельность и принудительный характер.
Значение логики и заключается в том, что она учит, как правильно по форме (структуре) построить рассуждение, чтобы, при условии верного применения формально-логических законов, прийти к истинному выводу из истинных посылок, расширяющему наши знания. Соблюдение требований логики - непременное условие последовательного, непротиворечивого, обоснованного мышления. Неудивительно, что со словом «логика» люди испокон веков привыкли связывать знание важных свойств объективной действительности: отображение в мысли последовательности событий, обоснованности одних явлений другими, причинной связи, системности, порядка и т. п. А. Эйнштейн однажды хорошо выразил это, сказав, что наука «стремится систематизировать наши переживания и уложить их в логическую систему» [51].
Логическое — это в представлении людей — что-то упорядоченное, само себе не противоречащее, что существует и развивается обоснованно, последовательно и т. д., то, в чем можно быть уверенным, на что можно положиться.
Логика, когда она применяется правильно, приобретает, известный характер критерия познания. Так, нельзя практически проверить, как вселенная сжимается и расширяется, но логически это доказано. «И вообще, в истории науки существовало много истин, которые практически не проверены, но логически доказаны и именно благодаря этому мы считаем, что они проверены... Если бы люди для каждой истины искали практическую проверку, наука и научное творчество замедлили бы свое развитие» [33]. Правда, критерий логики — это критерий второго порядка, ибо критерием первого порядка является практика. Но это нисколько не умаляет значения логики как критерия истины там, где проверка практикой невозможна, и там, где можно обойтись в том или ином конкретном случае без проверки практикой. Дело в том, что в законах и формах логики, как мы уже сказали, зафиксирована практика, миллиарды раз наблюдавшаяся человеком.
Изучение формы (структуры) мыслей и символическое обозначение компонентов формы, начатое еще Аристотелем в IV в. до н. э., продолженное затем Г.В. Лейбницем, Дж. Локком, Дж. Булем, П. С. Порецким, У. С. Джевонсом, Э. Шредером, Г. Фреге, Дж. Пеано, Б. Расселом, Д. Гильбертом, А. Тарским, Я. Лукасевичем, А. Н. Колмогоровым, А. И. Мальцевым, А. А. Марковым, А. Чёрчем, С. Клини и другими математиками и логиками, открыло перспективнейший современный путь исследования материальных объектов, когда, отвлекаясь от внутренней изменчивости этих объектов и их вещественного субстрата, содержание изучаемого явления выражают с помощью относительно жестких, фиксированных элементов его формы. Это дало возможность заменять вывод какого-либо содержательного предложения выводом формулы, его выражающей. Мышление стало исследоваться с помощью формализованных языков (логических исчислений), а формализованные языки послужили основой для разработки информационных языков, которыми пользуются в вычислительных машинах. Формальная логика, как это признают не только специалисты в области исследования логики, но и ученые других отраслей науки, дает средства, позволяющие так записывать алгоритмы решения логических задач и процедуры принятия решений, что их выполнение можно доверить автоматическим ЭВМ [12].