МЕТОДОЛОГІЧНА ФУНКЦІЯ ФОРМАЛЬНОЇ ЛОГІКИ
Абстрагування або абстракція (лат. - відвертання) — це процес уявного відділення окремих або загальних властивостей, ознак і відношень від конкретного предмета, що цікавлять людину у даний час, а також уявного відвертання їх від множини усіх інших ознак. Арістотель розглядав абстрагування як процес, в результаті якого відкидається усе часткове, випадкове, другорядне і відділяється загальне. Термін "абстрагування" або "абстракція" у сучасній логіці вживають у таких значеннях: як метод буденного та наукового пізнання, як алгоритм або наказ процедури відвертання, тобто правила абстрагування, як побудова в науці абстрактних об'єктів. Сутність методу абстрагування полягає у дослідженні реальних предметів, явищ, процесів, вичленуванні в них різноманітних властивостей, ознак, якостей, в уявному відвертанні їх та фіксуванні за допомогою слів і словосполучень природної мови. Термін "абстрагування" вжиають у значеннях: процесу пізнання, як результат цього процесу. Абстрагування як процес — це дослідження, вивчення предметів і явищ з метою виявлення їх специфічних характеристик, а абстракція як результат — це певне знання у формі понять, категорій, суджень, ідей, законів, теорій. Приклади абстрагування:
а)логіка як наука абстрагується від індивідуальних особливостей
мислення конкретної людини і вивчає інваріанти мислення, тобто те загальне, що притаманне всім суб'єктам мислення, а саме — структуру мислення і закони, яким підпорядковується їх мислення;
б)юрист, мислення якого регламентується нормами права, абстрагується від різноманітних проявів суспільних відношень і вивчає, насамперед, правовідношення, тобто такі відношення, які регулюються і санкціонуються правом.Приклади абстракцій як результату пізнавального процесу: "право", "держава", "норма права", "правовідношення", "правопорядок", "законність", "правопорушення", "злочин", "злочинність" і т. д.
Ідеалізація (гр. - ідея, поняття) — один з видів абстрагування, в результаті якого створюються поняття ідеалізованих (ідеальних) об'єктів. Такі поняття відрізняються від інших тим, що в них відображаються поряд з ознаками, притаманними реальним предметам, ознаки, які значно відходять від реальних властивостей і в чистому вигляді цілком відсутні у досліджуваних предметів. Метод ідеалізації використовується в усіх сучасних науках для створення об'єктів теорії, за допомогою яких будуються міркування та висновки щодо реально існуючих предметів. Термін "ідеалізація" також вживають у двох значеннях: як процес і як результат. Під ідеалізацією у першому значенні розуміють уявний процес створення ідеалізованих об'єктів теорії та формування ідеалізованих допущень (умов), за яких ці об'єкти допоможуть описати і пояснити реально існуючі предмети. Результатом процесу ідеалізації є ідеалізовані об'єкти (поняття і закони). їх ще називають логічними конструктами. Прикладом ідеалізованого об'єкта у правових науках є поняття "правова держава". Юристи визначають, що поняття "правова держава" дає можливість будувати міркування і висновки відносно реально існуючих держав за ознаками, які притаманні "правовій державі". Головні ознаки правової держави: а) закріплення в конституційному та інших законах основних прав людини; б) панування у суспільному і державному житті законів; в) юридична захищеність особи та ін.
Узагальнення (від гр.) як метод дослідження означає формування та розвиток знання шляхом переходу: а) від думки про індивідуальне, яке міститься в понятті, судженні, нормі, гіпотезі, питанні та ін., до відповідної думки про загальне; від думок про загальне до думок більш загальних; б) від окремих фактів, ситуацій, подій, предметів та явищ до ототожнення їх в думках і до створення щодо них загальних понять і суджень. Такий процес ототожнення стає необхідною умовою формування відповідних гіпотез, теорій концепцій. У правовому пізнанні метод узагальнення використовується у формі: а) узагальнення професійного досвіду на підставі аналізу конкретних випадків (справ); б) теоретичного узагальнення практики державного будівництва і реалізації права в діях суб'єктів правовідносин (створення теорії права); в) узагальнення емпіричних, галузевих теорій права.
Дедукція та індукція як логічні методи пізнання використовуються у процесі пошуку виводу з вихідних даних (засновників). У цьому значенні дедукцію та індукцію можна розглядати як методи, які забезпечують пошук необхідного матеріалу для узагальнення і одержання нових висновків. Методи дедукції та індукції органічно взаємопов'язані. Дедукція використовується для виведення із таких вихідних висновків, які існують у формі теоретичного закону, ідеї, принципу та ін. Дедукція в даному випадку пов'язана з побудовою ідеалізованих об'єктів науки, а індукція використовується як метод узагальнення емпіричних закономірностей. Знання, здобуте методом індукції, в мисленні вченого є передумовою для побудови нового "демонстративного" знання, яке, в свою чергу, стає основою обґрунтування часткових істин на теоретичному рівні мислення. (Детальний аналіз дедукції та індукції як логічних форм мислення і методів пізнання буде поданий у розділі 5).