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