18 МЕТОД В ЛОГИКЕ
Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности. В основе любого метода лежат объективные законы реальности. Современная система методов столь же разнообразна, как система наук. Различают экспериментальные, теоретические, эвристические, и алгоритмические методы.
Можно выделить количественные и качественные методы изучения действительности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, ги—потико—индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы обобщения, идеализации, типологизации и классификации. Каждый из этих методов находит применение в какой—либо науке и наполняется конкретным содержанием.
Некоторые методы являются универсальными, как, например, дедукция и индукция, некоторые более ограниченны.
Например, рассмотрим эмпирический метод. Он заключается в накоплении, объяснении, описании, классификации и систематизации фактов и результатов экспериментов.
Этот метод является конкретным. В логике также нашли свое применение определенные методы исследования.
Эвристический метод. Он представляет собой нахождение некого алгоритма решения проблемы.
Алгоритм – это точное предписание о выполнении в определенном порядке некоторой системы операций, которые ведут к решению всех задач (проблем) определенного типа. Данный метод, являясь по своей сути теоретическим, тесно связан с эмпирическими методами построения теорий.
Аксиоматический метод. Он представляет собой способ построения теории, при котором некоторые ее положения выбираются в качестве исходных, а остальные доказываются логическим путем. Этот метод находит гораздо большее применение в логике, чем предыдущий.
Метод формализации. Этот метод основывается на использовании в логике исчисления.
Исчисление – это система правил, оперирования со знаками, расширяющая возможности содержательного мышления в решении и доказательстве суждений. Преимущество исчисления состоит в том, что объекты, которыми в нем оперируют, являются материальными предметами, практически не меняющимися в процессе применения к ним правил исчисления. В логике существуют два вида исчислений: исчисление высказываний и исчисление предикатов.
Исчисление высказываний – это логическая система, формализующая рассуждения, основанные на истинностных отношениях между высказываниями.
Исчисление предикатов – это логическая система, формализующая выводы, основанные на внутренней структуре высказываний.