Формални логически методи
Учебни материали, статии и записки от лекции.
Формални логически методи
Методи на формалната логика - учения за елементарните закони и форми на правилно мислене, изучаване на мисълта от страна на нейната форма, структура.
Пример.Първа преценка: Продуктът, който се продава на пазара, е стока. Втора преценка: Отглежданите от мен зеленчуци са купени от пазара. Трети извод. Зеленчуците, които продадох, са стока.
Основите на формалната логика, включително формата на силогизма, са обобщени за първи път от древногръцкия учен Аристотел (384-322 г. пр. н. е.).
Най-важните методи на формалната логика:
- - Анализ и синтез. Анализът е разделянето на цялото на части. Синтезът е съчетаването на отделни части в едно цяло.
- - Индукция и дедукция. Индукцията е заключение от частното към общото. Дедукцията е извод от общото към частното.
- - Сравнение и аналогия. Сравнението е определянето на сходството или различието на явления и процеси. Аналогията е пренасяне на свойствата на известно явление към неизвестното.
- - Хипотеза - номинация, като правило, въз основа на парадокси, научно обосновано предположение за възможните причини или връзки на явления и процеси.
- - Доказателство - обосноваване на истинността или неистинността на една мисъл с помощта на други.
- - Група методи, наречени парадокси. Това е един вид постановка на проблема.
Сред парадоксите се открояват:
- - Антиномия - противоречие в закона, състоящо се в това, че две противоположни съждения за един и същи предмет имат еднаква сила. Пример: Първото съждение, съдържащо се в почти всички конституции на страните по света, е, че всички хора са равни от раждането си. Второто съждение, също характерно за повечето конституции на страните по света, е, че всички хора са равни в правата на собственици.Не е много трудно да се види, че тези тези са несъвместими. От гледна точка на формалната логика антиномията е неразрешима. Решението тук може да бъде само волево - под формата на юридически акт или използване на сила (революция).
- - Апория - твърдение, което противоречи на практическия опит (например Земята се върти около Слънцето). Само науката го позволява.
- - Софизъм - невярно заключение - съждение, основано на съзнателно нарушение на правилата на логиката.
Методите на формалната логика са мощен инструмент за познание, систематизиране на известни понятия и факти. Те изследват формата на явлението, ясно описват неговата статика, т.е. състояние на покой или равновесие.