14. Методы в логике

Метод - это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности.

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

Каждый из этих методов конкретизируется в какой-либо науке и наполняется своим конкретным содержа­нием. Некоторые методы являются универсальными, другие более ограничены. Например, эмпирический метод. Он заключается в накоплении, описании, объяс­нении, классификации и систематизации фактов и дан­ных экспериментов над явлениями. Будучи конкретным, он далек от универсальности.

Перейдем к рассмотрению некоторых методов, ис­пользуемых в логике.

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

Более эффективным в логике является использо­вание аксиоматического метода. Это способ по­строения теории, при котором некоторые положения V теории выбираются а качестве исходных, а все ос-

тальные ее положения выводятся из них чисто логи­ческим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, до­казываемые на их основе, - теоремами. Далее фор­мулируется система правил, позволяющая преобра­зовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых поло­жений -теорем.

Одним из важных методов логики является метод формализации. Этот метод основывается на раз­личении естественных и искусственных языков. Ес­тественные языки складываются в процессе комму­никации и служат средством общения, передачи информации, выражения эмоций и т. д. В отличие от них, искусственные языки ориентированы на строго определенные и ограниченные задачи исследова­ния. Они претендуют не только на сокращение запи­си, но и на более эффективную работу. Над формула­ми искусственных языков можно проводить операции, получать из них новые формулы и отношения. Сим­волическое исчисление становится аналогом рас­суждения, позволяющим дедуктивным образом из одних структур знаков и символов получать другие, выражающие новое знание о данном объекте.

Между структурами мышления и структурами их язы­кового выражения существует определенное соответ­ствие. Это приводит к тому, что внутри формальной логики операции с мыслями о предметах можно заме­нить действиями со знаками и символами. Следова­тельно, формализация в данном случае представля­ет собой логический метод уточнения содержания мысли посредством уточнения ее логической формы.