Portail
Logique
Dans Lettres & idées
970 cartes116 joueurs l'ont commencée
Portail « Logique » sur Wikicard : 970 cartes tirées de Wikipédia, dont Mathématiques, Gottfried Wilhelm Leibniz, Bertrand Russell. Terminée, elle donne un badge brodé « Légendaire », dessiné pour elle.
Ses cartes les plus connues
MathématiquesMythiqueLes mathématiques (ou plus rarement la mathématique ou en abrégé les maths (voir infra)) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués…
AristoteMythiqueAristote, la philosophie, à l’origine « amour de la sagesse », est comprise dans un sens plus large comme recherche du savoir pour lui-même, interrogation sur le monde et science…
Gottfried Wilhelm LeibnizLégendaireGottfried Wilhelm Leibniz (/ˈɡɔt.fʁiːt ˈvɪl.hɛlm ˈlaɪb.nɪt͡s/), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le 1er juillet 1646 et mort à Hanovre le 14 novembre…
Bertrand RussellLégendaireBertrand Arthur William Russell, 3e comte Russell, né le 18 mai 1872 à Trellech (Monmouthshire) et mort le 2 février 1970 près de Penrhyndeudraeth (pays de Galles), est un….jpg?width=320)
Ludwig WittgensteinLégendaireLudwig Wittgenstein et aux biographies rédigées par William Warren Bartley III, Brian McGuinness et Ray Monk, la vie du philosophe est relativement bien documentée._in_1936_at_Princeton_University.jpg?width=320)
Alan TuringLégendaireAlan Turing est né à Maida Vale (quartier de Londres) le 23 juin 1912 du fonctionnaire d'administration coloniale Julius Mathison Turing (9 novembre 1873 – 3 août 1947) et de sa…
LogiqueLégendaireLa logique est à l'origine de la recherche de règles générales et formelles permettant de distinguer un raisonnement concluant de celui qui ne l'est pas.
John von NeumannLégendaireJohn von Neumann (Neumann János Lajos) (ˈnojmɒn ˈjaːnoʃ ˈlɒjoʃ, János Lajos Neumann en hongrois), né le 28 décembre 1903 à Budapest et mort le 8 février 1957 à Washington, est un…
Système binaireLégendaireLe système binaire (du latin binārĭus, « double ») est le système de numération utilisant la base deux.
EnsembleLégendaireUn ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser…
ProbabilitéLégendaireProbabilité possède plusieurs sens : venu historiquement du latin probabilitas, il désigne l'opposé du concept de certitude ; il est également une évaluation du caractère probable…
John Stuart MillLégendaireJohn Stuart Mill, né le 20 mai 1806 à Londres et mort le 8 mai 1873 à Avignon, est un philosophe, logicien et économiste britannique.
Logique mathématiqueLégendaireLa logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant…
David HilbertLégendaireDavid Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Théorie des ensemblesLégendaireLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle.
VéritéLégendaireLa 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.
ParadoxeLégendaireUn paradoxe, d'après l'étymologie (grec ancien παράδοξος / parádoxos, « contraire à l'opinion commune », de παρά- / pará-, « contre », et δόξα / doxa, « opinion »), est une idée…
AxiomeLégendaireUn axiome (en grec ancien ἀξίωμα / axíōma, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de ἀξιόω / axióō, « juger convenable, croire…
Kurt GödelLégendaireKurt Gödel est un logicien et mathématicien autrichien naturalisé américain, né le 28 avril 1906 à Brünn (Autriche-Hongrie) et mort le 14 janvier 1978 à Princeton (États-Unis).
InfiniLégendaireInfini est originellement un adjectif servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille._-_John_Manoogian_III_(jm3).svg?width=320)
Biais cognitifLégendaireUn biais cognitif est une déviation dans le traitement cognitif d'une information.
SyllogismeLégendaireLe 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 ».- PrologLégendaireProlog est un langage de programmation logique.
.jpg?width=320)
Philosophie analytiqueLégendairePhilosophie 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…
Concept (philosophie)LégendaireUn concept est, en philosophie, un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition.
Théorèmes d'incomplétude de GödelLégendaireLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der…
Georg CantorLégendaireGeorg Cantor est un mathématicien allemand, né le 3 mars 1845 à Saint-Pétersbourg (Empire russe) et mort le 6 janvier 1918 à Halle (Empire allemand).
Alfred North WhiteheadLégendaireAlfred North Whitehead, né le 15 février 1861 à Ramsgate (dans le Kent, en Angleterre) et mort le 30 décembre 1947 à Cambridge (Massachusetts), est un philosophe, logicien et…- AnalogieLégendaireUne analogie est un processus de pensée par lequel on remarque une similitude de forme entre deux choses, par ailleurs de différentes natures ou classes.
- SophismeLégendaireUn sophisme ou argument fallacieux est un procédé rhétorique, une argumentation portant en elle l'apparence de la rigueur, voire de l'évidence, mais qui est en réalité fallacieuse.
Algèbre de Boole (logique)LégendaireL'algè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…
NominalismeLégendaireLe nominalisme est une doctrine d'après laquelle les idées générales, les catégories, les genres et les espèces, les concepts n'ont d'existence que dans les mots servant à les…
Esprit critiqueLégendaireEsprit critique) est un concept dont les définitions sont nombreuses et parfois contradictoires, qui désigne, dans les grandes lignes, les capacités et attitudes permettant des….PNG?width=320)
ThéorèmeLégendaireUn 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…- Induction (logique)ÉpiqueL'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits…
Informatique théoriqueÉpiqueL'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.- Calcul des prédicatsLégendaireCalcul 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.
Gottlob FregeÉpiqueGottlob Frege, né le 8 novembre 1848 à Wismar et mort le 26 juillet 1925 à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, l'un des pères de la logique…
Willard Van Orman QuineÉpiqueWillard Van Orman Quine (/kwaɪn/), né le 25 juin 1908 à Akron (Ohio) et mort le 25 décembre 2000 à Boston (Massachusetts), est un philosophe, logicien et universitaire américain,…
Démonstration (logique et mathématiques)ÉpiqueUne démonstration est un ensemble structuré d'étapes correctes de raisonnement.
Chrysippe de SolesÉpiqueChrysippe de Soles est un philosophe stoïcien né vers -280 à Soles, en Cilicie et mort en -206.
Rudolf CarnapÉpiqueRudolf Carnap (en allemand :), né le 18 mai 1891 à Ronsdorf et mort le 14 septembre 1970 à Santa Monica, est un philosophe allemand naturalisé américain en 1941.
Charles Sanders PeirceÉpiqueCharles Sanders Peirce (prononcé en anglais : /pɜ:rs/), né le 10 septembre 1839 à Cambridge dans le Massachusetts et mort le 19 avril 1914 à Milford en Pennsylvanie, est un…- Réalisme (philosophie)ÉpiqueLe réalisme désigne la position qui affirme l’existence d’une réalité extérieure indépendante de notre esprit.
- Empirisme logiqueÉpiqueL'empirisme logique est parfois nommé positivisme logique, néo-positivisme ou empirisme rationnel.
- RéfutabilitéÉpiqueLa réfutabilité (également désignée par le recours à l'anglicisme falsifiabilité) a été introduite par Karl Popper et est considérée comme un concept important de l'épistémologie,…
Giuseppe PeanoÉpiqueGiuseppe Peano /dʒuˈzɛppe peˈaːno/ (Spinetta di Cuneo (Coni), 27 août 1858 - Cavoretto, près de Turin, 20 avril 1932) est un mathématicien et linguiste italien.- Histoire de l'intelligence artificielleÉpiqueL'histoire de l'intelligence artificielle (IA) trouve ses origines intellectuelles jusqu’à l’Antiquité.
- Inférence (logique)ÉpiqueL’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…
Processeur de signal numériqueÉpiqueUn Processeur de signal numérique (de l'anglais « Digital Signal Processor » DSP), qu'on pourrait traduire par « processeur de signal numérique », « processeur de traitement de…- Calcul des propositionsÉpiqueLe calcul des propositions est la première étape dans la définition de la logique et du raisonnement.
Hilary PutnamÉpiqueHilary Putnam Hilary Whitehall Putnam, né le 31 juillet 1926 à Chicago, en Illinois, et mort le 13 mars 2016 à Arlington (Massachusetts), est un philosophe américain.- Théorie de la calculabilitéÉpiqueLa théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique qui vise à identifier les…
Cercle de VienneÉpiqueLe cercle de Vienne, ou Wiener Kreis, est un groupement de savants et philosophes qui a fonctionné à Vienne, de 1923 – mais officiellement 1929 sous le nom de Société Ernst-Mach –…
Automate cellulaireÉpiqueUn automate cellulaire consiste en un ensemble d'automates, appelés « cellules », disposées sur une grille régulière et contenant chacune un « état » choisi parmi un ensemble fini.
Implication (logique)ÉpiqueL'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…
Fonction logique OU exclusifÉpiqueLa fonction logique OU exclusif (en anglais, XOR, pour eXclusive OR) est un opérateur logique, à deux opérandes booléens, de l'algèbre de Boole.
Lambda-calculÉpiqueLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930.
Théorie des automatesÉpiqueLa théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
RaisonnementÉpiqueLe 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.
Ouvrez des paquets de cartes tirées de Wikipédia, terminez vos collections pour gagner leur badge brodé, défiez d'autres joueurs en Joute. Gratuit, sans avantage payant.