Principe du tiers excluEn logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité n'est pas accordée] , ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n'y a pas de cas intermédiaire entre ces deux états de Socrate, c'est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus.
Linguistique cognitiveEn linguistique et en sciences cognitives, la linguistique cognitive est un courant linguistique qui estime que la création, l'apprentissage et l'usage du langage trouvent leur meilleure explication par référence à la cognition humaine en général. D'un point de vue idéologique, ce courant de recherche s'inscrit en opposition avec la linguistique structuraliste. C'est le linguiste américain George Lakoff, ancien adepte de Chomsky, qui a favorisé le développement du courant de recherche de la « linguistique cognitive » au cours des années 1970-1980 aux États-Unis.
Réseau sémantiqueUn réseau sémantique est un graphe marqué destiné à la représentation des connaissances, qui représente des relations sémantiques entre concepts. Le graphe est orienté ou non orienté. Ses sommets représentent les concepts, et les liens entre les sommets (nœuds) représentent les relations sémantiques, reliant les champs lexicaux. Un réseau sémantique peut être instancié, par exemple,dans une base de données orientée graphes ou un schéma conceptuel. Les réseaux sémantiques normalisés sont exprimés sous forme de triplets RDF.
Théorie du prototypeEn sciences cognitives, la théorie du prototype est un modèle de catégorisation graduelle, dans lequel certains membres de la catégorie sont considérés comme plus représentatifs que d’autres, par exemple, lorsqu’on demande de fournir un exemple du concept de « meuble », le terme « chaise » est plus fréquemment cité que, par exemple, « tabouret ». Le terme de prototype a été proposé par Eleanor Rosch en 1973 dans son étude intitulée Natural Categories (Catégories Naturelles).
InnéismeL'innéisme est une doctrine philosophique selon laquelle certaines idées ou structures mentales sont innées, c'est-à-dire présentes dans l'esprit humain sans être le résultat d'un apprentissage. L'innéisme de Platon est présent dans les doctrines de l'immortalité de l'âme et de la réminiscence, tels que décrits dans le Ménon, le Phédon et le Phèdre. Dans la cosmologie platonicienne, l'âme a accès à la connaissance de la vérité lorsqu'elle se trouve dans un état non incarné dans le monde des Idées.
Necessity and sufficiencyIn logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If P then Q", Q is necessary for P, because the truth of Q is guaranteed by the truth of P. (Equivalently, it is impossible to have P without Q, or the falsity of Q ensures the falsity of P.) Similarly, P is sufficient for Q, because P being true always implies that Q is true, but P not being true does not always imply that Q is not true.
Conceptual modelA conceptual model is a representation of a system. It consists of concepts used to help people know, understand, or simulate a subject the model represents. In contrast, a physical model focuses on a physical object such as a toy model that may be assembled and made to work like the object it represents. The term may refer to models that are formed after a conceptualization or generalization process. Conceptual models are often abstractions of things in the real world, whether physical or social.
Inférence (logique)L’inférence est un mouvement de la pensée qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion. Étymologiquement, le mot inférence signifie « reporter ». En théorie, l'inférence est traditionnellement divisée en déduction et induction, une distinction qui, en Europe, remonte au moins à Aristote ( avant Jésus-Christ). On distingue les inférences immédiates des inférences médiates telles que déductives, inductives et abductives.
Extension (semantics)In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied or suggested by the concept in question.
Jerry FodorJerome Alan Fodor, né le à New York et mort le dans la même ville, est un philosophe américain. Il est l'un des principaux représentants du fonctionnalisme en philosophie de l'esprit et a été l'un des fondateurs de la théorie computationnelle de l'esprit. Il est l'auteur d'ouvrages importants dans les sciences cognitives sur l'hypothèse de la modularité de l'esprit et sur le langage de la pensée. Il est aussi connu pour ses arguments en épistémologie contre le réductionnisme. Le modèle de l'esprit défendu par J.
