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