Selon le philosophe allemand Wolfgang Detel: «La logique [formelle] est une théorie spécifique de l’argumentation. Elle vise à démontrer de manière claire et vérifiable ce que sont des arguments nécessaires. (...)
Il s’agit d’une logique fonctionnelle avec la détermination, par corps, d’un nombre limité de groupes de fonctions. La seconde composante est liée à la personne. Il peut s’agir du travail effectivement réalisé par la personne qui occupe le poste et / ou de son potentiel à évoluer sur son poste ou dans d’autres fonctions.
Les fonctions logiques de base 1. La fonction oui (égalité) 2. La fonction NON 5. La fonction NON-OU (Ni, Nor) 6. La fonction NON-ET (NAND) 7. La fonction OU exclusif 8. Exercices Réaliser le schéma électrique venant de cette équation logique. Ka = [ (b . c) + d + ka ] . ā
Ces deux règles sont la base de la majorité des systèmes de logique, formelle ou empirique. Elles sont la base sur laquelle s'appuient les raisonnements, qui permettent de réaliser à partir de prémisses (faits perçus ou déjà connus) des conclusions (résultats), généralement sous la forme de déductions, d'inductions, ou d'abductions.