Вступ

Відомо, що суворий умовивід, який відповідає правилам традиційної логіки, може бути істинним або помилковим. До нього незастосовне поняття більшої або меншої надійності.

Будь-який правдоподібний висновок (висновок із «слабкої» еквівалентності, висновок від наслідків до основи або індуктивний висновок з накопичення) вимагає не тільки формально правильної побудови, але й оцінки його надійності. В одних умовах висновок від виявлення викраденого до причетності до крадіжки більш надійний, в інших менш. Можна, звичайно, привести логічні підстави, які роблять цей висновок більш надійним (викрадене виявлено відразу ж після крадіжки, тому висновок про причетність більше надійний). Але й це обґрунтування носить не суворий, а правдоподібний характер і вимагає оцінки й т.ін.

Принцип оцінки доказів за внутрішнім переконанням (без заздалегідь зазначених точних критеріїв) сформульований саме стосовно таких систем висновків, які побудовані із правдоподібних умовиводів, які вимагають визначення міри їх надійності. Він незастосовний до суворих дедуктивних систем, де висновки «автоматично» випливають із аксіом і правил перетворення, подібно тому, як це має місце в традиційній логіці або в математиці.

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

1. Характеристика логічного аналізу

Аналіз (гр. — розклад, розбір, розчленування) — логічний прийом, метод дослідження, який полягає в тому, що досліджуваний об’єкт уявно або практично розчленовується на складові елементи (ознаки, властивості, структурні частини), кожний з яких відтак досліджується окремо як частина розчленованого цілого. Виділяють різні види аналізу залежно від специфіки досліджуваного об’єкта. Найбільш поширеним у сучасній науці є системний аналіз, сутність якого полягає у підході до об’єкта, що вивчається, як структурно-організованої системи, в якій усі елементи органічно і нерозривно взаємопов’язані й, таким чином впливають один на одного. Наприклад, суспільство як цілісна система при системному аналізі розчленовується на економічний, політичний, правовий, моральний та ін. аспекти буття і суспільної свідомості (структурні частини цілого) і ці аспекти досліджуються окремо.

Особливим видом аналізу є логічний аналіз, тобто методологічний підхід до результатів пізнавальної діяльності людей — знання в різних його формах і видах, яке виражене засобами природної і штучної мов на підставі законів науки логіки. Логічний аналіз означає виявлення структурних елементів (видів, типів, рівнів) знання, яке оформлене у вигляді певного тексту та їх співвідношення між собою, з’ясування логічного значення істинності або хибності висловлювань у тексті, логічної експлікації («пояснення», «уточнення») понятійного апарату, через який реалізується це знання, встановлення несуперечності, обгрунтованості, доведеності цього знання.

Логічна форма сама по собі (тобто без характеристики рівня надійності) не може бути «краще» або «гірше». Вона завжди й для всіх або правильна, або неправильна. Але в процесі формування переконання про надійність і достатність доказів вивчення логічної структури може надати істотну допомогу. Саме вона показує, де, у яких ланках міркування перебувають однозначні й правдоподібні висновки, на які факти опираються ці висновки, який спосіб їх перевірки й підкріплення [2, c. 85].

Під логічним аналізом ми розуміємо виявлення властивостей цього поняття і відношень, що виникають між властивостями. Логічний аналіз надає особливе значення необхідним відношенням, що провадить до виявлення сукупності істотних властивостей і неістотних, випадкових. Після проведення логічного аналізу можна зайнятися конструкцією даного поняття. Логічний аналіз вимагає використання певних методів і відмінності між ідеальними і реальними (абстрактними) предметами призводять до того, що методи аналізу (і конструкції) обох видів понять повинні бути різними. Зокрема, аналіз і конструкція ідеального поняття не повинні спиратися на досвід. Як здається, аналіз ідеальних понять полягає в дедуктивному знаходженні наслідків з передумов, які виражають істотні властивості поняття, тоді як дослідження реальних понять вимагає використовування індуктивного методу. Він полягає у розгляді прикладів конкретних об’єктів, які підпадають під досліджуване реальне поняття. Метою індуктивного дослідження є виявлення спільних, характерних властивостей об’єкту. Застосування індуктивного методу служить початковим кроком, який надає матеріал для подальшого дослідження методом дедуктивним. Дедукція, яка є другим кроком в дослідженні понять, дозволяє визначити істотні властивості, або конституюючи, вона дозволяє знайти відношення між цими властивостями, вивчити питання узгодженості властивостей. Аналіз повинен призвести до конструкції несуперечливого, однозначного і узгодженого з дійсністю (у разі реальних понять), а тому і наукового поняття [7, c. 54].

