Формальна логіка

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

Формальна логіка і мислення

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

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