Классификация логических методов исследования
Логические методы исследования базируются на применении в процессе исследований формальной логики.
Формальная логика - наука о законах выводного знания, т.е. знания, полученного из ранее установленных и проверенных истин, без обращения в каждом конкретном случае к. опыту, а только в результате применения законов и правил мышления.
Формальная логика включает: традиционную логику; математическую логику.
Традиционная логика при получении новых (выводных) знаний использует следующие логические методы.
Анализ - логический метод расчленения целого на отдельные элементы с рассмотрением каждого из них в отдельности.
Синтез - объединение всех данных, полученных в результате анализа. Синтез не простое суммирование результатов анализа. Его задача состоит в мысленном воспроизведении основных связей между элементами анализируемого целого.
Индукция - процесс движения мысли от частного к общему, от ряда факторов к закону. Индуктивный прием обычно используется в тех случаях, когда на основе частного факта можно сделать вывод, установить взаимосвязь между отдельными явлениями и каким-либо законом.
Дедукция - это процесс движения мысли от общего к единичному, от закона к отдельным его проявлениям.
Абстрагирование - способность отвлечься от всей совокупности факторов и сосредоточить внимание на каком-либо одном вопросе.
Конкретизация - увязка того или иного явления с конкретными условиями обстановки. Конкретное понятие есть своего рода совокупность различных абстракций, или абстрактных понятий, отражающих определенные свойства, стороны и связи данного предмета. Конкретные понятия возникают в результате последовательного дополнения и уточнения, расширения и синтеза отдельных абстракций, отражающих различные стороны и связи конкретных вещей.
Аналогия (традукция) - прием, в котором из сходства двух явлений в одних условиях делается вывод о сходстве этих явлений в других условиях. В логике аналогия рассматривается как форма получения выводного знания, как умозаключение, в котором на основании сходства предметов в одних признаках делается вывод о сходстве этих предметов в других признаках. Метод аналогии широко используется в моделировании, так как модель - аналог объекта, изучаемого посредством моделирования.
Сравнение - установление сходства или различия явлений, процессов и объектов в целом или в каких-либо признаках. Сравнение - метод, позволяющий обнаружить тенденции общего хода процесса развития, вскрыть изменения, происходящие в развитии явления.
Математическая (символическая) логика возникла в результате применения к проблемам формальной логики строгих методов, сходных с теми, которые используются в математике. С помощью специального языка формул достигается адекватное описание логической структуры доказательства и осуществляется построение строгих логических теорий. Математическая логика базируется на логике высказываний (описание суждений) и ее расширении - логике предикатов (описание умозаключений).