2. Класифікація методів логічного аналізу

Методів практичної і теоретичної діяльності дуже багато. У логіко-методологічній літературі існують різні види класифікацій. Залежно від видів діяльності ( практична або пізнавальна) всі методи поділяються на практичні і пізнавальні. Пізнавальні методи або методи пізнання поділяються на наукові і буденні. В свою чергу методи наукового пізнання поділяються на теоретичні і емпіричні.

Всі теоретичні методи поділяються на всезагальні (універсальні), загальні і часткові (специфічні). Теоретичним методом може бути будь-яка наукова або філософська теорія, яка використовується як спосіб, прийом теоретичного дослідження предметів, явищ та процесів об’єктивного світу. Якщо певна теорія використовується в науковому пізнанні для дослідження природних, соціальних, психічних процесів і явищ, то така теорія набуває статусу всезагального (універсального) методу. Прикладами всезагальних методів наукового пізнання є системно-структурний метод, логічні методи.

На емпіричному рівні наукового пізнання до універсальних відносяться методи спостереження і експерименту.

До загальних методів відносяться методи, які застосовуються в певній сукупності наук, наприклад, в гуманітарних науках, юридичних науках і т.д.

До часткових методів відносяться методи, які розробляються в окремих науках для дослідження специфічних предметів, явищ і процесів. їх називають конкретно-науковими методами.

Методи юридичних наук (методи правового пізнання) визначаються специфікою предмету юридичної науки.

Юридична наука — система знань про об’єктивні закономірності виникнення, розвитку і функціонування держави і права. Залежно від того, які сторони й форми діяльності держави і права вивчаються, розрізняють загальнотеоретичні та історико-юридичні, галузеві, міжгалузеві, спеціальні, прикладні та міжнародно-правові юридичні науки. Методи, які використовуються в науково-правовому пізнанні, можна поділити на всезагальні, загальні, часткові (специфічні).

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

Логічний метод — це засіб розумової діяльності людей (засіб мислення), який використовується у процесі пізнання і відтворення об’єкта, який досліджується.

Всі логічні методи поділяються на методи дослідження (пошуку, пізнання) і методи знаково-символічного зображення структури мислення і знання, як результату пізнавальної діяльності [1, c. 34].

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

До логічних методів пізнання (дослідження) предметів, явищ, процесів об’єктивного світу відносяться: аналіз, синтез, абстрагування, ідеалізація, узагальнення, дедукція, індукція, аналогія, екстраполяція, моделювання, гіпотеза.

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

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

Аналогія є надзвичайно ефективним методом у пізнавальному процесі, оскільки чимало великих відкриттів у науці було зроблено ( на підставі аналогії шляхом перенесення певних властивостей та ознак з одного досліджуваного об’єкта на інший, а також відношень і зв’язків між однією сукупністю предметів на інші сукупності.

Екстраполяція (лат. — префікс «над…», «зверх.», робити гладким, обробляти) є різновидом індукції, аналогії та узагальнення в їх взаємозв’язку і широко використовується в усіх науках. Сутність цього методу, за Д.П.Горським, полягає у поширенні: а) якісних характеристик з однієї предметної галузі на іншу, з минулого і сучасного на майбутнє; б) кількісних характеристик однієї галузі предметів на іншу, одного агрегату на інший на підставі спеціально розроблених для цієї мети методів; в) деякого рівняння на інші предметні галузі у межах однієї науки або на інші галузі знання, що пов’язане з їх певною модифікацією (метод математичної індукції).

Метод екстраполяції застосовується у прогнозуючих цілях, для обґрунтування поширення з однієї галузі в інші, при розробці управління економічними процесами та ін. Результатом застосування методу екстраполяції є перенесення знання в нові предметні галузі.

Метод екстраполяції в юридичній теорії і практиці використовується при перенесенні юридичних законів, норм права в нові предметні галузі (аналогія закону, аналогія права); при використанні юридичного знання, яке узагальнене в окремій галузі права, в інші галузі права [6, c. 61-62].

