Metadata
Author: WikiMatrix
Data
Esperanto[eo]
En la branĉo logiko li distingas logikon formalan (kiu estas teorio pri la nepraj demonstroj) kaj lingvaĵon praktikan (kiu estas arto diskuto pri tio kio estas probabla).
French[fr]
Dans la logique, il distingue la logique formelle (qui est une science, i.e. une théorie des démonstrations nécessaires) et la logique pratique (qui est un art de la discussion sur ce qui est probable).