Série
Logique
Dans Lettres & idées
78 cartes19 joueurs l'ont commencée
Série « Logique » sur Wikicard : 78 cartes tirées de Wikipédia, dont Aristote, Ludwig Wittgenstein, Mathématiques. Terminée, elle donne un badge brodé « Légendaire », dessiné pour elle.
Ses cartes les plus connues
_2014-04-10.JPG?width=320)
PhilosophieMythiqueLa philosophie est un vaste champ d’étude, mais avant tout une démarche personnelle et collective visant à comprendre le monde et l’existence par la contemplation, la réflexion et…
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….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.
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.
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…
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…
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…
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).
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 ».
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…- 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.
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…- 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…
- 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.
DéfinitionÉpiqueUne définition sert à caractériser « quelque chose ».
Démonstration (logique et mathématiques)ÉpiqueUne démonstration est un ensemble structuré d'étapes correctes de raisonnement.- Calcul des propositionsÉpiqueLe calcul des propositions est la première étape dans la définition de la logique et du raisonnement.
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…- Logique floueÉpiqueLa 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.
George BooleÉpiqueGeorge Boole, né le 2 novembre 1815 à Lincoln (Royaume-Uni) et mort le 8 décembre 1864 à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique.- Logique modaleÉpiqueUne 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.
- PrémisseÉpiqueUne prémisse est une proposition, une affirmation avancée en support à une conclusion.
Abduction (logique)ÉpiqueL'abduction (du latin « abductio » : emmener) est un type de raisonnement consistant à inférer des causes probables à un fait observé.- ArgumentationÉpiqueL’argumentation est l'action de convaincre et pousser ainsi l'autre à agir.
- Théorie des modèlesÉpiqueLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures.
Équivalence logiqueÉpiqueL'équivalence logique s'exprime souvent sous la forme si et seulement si, dans des cadres comme l'enseignement ou la métamathématique pour parler des propriétés de la logique…_01.jpg?width=320)
OrganonÉpiqueL'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.- Philosophie des mathématiquesÉpiqueLa philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur…
Tractatus logico-philosophicusÉpiqueLe 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…
Lois de De MorganÉpiqueLes lois de De Morgan ou plus simplement lois de Morgan, sont des identités entre propositions logiques.- OpinionÉpiqueL'opinion est un jugement que l'on porte sur un individu, un être vivant, un phénomène, un fait, un objet ou une chose.
- Déduction logiqueÉpiqueLa déduction logique est un type de relation que l'on rencontre en logique mathématique.
.png?width=320)
AmbiguïtéÉpiqueL'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…- Logique classiqueÉpiqueLa logique classique est un système logique formel développé à partir de la fin du XIXe siècle, au cours de la crise des fondements des mathématiques.
Logique intuitionnisteÉpiqueLa logique intuitionniste est une logique qui diffère de la logique classique par le fait que toute affirmation doit être démontrable par une preuve constructive.
- Raisonnement déductifÉpiqueLe raisonnement déductif comme une inférence dont la conclusion est aussi certaine que les prémisses, tandis que dans un raisonnement inductif la conclusion peut être moins…
- Philosophie de la logiqueÉpiqueLa 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,…
- Prédicat (logique mathématique)ÉpiqueUn prédicat est la donnée d'un symbole (souvent noté P {\displaystyle P} ) et d'une arité qui forme une formule une fois appliqué à un certain nombre de termes.
Mondes possiblesÉpiqueDes mondes possibles sont des théories élaborant la possibilité qu'existent d'autres mondes que le nôtre.- Théorie de la démonstrationÉpiqueLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique.
- Proposition (philosophie)ÉpiqueUne proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou…
- AxiologieÉpiqueL'axiologie sont des philosophes allemands des XIXe et XXe siècles.
- Déduction naturelleÉpiqueLa 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.
Histoire de la logiqueÉpiqueL'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 XXe siècle.- Atomisme logiqueÉpiqueL'atomisme logique, hérité par bien des aspects des travaux de Gottlob Frege au cours du XIXe siècle, est une doctrine philosophique soutenue par Bertrand Russell et Ludwig…
- Valeur de véritéÉpiqueUne valeur de vérité est une valeur attribuée à chaque proposition logique.
- ExplicationÉpiqueUne explication est une déclaration qui expose les causes, le contexte et les conséquences d'une chose telle qu'elle est ou d'un processus tel qu'il se produit, ainsi que les…
- Validité (logique)RareLa validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis.
- PrésuppositionRareLa présupposition (ou présupposé) est un type d'inférence pragmatique, c'est-à-dire une information qu'on peut tirer d'un énoncé.
- Logique paracohérenteRareUne logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique.
- Logique formelleRareLa logique formelle est l’étude des concepts, jugements et raisonnements considérés abstraitement et sans considération des objets qu'ils désignent.
- ParcimonieRareLa parcimonie (du latin parco, « s'abstenir », et munia, « le devoir ») est un principe consistant à n'utiliser que le minimum de causes élémentaires pour expliquer un phénomène.
- Logique traditionnelleRareLa logique traditionnelle est situé autour des contributions d'Aristote et du stoïcisme, restant dominante et développée en Europe jusqu'à la fin du XIXe siècle lors du…
Logique linéaireRareLa logique linéaire est un système formel inventé par le logicien Jean-Yves Girard en 1987.
Jugement synthétique a prioriRareLe jugement synthétique a priori (« jugement synthétique a priori ») est un type de proposition qui se distingue d'une proposition analytique et d'une proposition synthétique a…- Logique non classiqueRareEn logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique.
Novum organumRareLe Novum organum est l'œuvre majeure du philosophe britannique Francis Bacon, parue en 1620.
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.