Моделювання як метод пізнання дуже активно застосовується у сучасній науці в процесі пошуку нових наукових результатів. Сутність цього методу полягає в побудові моделей, за допомогою яких досліджуються різноманітні природні та соціальні об’єкти. Термін «модель» (лат. — міра, ритм, величина, пов’язано зі словом — зразок) використовується в різних значеннях. Залежно від контексту в конкретному міркуванні під моделлю розуміють «метод», «аналог», «зразок», «систему», «теорію», «картину світу», «інтерпретацію», «репрезентацію», «алгоритм», «систему порівняння» та ін.

Метод моделювання використовується там і тоді, коли з якихось причин неможливо досліджувати об’єкт безпосередньо. Тоді замість нього виступає його аналог — модель, яку досліджують як імітацію оригіналу (об’єкта). На моделі вивчають властивості об’єкта, а потім нагромаджені знання переносять на оригінал. В основі такого перенесення лежить схожість, подібність моделі та оригіналу.

В юридичній теорії і практиці метод моделювання використовується при побудові наукової теорії права (теорія права як модель), системи нормативно-правових актів, в ситуації доведення юридичних фактів («слідчий експеримент» як аналог дій підозрюваних, потерпілих, свідків) та ін.

Гіпотеза. Термін «гіпотеза» (припущення) вживається у таких значеннях: а) як проблематичне знання (у широкому значенні); б) як припущення; в) як ідея, що дає змогу об’єднати деяку сукупність знань у систему знання (гіпотеза у вузькому значенні). У правовій діяльності термін гіпотеза використовується в усіх трьох значеннях. Гіпотеза як метод дослідження полягає у побудові о припущення (ймовірнісного висловлювання або сукупності висловлювань) відносно фактичних даних про певні явища, процеси, події, про причини їх виникнення та функціонування, а також при прогнозуванні майбутнього.

На підставі одних і тих же фактичних даних може створюватися декілька гіпотез, які називаються версіями. Умовою різних припущень (версій) є певна сукупність знань про досліджуваний предмет. Залежно від тієї ролі, яку відіграють гіпотези у процесі пізнання на шляху до нового знання, гіпотези поділяють на допоміжні (робочі) і основні (визначаючі) [4, c. 52-54].

3. Методи формалізації логічного аналізу

У широкому значенні під методом формалізації розуміється створення особливої штучної (формалізованої) мови або мови знаків та символів, і зображення на цій мові абстрактних об’єктів науки і наукового знання як результатів пізнавального процесу. Використання особливих знаково-символічних засобів формалізованої мови дає можливість більш точно, однозначно і стисло зображати абстрактні об’єкти науки і наукове знання.

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

Дескриптивна або описова формалізація означає зображення абстрактних об’єктів науки за допомогою особливих термінів. Дескриптивна формалізація використовується, по-перше, у гуманітарних науках, в тому числі юридичних науках. Наприклад, такі терміни як «право», «норма права», «закон» та ін., виконують функцію дескриптивної формалізації об’єктів, які вивчають юридичні науки.

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

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

Формально-логічних систем або логік, або логічних теорій (термін «логіка» береться в даному випадку в специфічному значенні, як знакова модель), історично побудовано багато. Перша формально-логічна система (теорія) була створена Арістотелем. Вона отримала назву силогістики. Історичне значення силогістики Арістотеля (логічної теорії) полягає в тому, що в її межах був вперше розроблений сам метод логічної формалізації. Арістотель досліджував структуру мислення. Для аналізу структури мислення та їх зображення Арістотель використовував дескриптивну (описову) формалізацію, тобто використовував слова (терміни) природної мови і вводив елементи штучної символіки (зокрема, змінні «А», «В», «М», «О» та ін., для позначення дескриптивних термінів, символи «S» і «Р» для позначення «суб’єкта» і «предиката»). Такий метод отримав назву часткової формалізації, а сама логічна теорія Арістотеля — полуформальної системи.

Формально-логічна теорія, що отримала назву символічної (математичної) логіки, була створена логіками і математиками у середині XIX ст. [3, c. 46-47]

Символічна логіка для аналізу структури мислення та її зображення використовує лише штучні знаки і символи, тобто особливу формалізовану мову, яка отримала назву мови логіки. Такий метод формалізації отримав назву повної формалізації, а сама логічна теорія — формальної системи.

