LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Valeur de véritéUne valeur de vérité est une valeur attribuée à chaque proposition logique. Pour donner une valeur de vérité à une proposition, on attribue des valeurs de vérité aux variables qu'elle contient. La valeur d'une proposition formés de deux propositions P et Q et d'un connecteur est calculée à partir des valeurs de vérité attribuées à P et à Q. Ainsi la valeur de vérité attribuée à « P et Q » sera « p.q » où « . » est la multiplication. En conséquence, P et Q est vrai si et seulement si P et Q sont chacun vrais.
Diagramme de Vennvignette|Diagramme de Venn montrant quels glyphes en majuscules sont partagés par l'alphabet grec, latin et russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles. Les diagrammes de Venn ont été conçus autour de 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires, ainsi que pour illustrer des relations simples en probabilité, logique, statistiques, linguistique et en informatique.
Philosophie du langageLa philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
Philosophie de l'espritLa philosophie de l'esprit (de l'anglais : philosophy of mind) est une branche de la philosophie qui se propose d'étudier la nature de l'esprit (mind), ainsi que sa relation avec le monde physique. Le problème corps-esprit entendu au sens large – problème de la relation des états mentaux au corps –, est communément considéré comme la question centrale de la philosophie de l'esprit, bien que d'autres interrogations sur la nature des états mentaux ne concernent pas le corps, ou fassent directement référence à l'environnement (physique ou social) des individus.
Bertrand RussellInfobox Philosophe | nom = Bertrand Russell | image = Bertrand Russell cropped.jpg | légende = Bertrand Russell en novembre 1957. | alt = Photographie en noir et blanc d'un homme aux cheveux blancs, mains jointes sur ses lunettes, observant le spectateur d'un air amusé | date de naissance = 18 mai 1872 | lieu de naissance = Trellech (Monmouthshire, Royaume-Uni) | date de décès = 2 février 1970 | lieu de décès = Penrhyndeudraeth (Gwynedd, Royaume-Uni) | tradition philosophique = Philosophie analytique | principaux intérêts = Logique, mathématiques, physique, éthique, religion, politique | œuvres principales = Principia Mathematica,De la dénotation | a influencé = Ludwig Wittgenstein, A.
Logique floueLa logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1. En ce sens, elle étend la logique booléenne classique avec des . Elle consiste à tenir compte de divers facteurs numériques pour qu'on souhaite acceptable.
Ludwig Wittgenstein'Ludwig Josef Johann Wittgenstein', né à Vienne en Autriche le et mort à Cambridge au Royaume-Uni le , est un philosophe, mathématicien, ingénieur, pédagogue et architecte de nationalité autrichienne, puis, à partir de 1939, britannique, ayant exploré de manière décisive certains domaines fondamentaux de la connaissance tels que la logique, les fondements des mathématiques et la philosophie du langage.
Ambiguïtévignette|: on peut y voir une tête de canard ou une tête de lapin. L'ambiguïté (orthographe traditionnelle) ou ambigüité (orthographe réformée de 1990) est le caractère d'une situation, d'une perception, d'un mot ou d'une phrase dont il existe deux interprétations entre lesquelles on ne peut décider. En sémantique, un signifiant renvoie à un signifié . L'ambiguïté survient lorsque le récepteur peut hésiter entre deux signifiés. Un mot qui a plusieurs significations, une phrase qui a plusieurs analyses grammaticales possibles créent un doute que le contexte doit résoudre.
Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.