Accès plus rapide que le navigateur!
154 relations: Alfred North Whitehead, Algèbre, Algèbre de Boole (logique), Algorithmique, Antiquité, Arend Heyting, Argumentation, Aristote, Arité, Assistant de preuve, Atome, Atomisme logique, Axiome, École mégarique, Épistémologie, Épistémologie de la logique, Équation, Équivalence logique, Éthique, Bertrand Russell, Bibliographie sur la logique et la philosophie du langage, Calcul des prédicats, Calcul des propositions, Catégories (Aristote), Clarence Irving Lewis, Communication, Conjonction logique, Connecteur logique, Connecteur logique (linguistique), Correspondance de Curry-Howard, Décidabilité, Déduction naturelle, Démonstration formelle, Dialectique, Discipline (spécialité), Disjonction logique, Emmanuel Kant, Entité, Flexion (linguistique), Fonction exponentielle, Fonction logique, Formule, Géométrie, George Boole, Gorgias, Gottfried Wilhelm Leibniz, Gottlob Frege, Grec ancien, Histoire de la logique, Histoire de la philosophie (discipline), ..., Hypothèse, Idée, Implication (logique), Inférence (logique), Informatique, Informatique théorique, Ingénierie, Intelligence artificielle, Jacques Follon, Jan Łukasiewicz, Jean-Baptiste Gourinat, Kurt Gödel, Lambda-calcul, Langage, Langage naturel, Les Lois de la pensée, Linguistique, Logique classique, Logique combinatoire, Logique d'ordre supérieur, Logique et raisonnement mathématique, Logique floue, Logique formelle, Logique infinitaire, Logique intuitionniste, Logique linéaire, Logique mathématique, Logique minimale, Logique modale, Logique philosophique, Logique pneumatique, Logique polyvalente, Logique temporelle, Lois de De Morgan, Lotfi Zadeh, Martin Heidegger et la logique, Mathématiques, Métaphysique, Modalité (linguistique et logique), Morphologie mathématique, Moyen Âge, Négation logique, Ontologie (philosophie), Organon, Paradoxe du barbier, Paris, Parménide, Pascal Engel, Paul Gochet, Peeters Publishers, Philosophe, Philosophie, Philosophie analytique, Philosophie de la logique, Philosophie morale, Physique, Pour la science, Prédicat (logique mathématique), Premiers Analytiques, Principe de bivalence, Principia Mathematica, Problème de généralité multiple, Programmation informatique, Proposition, Proposition (grammaire), Psychologie cognitive, Quantification (logique), Quantification existentielle, Raison, Raisonnement, Raisonnement automatisé, Rationalisation, Rationalité, Recherche fondamentale, Relation binaire, Rhétorique, Robert Blanché, Saul Kripke, Sémantique, Sémantique de Kripke, Science de la nature, Science formelle, Sophisme, Stephen Cole Kleene, Stoïcisme, Style de Fitch pour la déduction naturelle, Syllogisme, Symbole, Syntaxe, Système de calcul formel, Système formel, Système logique, Table de vérité, Théorème, Théorème de complétude de Gödel, Théorie algorithmique de l'information, Théorie de la démonstration, Théorie des ensembles, Tractatus logico-philosophicus, Vérification de modèles, Vérité, William Stanley Jevons, Xénocrate, 2005. Développer l'indice (104 plus) »
Alfred North Whitehead
Alfred North Whitehead, né le à Ramsgate (dans le Kent, en Angleterre) et mort le à Cambridge (Massachusetts), est un philosophe, logicien et mathématicien britannique.
Nouveau!!: Logique et Alfred North Whitehead · Voir plus »
Algèbre
L'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques.
Nouveau!!: Logique et Algèbre · Voir plus »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Logique et Algèbre de Boole (logique) · Voir plus »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Logique et Algorithmique · Voir plus »
Antiquité
vignette complexe funéraire de Gizeh, Ancien Empire égyptien, v. 2600-2500 av JC Cabinet des médailles de la Bibliothèque nationale de France. 510 av JC, musée du Louvre. Statue en bronze du Dieu de l'Artémision, v. 460 av. J.-C. Musée national archéologique d'Athènes. II. V. VI. L'Antiquité (du latin antiquus signifiant « antérieur, ancien ») est une époque de l'histoire.
Nouveau!!: Logique et Antiquité · Voir plus »
Arend Heyting
Arend Heyting (Amsterdam aux Pays-Bas, - Lugano en Suisse) est un mathématicien et logicien néerlandais.
Nouveau!!: Logique et Arend Heyting · Voir plus »
Argumentation
L’argumentation est l'action de convaincre et pousser ainsi l'autre à agir.
Nouveau!!: Logique et Argumentation · Voir plus »
Aristote
Aristote (384-322) est un philosophe et polymathe grec de l'Antiquité.
Nouveau!!: Logique et Aristote · Voir plus »
Arité
En mathématiques, l'arité d'une fonction, ou opération, est le nombre d'arguments ou d'opérandes qu'elle requiert.
Nouveau!!: Logique et Arité · Voir plus »
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Nouveau!!: Logique et Assistant de preuve · Voir plus »
Atome
hélium 4, agrandi à droite, est formé de deux protons et de deux neutrons. Atomes de carbone à la surface de graphite observés par microscope à effet tunnel. Un atome est la plus petite partie d'un corps simple pouvant se combiner chimiquement avec un autre.
Nouveau!!: Logique et Atome · Voir plus »
Atomisme logique
L'atomisme logique, hérité par bien des aspects des travaux de Gottlob Frege au cours du, est une doctrine philosophique soutenue par Bertrand Russell et Ludwig Wittgenstein au cours de la première partie du.
Nouveau!!: Logique et Atomisme logique · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Logique et Axiome · Voir plus »
École mégarique
L’École mégarique est une école de philosophie grecque fondée entre les, qui tire son nom du lieu d'origine de son fondateur, Euclide de Mégare (à ne pas confondre avec Euclide d'Alexandrie).
Nouveau!!: Logique et École mégarique · Voir plus »
Épistémologie
Lépistémologie (du grec ancien, « connaissance vraie, science » et / « discours ») est d'abord l'étude de la connaissance scientifique.
Nouveau!!: Logique et Épistémologie · Voir plus »
Épistémologie de la logique
L'épistémologie de la logique est la discipline qui s'intéresse à la logique en tant que science pour déterminer.
Nouveau!!: Logique et Épistémologie de la logique · Voir plus »
Équation
title.
Nouveau!!: Logique et Équation · Voir plus »
Équivalence logique
En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.
Nouveau!!: Logique et Équivalence logique · Voir plus »
Éthique
L'éthique s'intéresse depuis toujours aux moyens de répartition des richesses. L'éthique est une discipline philosophique portant sur les jugements moraux et dont le concept est donc très proche de celui de la morale.
Nouveau!!: Logique et Éthique · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Logique et Bertrand Russell · Voir plus »
Bibliographie sur la logique et la philosophie du langage
Cet article est une bibliographie détaillée sur la logique et la philosophie du langage.
Nouveau!!: Logique et Bibliographie sur la logique et la philosophie du langage · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Logique et Calcul des prédicats · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Logique et Calcul des propositions · Voir plus »
Catégories (Aristote)
Catégories est le titre donné à une œuvre d'Aristote, placée en tête de son Organon (l'ensemble de ses traités de logique).
Nouveau!!: Logique et Catégories (Aristote) · Voir plus »
Clarence Irving Lewis
Clarence Irving Lewis est un philosophe et logicien pragmatiste américain, né le à Stoneham et mort le à Cambridge (Massachusetts).
Nouveau!!: Logique et Clarence Irving Lewis · Voir plus »
Communication
La communication est l'ensemble des interactions avec un tiers humain ou animal qui véhiculent une ou plusieurs informations.
Nouveau!!: Logique et Communication · Voir plus »
Conjonction logique
En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et.
Nouveau!!: Logique et Conjonction logique · Voir plus »
Connecteur logique
En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions.
Nouveau!!: Logique et Connecteur logique · Voir plus »
Connecteur logique (linguistique)
En linguistique, un connecteur logique est un mot ou une locution établissant une liaison entre deux propositions.
Nouveau!!: Logique et Connecteur logique (linguistique) · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Logique et Correspondance de Curry-Howard · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Logique et Décidabilité · Voir plus »
Déduction naturelle
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner.
Nouveau!!: Logique et Déduction naturelle · Voir plus »
Démonstration formelle
Une démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence.
Nouveau!!: Logique et Démonstration formelle · Voir plus »
Dialectique
La dialectique (également méthode ou art dialectique) est une méthode de discussion, de raisonnement, de questionnement et d'interprétation qui occupe depuis l'Antiquité une place importante dans les philosophies occidentales et orientales.
Nouveau!!: Logique et Dialectique · Voir plus »
Discipline (spécialité)
Une discipline désigne une branche du savoir développée par une communauté de spécialistes adhérant aux mêmes pratiques de recherche.
Nouveau!!: Logique et Discipline (spécialité) · Voir plus »
Disjonction logique
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).
Nouveau!!: Logique et Disjonction logique · Voir plus »
Emmanuel Kant
Emmanuel Kant, né le à Königsberg en Prusse (aujourd'hui appelée Kaliningrad en Russie), et mort le dans cette même ville, est un philosophe prussien, fondateur du criticisme et de la doctrine dite « idéalisme transcendantal ».
Nouveau!!: Logique et Emmanuel Kant · Voir plus »
Entité
Une entité, dans son sens le plus général, est une chose, un objet, ou une réalité, voire une substance au sens philosophique, et apparemment dotée d'une forme d'individualité, d'identité ou d'unité.
Nouveau!!: Logique et Entité · Voir plus »
Flexion (linguistique)
En grammaire, la flexion est, dans certaines langues, un procédé d’expression des traits grammaticaux propres à celles-ci par association de morphèmes grammaticaux à une base.
Nouveau!!: Logique et Flexion (linguistique) · Voir plus »
Fonction exponentielle
En mathématiques, la fonction exponentielle est la fonction notée qui est égale à sa propre dérivée et prend la valeur en.
Nouveau!!: Logique et Fonction exponentielle · Voir plus »
Fonction logique
Il existe deux grands types de fonctions logiques.
Nouveau!!: Logique et Fonction logique · Voir plus »
Formule
Formule peut faire référence à.
Nouveau!!: Logique et Formule · Voir plus »
Géométrie
La géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne).
Nouveau!!: Logique et Géométrie · Voir plus »
George Boole
George Boole, né le à Lincoln (Royaume-Uni) et mort le à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique.
Nouveau!!: Logique et George Boole · Voir plus »
Gorgias
Gorgias (en grec ancien /) de Léontinoi (variantes: Léontini ou Léontium) est un philosophe présocratique, né à Léontinoi en Sicile (vers 480 av. J.-C.). Contemporain de Socrate, il apparaît dans plusieurs dialogues de Platon.
Nouveau!!: Logique et Gorgias · Voir plus »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.
Nouveau!!: Logique et Gottfried Wilhelm Leibniz · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Logique et Gottlob Frege · Voir plus »
Grec ancien
Le grec ancien est l’étape historique de la langue grecque qui s'étend du au Principale langue parlée et écrite en Grèce antique, elle devient le vecteur de la littérature grecque antique qui produit de nombreuses œuvres littéraires et scientifiques à l'influence durable, dont l’Iliade et l’Odyssée attribuées dans l'Antiquité au poète légendaire Homère.
Nouveau!!: Logique et Grec ancien · Voir plus »
Histoire de la logique
Livres sur l'histoire de la logique, publié en 1503 à Séville, par Pierre d'Espagne. L'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au.
Nouveau!!: Logique et Histoire de la logique · Voir plus »
Histoire de la philosophie (discipline)
L’histoire de la philosophie est une discipline philosophique à part entière qui occupe une grande place dans l’enseignement universitaire français.
Nouveau!!: Logique et Histoire de la philosophie (discipline) · Voir plus »
Hypothèse
Une hypothèse est une proposition ou un « dit » ou une explication que l'on se contente d'énoncer sans prendre position sur son caractère véridique, c'est-à-dire sans l'affirmer ou la nier.
Nouveau!!: Logique et Hypothèse · Voir plus »
Idée
Selon le Trésor de la langue française informatisé, le terme idée évoque « ce que l'esprit conçoit ou peut concevoir, tout ce qui est représenté dans l'esprit, par opposition aux phénomènes concernant l'affectivité ou l'action ».
Nouveau!!: Logique et Idée · Voir plus »
Implication (logique)
En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors il y a des nuages ».
Nouveau!!: Logique et Implication (logique) · Voir plus »
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.
Nouveau!!: Logique et Inférence (logique) · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Logique et Informatique · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Logique et Informatique théorique · Voir plus »
Ingénierie
L'ingénierie est l'ensemble des fonctions qui mènent de la conception et des études, de l'achat et du contrôle de fabrication des équipements, à la construction et à la mise en service d'une installation technique ou industrielle.
Nouveau!!: Logique et Ingénierie · Voir plus »
Intelligence artificielle
assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine.
Nouveau!!: Logique et Intelligence artificielle · Voir plus »
Jacques Follon
Jacques Follon, né à Liège en 1948 et mort le, est un universitaire belge spécialisé dans l'histoire de la philosophie antique et médiévale.
Nouveau!!: Logique et Jacques Follon · Voir plus »
Jan Łukasiewicz
Jan Łukasiewicz, né le à Léopol et mort le à Dublin, est un philosophe et logicien polonais, connu pour sa critique du principe de contradiction d'Aristote.
Nouveau!!: Logique et Jan Łukasiewicz · Voir plus »
Jean-Baptiste Gourinat
Jean-Baptiste Gourinat, né à Nice le, est un philosophe français, spécialiste du stoïcisme antique.
Nouveau!!: Logique et Jean-Baptiste Gourinat · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Logique et Kurt Gödel · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Logique et Lambda-calcul · Voir plus »
Langage
Le langage est la capacité d'exprimer une pensée et de communiquer au moyen d'un système de signes (vocaux, gestuel, graphiques, tactiles, olfactifs, etc.) doté d'une sémantique, et le plus souvent d'une syntaxe — mais ce n'est pas systématique (la cartographie est un exemple de langage non syntaxique).
Nouveau!!: Logique et Langage · Voir plus »
Langage naturel
Un langage naturel.
Nouveau!!: Logique et Langage naturel · Voir plus »
Les Lois de la pensée
Les Lois de la pensée (The Laws of Thought), plus précisément Une exploration des lois de la pensée sur lesquelles sont fondées les théories mathématiques de la logique et des probabilités (An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities) est un livre de George Boole, publié en 1854.
Nouveau!!: Logique et Les Lois de la pensée · Voir plus »
Linguistique
La linguistique est une discipline scientifique s’intéressant à l’étude du langage.
Nouveau!!: Logique et Linguistique · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Logique et Logique classique · Voir plus »
Logique combinatoire
En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer.
Nouveau!!: Logique et Logique combinatoire · Voir plus »
Logique d'ordre supérieur
Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats.
Nouveau!!: Logique et Logique d'ordre supérieur · Voir plus »
Logique et raisonnement mathématique
La logique est le fondement du raisonnement mathématique.
Nouveau!!: Logique et Logique et raisonnement mathématique · Voir plus »
Logique floue
La 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.
Nouveau!!: Logique et Logique floue · Voir plus »
Logique formelle
La logique formelle est l’étude purement abstraite de l’Inférence, en linguistique.
Nouveau!!: Logique et Logique formelle · Voir plus »
Logique infinitaire
Une logique infinitaire est une logique qui permet des formules infiniment longues ou des démonstrations infiniment longues.
Nouveau!!: Logique et Logique infinitaire · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Logique et Logique intuitionniste · Voir plus »
Logique linéaire
date.
Nouveau!!: Logique et Logique linéaire · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Logique et Logique mathématique · Voir plus »
Logique minimale
En logique mathématique, la logique minimale est une logique qui diffère de la logique classique par le fait qu'elle n'inclut ni le tiers-exclu ni le principe d'explosion.
Nouveau!!: Logique et Logique minimale · Voir plus »
Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.
Nouveau!!: Logique et Logique modale · Voir plus »
Logique philosophique
La logique philosophique est un domaine de la philosophie dans lequel les méthodes de la logique ont traditionnellement été utilisées pour résoudre ou faire avancer la discussion des problèmes philosophiques.
Nouveau!!: Logique et Logique philosophique · Voir plus »
Logique pneumatique
La logique pneumatique est une technique basée sur les cellules logiques, développée dans l’industrie pour.
Nouveau!!: Logique et Logique pneumatique · Voir plus »
Logique polyvalente
Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse.
Nouveau!!: Logique et Logique polyvalente · Voir plus »
Logique temporelle
La logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières.
Nouveau!!: Logique et Logique temporelle · Voir plus »
Lois de De Morgan
Les lois de De Morgan sont des identités entre propositions logiques.
Nouveau!!: Logique et Lois de De Morgan · Voir plus »
Lotfi Zadeh
Lotfi Aliasker Zadeh (en azerbaïdjanais: Lütfəli Rəhimoğlu Əsgərzadə), né le à Bakou (Union soviétique) et mort le à Berkeley, est un mathématicien, informaticien, ingénieur en électricité, chercheur en intelligence artificielle et professeur émérite en informatique iranien qui a travaillé à l'université de Californie à Berkeley.
Nouveau!!: Logique et Lotfi Zadeh · Voir plus »
Martin Heidegger et la logique
Cette déclaration abrupte de Heidegger dans Être et Temps, qui répond à la thématique Heidegger et la logique, ne peut être ainsi avancée que parce que, la question Was ist die Logik (qu'est-ce que la logique), est abordée très tôt dans les œuvres de jeunesse, notamment dès 1912 dans un article consacré aux Recherches récentes sur la Logique puis dans une Dissertation sur La doctrine du jugement dans le psychologisme.
Nouveau!!: Logique et Martin Heidegger et la logique · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Logique et Mathématiques · Voir plus »
Métaphysique
La métaphysique est la branche de la philosophie qui étudie la nature fondamentale de la réalité.
Nouveau!!: Logique et Métaphysique · Voir plus »
Modalité (linguistique et logique)
En linguistique, la modalité est un concept logique défini par l’.
Nouveau!!: Logique et Modalité (linguistique et logique) · Voir plus »
Morphologie mathématique
La morphologie mathématique est une théorie et technique mathématique et informatique d'analyse de structures qui est liée avec l'algèbre, la théorie des treillis, la topologie et les probabilités.
Nouveau!!: Logique et Morphologie mathématique · Voir plus »
Moyen Âge
371x371px 347x347px 280x280pxLe Moyen Âge est une période de l'histoire de l'Europe, s'étendant du début du à la fin du, qui débute avec le déclin de l'Empire romain d'Occident et se termine par la Renaissance et les grandes découvertes.
Nouveau!!: Logique et Moyen Âge · Voir plus »
Négation logique
En logique et en mathématiques, la négation est un opérateur logique unaire.
Nouveau!!: Logique et Négation logique · Voir plus »
Ontologie (philosophie)
L'ontologie est une branche de la philosophie et plus spécifiquement de la métaphysique qui, dans son sens le plus général, s'interroge sur la signification du mot « être ».
Nouveau!!: Logique et Ontologie (philosophie) · Voir plus »
Organon
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.
Nouveau!!: Logique et Organon · Voir plus »
Paradoxe du barbier
Le paradoxe du barbier est une illustration à but didactique du paradoxe de Russell, attribuée à Bertrand Russell.
Nouveau!!: Logique et Paradoxe du barbier · Voir plus »
Paris
Paris (Prononciation en français de France retranscrite selon la norme API.) est la capitale de la France.
Nouveau!!: Logique et Paris · Voir plus »
Parménide
Parménide d'Élée (en Παρμενίδης / Parmenídês) est un philosophe grec présocratique, pythagoricien, puis éléate, né à Élée à la fin du et mort au milieu du.
Nouveau!!: Logique et Parménide · Voir plus »
Pascal Engel
Pascal Engel, né le à Aix-en-Provence, est un philosophe français, dont les écrits portent principalement sur la philosophie du langage, la philosophie de la logique, et la philosophie de la connaissance.
Nouveau!!: Logique et Pascal Engel · Voir plus »
Paul Gochet
Paul Gochet, né le à Bressoux et mort le à Bruxelles, est un philosophe et logicien belge, professeur émérite de l'université de Liège.
Nouveau!!: Logique et Paul Gochet · Voir plus »
Peeters Publishers
Les éditions Peeters, de leur nom officiel Peeters Publishers, sont une maison d'édition savante fondée en 1857 et basée à Louvain (Leuven) en Belgique.
Nouveau!!: Logique et Peeters Publishers · Voir plus »
Philosophe
Un philosophe (du grec ancien, en latin philosophus) est une personne qui pratique la philosophie.
Nouveau!!: Logique et Philosophe · Voir plus »
Philosophie
La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.
Nouveau!!: Logique et Philosophie · Voir plus »
Philosophie analytique
L'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du, pour éclairer les grandes questions philosophiques.
Nouveau!!: Logique et Philosophie analytique · Voir plus »
Philosophie de la logique
La philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
Nouveau!!: Logique et Philosophie de la logique · Voir plus »
Philosophie morale
Branche de la philosophie traitant de la morale.
Nouveau!!: Logique et Philosophie morale · Voir plus »
Physique
La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.
Nouveau!!: Logique et Physique · Voir plus »
Pour la science
Pour la science est une revue mensuelle de vulgarisation scientifique française fondée en 1977.
Nouveau!!: Logique et Pour la science · Voir plus »
Prédicat (logique mathématique)
En logique mathématique, un prédicat d'un langage est une propriété des objets du domaine considéré (l'univers du discours) exprimée dans le langage en question.
Nouveau!!: Logique et Prédicat (logique mathématique) · Voir plus »
Premiers Analytiques
Les Premiers Analytiques sont un ouvrage d'Aristote et constituent le troisième livre de l’Organon et la première partie des Analytiques.
Nouveau!!: Logique et Premiers Analytiques · Voir plus »
Principe de bivalence
Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité.
Nouveau!!: Logique et Principe de bivalence · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Logique et Principia Mathematica · Voir plus »
Problème de généralité multiple
Le problème de généralité multiple désigne un échec, en logique traditionnelle, de description de certaines inférences intuitivement valables.
Nouveau!!: Logique et Problème de généralité multiple · Voir plus »
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Nouveau!!: Logique et Programmation informatique · Voir plus »
Proposition
Dans le langage courant, une proposition représente toute chose soumise à approbation, appréciation ou délibération par un individu à un autre.
Nouveau!!: Logique et Proposition · Voir plus »
Proposition (grammaire)
En grammaire scolaire, une proposition est un syntagme articulé autour d'un verbe (qui peut être sous-entendu: proposition elliptique).
Nouveau!!: Logique et Proposition (grammaire) · Voir plus »
Psychologie cognitive
La psychologie cognitive, ou psychologie de la connaissance, étudie les grandes fonctions psychologiques de l'être humain que sont la mémoire, le langage, l'intelligence, le raisonnement, la résolution de problèmes, la perception, l'attention et,, les émotions, inhérentes à la psychologie cognitive.
Nouveau!!: Logique et Psychologie cognitive · Voir plus »
Quantification (logique)
236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications.
Nouveau!!: Logique et Quantification (logique) · Voir plus »
Quantification existentielle
En mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Nouveau!!: Logique et Quantification existentielle · Voir plus »
Raison
La raison est généralement considérée comme une faculté propre de l'esprit humain dont la mise en œuvre lui permet de créer des critères de vérité et d'erreur et d'atteindre ses objectifs.
Nouveau!!: Logique et Raison · Voir plus »
Raisonnement
Le raisonnement est un processus cognitif permettant de poser un problème de manière réfléchie en vue d'obtenir un ou plusieurs résultats.
Nouveau!!: Logique et Raisonnement · Voir plus »
Raisonnement automatisé
Visualisation commune du réseau de neurones artificiels avec puce Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque.
Nouveau!!: Logique et Raisonnement automatisé · Voir plus »
Rationalisation
On entend par rationalisation tout phénomène se référant à un comportement (individuel ou collectif) se réclamant explicitement du principe de rationalité et pouvant parfois s'en justifier par le discours.
Nouveau!!: Logique et Rationalisation · Voir plus »
Rationalité
En philosophie, en psychologie et en sociologie, la rationalité est un concept servant à définir et mesurer la capacité de raisonnement, telle qu'elle se manifeste dans un (ou des) comportement(s) humain(s).
Nouveau!!: Logique et Rationalité · Voir plus »
Recherche fondamentale
La recherche fondamentale consiste en des travaux expérimentaux ou théoriques entrepris principalement en vue d'acquérir de nouvelles connaissances sur les fondements des phénomènes et des faits observables, sans envisager une application ou une utilisation particulière.
Nouveau!!: Logique et Recherche fondamentale · Voir plus »
Relation binaire
En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.
Nouveau!!: Logique et Relation binaire · Voir plus »
Rhétorique
''Démosthène s'exerçant à la parole'', toile de Jean-Jules-Antoine Lecomte du Nouÿ (1842-1923). La rhétorique est l'art de l'action du discours sur les esprits.
Nouveau!!: Logique et Rhétorique · Voir plus »
Robert Blanché
Robert Blanché (1898-1975) est un philosophe et logicien français.
Nouveau!!: Logique et Robert Blanché · Voir plus »
Saul Kripke
Saul Kripke, né le à Bay Shore dans l'État de New York et mort le à Princeton dans le New Jersey, est un philosophe et logicien américain.
Nouveau!!: Logique et Saul Kripke · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Logique et Sémantique · Voir plus »
Sémantique de Kripke
En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales.
Nouveau!!: Logique et Sémantique de Kripke · Voir plus »
Science de la nature
Les sciences de la nature, ou sciences naturelles, ont pour objet le monde naturel.
Nouveau!!: Logique et Science de la nature · Voir plus »
Science formelle
Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques.
Nouveau!!: Logique et Science formelle · Voir plus »
Sophisme
Un sophisme est un procédé rhétorique, une argumentation, à la logique fallacieuse.
Nouveau!!: Logique et Sophisme · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Logique et Stephen Cole Kleene · Voir plus »
Stoïcisme
Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes.
Nouveau!!: Logique et Stoïcisme · Voir plus »
Style de Fitch pour la déduction naturelle
En logique mathématique, le style de Fitch pour la déduction naturelle, est une variante de la déduction naturelle.
Nouveau!!: Logique et Style de Fitch pour la déduction naturelle · Voir plus »
Syllogisme
En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions: deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ».
Nouveau!!: Logique et Syllogisme · Voir plus »
Symbole
Un symbole peut être un objet, une image, un mot écrit, un son voire un être vivant, ou une marque particulière qui représente quelque chose d'autre par association, ressemblance ou convention.
Nouveau!!: Logique et Symbole · Voir plus »
Syntaxe
La syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue.
Nouveau!!: Logique et Syntaxe · Voir plus »
Système de calcul formel
Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique.
Nouveau!!: Logique et Système de calcul formel · Voir plus »
Système formel
Un système formel est une modélisation mathématique d'un langage en général spécialisé.
Nouveau!!: Logique et Système formel · Voir plus »
Système logique
Un système logique est un système formel dédié au raisonnement et aux déductions logiques.
Nouveau!!: Logique et Système logique · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Logique et Table de vérité · Voir plus »
Théorème
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.
Nouveau!!: Logique et Théorème · Voir plus »
Théorème de complétude de Gödel
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.
Nouveau!!: Logique et Théorème de complétude de Gödel · Voir plus »
Théorie algorithmique de l'information
La théorie algorithmique de l'information, initiée par Kolmogorov, Solomonov et Chaitin dans les années 1960, vise à quantifier et qualifier le contenu en information d'un ensemble de données, en utilisant la théorie de la calculabilité et la notion de machine universelle de Turing.
Nouveau!!: Logique et Théorie algorithmique de l'information · Voir plus »
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Nouveau!!: Logique et Théorie de la démonstration · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Logique et Théorie des ensembles · Voir plus »
Tractatus logico-philosophicus
Le Tractatus logico-philosophicus est une œuvre de Ludwig Wittgenstein, d'abord publiée en allemand, sous le titre Logisch-Philosophische Abhandlung en 1921, puis en anglais un an plus tard avec le titre latin actuel, sur les suggestions de George Edward Moore.
Nouveau!!: Logique et Tractatus logico-philosophicus · Voir plus »
Vérification de modèles
model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.
Nouveau!!: Logique et Vérification de modèles · Voir plus »
Vérité
Walter Seymour Allward, ''Veritas'', 1920 ''Nec mergitur'' ou ''La Vérité sortant du puits'', toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère.
Nouveau!!: Logique et Vérité · Voir plus »
William Stanley Jevons
William Stanley Jevons est un économiste et un logicien britannique né le à Liverpool et mort le à Bulverhythe.
Nouveau!!: Logique et William Stanley Jevons · Voir plus »
Xénocrate
Xénocrate de Chalcédoine (en grec ancien; 396 - 314 av. J.-C. à Athènes) est un philosophe platonicien grec, deuxième scholarque de l'Académie de Platon, après Speusippe, de 339 à sa mort, en 315 av. J.-C. Il fut à la tête de l'Académie pendant 25 ans.
Nouveau!!: Logique et Xénocrate · Voir plus »
2005
L'année 2005 est une année commune qui commence un samedi.
Nouveau!!: Logique et 2005 · Voir plus »
Redirections ici:
Logicien, Logique générale, Raisonnement Logique, Raisonnement logique, Логизм.
