L’utilisation d’une langue formelle pour la logique propositionnelle nous oblige d’expliquer ce que nous voulons dire par les symboles introduits à ce propos : nous devons fixer leur signification. Une manière sémantique de le faire est de donner des tables de vérité, exploitant ainsi le principe de vérifonctionnalité.
La logique est l’étude des inférences valides. 4. La logique porte sur un langage simplifié, idéalisé et formel. 5. La logique propositionnelle étudie les connecteurs propositionnels qui relient des propositions; la logique des prédicats étudie en plus la quantification, les relations et les fonctions. 6.
3. Tous les connecteurs de la logique propositionnelle sont définissables par un seul, la barre de Sheffer. 4. La logique moderne pris sa source dans les travaux de Frege (Idéographie, 1879) et les travaux de 86 4. La méthode axiomatique Russell et Whitehead (Principia Mathematica, 1910). 5.
Introduction 1.1 De l’importance de la logique pour la philosophie en gé- néral La logique est l’étude de l’art de bien penser (cf.Arnauld et Nicole 1662). Elle est aussi fondamentale à la philosophie qu’aux mathématiques et a une très longue histoire, remontant à Aristote.