WWW.REFERATCENTRAL.ORG.UA - Я ТУТ НАВЧАЮСЬ

... відкритий, безкоштовний архів рефератів, курсових, дипломних робіт

ГоловнаЛогіка → Методологічна функція формальної логіки - Реферат

Методологічна функція формальної логіки - Реферат

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

 
 

Цікаве