В межах символічної логіки виділяють такі формально-логічні теорії (системи штучних знаків і символів) як логіка висловлювань х і логіка предикатів. Логікою висловлювань або пропозиційною логікою називають розділ символічної логіки, об’єктом дослідження л якої є принципи та правила формалізації різних логічних зв’язків між висловлюваннями. Логікою предикатів називають такий розділ т символічної логіки, в якій у процесі формалізації описуються висновки, що враховують внутрішню суб’єктивно-предикатну структуру в висловлювань. Логіку предикатів називають ще теорією квантифікації, або кванторною логікою.

Виникнення у 20-50-х роках XX ст. нових некласичних логік (логічних теорій) пов’язане певною мірою з пошуком способів формалізації знання, яке не укладалось у схеми загальної (арістотелівської) логіки і символічної (математичної) логіки, тобто з подальшим розвитком методу формалізації.

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

Для того, щоб практично використовувати будь-яку наукову теорію або теоретичну систему знання, в тому числі, логіку, або скажімо, теорію права, її необхідно перетворити (трансформувати) в практичний метод.

Розглянемо особливості перетворення (трансформації) формально- алогічної теорії в метод практичного мислення.

Особливість науки логіки полягає в тому, що її практичне використання здійснюється у сфері мислення людини, коли мислення виконує свої головні функції — пізнавальну, прогнозуючу, створення ідеальних програм (моделей) практичної і теоретичної діяльності, вирішення практичних і теоретичних проблем, встановлення складних опосередкованих зв’язків та відношень між предметами і явищами об’єктивного світу.

Теоретична логіка (сукупність логічних теорій) досліджує мислення в формальному аспекті, тобто вона абстрагується від його конкретного змісту і визначає інваріанти мислення, які є універсальними для всіх людей.

На підставі теоретичного вивчення форм і законів мислення теоретична логіка формулює принципи і правила логічного мислення.

Принципи логічного мислення (визначеність думки, несуперечливість, послідовність думки, обґрунтованість думки) формулюються на підставі логічних законів (іноді поняття «принцип мислення» і «закон мислення» ототожнюються).

На підставі законів у теоретичній логіці формулюються правила логічного мислення. Правила логічного мислення встановлють умови, яких необхідно дотримуватися, коли людина виконує інтелектуальні (розумові) дії, тобто логічні операції з об’єктами мислення — поняттями, висловлюваннями, що виражені в знаково-символічній формі. До правил логічного мислення відносяться: правила здійснення логічних операцій над поняттями, над висловлюваннями; правила побудови умовиводів; правила доведення і спростування.

Всі ці правила систематизовані в курсі загальної і символічної логіки. Правила здійснення логічних операцій носять нормативний характер; вони показують як необхідно правильно виконувати логічні операції. Оскільки в логіці головним є визначення істинності думок, то, відповідно, логіка обґрунтовує, за яких умов можна досягти істинного значення висловлювань у процесі мислення. Такою необхідною умовою буде дотримання законів і правил логіки. В цьому відношенні наука логіка виступає як нормативна наука.

Нормативними є науки, які встановлюють принципи належного, тобто того, як повинно бути здійснено. Нормативними науками є логіка, етика (теорія моралі), граматика, педагогіка (теорія виховання). Кожна нормативна наука має свій теоретичний базис, тобто норми соціальної поведінки, норми виховання, правопису, логічного мислення, які виводяться на підставі загальних законів, принципів, аксіом, що формулюються теоретично, на підставі дослідження тих об’єктів, що вивчає дана наука.

На підставі загальних законів, принципів, правил, які сформульовані в теоретичній логіці, виводяться принципи належного, тобто норми (стандарти) логічного мислення. На підставі цих норм можна здійснювати логічний аналіз мислення конкретної людини і зробити висновок: логічно вона мислить чи нелогічно. Сформулюємо основні норми логічного мислення, які є загальними для всіх людей. Вони полягають у необхідності:

• дотримуватись у своєму мисленні законів логіки;
• здійснювати інтелектуальні дії (операції) відповідно до правил, які сформульованих у теоретичній логіці;
• виділяти із сукупності ознак і властивостей, притаманних об’єктам думки, суттєві ознаки у процесі пізнання;
• точно і адекватно підводити те чи інше явище, той чи інший предмет під категорію, тобто давати правильне найменування об’єктам пізнання і практичної дії;
• аргументувати свої положення (тези) істинними доказами;
• при побудові гіпотез (версій) враховувати як можна більш фактів і суттєвих ознак, щоб дана гіпотеза була більш ймовірною.

Принципи і правила логіки або норми логічного мислення формулюються у всезагальній і абстрактній формі, тому їх може використовувати у своїй розумовій діяльності будь-яка людина, але, натомість ці принципи і правила потребують конкретизації залежно від специфіки (спрямованості) цієї розумової діяльності на певний об’єкт.

Конкретизація принципів і правил теоретичної логіки до рівнях практичного використання у процесі вирішення, наприклад, наукових проблем або особистих суб’єктивних питань, означає їх перетворення в метод пізнання, інтелектуального пошуку, прогнозування, вирішення задач і т.д.

Логічний метод як практичний прийом мислення людини означає сукупність дій (операцій), які спрямовані на конкретне виконання законів і правил логіки. В реальному процесі мислення людей логічний метод як практичний прийом виконується, як правило, не чисто формально, а на певному специфічному матеріалі. Відповідно, логічний метод як практичний прийом поділяється на суто логічну (формальну) та змістовну частини. Суто логічна (формальна) частина складається з таких компонентів: формальний вираз прийому (структура прийому), правила використання прийому, логічна (внутрішня) послідовність розумових дій на підставі правил. Змістовна частина прийому означає конкретний матеріал, на якому виконується даний прийом. Особливість формальної частини логічного прийому полягає в тому, що вона є узагальненою, уніфікованою, універсальною, тобто її можна використовувати на будь-якому конкретному матеріалі. Наприклад, одну і ту ж логічну операцію можна робити над юридичними, історичними, лінгвістичними, філософськими та іншими поняттями і висловлюваннями.

Перерахуємо логічні дії, які відносяться до практичних прийомів мислення:

а)  логічні дії над поняттями (визначення понять, узагальнення і обмеження понять, поділ понять, класифікація понять за родами, видами, типами, операції над класами, встановлення відношень між поняттями за принципом сумісності і несумісності та їх схематичне зображення за допомогою кіл Ейлера або діаграм Вена);

б)  логічні дії над висловлюваннями: встановлення істинності простих атрибутивних висловлювань за «логічним квадратом», встановлення логічних зв’язків між простими висловлюваннями і створення складних висловлювань за допомогою логічних операцій кон’юнкції, диз’юнкції, імплікації, заперечення, визначення істинності складних висловлювань за допомогою таблиць істинності, логічна операція квантифікації;

в) логічні операції побудови необхідного умовиводу за правилами логіки висловлювань і логіки предикатів;

г)   логічні операції побудови індуктивного умовиводу (теоретичне узагальнення емпіричних даних або фактів);

д)  встановлення відповідності (аналогії) між певними предметами і явищами (умовивід за аналогією);

є) логічні операції доведення і спростування.

Розробка логічного методу як практичного прийому використання логічних законів і правил у конкретному виді розумової діяльності людей перетворює їх в алгоритм логічного (раціонального) мислення.

Ці практичні прийоми мислення реалізуються у таких видах розумової діяльності як логічний аналіз текстів, логічний аналіз мови науки, філософії, математики та інших видів мов, логічне обгрунтування основ науки і філософії, побудова конкретних логічних моделей і розробка методів практичної діяльності людей — методів планування, програмування, моделювання, прогнозування та інших, необхідних для розробки економічних, соціальних, психологічних, юридичних моделей; логічне обґрунтування людиною прийняття свого рішення, вибору методів пошуку своєї поведінки в конкретній ситуації, тобто обґрунтування, чому прийняте саме це рішення, а не інше, чому зроблений такий вибір, а не інший і т.д.

При використанні логічних прийомів слід йти від загального до особливого і специфічного, тобто перетворювати загальну логічну теорію в прикладну логіку. Перерахуємо основні сфери діяльності, де теоретична логіка використовується як метод (органон) пізнання, метод пошуку, тобто набуває прикладного значення: — логіка-наука (всі науки — прикладні логіки); логіка-філософія; логіка-техніка; логіка-право; логіка-мовознавство; логіка-психологія; логіка, педагогіка та ін.

Оскільки під теоретичною логікою розуміють сукупність логічних теорій, то відповідно, кожна логічна теорія має свою особливість і межі практичного використання. Так, загальна, традиційна або арістотелівська логіка «ближче» до природного мислення людини, оскільки вона більш конкретна і враховує зміст висловлювань і тому, відповідно, має широке практичне значення в різних видах професійного мислення науковця, юриста, вчителя, лікаря і т.д. Крім того, на рівні повсякденного, емпіричного мислення, люди спираються, по-перше, на принципи і правила загальної логіки. Так, спираючись на загальну логіку, можна використати її принципи і правила при уточненні термінології, встановленні відношень між поняттями, перевірити логічними засобами істинність і хибність висловлювань при побудові умовиводів, доведенні і спростуванні, аналізі текстів, а також у наукових, філософських, політичних, юридичних, парламентських суперечках.

Висновки

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

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

Логічні методи застосовуються при дослідженні нових структур систем різноманітної природи (технічних об’єктів, текстів і ін.), у яких характер взаємодії між елементами ще не настільки ясний, щоб було можливо їхнє подання аналітичними методами, а статистичні дослідження або утруднені, або не привели до виявлення стійких закономірностей. У той же час варто мати на увазі, що за допомогою логічних алгоритмів можна описувати не будь-які відносини, а лише ті, які передбачені законами алгебри логіки й підкоряються вимогам логічного базису.

Логічні методи використовуються в усіх видах пізнання — буденному, науковому, філософському та ін. Кожна людина використовує логіку у своєму мисленні як «органон», тобто як інструмент, засіб при виконаннні різноманітних інтелектуальних дій. Саме в цьому значенні термін «органон» (інструмент, набір розумових операцій, необхідних для проведення певних досліджень), «працює» в логічних працях Арістотеля. Логічні праці Арістотеля носять назву «Аналітика» (термін «логіка» був введений пізніше для позначення всіх арістотелівських праць з логіки). Арістотель розглядав «Аналітику» (логіку) як метод, за допомогою якого можна зробити із деяких передумов (засновків) висновок, а потім обгрунтувати, чи вірно зроблено цей висновок, спираючись на закони логіки.

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

Виділяють різні види аналізу залежно від специфіки досліджуваного об’єкта. Найбільш поширеним у сучасній науці є системний аналіз, сутність якого полягає у підході до об’єкта, що вивчається, як структурно-організованої системи, в якій усі елементи органічно і нерозривно взаємопов’язані й, таким чином впливають один на одного. Наприклад, суспільство як цілісна система при системному аналізі розчленовується на економічний, політичний, правовий, моральний та ін. аспекти буття і суспільної свідомості (структурні частини цілого) і ці аспекти досліджуються окремо.

Список використаної літератури

1. Арутюнов В. Філософія, релігієзнавство, логіка: навч.-метод. посіб. для самост. вивч. дисц. / Державний вищий навчальний заклад «Київський національний економічний ун-т ім. Вадима Гетьмана» — К. : КНЕУ, 2008. — 312 c.
2. Богдановський І. Логіка: Опорний конспект лекцій / Міжрегіональна академія управління персоналом. — К. : МАУП, 2004. — 168с.
3. Бондар Т. Логіка: навч. посіб. для студ. вищ. навч. закл. культури і мистецтв / Державна академія керівних кадрів культури і мистецтв. — К., 2006. — 126с.
4. Гладунський В. Логіка: Навч. посіб. для студ. дистанційної форми навчання / Національний ун-т «Львівська політехніка»; Інститут дистанційного навчання. — Л. : Видавництво Національного ун-ту «Львівська політехніка», 2003. — 194с.
5. Жеребкін В. Логіка: підручник. — 10-е вид., стер. — К. : Знання, 2008. — 255с.
6. Конверський А. Логіка (традиційна та сучасна): підруч. для студ. вищ. навч. закл. / Київський національний ун-т ім. Тараса Шевченка. — 2-ге вид. — К. : Центр учбової літератури, 2008. — 536с.
7. Тофтул М. Логіка: Посібник/ Михайло Тофтул,. — К.: Академія, 2003. — 367 с. .
8. Хоменко І. Логіка для юристів: Підручник для студ. вищих навч. закладів/ Ірина Хоменко; М-во освіти і науки України, Київський нац. ун-т ім.Т.Г.Шевченка . — К.: Центр учбової літератури, 2007. — 335 с.