Логічні методи

Логічні методи дослідження базуються на застосуванні в процесі досліджень формальної логіки.

Формальна логіка - наука про закони знань, одержаних з раніше встановлених і перевірених істин, без звернення у кожному конкретному випадку до досвіду, а тільки в результаті застосування законів і правил мислення. Формальна логіка включає: традиційну логіку і математичну логіку. Математична (символічна) логіка виникла в результаті застосування до проблем формальної логіки строгих методів, схожих з тими, які використовуються в математиці. За допомогою спеціальної мови формул досягається адекватний опис логічної структури обґрунтування і здійснюється побудова жорстких логічних теорій. Математична логіка базується на логіці висловів (опис думок) та її розширенні - логіці предикатів (опис висновків). Традиційна логіка при отриманні нових знань використовує такі логічні методи:

Назва методу	Короткий опис
Аналіз	Логічний метод декомпозиції цілого на окремі елементи з розглядом кожного з них окремо
Синтез	Об'єднання всіх даних, одержаних у результаті аналізу. Синтез - не просте підсумовування результатів аналізу. Його завдання полягає в уявному відтворенні основних зв'язків між елементами аналізованого цілого
Індукція	Процес руху думки від конкретного до загального, від низки чинників до закону. Індуктивний прийом звичайно використовується в тих випадках, коли на основі конкретного факту можна зробити висновок, встановити взаємозв'язок між окремими явищами і певним законом
Дедукція	Це процес руху думки від загального до одиничного, від закону до окремих його проявів
Абстрагування	Здатність відокремитися від всієї сукупності чинників і зосередити увагу на будь-якому одному питанні
Конкретизація	Прив'язка того або іншого явища з конкретними умовами обставин. Конкретне поняття є свого роду сукупність різних абстракцій або абстрактних понять, що відображають певні властивості, сторони і зв'язки даного об'єкта. Конкретні поняття виникають у результаті послідовного доповнення і уточнення, розширення і синтезу окремих абстракцій, що відображають різні сторони і зв'язки конкретних речей
Аналогія (традукція)	Прийом, в якому зі схожості двох явищ в одних умовах робиться висновок про схожість цих явищ в інших умовах. У логіці аналогія розглядається як форма отримання вивідного знання, як висновок, в якому на підставі схожості об'єктів за певними ознаками робиться висновок про схожість цих об'єктів в інших ознаках. Метод аналогії широко використовується в моделюванні, оскільки модель-аналог об'єкта, що вивчається за допомогою моделювання
Порівняння	Встановлення схожості або відмінності явищ, процесів і об'єктів у цілому або в будь-яких ознаках. Порівняння - метод, що за допомогою якого можна виявити тенденції загального процесу розвитку, розкрити зміни, що відбуваються в динаміці явища