ак проблема, гипотеза и т. д. , такие методы познания, как восхождение от абстрактного к конкретному, анализ и синтез и т. д.
В процессе познания методы формальной логики дополняются методами диалектической логики, и наоборот. (Ю. В. Ивлев, 1988)
Основные методологические принципы формальной логики
Формальная логика исследует связи между мыслями, зависящие от их логических форм, т. е. прежде всего от смысла логических терминов. Эти связи имеют место независимо от того, знаем ли мы о них или нет. Поскольку логические термины, по крайней мере некоторые, представляют наиболее общие характеристики внеязыковой действительности, постольку в логике выражается знание онтологического характера, знание о том, какими признаками обладает действительность. Такими знаниями, например, являются: (1) Невозможно существование ситуации и в то же время ее отсутствие, в частности, невозможно наличие свойства у предмета, и в то же время отсутствие этого свойства у предмета ; (2) У изменяющихся предметов имеются свойства, которые остаются присущими им во многих случаях по крайней мере некоторое время .
Знание указанных связей и признаков включаются в мировоззренческую часть науки формальной логики. В науке логике эти знания выражается в виде так называемых логически-истинных высказываний, т. е. высказываний, которые являются истинными независимо от того, каковы входящие в них дескриптивные термины (эти высказывания истины в силу особенностей их логических форм) .
Формы логически-истинных высказываний, если входящие в них переменные связываются квантарами общности, выражают (1) формально-логические законы или (2) указанные выше знания онтологического характера. Примеры форм высказываний первого вида: (((pЩ q) Й ((pЩ щ q) ) ; ((p Й (q Й r) ) Й ((p Щ q) Й r) ) .
Прим
Страницы: << < 8 | 9 | 10 | 11 | 12 > >>