Selon la théorie vérificationniste, la signification logique d'un énoncé dépend en effet de la possibilité de sa vérification empirique: « le sens d'un énoncé est la méthode de sa vérification » (Carnap ).
Pour Blanché, l’objet de la logique n’est pas le contenu des raisonnements, mais leur forme. Une démonstration peut être valide sur le plan de la logique tout en aboutissant à une conclusion fausse (si le contenu des proposition est faux) : Exemples : Tout triangle est un trilatère, donc tout trilatère est un triangle.
- soit il s'agit d'une présentation de logique classique, héritée d'Aristote. Le plus souvent, ce type d'ouvrage noie le lecteur sous des appellations grecques et des concepts obscurs qui décourageraient le plus motivé des apprentis logiciens.
Le philosophe Socrate s’était fait une spécialité des discussions par questions et réponses. C’est en tâchant d’en codifier les règles, tout en déterminant aussi les règles des raisonnements scientifiques, qu’Aristote inventa la logique.