logiques

CONTRAPOSEE (ou modus tollens) Le modus tollens est un théorème qui dit que (A => B ) <=> (non B => non A). Exemple : "Être une fourmi implique être un insecte" est équivalent à "ne pas être un insecte implique ne pas être une fourmi". Démonstration du...

Nul n'a plus marqué la théorie logique pré-moderne qu'Aristote. Certes, la science du raisonnement avait été élaborée par les sophistes et les rhéteurs, mais jamais elle n'avait été dégagée dans un système cohérent. Forte de la synthèse platonicienne...

Il y a deux découvertes, en effet, dont on pourrait, à juste titre rapporter le mérite à Socrate : le discours inductif et la définition générale... Aristote. Né aux alentours de 470 avant Jésus-Christ à Athènes, Socrate initia une recherche de la sagesse...

Les travaux d'Aristote furent étoffés durant l'Antiquité par les écoles mégariques et stoïciennes qui surent développer un calcul propositionnel au sens moderne du terme et dégager des lois indémontrables. L'ancien Stoïcisme — du nom du Portique à Athènes,...

À partir d'environ 500 ans avant Jésus-Christ, commença en Inde la période dite des systèmes philosophiques classiques durant laquelle de nombreuses écoles sont apparues. Et selon qu'ils reconnaissaient l'autorité des Véda — écrits volumineux dont les...