Вы здесь

Логика. Шпаргалка. 18 МЕТОД В ЛОГИКЕ (С. А. Давыдов)

18 МЕТОД В ЛОГИКЕ


Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности. В основе любого метода лежат объективные законы реальности. Современная система методов столь же разнообразна, как система наук. Различают экспериментальные, теоретические, эвристические, и алгоритмические методы.

Можно выделить количественные и качественные методы изучения действительности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, ги—потико—индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы обобщения, идеализации, типологизации и классификации. Каждый из этих методов находит применение в какой—либо науке и наполняется конкретным содержанием.

Некоторые методы являются универсальными, как, например, дедукция и индукция, некоторые более ограниченны.

Например, рассмотрим эмпирический метод. Он заключается в накоплении, объяснении, описании, классификации и систематизации фактов и результатов экспериментов.

Этот метод является конкретным. В логике также нашли свое применение определенные методы исследования.

Эвристический метод. Он представляет собой нахождение некого алгоритма решения проблемы.

Алгоритм – это точное предписание о выполнении в определенном порядке некоторой системы операций, которые ведут к решению всех задач (проблем) определенного типа. Данный метод, являясь по своей сути теоретическим, тесно связан с эмпирическими методами построения теорий.

Аксиоматический метод. Он представляет собой способ построения теории, при котором некоторые ее положения выбираются в качестве исходных, а остальные доказываются логическим путем. Этот метод находит гораздо большее применение в логике, чем предыдущий.

Метод формализации. Этот метод основывается на использовании в логике исчисления.

Исчисление – это система правил, оперирования со знаками, расширяющая возможности содержательного мышления в решении и доказательстве суждений. Преимущество исчисления состоит в том, что объекты, которыми в нем оперируют, являются материальными предметами, практически не меняющимися в процессе применения к ним правил исчисления. В логике существуют два вида исчислений: исчисление высказываний и исчисление предикатов.

Исчисление высказываний – это логическая система, формализующая рассуждения, основанные на истинностных отношениях между высказываниями.

Исчисление предикатов – это логическая система, формализующая выводы, основанные на внутренней структуре высказываний.