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