Що таке формальна логіка

Формальна логіка - це наука, яка розглядає побудову і перетворення висловлювань. Об'єкти висловлювання, так само як і його зміст, формальною логікою не враховуються: вона має справу лише з формою, тому й називається так.
Що таке формальна логіка


В історії філософії формальна логіка була цілим розділом, напрямком логіки кінця XIX - початку XX століть. Її не слід плутати з математичної або символічної логікою. Неформальна логіка, на противагу формальної, вивчає буденний людську мову, характерний для живих і безпосередніх діалогів.

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



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

Закон тотожності постулює тотожність всякого висловлювання самого себе. Фактично, він заявляє про неприпустимість підміни понять у перетворенні висловлювань, забезпечуючи визначеність мислення. Між нетотожні формулюваннями не повинен стояти знак рівності.

Закон несуперечливий: серед двох протилежних висловлювань хоча б одне з них помилково. Обидва вони істинними бути не можуть. Цим законом ілюструється несумісність суперечливих суджень. Цікаво відзначити, що з часів Аристотеля робляться спроби оскаржити закон несуперечливий. Як правило, в їх основі лежить невірне тлумачення «логічного заперечення»: воно має місце тоді, коли висловлювання ідентичні у всьому, крім єдиного пункту, щодо якого вони розходяться по різних полюсів.

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


Увага, тільки СЬОГОДНІ!