Формальная логика
Материал из Википедии — свободной энциклопедии
Формальная логика — наука, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания.
Идеи и методы Формальной логики используются как в повседневной практике, например в качестве средства предотвращения логических ошибок, так и в теории для логического анализа научного знания.
[править] Смотри также
 |
Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её. |
