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