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

[modifier | modifier le code]

## Mathématiques

[modifier | modifier le code]

En 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 | modifier le code]

* Pierre Pellegrin (dir.), Aristote : Œuvres complètes, Éditions Flammarion, 2014, 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 », 2011 (1re éd. 1974) (ISBN 978-2-253-13013-0), p. 21

## Notes et références

[modifier | modifier le code]

1. ↑ Aristote, Peri Hermeneias, Chapitre VI (1)
2. ↑ Œuvres complètes 2014, p. 76

## Voir aussi

[modifier | modifier le code]

Sur les autres projets Wikimedia :

* affirmation, sur le Wiktionnaire

* Concept logique

v · m

Logique

Domaines académiques |

* Théorie des ensembles
* Théorie de la démonstration
* Théorie des modèles
* Logique philosophique
* Logique mathématique
* Logique informelle
* Histoire de la logique
* Philosophie de la logique

Concepts fondamentaux |

* Abduction
* Conclusion
* Déduction
* Définition
* Démonstration
* Description
* Implication
* Inférence
* Induction
* Sens
* Paradoxe
* Prédicat
* Prémisse
* Proposition
* Mondes possibles
* Présupposition
* Référence
* Sémantique
* Syntaxe
* Syllogisme
* Vérité
* Valeur de vérité
* Validité
* Plus

Esprit critique et logique informelle |

* Affirmation
* Analyse
* Ambiguïté
* Crédibilité
* Évidence
* Explication
* Sophisme
* Parcimonie
* Propagande
* Rhétorique

Logique mathématique |

* Algèbre de Boole
* Calcul des prédicats
* Calcul des propositions
* Théorie de la calculabilité
* Déduction naturelle
* Logique traditionnelle
* Logique classique
* Logique linéaire
* Lois de De Morgan
* Théorie de la démonstration
* Théorie des ensembles
* Théorie des modèles

Logiques non classiques |

* Logique de description
* Logique intuitionniste
* Logique minimale
* Logique floue
* Logique modale
* Logique non monotone
* Logique paracohérente
* Logiques sous-structurelles
* Logique de Łukasiewicz

Métalogique et métamathématique |

* Théorème de Cantor
* Thèse de Church
* Fondements des mathématiques
* Théorème de complétude de Gödel
* Théorème d'incomplétude de Gödel
* Complétude
* Décidabilité
* Théorème de Löwenheim-Skolem

Philosophie de la logique |

* Atomisme logique
* Constructivisme
* Logicisme
* Intuitionnisme
* Dialethéisme

Logiciens |

* Aristote
* Avicenne
* Averroès
* Bain
* Barwise
* Bernays
* Boole
* Cantor
* Carnap
* Church
* Chrysippe de Soles
* Curry
* De Morgan
* Frege
* Gentzen
* Gödel
* Hilbert
* Kleene
* Kripke
* Leibniz
* Löwenheim
* Guillaume d'Ockham
* Peano
* Peirce
* Popper
* Putnam
* Quine
* Russell
* Schröder
* Scot
* Skolem
* Smullyan
* Tarski
* Turing
* Whitehead
* Wittgenstein
* Zermelo

* Portail de la logique
* Portail de la philosophie

*[dir.]: directeur de publication
*[p.]: page(s)
*[coll.]: collection
*[1re]: première
*[éd.]: édition
*[v]: Voir ce modèle.
*[m]: Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.