Une définition est une proposition qui met en équivalence un élément définissant et un élément étant défini.
Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ».
Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme
En mathématiques, on définit une notion à partir de notions antérieurement définies.
Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Se pose la question de la différence entre une définition et un axiome. Pour exemple, dans l'arithmétique de Peano, l'addition et la multiplication sont des symboles du langage et leur fonctionnement est régi par des axiomes. Mais on pourrait tout à fait réduire le langage de l’arithmétique en supprimant les symboles « + » et « * » et les définir à partir de 0 et de la fonction successeur d'une manière similaire. Cela nous donnerait une autre théorie arithmétique, mais essentiellement équivalente sur toutes ses propriétés élémentaires.
Une définition est une formule qui indique la signification d'un terme. Une définition pose une équivalence entre un terme (signifiant) et un sens (signifié). Elle autorise à remplacer le second par le premier et revêt ainsi une utilité pratique. Elle est également le résultat d'une opération et introduit donc le temps (le sens défini est fini, passé, en-soi), ainsi qu'un acteur (souvent implicite).
La définition s'inscrit dans l'ordre de la dénotation, mais un terme connote également des sens, et ce sans faire explicitement appel au temps ou à un acteur. Il le fait grâce à une structure externe de l'espace des signifiants, mais il existe également une structure interne qui s'exprime à travers l'étymologie. Le concept de définition ne s’impose pas de lui-même, c'est un outil utile, mais pas indifférent : il s'inscrit dans une totalité structurée.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
:
Cours associés (45)
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
A circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.
A genus–differentia definition is a type of intensional definition, and it is composed of two parts: a genus (or family): An existing definition that serves as a portion of the new definition; all definitions with the same genus are considered members of that genus. the differentia: The portion of the definition that is not provided by the genus. For example, consider these two definitions: a triangle: A plane figure that has 3 straight bounding sides. a quadrilateral: A plane figure that has 4 straight bounding sides.
L'Organon (« outil » ou « instrument » en grec ancien) est le nom scolastique utilisé pour désigner un ensemble de traités, principalement de logique, attribués à Aristote. Le titre d'Organon n'est pas d'Aristote ; il est mentionné pour la première fois par Diogène Laërce. Le fait même d'utiliser le terme d'« instrument » pour désigner les traités logiques d'Aristote n'est pas neutre, mais prend place dans le cadre d'un débat philosophique, les stoïciens affirmant que la logique constitue une part entière de la philosophie, tandis que les péripatéticiens tardifs du Lycée considéraient qu'il ne s'agissait que d'un outil.
Le contenu de ce cours correspond à celui du cours d'Analyse I, comme il est enseigné pour les étudiantes et les étudiants de l'EPFL pendant leur premier semestre. Chaque chapitre du cours correspond
It is a generally accepted idea that typology is an essential element in the disciplinary dimension of architecture. The concept of typology, in its most common definition, is sufficiently malleable to cover a wide range of uses, but it is also this vaguen ...
Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...
It is a generally accepted idea that typology is an essential element in the disciplinary dimension of architecture. The concept of typology, in its most common definition, is sufficiently malleable to cover a wide range of uses, but it is also this vaguen ...