Logique formelle
La logique formelle est la discipline qui étudie les règles du raisonnement valide en considérant la forme des propositions et des inférences indépendamment de leur contenu. Aristote en est le fondateur : il l'a systématisée dans l'Organon, ensemble de six traités couvrant les catégories, la proposition et le syllogisme. Elle constitue, dans les arts libéraux, un instrument au service de toutes les sciences.
- Type
- Discipline
Description
Discipline étudiant les règles formelles du raisonnement valide.
Fiches liées
Dans les cours
Catégorie : Discipline