Définition

Pour d'autres acceptions plus spécialisées, voir Définition (homonymie)

Une définition sert à caractériser « quelque chose ». Cette « chose » peut être un objet, un phénomène, un état, un concept abstrait, un mot, une expression ou toute autre chose qui présente un intérêt et qui est un point de discussion.

## Histoire

[modifier | modifier le code]

Selon les Définitions de Platon, la définition est la « proposition comportant différence spécifique et genre ». Aristote, dans les Topiques, définit le mot comme « formule qui exprime l’essentiel de l’essence d’un sujet »[1],[2].

## Différents types de définitions

[modifier | modifier le code]

Il existe différents types de définitions, selon l’objectif que la définition remplit[3].

### Définitions réelles et nominales

[modifier | modifier le code]

Articles détaillés : Définition réelle et Définition nominale.

John Locke, dans son Essai sur l'entendement humain, distingue deux essences : l’essence réelle et l’essence nominale[4]. Pour Locke, l’essence nominale d’une chose est « l’idée générale complexe que nous associons habituellement à son nom »[5], alors que l’essence réelle est « la constitution interne des choses, dont dépendent leurs pouvoirs ainsi que l’ensemble de leurs qualités sensibles »[5]. Locke donne l’exemple suivant : l’essence nominale de l’or est « un Corps jaune, d’une certaine pesanteur, malléable, fusible, et fixe », alors que l’essence réelle de l’or est « la constitution des parties insensibles de ce Corps, de laquelle ces Qualités et toutes les autres propriétés de l’Or dépendent »[6].

Ainsi, une des différences entre plusieurs types de définitions est celle, en suivant le même raisonnement que Locke, entre les définitions réelles et les définitions nominales[4] : un chimiste cherche la définition réelle de l’or alors qu’un lexicographe cherche la définition nominale de l’or[4]. Il peut-être difficile de correctement caractériser cette différence : par exemple, un zoologiste devrait chercher la définition réelle de ce qu’est un tigre, sans pour autant réussir à dire ce qu’est l’essence réelle du tigre[4]. Une autre façon de faire la différence entre définition nominale et réelle pourrait être la manière de découvrir ladite définition : pour découvrir la définition réelle d’un mot, on doit chercher ce qu’est la chose désignée par ce mot, alors que pour découvrir la définition nominale d’un mot, on doit chercher le sens et les usages dudit mot[4].

### Définitions de dictionnaire

[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

### Définitions stipulatives

[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

### Définitions descriptives

[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

### Définitions explicatives

[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

### Définitions ostensives

[modifier | modifier le code]

Article détaillé : Définition ostensive.

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

## Notes et références

[modifier | modifier le code]

1. ↑ 101 b-102
2. ↑ Pellegrin 2014, p. 301
3. ↑ Gupta et Mackereth 2023, Section 1.
4. ↑ a b c d et e Gupta et Mackereth 2023, Section 1.1.
5. ↑ a et b « Locke (GP) - L'encylopédie philosophique », sur encyclo-philo.fr (consulté le 28 avril 2025)
6. ↑ John Locke, chap. IV, livre III « Des Noms des Substances. », dans Essai philosophique concernant l’entendement humain, Pierre Mortier, 1735, 353–380 p. (lire en ligne)

## Bibliographie

[modifier | modifier le code]

: document utilisé comme source pour la rédaction de cet article.

* (en) Richard Robinson, Definition, Oxford, Clarendon Press, 1950
* (eo) David Charles (éditeur), Definition in Greek Philosophy, Oxford, Oxford University Press, 2010
* (en) Anil Gupta et Stephen Mackereth, « Definitions », dans The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, 2023 (lire en ligne).

## Voir aussi

[modifier | modifier le code]

### Articles connexes

[modifier | modifier le code]

* Signe
* Sens
* Platon
* Aristote
* Histoire des définitions de la philosophie
* Théorie du prototype

### Liens externes

[modifier | modifier le code]

*   * Ressource relative à la recherche :
* Stanford Encyclopedia of Philosophy
* Notices dans des dictionnaires ou encyclopédies généralistes :
* Britannica
* Den Store Danske Encyklopædi
* Gran Enciclopèdia Catalana
* Nationalencyklopedin
* Store norske leksikon
* Universalis
* Visuotinė lietuvių enciklopedija

* Notices d'autorité :
* BnF (données)
* LCCN
* GND
* Israël
* Tchéquie

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 des mathématiques
* Portail de la philosophie
* Portail de l'ontologie

*[p.]: pages
*[chap.]: chapitre(s)
*[(en)]: Langue : anglais
*[(eo)]: Langue : espéranto
*[v]: Voir ce modèle.
*[m]: Modifier ce modèle. Merci de prévisualiser avant de sauvegarder.