Реферат: Методологічна функція формальної логіки
Узагальнення (від гр.) як метод дослідження означає формування та розвиток знання шляхом переходу: а) від думки про індивідуальне, яке міститься в понятті, судженні, нормі, гіпотезі, питанні та ін., до відповідної думки про загальне; від думок про загальне до думок більш загальних; б) від окремих фактів, ситуацій,подій, предметів та явищ до ототожнення їх в думках і до створення щодо них загальних понять і суджень. Такий процес ототожнення стає необхідною умовою формування відповідних гіпотез, теорійконцепцій. У правовому пізнанні метод узагальнення використовується у формі: а) узагальнення професійного досвіду на підставі аналізу конкретних випадків (справ); б) теоретичного узагальнення практики державного будівництва і реалізації права в діях суб'єктів правовідносин (створення теорії права); в) узагальнення емпіричних, галузевих теорій права.
Дедукція та індукція як логічні методи пізнання використовуються у процесі пошуку виводу з вихідних даних (засновників). У цьому значенні дедукцію та індукцію можна розглядати як методи, які забезпечують пошук необхідного матеріалу для узагальнення і одержання нових висновків. Методи дедукції та індукції органічно взаємопов'язані. Дедукція використовується для виведення із таких вихідних висновків, які існують у формі теоретичного закону, ідеї, принципу та ін. Дедукція в даному випадку пов'язана з побудовою ідеалізованих об'єктів науки, а індукція використовується як метод узагальнення емпіричних закономірностей. Знання, здобуте методом індукції, в мисленні вченого є передумовою для побудови нового "демонстративного" знання, яке, в свою чергу, стає основою обґрунтування часткових істин на теоретичному рівні мислення. (Детальний аналіз дедукції та індукції як логічних форм мислення і методів пізнання буде поданий у розділі 5).
Аналогія є надзвичайно ефективним методом у пізнавальному ] процесі, оскільки чимало великих відкриттів у науці було зроблено ( на підставі аналогії шляхом перенесення певних властивостей та ознак з одного досліджуваного об'єкта на інший, а також відношень і зв'язків між однією сукупністю предметів на інші сукупності. (Аналіз особливостей аналогії буде поданий у розділі 5).
Екстраполяція (лат. - префікс "над...", "зверх.", робити гладким, обробляти) є різновидом індукції, аналогії та узагальнення в їх взаємозв'язку і широко використовується в усіх науках. Сутність цього методу, за Д.П.Горським, полягає у поширенні: а) якісних характеристик з однієї предметної галузі на іншу, з минулого і сучасного на майбутнє; б) кількісних характеристик однієї галузі предметів на іншу, одного агрегату на інший на підставі спеціально розроблених для цієї мети методів; в) деякого рівняння на інші предметні галузі у межах однієї науки або на інші галузі знання, що пов'язане з їх певною модифікацією (метод математичної індукції).1
Метод екстраполяції застосовується у прогнозуючих цілях, для обґрунтування поширення з однієї галузі в інші, при розробці управління економічними процесами та ін. Результатом застосування методу екстраполяції є перенесення знання в нові предметні галузі.
Метод екстраполяції в юридичній теорії і практиці використовується при перенесенні юридичних законів, норм права в нові предметні галузі (аналогія закону, аналогія права); при використанні юридичного знання, яке узагальнене в окремій галузі права, в інші галузі права.
Моделювання як метод пізнання дуже активно застосовується у сучасній науці в процесі пошуку нових наукових результатів. Сутність цього методу полягає в побудові моделей, за допомогою яких досліджуються різноманітні природні та соціальні об'єкти. Термін "модель" (лат. - міра, ритм, величина, пов'язано зі словом - зразок) використовується в різних значеннях. Залежно від контексту в конкретному міркуванні під моделлю розуміють "метод", "аналог", "зразок", "систему", "теорію", "картину світу", "інтерпретацію", "репрезентацію", "алгоритм", "систему порівняння" та ін.
Метод моделювання використовується там і тоді, коли з якихось причин неможливо досліджувати об'єкт безпосередньо. Тоді замість нього виступає його аналог — модель, яку досліджують як імітацію оригіналу (об'єкта). На моделі вивчають властивості об'єкта, а потім нагромаджені знання переносять на оригінал. В основі такого перенесення лежить схожість, подібність моделі та оригіналу.
В юридичній теорії і практиці метод моделювання використовується при побудові наукової теорії права (теорія права як модель), системи нормативно-правових актів, в ситуації доведення юридичних фактів ("слідчий експеримент" як аналог дій підозрюваних, потерпілих, свідків) та ін.
Гіпотеза . Термін "гіпотеза" (припущення) вживається у таких значеннях: а) як проблематичне знання (у широкому значенні); б) як припущення; в) як ідея, що дає змогу об'єднати деяку сукупність знань у систему знання (гіпотеза у вузькому значенні). У правовій діяльності термін гіпотеза використовується в усіх трьох значеннях. Гіпотеза як метод дослідження полягає у побудові о припущення (ймовірнісного висловлювання або сукупності висловлювань) відносно фактичних даних про певні явища, процеси, події, про причини їх виникнення та функціонування, а також при прогнозуванні майбутнього.
На підставі одних і тих же фактичних даних може створюватися декілька гіпотез, які називаються версіями. Умовою різних припущень (версій) є певна сукупність знань про досліджуваний предмет. Залежно від тієї ролі, яку відіграють гіпотези у процесі пізнання на шляху до нового знання, гіпотези поділяють на допоміжні (робочі) і основні (визначаючі).
У правовій діяльності гіпотеза використовується як метод наукового дослідження і як метод криміналістичного розслідування.(Більш детально про логіку побудови і перевірки версій йдеться у розділі 8).
3. Метод формалізації
Як зазначалося вище, всі логічні методи поділяються на методи дослідження та методи знаково-символічного зображення структури мислення і знання. Що ж собою представляє друга група методів, які ще прийнято називати методами формалізації?
У широкому значенні під методом формалізації розуміється створення особливої штучної (формалізованої) мови або мови знаків та символів, і зображення на цій мові абстрактних об'єктів науки і наукового знання як результатів пізнавального процесу. Використання особливих знаково-символічних засобів формалізованої мови дає можливість більш точно, однозначно і стисло зображати абстрактні об'єкти науки і наукове знання.
Виділяють такі види наукової формалізації: дескриптивна, математична, логічна.
Дескриптивна або описова формалізація означає зображення абстрактних об'єктів науки за допомогою особливих термінів. Дескриптивна формалізація використовується, по-перше, у гуманітарних науках, в тому числі юридичних науках. Наприклад, такі терміни як "право", "норма права", "закон" та ін., виконують функцію дескриптивної формалізації об'єктів, які вивчають юридичні науки.
Математична формалізація означає зображення абстрактних об'єктів науки і наукового знання за допомогою спеціальних (математичних) термінів, штучних знаків та символів-цифр, формул, знаків математичних операцій і т.д. Використання формалізованої мови математики в природничих і гуманітарних науках називається процесом математизації наук.
Логічна або дедуктивна формалізація означає зображення форм мислення — понять, висловлювань, умовиводів, взаємозв'язків між формами мислення, між структурними елементами теорії за допомогою спеціальних (логічних) знаків і символів, які утворюють певну систему. Така система називається формально-логічною системою знаків та символів, які створюються у такій послідовності: а) будується алфавіт або сукупність вихідних знаків і символів; б) формулюються правила побудови формул (виразів) на підставі даного алфавіту; в) встановлюються аксіоми як вихідні істинні формули; г) за допомогою правил виводу на підставі аксіом доводяться інші формули або теореми.
Формально-логічних систем або логік, або логічних теорій (термін "логіка" береться в даному випадку в специфічному значенні, як знакова модель), історично побудовано багато. Перша формально-логічна система (теорія) була створена Арістотелем. Вона отримала назву силогістики. Історичне значення силогістики Арістотеля (логічної теорії) полягає в тому, що в її межах був вперше розроблений сам метод логічної формалізації. Арістотель досліджував структуру мислення. Для аналізу структури мислення та їх зображення Арістотель використовував дескриптивну (описову) формалізацію, тобто використовував слова (терміни) природної мови і вводив елементи штучної символіки (зокрема, змінні "А", "В", "М", "О" та ін., для позначення дескриптивних термінів, символи "S" і "Р" для позначення "суб'єкта" і "предиката"). Такий метод отримав назву часткової формалізації, а сама логічна теорія Арістотеля — полуформальної системи.
Формально-логічна теорія, що отримала назву символічної (математичної) логіки, була створена логіками і математиками у середині XIXст.
Символічна логіка для аналізу структури мислення та її зображення використовує лише штучні знаки і символи, тобто особливу формалізовану мову, яка отримала назву мови логіки. Такий метод формалізації отримав назву повної формалізації, а сама логічна теорія — формальної системи.
В межах символічної логіки виділяють такі формально-логічні Е теорії (системи штучних знаків і символів) як логіка висловлювань х і логіка предикатів. Логікою висловлювань або пропозиційною логікою називають розділ символічної логіки, об'єктом дослідження л якої є принципи та правила формалізації різних логічних зв'язків між висловлюваннями. Логікою предикатів називають такий розділ т символічної логіки, в якій у процесі формалізації описуються висновки, що враховують внутрішню суб'єктивно-предикатну структуру в висловлювань. Логіку предикатів називають ще теорією квантифікації, або кванторною логікою.
Виникнення у 20-50-х роках XX ст. нових некласичних логік (логічних теорій) пов'язане певною мірою з пошуком способів формалізації знання, яке не укладалось у схеми загальної (арістотелівської) логіки і символічної (математичної) логіки, тобто з подальшим розвитком методу формалізації.
Методологічна функція формальної логіки означає її практичне використання суб'єктами практичної і теоретичної діяльності у процесі мислення, внаслідок чого формальна логіка стає прикладною логікою.
Для того, щоб практично використовувати будь-яку наукову теорію або теоретичну систему знання, в тому числі, логіку, або скажімо, теорію права, її необхідно перетворити (трансформувати) в практичний метод.
Розглянемо особливості перетворення (трансформації) формально- алогічної теорії в метод практичного мислення.
Особливість науки логіки полягає в тому, що її практичне використання здійснюється у сфері мислення людини, коли мислення виконує свої головні функції — пізнавальну, прогнозуючу, створення ідеальних програм (моделей) практичної і теоретичної діяльності, вирішення практичних і теоретичних проблем, встановлення складних опосередкованих зв'язків та відношень між предметами і явищами об'єктивного світу.
Теоретична логіка (сукупність логічних теорій) досліджує мислення в формальному аспекті, тобто вона абстрагується від його конкретного змісту і визначає інваріанти мислення, які є універсальними для всіх людей.
На підставі теоретичного вивчення форм і законів мислення теоретична логіка формулює принципи і правила логічного мислення.