Accueil
"La création par Frege et Russell de la logique symbolique constitua sans aucun doute l'une des inventions majeures du XXème siècle." (p.9)
"Le calcul des propositions a pour objet l'étude des relations logiques entre propositions: il fournit les règles d'inférence permettant d'enchaîner des propositions pour produire des raisonnements valides. Ce faisant, il régit l'usage rationnel du discours." (p.17)
"On ne confondra pas vérité matérielle des propositions et vérité formelle du raisonnement. Un raisonnement peut être valide, c'est-à-dire vrai formellement et cependant conduire à une conclusion matériellement fausse si au moins l'une de ses prémisses est fausse." (p.137)
-Denis Vernant, Introduction à la logique standard, Flammarion, coll. Champs essais, 2011 (2001 pour la première édition), 447 pages.
"Le calcul des propositions a pour objet l'étude des relations logiques entre propositions: il fournit les règles d'inférence permettant d'enchaîner des propositions pour produire des raisonnements valides. Ce faisant, il régit l'usage rationnel du discours." (p.17)
"On ne confondra pas vérité matérielle des propositions et vérité formelle du raisonnement. Un raisonnement peut être valide, c'est-à-dire vrai formellement et cependant conduire à une conclusion matériellement fausse si au moins l'une de ses prémisses est fausse." (p.137)
-Denis Vernant, Introduction à la logique standard, Flammarion, coll. Champs essais, 2011 (2001 pour la première édition), 447 pages.
