В Новое время в период широкого распространения в Европе естественнонаучного знания (механика, география и т. Д.) возникают потребности в дополнении системы дедуктивных умозаключений принципами индуктивного мышления. Накопленный эмпирический, фактический материал, частные случаи из практики и жизни путем сравнений и обобщений оказалось возможным построить так, что они приведут к истинным суждениям общего характера. Знание о единичных вещах может «навести» (лат.: inductio) на мысль о наличии общих закономерностей их существования. Это свойство мышления как научную закономерность в противоположность схоластическим рассуждениям отметил в своем труде «Новый Органон или Истинные указания для истолкования природы» английский философ и естествоиспытатель Фрэнсис Бэкон (1561 – 1626). Он выступил, таким образом, родоначальником индуктивной логики
Специфику научного познания отразил в рационалистической методологии французский мыслитель Нового времени Рене Декарт (1596 – 1650). В «Рассуждении о методе, чтобы верно направлять свой разум и отыскивать истину в науках» и «Правилах для руководства ума» он формулирует важнейшие методы познания: аксиоматический, аналитический и синтетический, а также, в завершении познания, метод систематический. Высшей формой реализации рационалистической методологии, по Декарту, является математика. Логике отводится роль методологии познания, способной обнаружить пути обретения новых истин, приращения знания.
Основополагающие идеи математической (или символической) логики были предложены немецким мыслителем Г.В.Лейбницем (1646 – 1716) в работах «Об искусстве комбинаторики», «Опыт универсального исчисления», «О математическом определении силлогических форм» и др. Он развивает вопросы традиционной логики (формулирует закон достаточного основания, работает над систематизацией категорий логики и пр.), но больше внимания уделяет формализации языка, математизации стиля логического мышления. С этого времени в логике стали использоваться специальные знаки-символы, не употребляющиеся в естественном языке. Лейбниц впервые исследовал возможности арифметизированного логического вывода на основании соответствия законов логики и законов математики. Этим ставится цель привести теоретические научные рассуждения к математическим расчетам, благодаря которым возможно разрешить любой спор и прийти к истине.
На смену традиционной логике приходит математическая, заключающая мыслительные формы в строгие формулировки правил и теорем, реализуемых в аналитических приемах мыслительной деятельности.
В ХIХ в. символическая логика становится наиболее привлекательной сферой логического знания. Среди наиболее известных представителей математической логики выделяется английский математик Д. Буль (1815 – 1864). В работах «Математический анализ логики» и «Исследование законов мышления» он закладывает основы алгебраических исчислений конкретных элементов (классов) как отношений (операций). Буль стремился перевести на язык знаков отношения между идеями, объектами и абстрактными системами. Булева алгебра – это решение логических задач путем использования трех операций: а) сложение классов (А U В), умножение классов (А ∩ В), и дополнение к классу (А′). Алгебра Буля была применима и в прикладных случаях, например, при интерпретациях конкретно-релейных схем, в исчислениях при программировании в ЭВМ и т.д.
Формальная и символическая логика. Формальная (традиционная) логика предметом своего исследования имеет исследование основных форм мышления (понятие, суждение, умозаключение), законов, находящиеся в их сфере, непосредственно не опираясь на конкретное содержание мысли. Формальная логика абстрагируется от исторического процесса, от развития практических и познавательных способов действия.
Символическая (математическая) логика может быть представлена как формальная, как ее формализованная часть. Основной своей задачей она видит построение логических исчислений путем математических формул, аксиом и следствий. Она излагает формы мышления в системе знаков и специальных символов.
Современная формальная логика предусматривает изучение мыслительных операций и перенесение логических форм на общие образцы теоретического знания. Современная символическая логика является самостоятельным направлением логического знания, имеет не только теоретическое, но и практическое значение. Так, помимо сложных вычислительных операций, она широко используется в лингвистике (при переводах с одного языка на другой), технической сфере (при управлении приборами), в компьютерном программировании и пр.
Формальная и диалектическая логика. Формально-логические схемы, так сказать, безразличны (нерелевантные) к сущности познаваемых предметов. Сущность – совокупность внутренних качеств и признаков предмета, выражающих его содержание. Важнейшими способами проникновения в сущность вещей является обнаружение противоречивого единства их признаков, рассмотрение их в развитии и взаимосвязи с другими предметами. В процессе такого познания важно абстрагироваться от несущественного, случайного, концентрируя познания на атрибутивных признаках.
В отличие от формальной, логика диалектическая своим предметом имеет исследование возникновения и развития фрагментов действительности, в том числе и логических форм и законов. Это – познание развивающегося мышления. В основе логики диалектической находится ряд принципов: а) принцип развития, б) принцип историзма, в) принцип всесторонности, г) принцип конкретности и др. Центральным понятием диалектической логики является диалектическое противоречие.
Диалектическая логика, накапливая и обобщая свое знание в течение всего периода развития логики, в систематизированном виде была изложена в немецкой классической философии. В работах И. Канта (1724 – 1804) «Критика чистого разума» и «Критика способности суждения» проведено обоснование трансцендентальной логики, определяющей происхождение, содержание и объективную значимость априорных знаний. В философии Гегеля (1770 – 1831) нашла свое завершение объективно-идеалистическая система диалектической логики как всеобщей формы самопознания и саморазвития понятия. В работе «Наука логики» он не только подвергает критике формально-логические законы мышления как «неонтологические», но и обосновывает принципиально иное содержание логических знания – законов, понятий и умозаключений, в основе которых находится диалектика мышления объективного духа.
Новый этап в понимании диалектической логики связан с именами К. Маркса (1818 – 1883) и Ф. Энгельса (1820 – 1895). В работах Ф. Энгельса «Анти-Дюринг», «Диалектика природы», К. Маркса «Капитал» и др. толкование развивающихся форм основывается не на изначальности «саморазвивающегося понятия», а на обнаружении диалектических изменений в самом объективном (материальном) мире. Природа и общество, с их точки зрения, являются основанием для понимания законов диалектического мышления. В марксистской диалектике с материалистических позиций формулируются три важнейших закона диалектики (закон единства и борьбы противоположностей, закон взаимного превращения количественных и качественных изменений, закон отрицания отрицания), основные принципы и категории материалистической диалектики.
Если формальная логика познает формы мышления посредством анализа важнейших признаков без непосредственной связи с конкретным предметом, в обобщенном и абстрагированном виде, то диалектическая логика акцент изучения сущности мыслимых предметов переносит на анализ предметов и процессов в движении, развитии и взаимосвязи. В этом случае несущественные, случайные признаки отсеиваются, аннулируются, а существенные выделяются, актуализируются.
Тем не менее, нельзя противопоставлять диалектическую и формальную логику. Они изучают один и тот же объект – человеческое мышление, предметом обеих являются закономерности мыслительной деятельности. Мышление подчиняется и формальным логическим законам как фундаментальным, и диалектическим как развивающимся. Мыслить диалектически невозможно без постижения и учета законов формальной логики. Т.е., возможно заключить, что современное логическое знание включает в свою структуру две взаимосвязанные и относительно самостоятельные науки: формальную логику (частью которой является логика символическая) и диалектическую логику. Причем, признавая фундаментальное значение логики в построении всякого правильного мышления, научно-теоретическое познание требует продолжения изучения сущности явлений и структур мысли путем обнаружения противоречий в природе, обществе и в человеческом мышлении.
Задачи и упражнения
1. Пользуясь математической последовательностью действий, раскройте секрет угадывания чисел. Задумайте любое число, отнимите от него 1, результат умножьте на 2, из полученного произведения отнимите задуманное число и сообщите результат. Как отгадать задуманное товарищем число?
2. Как отмерить 6 литров воды, если имеются ёмкости 9 литров и 4 литра:
3. В античной риторике была разработана схема построения выступления, состоящая их пяти важнейших этапов. Расположите их в логической последовательности: