МЕТОДОЛОГІЧНА ФУНКЦІЯ ФОРМАЛЬНОЇ ЛОГІКИ

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

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

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

в)логічні операції побудови необхідного умовиводу за правилами

логіки висловлювань і логіки предикатів;

г)логічні операції побудови індуктивного умовиводу (теоретичне

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

д)встановлення відповідності (аналогії) між певними предметами

і явищами (умовивід за аналогією);

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

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

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

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

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