Affirmation
L’affirmation est, en logique, l’énonciation qui attribue une chose à une autre[1], une déclaration signifiant une certaine chose sur une autre[2] ; elle se différencie de l’énonciation[pas clair], qui doit dire qu'une chose est ou n'est pas à une autre tantôt universellement, tantôt individuellement.
Logique
modifierMathématiques
modifierEn mathématiques, les mathématiciens allemands Fritz Reinhardt et Heinrich Soeder définissent l’affirmation par la déduction d’une proposition à partir d’autres propositions suivant certaines règles logiques de raisonnement.
Bibliographie
modifier- Pierre Pellegrin (dir.), Aristote : Œuvres complètes, Éditions Flammarion, , 2923 p. (ISBN 978-2081273160), « De l'interprétation », p. 70, 76.
- Fritz Reinhardt et Heinrich Soeder, Atlas des Mathématiques, Paris, Fayard, coll. « La Pochothèque », (1re éd. 1974) (ISBN 978-2-253-13013-0), p. 21
Notes et références
modifier- Aristote, Peri Hermeneias, Chapitre VI (1)
- Œuvres complètes 2014, p. 76
