рекурсивных определениях, связанных с математической индукцией. Однако на данный момент он находит применение только в построении конструктивных наук: логики и математики. Большой вклад в развитие конструктивной логики внесли российские ученые А. Н. Колмогоров, А.А. Марков, Н. А. Шанин.
16 РЕЛЕВАНТНАЯ ЛОГИКА
Классическая логика долгое время подвергалась критике за то, что она не дает конкретного описания логического следования. Логическое следование – это отношение, которое существует между утверждением и выводимым из него заключением. Данное отношение не зависит от конкретного содержания высказываний и обусловливается лишь их логическими формами. Данное понятие называется семантическим понятием логического следования. Наряду с ним существует синтаксическое понятие логического следования для того или иного формализованного языка, определяемое как выводимость какого—либо высказывания из других высказываний по правилам этого языка. Выводимое следование должно быть связано с тем, из чего оно выводится. Наиболее полное развитие данное положение получило в релевантной логике.
Многие положения классической логики о логическом следовании плохо согласуются с привычными интуитивными представлениями. Так, например, по правилам классической логики из противоречивого суждения «Студент Иванов – отличник» и «Студент Иванов не является отличником» следует утверждение «Студенты не хотят учиться». Но при этом между исходным утверждением и вытекающими из него утверждениями нет никакой логической связи. Как уже было отмечено, выводимое следствие должно быть связано с тем, из чего оно выводится, однако классическая логика это требование игнорирует.
Американский логик К. И. Льюис, а затем А. Р. Андерсон и Н. Д. Белнап разработали новое направление логики – релевантную логику. Последние стали авторами книги «Выведение следствий», которая вышла в 1975 г. В этой книге была выдвинута идея, что для высказываний характерно существование некой связи между их содержанием, так как «для релевантной логики не считается постыдным быть интенсиональной и допускать свободные рассуждения о значении». Эта теория была основана на принципе строгой импликации.
Импликация – это логическая операция, образующая сложное высказывание из двух высказываний посредством логической связки, соответствующей союзу «если …., то».
Учение об импликации получило развитие в довольно неортодоксальных направлениях в Австралии и Южной Америке, положив начало паранепротиворечивым логикам. Требования релевантной логики исключали парадоксы как строгой, так и материальной импликации. Развитие релевантной логики было связано с возникновением дискуссий на тему: является ли релевантность формальным понятием, отличным от понятия риторика, или нет.
Вопрос о логическом следствии имеет большое значение в силу того, что основной задачей логики является выведение новых знаний из принятых утверждений.17 ДИАЛЕКТИЧЕСКАЯ ЛОГИКА
Диалектическая логика – это наука о законах и формах отражения в мышлении развития и изменения объективного мира, о закономерностях познания истины. Диалектическая логика возникла как составная часть марксистской философии. В силу исторических особенностей развития общества в течение долгого периода времени господствовала традиционная формальная логика как единственное учение о формах и законах мышления. Но уже примерно с XVII в. под давлением потребности развивающегося естествознания и философии начинает осознаваться ее недостаточность и необходимость разработки нового учения о принципах и методах мышления и познания. Особенно ярко эта тенденция была выражена в немецкой классической философии. Так, И. Кант проводил различие между общей и трансцендентальной логикой; последняя, на его взгляд, отличается от формальной логики тем, что изучает развитие знаний, не отвлекается от содержания. Особая заслуга в разработке диалектической логики принадлежит Г. Гегелю, давшему ее первую всесторонне разработанную систему. Диалектическая логика не отбрасывает формальную логику, а лишь очерчивает ее границы как необходимой, но не исчерпывающей формы логического мышления. Поскольку мир находится в постоянном движении и развитии, то и формы мышления, понятия, категории должны основываться на принципе развития, иначе они не смогут быть формами объективного содержания.
Поэтому центральная задача диалектической
логики состоит в исследовании того, как выразить в человеческих понятиях движение, развитие, внутренние противоречия явлений, их качественные изменения, переход одного в другое.
Вторая основная цель диалектической логики – изучение процесса становления самого познания. Диалектическая логика базируется на истории познания человеческого мышления и исторической практики общества. В диалектической логике имеет большое значение способ восхождения от абстрактного к конкретному.
Диалектическая логика строится как система логических категорий, в которых объединяются результаты познавательной и практической деятельности человечества. В диалектической логике большую роль играют форматизированные логические системы и задачи мышления. Следует отметить, что диалектическая логика имеет определенное значение в общей системе логической науки, однако нельзя вслед за советскими исследователями определять ее как «общий логический базис человеческого познания, как общую логическую теорию, с позиций которой можно и должно объяснять все частные и конкретные логические теории, их значение и роль».18 МЕТОД В ЛОГИКЕ
Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности. В основе любого метода лежат объективные законы реальности. Современная система методов столь же разнообразна, как система наук. Различают экспериментальные, теоретические, эвристические, и алгоритмические методы.
Можно выделить количественные и качественные методы изучения действительности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, ги—потико—индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы обобщения, идеализации, типологизации и классификации. Каждый из этих методов находит применение в какой—либо науке и наполняется конкретным содержанием.
Некоторые методы являются универсальными, как, например, дедукция и индукция, некоторые более ограниченны.
Например, рассмотрим эмпирический метод. Он заключается в накоплении, объяснении, описании, классификации и систематизации фактов и результатов экспериментов.
Этот метод является конкретным. В логике также нашли свое применение определенные методы исследования.
Эвристический метод. Он представляет собой нахождение некого алгоритма решения проблемы.
Алгоритм – это точное предписание о выполнении в определенном порядке некоторой системы операций, которые ведут к решению всех задач (проблем) определенного типа. Данный метод, являясь по своей сути теоретическим, тесно связан с эмпирическими методами построения теорий.
Аксиоматический метод. Он представляет собой способ построения теории, при котором некоторые ее положения выбираются в качестве исходных, а остальные доказываются логическим путем. Этот метод находит гораздо большее применение в логике, чем предыдущий.
Метод формализации. Этот метод основывается на использовании в логике исчисления.
Исчисление – это система правил, оперирования со знаками, расширяющая возможности содержательного мышления в решении и доказательстве суждений. Преимущество исчисления состоит в том, что объекты, которыми в нем оперируют, являются материальными предметами, практически не меняющимися в процессе применения к ним правил исчисления. В логике существуют два вида исчислений: исчисление высказываний и исчисление предикатов.
Исчисление высказываний – это логическая система, формализующая рассуждения, основанные на истинностных отношениях между высказываниями.
Исчисление предикатов – это логическая система, формализующая выводы, основанные на внутренней структуре высказываний.19 ЗНАЧЕНИЕ ЛОГИКИ
Часто при изучении логики возникает вопрос, а имеет ли эта наука практическое значение. Вокруг этого вопроса существует много дискуссий и мнений. Одни считают логику непрактической наукой, ссылаясь на слова Г. Гегеля, что логика «учит» мыслить, так же как физиология «учит» переваривать. Другие не согласны с этим мнением, утверждая, что практическое значение логики существенно. Данные факты обусловливают чрезвычайную сложность задачи определения практического значения логики.
Прежде всего необходимо согласиться с теми, кто считают, что логика действительно играет значительную роль не только в мышлении, но и в жизни человечества. Во—первых, логика повышает культуру нашего мышления, вырабатывает навык грамотно мыслить, развивает критическое отношение к своим и чужим мыслям. Во—вторых, логика выполняет ряд значимых социальных функций. Поэтому мнение тех, кто отрицает практическое значение логики, имеет серьезные противоречия с реальностью.
В первую очередь необходимо определить функции, которые выполняет логика в обществе. Их можно выделить четыре.
Познавательная функция. Логика позволяет определить верный путь для достижения истинных знаний, а также выявить последствия, к которым приводит неправильный ход рассуждения.
Мировоззренческая функция. Логика влияет на формирование человеческого мышления, которое, в свою очередь, определяет жизненную позицию человека.
Методологическая функция. Следует отметить, что законы логики играют важную роль в разработке методологий различных наук. В то же время логическая теория также является методом познания.