Мислення

Очевидно, що у першому мисленні висновок є істинним, але в другому — він хибний.

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

Сама назва «формальна логіка» підкреслює той факт, що ця логіка займається в основному формою мислень, вивчає їх структурні аспекти.Під логічною формою мислення розуміють спосіб зв'язку висловлювань, які входять до його складу. З метою її виявлення абстрагуються від змістовного аспекту міркування і зосереджуються тільки на тих компонентах, які представляють його формальний аспект.

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

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

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

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

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

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

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

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

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

Для того щоб її з'ясувати, можна замінити всі нелогічні терміни певними символами — змінними. Наприклад, розглянемо таке мислення: «Ця посадова особа скоїла злочин, тому що вона отримала хабар». Відновимо його у повному вигляді, тобто визначимо засновки й висновок цього мислення. У результаті отримаємо:

–Якщо посадова особа отримує хабар, то вона скоює злочин.

–Ця посадова особа отримала хабар.

–Ця посадова особа скоїла злочин.

Замінимо прості висловлювання, що входять до складу цього мислення і які є нелогічними термінами, відповідними змінними р і q. Логічним терміном у даному випадку є тільки один сполучник — «якщо..., тоді...».