Manuel de Logique - MAMADOU COULIBALY

Essai de compréhension et d'analyse de la Logique, ce livre aborde succinctement les grandes doctrines logiques de l'Antiquité à nos jours, puis traite la logique des propositions (classique et moderne) et la logique des prédicats (classique et moderne).
En séparant la logique spontanée de la logique scientifique, nous pouvons distinguer trois grandes étapes de l'évolution de cette science. La première correspond à sa genèse, quand elle s'est imposée comme l'usage spontané des normes de la pensée correcte et comme une branche de la philosophie associée à l'ontologie, la dialectique, la théorie de la connaissance et la rhétorique. La deuxième commence lorsqu'elle devient une science autonome grâce à l'effort de systématisation fourni par Aristote. Et la dernière correspond à l'avènement de la logique mathématique ou symbolique.
Par ailleurs, la Logique comme science comprend plusieurs parties dont la logique des propositions (la logique ancienne des propositions et le calcul des propositions) et la logique des prédicats (la logique ancienne des prédicats et le calcul des prédicats ou le calcul fonctionnel). Dans le but de vérifier la validité des inférences, la logique des propositions appelée aussi la logique inter-propositionnelle ou la logique des propositions non-analysées étudie les relations qui existent entre les énoncés et qui sont exprimées par les connecteurs logiques. En revanche, la logique des prédicats appelée aussi la logique intra-propositionnelle ou la logique des propositions analysées étudie la structure interne de la proposition (le sujet, le prédicat et leur liaison) afin de vérifier la validité des inférences.