Формальна логіка
Формальна логіка є наука про закони й форми правильної побудови думки.
Формальна логіка вивчає закони і правила, яким підлягає мислення людини в процесі пізнання нею істини. До завдань формальної логіки не входять дослідження того, чому наше мислення набуває форми понять, суджень, умовиводів, як складалися ці логічні форми у процесі становлення людини і її мислення, що являли вони собою на ранньому ступені розвитку мислення, яку пізнавальну роль виконує кожна логічна форма, взаємозв'язок форми мислення і т.
д. Ці й інші питання, що відносяться до логічної природи і сутності форми мислення, з'ясовує діалектична логіка. Формальна ж логіка досліджує лише одну сторону мислення — його структуру. Цим вона відрізняється від будь-якої іншої науки, що вивчає мислення людини.Формальна логіка досліджує форми мислення як форми відтворення відносно постійних, якісно визначених предметів і явищ, стійких зв'язків і відносин. Вона вивчає структуру готових, що склалися, форм мислення, відхиляючись від процесу їх формування і розвитку.
Формальна логіка, вивчаючи мислення з боку його логічної структури, відхиляється від конкретного змісту думки. Але формальна логіка не байдужа до змісту думки взагалі; вона вивчає логічні форми як змістовні, а не чисті форми Формальна логіка відокремлюється від конкретного змісту, щоб виявити структуру логічних форм, розкрити закони будови і зв'язків думки. У самому ж процесі Мислення закони і правила формальної логіки настільки тісно пов'язані з конкретним змістом, що ми не можемо перевірити їхню дію, не звернувшись до конкретного змісту думки. Так, щоб перевірити, чи дотримано у процесі того чи іншого міркування вимоги закону тотожності, ми маємо зіставити думки (поняття) за їхнім змістом.
Логіка ніколи не була, нейтральною до філософської боротьби. У логіці завжди було (і є) багато різноманітних шкіл і течій.
За своїми завданнями, за своїм відношенням до інших наук формальна логіка є наукою філософською.
1.7