выводы
1. Закон достаточности основания формальной логики — один из основных законов правильного мышления: всякая мысль должна иметь достаточное логическое нсонвание, — только при этом условии она может быть признана истинной^ Характеризуя основы логичес-
1 В.
И. Ленин. Полн. собр. соч., т. 42, стр. 290.кого мышления, Г. Лейбниц выделяет два принци па: закон противоречия и закон достаточного основания.
Закон достаточного основания обеспечивает последовательность и доказательность мышления.
2. Символическая формула закона достаточного основания формальной логики: «А есть потому, что есть В».
3. Здкон достаточного основания занимает особое место среди других законов формальной логики, он более непосредственно связан с содержанием мышления и поэтому не входит в систему формул математической логики, но как закон содержательного мышления является непременным условием правильного логического мышления, условием достижения истины.
4. Вместе с тем следует признать, что закон доста
точного основания формальной логики так же страдает ограниченностью, как и другие законы мышления формальной логики. ,
Категория основания, отражающая причинную связь вещей, носит сложный характер. Глубокое понимание причинной связи вещей и отражения ее в формах логического мышления требует учета таких моментов, как взаимосвязь явлений, множественность причин, противоречивый характер явлений, процесс развития явлений и т. д. Все это необходимо для нахождения конкретной истины, но все это выходит за рамки формальной логики.
5. Ограниченность закона достаточного основания формальной логики нельзя устранить путем внесения в закон достаточного основания таких поправок, которые бы не изменяли самого существа формальной логики.
В известной характеристике формальной логики, данной В. И. Лениным, отмечается тот недостаток формальной логики, что она не может обеспечить достижение конкретной истины.
6. Познание конкретной истины требует более глубокого, более всестороннего толкования закона достаточного основания.
Диалектическая логика не отбрасывает закона достаточного основания формальной логики, признавая справедливость положения, что «сяка^я мысль должна
иметь достаточное логическое основание, но придает ему более полное, более конкретное выражение.
7. Ограниченность закона достаточного основания формальной логики преодолевается в практике современного научного мышления, но создается несоответствие между практикой мышления и теорией логических форм.
8. Формула закона конкретного основания диалектической логики может быть выражена в следующем виде: «А есть потому, что есть совокупность взаимосвязанных, внутреннепротиворечивых, претерпевающих изменения оснований В, С, D и т. д., из которых с необходимостью следует А».
Приведенная символическая формула закона конкретного основания диалектической логики не раскрывает всей полноты содержания, которое должно быть отражено в формуле закона, но подчеркивает сложность обстоятельств, которые должны быть учтены при познании конкретной истины.
Еще по теме выводы:
- 1.1.Натуральный вывод как тип логического вывода
- 3.3.Правила поиска вывода в системе BMV
- 1.3.Автоматический поиск вывода в натуральном исчислении
- Виды умозаключений, правила их производства и оценки выводов
- 3.4.Описание алгоритма поиска вывода в системе BMV
- 1.2.История создания систем автоматического поиска вывода
- Выводы
- Выводы
- Выводы
- Выводы
- Выводы