Wahrheitstabelle

die Wahrheitstabelle (singular nominative)
die Wahrheitstabellen (plural nominative)
die Wahrheitstabelle (singular accusative)
die Wahrheitstabellen (plural accusative)
der Wahrheitstabelle (singular genitive)
der Wahrheitstabellen (plural genitive)
der Wahrheitstabelle (singular dative)
den Wahrheitstabellen (plural dative)


implicazione

Implication, relation logique entre deux propositions ou affirmations telles que la réalisation de la première entraine la réalisation de la seconde.


implicature

Dans la théorie du langage naturel, forme faible d’implication contextuelle. Insinuation.

Grice […] décelait une relation logique d’une nouvelle espèce entre propositions, relation que l’on pourrait appeler « invitation à inférer, suggestion d’une conclusion, insinuation ». Pour les désigner, il a forgé le terme d’« implicature ». Il en distingue deux espèces : l’implicature discursive véhiculée par le discours et l’implicature conventionnelle véhiculée par la langue.

Paul Gochet, Théorie des modèles et compétence pragmatique, in Herman Parret et al., Le Langage en contexte, Lingvisticæ Investigationes Supplementa 3, John Benjamins Publishing Company, 1980

[L’implicature] ne fait pas partie de la signification des expressions utilisées, […] elle dépend du contexte, […] elle est annulable, […] elle n’est pas détachable […(]on ne pourrait substituer à l’énoncé porteur de l’insinuation un énoncé synonyme d’où elle serait absente[), et elle] peut être fausse sans que la proposition porteuse de l’insinuation devienne fausse, contrairement à [… l’implication (]qui sera fausse si l’impliquée est fausse) et […] à la […] présupposition [(]qui sera privée de valeur de vérité si la […] présupposée est fausse[)].


monde possible

(1710) De le meilleur des mondes possibles, utilisé par Gottfried Leibniz dans son œuvre Essais de Théodicée sur la bonté de Dieu, la liberté de l’homme et l’origine du mal. Le sens moderne a été développé dans les années 1950 par Saul Kripke entre autres.

Monde hypothétique avec certaines conditions différentes, par exemple un monde où Napoléon Iᵉʳ a gagné contre le Royaume-Uni, utilisé dans des analyses du conditionnel irréel. Notre monde actuel est considéré l’un des mondes possibles.


P ≡ Q signifie que les propositions P et Q sont logiquement équivalentes.


turnstile

Le symbole taquet droit, noté ⊢, utilisé pour représenter l’implication logique, la relation de déductibilité.


hypothético-déductif

hypothético-déductifs (plural masculine)
hypothético-déductive (singular feminine)
hypothético-déductives (plural feminine)
hypothéticodéductif

Qui consiste à formuler une hypothèse afin d'en déduire des conséquences observables.

Méthode hypothético-déductive.


et logique

→ voir et et logique. Calque de l’anglais logical and.

Conjonction, opérateur logique qui quand il associe deux propositions, ne donne vrai que si elles sont vraies toutes les deux. (Symbole : ∧)


ou logique

→ voir ou et logique. Calque de l’anglais logical or.

Disjonction, opérateur logique qui quand il associe deux propositions, donne vrai si au moins l’une d’elles est vraie. (Symbole : ∨)


existentiation

Substantivation du qualitatif existentiel.

Pour la logique du premier ordre, les matériaux de base sont les notions premières, ou prédicats fondamentaux, les objets de base, les opérateurs d’objet, les variables d’objet, et un petit nombre d’opérateurs logiques, les opérateurs booléens et les opérateurs de généralisation et d’existentiation.

Logique (mathématiques) : Grammaire des prédicats sur Wikiversité. Consulté le 26 août 2017


logique floue

Forme de logique où les valeurs des états du système ne sont pas précisément déterminés, mais donnés par des probabilités d’appartenir à des classes de valeurs.


stœchiologie

(Date à préciser) Du grec ancien στοιχεῖον, stoikheîon (« élément ») et λόγος, lógos (« discours »).

Doctrine des réquisits élémentaires de seul penser.


quanteur

(Siècle à préciser) Dérivé savant du latin quantus (« combien ») et -eur.

Le quanteur universel I.6 est un signe logique : une paire de parenthèses avec une variable à l’intérieur ; la partie de formule qui le suit et qui généralement contient cette variable sera délimitée par des parenthèses ad hoc, qui serviront à faire reconnaître l’étendue (le scope) de ce quanteur.

Jean Largeault, Intuitionisme et théorie de la démonstration, 1992


ou exclusif

→ voir ou et exclusif. Calque de l’anglais exclusive or.

Opérateur logique renvoyant VRAI seulement si ses deux opérandes booléennes ont des valeurs distinctes.


ou inclusif

(Date à préciser)Composé de ou et de inclusif. Calque de l’anglais inclusive or.

Opérateur logique binaire renvoyant VRAI si au moins une de ses deux opérandes booléennes est vraie.


valeur de vérité

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-valeur de vérité.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-valeur de vérité.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-valeur de vérité.wav

Valeur indiquant si une proposition est vraie ou non, appelée respectivement le vrai (ou V ou 1) et le faux (ou F ou 0).


forme normale conjonctive

Composé de forme normale et de conjonctif.

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-forme normale conjonctive.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-forme normale conjonctive.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-forme normale conjonctive.wav

Normalisation d'une expression logique qui est une conjonction de clauses.


enthymémisme

De enthymème du latin enthymema plus -isme Du latin -ismus.

Forme de raisonnement dans laquelle on réduit le syllogisme à deux propositions, dont la première est appelée « antécédent » et la seconde « conséquent ».

On peut rapporter ici également l’enthymémisme, syllogisme dénué d’une de ses prémisses.

Nicole Goisbeault, L’enseignement du français et les sciences du langage, 1993


blinker

Motdérivé de blink, avec le suffixe -er.

Dans le jeu de la vie, zone dans laquelle se crée une alternance de trois cellules contigües alignées horizontalement, puis verticalement, à chaque génération.


infinite regress

(Siècle à préciser) → voir infinite et regress


multivariable

Motdérivé de variable, avec le préfixe multi-.

multivariables (plural masculine feminine)

Qui a plusieurs variables ; qui s’appuie sur plusieurs variables.

La classification sigmatiste comprend toute une série de niveaux qui sont tous définis par la méthode des tableaux (souvent complétée par des analyses multivariables), mais ces niveaux ne jouent pas tous le même rôle et n'ont pas tous la même signification : […].

Michel Godron, Écologie et évolution du monde vivant , vol.2, L'Harmattan, 2012, page 142


connotatif

Dérivé de connotation, avec le suffixe -if, par substitution de suffixe.

connotatifs (plural masculine)
connotative (singular feminine)
connotatives (plural feminine)

Qui sert à connoter une idée secondaire en même temps que l’idée principale.


cataphase

Au reste, ce principe qui veut que la cataphase procède de haut en bas comporte un double enseignement que l’on a peu souligné.

Jean Borella, Lumières de la théologie mystique, 2002


NON

Mise en majuscule de non. Calque de l’anglais NOT.

Opérateur logique unaire de l’algèbre de Boole qui donne la négation logique (commutation vrai ↔ faux).


OU

Mise en majuscule de ou. Calque de l’anglais OR.


NON-OU

Composé de NON et de OU. Calque de l’anglais NOR.

Négation du ou logique. Le NON-OU de p et q est vrai si et seulement si p et q sont faux tous les deux.


NON-ET

Composé de NON et de ET. Calque de l’anglais NAND.

Négation du et logique. Le NON-ET de p et q est vrai si et seulement si p ou q est faux.


XOR

De l’anglais XOR, lui-même abréviation de exclusive or.


finitisme

Théorie affirmant qu’il convient de privilégier les valeurs finies aux infinies.

Mais les transcriptions de Carnap que nous examinons nous donnent une idée plus précise du nominalisme et du finitisme de Tarski (en tout cas vers 1940).

Jacques Bouveresse, Pierre Wagner, Mathématiques et expérience: l’empirisme logique à l’épreuve (1918-1940), 2008


ensemble ordonné

Ensemble, au sens mathématique du terme, muni d’une relation d'ordre.

Il en résulte que tout ensemble ordonné fini non vide admet au moins un élément maximal.

Michel Marchand, Outils mathématiques pour l'informaticien: Mathématiques discrètes, De Boeck Supérieur, 2005, page 192

La manière la plus simple pour exprimer cette situation sans ambiguïté est de considérer un ensemble ordonné comme un couple donné par un ensemble et une relation d'ordre définie sur cet ensemble.

Marco Panza, Nombres: éléments de mathématiques pour philosophes, Lyon : ENS Éditions & SFHST, 2007, page 108


ensemble partiellement ordonné

Composé de ensemble, partiellement et ordonné.

ensembles partiellement ordonnés (plural)

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-ensemble partiellement ordonné.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-ensemble partiellement ordonné.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-ensemble partiellement ordonné.wav

Ensemble mathématique muni d’une relation d’ordre partielle, c’est-à-dire non totale.

Dans le cas des ensembles partiellement ordonnés, cependant, est donnée une quatrième relation, ou une quatrième valeur fonctionnelle possible.

Pierre Kaufmann, Kurt Lewin: Une Théorie du champ dans les sciences de L'Homme, avec le concours du CNRS, Paris : J. Vrin, 1968, page 31


celarent

Du latin celarent (« célassent »). Sens mnémotechnique créé par les scolastiques du XVᵉ siècle par la succession des lettres EAE où E désignait une exclusive et A une proposition vraie.

Un des quatre syllogismes dans la scolastique.

Un syllogisme en celarent consiste en une proposition de ce type :
Nul voleur impénitent ne doit s’attendre d'être sauvé ;
Tous ceux qui meurent après s’être enrichis du bien de l’Église, sans vouloir le restituer, sont des voleurs impénitents ;
Donc nul d’[entre] eux ne doit s’attendre [à] être sauvé.

Antoine Arnauld, Pierre Nicole, La logique ou l’art de penser, troisième partie, chap.V.


ensemble totalement ordonné

Composé de ensemble, totalement et ordonné.

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-ensemble totalement ordonné.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-ensemble totalement ordonné.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-ensemble totalement ordonné.wav

Ensemble, au sens mathématique du terme, muni d’une relation d'ordre valable pour tous éléments x et y de cet ensemble. Cela signifie que tous les éléments de l'ensemble sont comparables.


en boucle

D'une manière itérative ; par itérations.

Les instructions de ce genre sont appelées des boucles, parce que le flot d'exécution est renvoyé en boucle sur le début du bloc.

John R. Hubbard, Programmer en Java, traduit de l'américain par Patrick Fabre, Ediscience, 2002, page 58


autocontradiction

Dérivé de contradiction, avec le préfixe auto-.

Proposition affirmant une chose et son contraire.

Ainsi l’individu est une unité d’autocontradiction pure.

Pierre Garrigues, L’amour même: essai philosophique, 1981


porte logique

Appareil permettant de calculer une fonction logique, généralement un composant électronique.


induttivo

induttivi (plural masculine)
induttiva (singular feminine)
induttive (plural feminine)


bi-impliquer

De bi-implication, nom du connecteur logique d’équivalence (↔).

bi-impliquer (infinitive present)
avoir bi-impliqué (infinitive past)
en bi-impliquant (gerund present)
en ayant bi-impliqué (gerund past)
bi-impliquant (participle present)
bi-impliqué (participle past)
il/elle/on bi-implique (indicative present)
ils/elles bi-impliquent (indicative present)
il/elle a bi-impliqué (indicative past multiword-construction)
ils/elles ont bi-impliqué (indicative past multiword-construction)
il/elle/on bi-impliquait (indicative imperfect)
ils/elles bi-impliquaient (indicative imperfect)
il/elle avait bi-impliqué (indicative pluperfect)
ils/elles avaient bi-impliqué (indicative pluperfect)
il/elle/on bi-impliqua (indicative past)
ils/elles bi-impliquèrent (indicative past)
il/elle eut bi-impliqué (indicative past anterior)
ils/elles eurent bi-impliqué (indicative past anterior)
il/elle/on bi-impliquera (indicative future)
ils/elles bi-impliqueront (indicative future)
il/elle aura bi-impliqué (indicative future perfect)
ils/elles auront bi-impliqué (indicative future perfect)
qu’il/elle/on bi-implique (subjunctive present)
qu’ils/elles bi-impliquent (subjunctive present)
qu’il/elle ait bi-impliqué (subjunctive past)
qu’ils/elles aient bi-impliqué (subjunctive past)
qu’il/elle/on bi-impliquât (subjunctive imperfect)
qu’ils/elles bi-impliquassent (subjunctive imperfect)
qu’il/elle eût bi-impliqué (subjunctive pluperfect)
qu’ils/elles eussent bi-impliqué (subjunctive pluperfect)
il/elle/on bi-impliquerait (conditional present)
ils/elles bi-impliqueraient (conditional present)
il/elle aurait bi-impliqué (conditional past)
ils/elles auraient bi-impliqué (conditional past)

Désolé, c’est (p ou q) bi-implique (non r)

Logique Propositionnel, site www.ilemaths.net, 22 septembre 2012

C’est le cas de « et », « ou », « ou bien … ou bien … », « implique », « bi-implique », mais aussi de « parce que », etc.

Thierry Lucas, Isabelle Berlanger, Isabelle De Greef, Initiation à la logique formelle : exercices et corrigés, De Boeck Supérieur, 2005, p. 29


bi-implication

Connecteur binaire (↔ ou ⇔) qui, à partir de deux formules, forme une troisième formule ; cette troisième formule.

L’équivalence est une relation entre formules tandis que la bi-implication est un connecteur (binaire) qui à partir de deux formules forme une nouvelle formule.

Thierry Lucas, Isabelle Berlanger, Isabelle De Greef, Initiation à la logique formelle : exercices et corrigés, De Boeck Supérieur, 2005, p. 36

Lorsqu’une bi-implication est tautologique, on dit, dans le métalangage, que les deux membres de la bi-implication sont équivalents, ce qui revient à dire que ces deux membres prennent, pour toute interprétation des lettres de propositions la même valeur de vérité.

Rudiments de logique propositionnelle, site www.ifac.univ-nantes.fr

L’autre connecteur s’appelle bi-implication et peut se paraphraser par « on n’a pas A sans B et on n’a pas B sans A ». On le note « <=> ».

Guy Politzer, La logique, le langage et les variétés du raisonnement, page 13


bi-implication

Like implication as such, bi-implication is also one of the usual connectives

C. J. Date, Logic and Databases: The Roots of Relational Theory, Trafford Publishing, 2007, p. 57

If p and q are propositions, then p ↔ q is called a biconditional statement (or bi-implication) and is read “p if, and only if, q”

Bi-implication theorem proving

titre d’un fil de discussion sur le site math.stackexchange.com, 28 novembre 2013


disjonction exclusive

Connecteur logique binaire, synonyme de ou exclusif.


pente savonneuse

Sophisme qui consiste à prétendre qu’un compromis donné doit être refusé car il amorcerait une réaction en chaine de conséquences de plus en plus graves qui conduirait progressivement mais fatalement à une catastrophe.

Il y a six principaux arguments pour le paternalisme, celui de la rationalité substantielle, celui de la pente savonneuse ou glissante, celui de la contagion, celui théologique, une version organiciste de l’argument utilitariste et, enfin, celui du perfectionnisme moral.

Giorgio Maniaci, « La force du pire argument », La Revue des droits de l’homme, numéro 1, 2012


convertibilmente

Dérivé de convertibile, avec le suffixe -mente.


distributivamente

Dérivé de l’adjectif distributivo, par son féminin distributiva, avec le suffixe -mente.

Distributivement, en un sens distributif.


contrapositive

Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.


proposition contraposée

Composé de proposition et de contraposé.


modus tollens

Du latin modus (« mode ») et tollens (« enlevant, ôtant »).


modus ponens

Du latin modus (« mode ») et ponens (« posant »).


contraponend

Proposition où a lieu une contraposition.


Subjunktion

die Subjunktion (singular nominative)
die Subjunktionen (plural nominative)
die Subjunktion (singular accusative)
die Subjunktionen (plural accusative)
der Subjunktion (singular genitive)
der Subjunktionen (plural genitive)
der Subjunktion (singular dative)
den Subjunktionen (plural dative)


premiss

premissen (definite singular)
premisser (indefinite plural)
premisserna (definite plural)


étoile de Kleene

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Ltrlg-étoile de Kleene.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-étoile de Kleene.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-étoile de Kleene.wav

Opérateur unaire symbolisé par une étoile (*), signifiant entre zéro et une infinité d'un ensemble de caractères. Il est couramment utilisé dans les expressions régulières.


intuitionnisme

Dérivé de intuition, avec le suffixe -isme. (1908) intuitionisme.

Définition manquante ou à compléter. (Ajouter)…


επαγωγή

Du grec ancien ἐπαγωγή, epagôgê, de ἐπάγω.


prosleptique

Du grec ancien προσληπτικός, proslêptikos (« qui reçoit en outre ») dérivé de πρόσληψις, lui-même de προσλαμβάνω, proslambánô (« prendre en outre »).

prosleptiques (plural masculine feminine)

Sert à définir certaines propositions théorisées par Théophraste (vers -371 – vers -288).

Mais c’est surtout dans l’analyse qu’il [Théophraste] fait de l’analyse universelle qu’il apporte une idée intéressante, avec sa théorie des propositions prosleptiques, κατὰ πρόςληψιν […]. Dans cette nouvelle formule, en effet, on voit que les deux termes A et B, au lieu d’être dans le rapport de prédicat à sujet comme dans l’ancienne formulation, sont mis maintenant sur le même et traités tous les deux comme des attributs, prédicables d’un même sujet. Mais quel sujet ? Le sujet est un troisième terme, qu’il faut « prendre en surplus », προσλαμϐάνειν. — (Robert Blanché (1898-1975) et Jacques Dubucs, La Logique et son histoire, éditeur Armand Colin, 396 pages, 1996, ISBN 2-200-01472-4 , chapitre III (« Théophraste »), page 84.)


binégation

L’ordre où celui-ci (Yamauchi Tokuryū) , dans le tétralemme, place la binégation avant la biassertion, en particulier, est rapproché de la définition de la réalité des milieux comme r = S/P (S en tant que P). La logique des milieux (vivants en général ou humains en particulier) serait donc une lemmique.

Tétralemme et milieu humain : la mésologie à la lumière de Yamauchi sur ebisu.revues.org, 2013

D’ordinaire, le tétralemme est présenté dans l’ordre 1. affirmation (A) ; négation (non-A) ; biaffirmation (à la fois A et non-A) ; binégation (ni A ni non-A). Pour Yamauchi, dans cet ordre-là, le tétralemme ne mène à rien. Il faut placer la binégation en 3e lemme, car elle est décisive.

Logos et lemme dans la dynamique des milieux. sur ecoumene.blogspot.fr, 16 janvier 2013


biaffirmation

Double affirmation (à la fois A et non-A).


effet cigogne

→ voir effet et cigogne, par corrélation trompeuse entre le nombre de nids de cigognes et celui des naissances humaines.

Sophisme qui consiste à prétendre que si deux événements sont corrélés alors il y a un lien de cause à effet entre les deux.


autologisme

(XXᵉ siècle)Dérivé de logisme, avec le préfixe auto- sur le modèle de néologisme.

Propriété d’un concept à se référer à lui-même.

« Dans ce texte il y a exactement neuf mots » est un exemple caractéristique de proposition autoréférentielle relative à la grammaire des langues naturelles : l’autologisme.

Ioanni Bardakos citant Von Foerster, Ethics and Second Order Cybernetics, Mémoire de Master 2, 2014- 2015, Université de Paris VIII


cirkelredenering

Composé de cirkel « cercle » et de redenering « raisonnement ».


intuitionism

An especially important topic which has been omitted is the subject of intuitionism ; the availability of suitable introductory texts on the subject and the incompetence of the author in this field are the chief excuses which I offer.

Un sujet très important qui a été omis est le sujet de l’intuitionisme ; la disponibilité d’introductions convenables sur le sujet et l’incompétence de l’auteur dans ce domaine sont les principales excuses que je peux offrir.

Joseph R. Shoenfield, Mathematical Logic, Addison-Wesley Publishing Company, page iii


automate cellulaire

Grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.

Sa parure s’expliquerait grâce aux automates cellulaires, une idée d’un autre célèbre mathématicien, John von Neumann.

Sean Bailly, Comment les mathématiques décrivent les motifs du lézard ocellé, Pour la Science, 16 mai 2017


konjunktion

konjunktionen (definite singular)
konjunktioner (indefinite plural)
konjunktionerna (definite plural)


argument d’autorité

(Siècle à préciser)Composée de argument et de autorité.

Fondement d’un raisonnement sur la personnalité de la référence.

Nous sommes contraints par les exigences de la société démocratique elle-même de substituer l’autorité de l’argument à l’argument d’autorité.

Alain Renaut, Ludivine Thiaw-Po-Une, Jean-Cassien Billier, La Philosophie, 2006


condition nécessaire

(Siècle à préciser)Composé de condition et de nécessaire.

Condition requise pour valider une proposition, sans pour autant être suffisante pour la valider.

Vous référant à des exemples précis du XIX* et du XXe siècles, vous déterminerez si la croissance démographique est une condition nécessaire de la croissance économique.

Jean-Luc Dagut, Réussir la dissertation d’économie, chez Studyrama, 2003, page 264


condition suffisante

Condition permettant de valider, par sa seule présence, une proposition.


condition nécessaire et suffisante

Composé de condition, nécessaire et suffisante.

conditions nécessaires et suffisantes (plural)

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Lepticed7-condition nécessaire et suffisante.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-condition nécessaire et suffisante.wav

https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-Guilhelma-condition nécessaire et suffisante.wav

Condition requise pour valider une proposition et qui par sa seule présence, valide la proposition.

Dans la suite de cette thèse, nous établissons une condition nécessaire et suffisante pour l'intégralité des coefficients de Taylor des applications miroir définies par des quotients de factorielles de formes linéaires.

Éric Delaygue, Propriétés arithmétiques des applications miroir, Institut Fourier, 2011, page 5


Kombination

Dérivé de kombinieren (« combiner »), avec le suffixe -ation.

die Kombination (singular nominative)
die Kombinationen (plural nominative)
die Kombination (singular accusative)
die Kombinationen (plural accusative)
der Kombination (singular genitive)
der Kombinationen (plural genitive)
der Kombination (singular dative)
den Kombinationen (plural dative)


значение истинности

Déclinaisons manquantes ou à compléter. (Ajouter)


таблица истинности

→ voir таблица et истинность


méréologie

(Date à préciser) Du grec ancien μέρος, méros (« part, portion, partie ») et λογία, logía.

Ensemble des axiomes qui traitent des relations entre la partie et le tout.

Nous allons voir que la méréologie que l’on peut construire à partir de cette notion de partie est particulièrement puissante dans un cadre meinongien : les sommes et les produits méréologiques ne sont alors restreints d’aucune façon.

Thibaut Giraud, Il y a des choses qui n'existent pas. En défense d’un meinongianisme logiquement cohérent et ontologiquement économe. sur www.academia.edu thèse de doctorat en philosophie, page 121


sanningstabell

Composé de sanning (« vérité ») et de tabell.

sanningstabellen (definite singular)
sanningstabeller (indefinite plural)
sanningstabellerna (definite plural)


automa cellulare

Automate cellulaire, grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps.


contre-argument

(XXᵉ siècle)Composé de contre et de argument.

Note : On trouve préalablement à cette forme, le groupe syntaxique : argument contre.

Argument construit pour s’opposer à un raisonnement, à un argument donné par quelqu’un d’autre.

Contre cette position, Malebranche répond par le contre-argument mentionné plus haut et affirme que dans la situation contre-factuelle « Dieu ne serait point trompeur ».

Richard Glauser, Berkeley et les philosophes du XVIIᵉ siècle, Éditions Mardaga, 1999, page 217


condizione necessaria

Condition nécessaire, condition requise pour valider une proposition, sans pour autant être suffisante pour la valider.


satisfiabilité

En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.


plurivalent

Motdérivé du préfixe pluri-, avec le suffixe -valent

plurivalents (plural masculine)
plurivalente (singular feminine)
plurivalentes (plural feminine)

Qui peut avoir d’autres valeurs que vrai ou faux.


plurivalente

Plurivalent, qui peut avoir d’autres valeurs que vrai ou faux.


sillogistico

sillogistici (plural masculine)
sillogistica (singular feminine)
sillogistiche (plural feminine)

Syllogistique, qui appartient au syllogisme.


soddisfacibile

Satisfaisable, se dit d'une proposition qui peut être vraie, sous réserve que les variables propositionnelles prennent certaines valeurs.


tarskiano

Du nom de Alfred Tarski et du suffixe -iano.

tarskiani (plural masculine)
tarskiana (singular feminine)
tarskiane (plural feminine)

Tarskien, relatif à Alfred Tarski, logicien d’origine polonaise.


se e solo se

Si et seulement si, conjonction qui signifie que l’un est vrai si l’autre est vrai, et que l’un est faux si l’autre est faux.


постулат

постула́т (singular nominative)
постула́ты (plural nominative)
постула́та (singular genitive)
постула́тов (plural genitive)
постула́ту (singular dative)
постула́там (plural dative)
постула́т (singular accusative)
постула́ты (plural accusative)
постула́том (singular instrumental)
постула́тами (plural instrumental)
постула́те (singular prepositional)
постула́тах (plural prepositional)
Nom de type 1a selon Zaliznyak


insatisfaisable

(1673)Dérivé de satisfaire, avec le préfixe in- et le suffixe -able.

insatisfaisables (plural masculine feminine)

Qualifie une formule dont aucune interprétation n’est vraie.

À ce propos, je cite souvent la question de bon sens d’un étudiant de ce cours devant l’affectation FORTRAN: « n’êtes-vous donc pas stupide de poser X = X + 1 ? C’est évidemment insatisfaisable ».

Laurent Trilling, biographie sur le site iro.umontreal.ca, consulté le 23 octobre 2020


funzione logica

Fonction logique, fonction de base de l'algèbre de Boole.


Schlussfolgerung

Nomcomposé de Schluss (« fin ») et de Folgerung (« inférence ») ; aussi : substantifdérivé de schlussfolgern, avec le suffixe -ung.

die Schlussfolgerung (singular nominative)
die Schlussfolgerungen (plural nominative)
die Schlussfolgerung (singular accusative)
die Schlussfolgerungen (plural accusative)
der Schlussfolgerung (singular genitive)
der Schlussfolgerungen (plural genitive)
der Schlussfolgerung (singular dative)
den Schlussfolgerungen (plural dative)

\ˈʃlʊsˌfɔlɡəʁʊŋ\

Conclusion, conséquence que l'on tire d'un raisonnement.

Parallel wurde allerdings bekannt, dass eine Schlussfolgerung über die Ansteckungen in Bayern wohl falsch war.

En parallèle, on a appris qu'une conclusion tirée sur les infections en Bavière s'était révélée fausse.

« Coronavirus wohl bei leichten Symptomen übertragbar », Der Spiegel, 4 février 2020.

In der Logik ist Klarheit bei der Formulierung besonders wichtig, wenn man ungültige Schlussfolgerungen meiden will.

En logique, une formulation claire est particulièrement importante si l'on veut éviter des inférences non valables.


argument d’expérience

(XIXᵉ siècle)Composée de argument et de expérience.

Fondement d’un raisonnement sur l’observation.

Lorsque deux espèces d’objet […] ont toujours été jointes ensemble, je puis, par habitude, inférer l’existence de l’une des deux toutes les fois que je vois l’autre ; et c’est là ce que j’appelle l’argument d’expérience.

Troisième et dernière Encyclopédie théologique, volume 30, J.P. Migne, 1857, page 1009


motargument

Dérivé de argument, avec le préfixe mot-.

motargumentet (indefinite singular)
motargumenten (indefinite plural)


deduttivo

deduttivi (plural masculine)
deduttiva (singular feminine)
deduttive (plural feminine)


abduktion

Indéfini (singular)
abduktioner
Défini (singular)
abduktionen (plural)
abduktionerne

Abduction, action d’inférer les prémisses les plus vraisemblables permettant de parvenir, par déduction, à une conclusion concordante aux observations.


Logikgatter

Nomcomposé de Logik (« logique ») et de Gatter (« porte »), littéralement « porte logique ».

das Logikgatter (singular nominative)
die Logikgatter (plural nominative)
das Logikgatter (singular accusative)
die Logikgatter (plural accusative)
des Logikgatters (singular genitive)
der Logikgatter (plural genitive)
dem Logikgatter (singular dative)
den Logikgattern (plural dative)

\ˈloːɡɪkˌɡatɐ\

Porte logique : circuit, aujourd'hui surtout électronique, servant à réaliser des opérations logiques élémentaires telles que la négation NON, la conjonction ET, la disjonction OU et le ou exclusif XOR.

Moderne integrierte Schaltungen können Milliarden Logikgatter beinhalten.

Les circuits intégrés modernes peuvent contenir des milliards de portes logiques.


défaisable

(1716)Dérivé de défaire, avec le suffixe -able.

Qualifie une logique, un raisonnement, dans lesquels une inférence peut être contredite par un élément, appelé défaiseur.

Cela tient au caractère « défaisable » du raisonnement causal qui entend décrire le cours des phénomènes. Contrairement au raisonnement théorique où l’ajout d'une ou de plusieurs prémisses ne peut rendre fausse la conclusion, l’ajout d’une prémisse mentionnant un facteur dans un raisonnement causal peut invalider la conséquence.

Hugo Clémot, Les jeux philosophiques de la trilogie Matrix, J. Vrin, Paris, 2011, page 106

La règle « tous les oiseaux volent » est par contre défaisable, et a pour défaiseur « les autruches ne volent pas ».

Claire Wagner-Rémy, La pensée dirigée, traité sur le raisonnement et les logiques, BoD, 2016, page 149


абдукція

Du latin abductio (« expulsion, enlèvement, écartement »).

абду́кція (singular nominative)
абду́кції (plural nominative)
абду́кції (singular genitive)
абду́кцій (plural genitive)
абду́кції (singular dative)
абду́кціям (plural dative)
абду́кцію (singular accusative)
абду́кції (plural accusative)
абду́кцією (singular instrumental)
абду́кціями (plural instrumental)
на/в абду́кції (singular locative)
на/в абду́кціях (plural locative)
абду́кціє (singular vocative)
абду́кції (plural vocative)
Nom de type 7a selon Zaliznyak


self-consistent

more self-consistent (comparative)
most self-consistent (superlative)


推理

Composé de 推 (tuī, « inférer, éluder ») et de 理 (lǐ, « raison »)

\tʰu̯eɪ̯˥ li˨˩\

\tʰu̯eɪ̯˥ li˨˩\


ясний

Du vieux slave ѩснъ, ěsnъ qui donne aussi ясный, jasnyï en russe.

Cas
Singulier
Pluriel
я́сни́й (masculine nominative)
я́сна́ (feminine nominative)
я́сне́ (neuter nominative)
я́сні́ (nominative)
я́сно́го (masculine genitive)
я́сно́ї (feminine genitive)
я́сно́го (neuter genitive)
я́сни́х (genitive)
я́сно́му (masculine dative)
я́сні́й (feminine dative)
я́сно́му (neuter dative)
я́сни́м (dative)
Nom. ou Gén. (masculine accusative)
я́сну́ (feminine accusative)
я́сне́ (neuter accusative)
Nom. ou Gén. (accusative)
я́сни́м (masculine instrumental)
я́сно́ю (feminine instrumental)
я́сни́м (neuter instrumental)
я́сни́ми (instrumental)
я́сно́му (masculine locative)
я́сні́м (masculine locative)
я́сні́й (feminine locative)
я́сно́му (neuter locative)
я́сні́м (neuter locative)
я́сни́х (locative)

виразний

sens 3 : facile à comprendre dans la forme

доступний

sens 3 : facile à comprendre dans le fond


тавтологія

Nomdérivé du préfixe тавто-, avec le suffixe -логія.

тавтоло́гія (singular nominative)
тавтоло́гії (plural nominative)
тавтоло́гії (singular genitive)
тавтоло́гій (plural genitive)
тавтоло́гії (singular dative)
тавтоло́гіям (plural dative)
тавтоло́гію (singular accusative)
тавтоло́гії (plural accusative)
тавтоло́гією (singular instrumental)
тавтоло́гіями (plural instrumental)
на/у тавтоло́гії (singular locative)
на/у тавтоло́гіях (plural locative)
тавтоло́гіє (singular vocative)
тавтоло́гії (plural vocative)
Nom de type 7a selon Zaliznyak

⁽ᵗᵃᵛᵗᵒˡᵒʰⁱʲᵃ⁾


тавтологічний

Adjectifdérivé de тавтологія (« tautologie »), avec le suffixe -ічний.

Adjectifdérivé du préfixe тавто-, avec le suffixe -логічний.

Cas
Singulier
Pluriel
тавтологі́чний (masculine nominative)
тавтологі́чна (feminine nominative)
тавтологі́чне (neuter nominative)
тавтологі́чні (nominative)
тавтологі́чного (masculine genitive)
тавтологі́чної (feminine genitive)
тавтологі́чного (neuter genitive)
тавтологі́чних (genitive)
тавтологі́чному (masculine dative)
тавтологі́чній (feminine dative)
тавтологі́чному (neuter dative)
тавтологі́чним (dative)
Nom. ou Gén. (masculine accusative)
тавтологі́чну (feminine accusative)
тавтологі́чне (neuter accusative)
Nom. ou Gén. (accusative)
тавтологі́чним (masculine instrumental)
тавтологі́чною (feminine instrumental)
тавтологі́чним (neuter instrumental)
тавтологі́чними (instrumental)
тавтологі́чному (masculine locative)
тавтологі́чнім (masculine locative)
тавтологі́чній (feminine locative)
тавтологі́чному (neuter locative)
тавтологі́чнім (neuter locative)
тавтологі́чних (locative)


тавтолог

Nomdérivé du préfixe тавто-, avec le suffixe -лог.

тавто́лог (singular nominative)
тавто́логи (plural nominative)
тавто́лога (singular genitive)
тавто́логів (plural genitive)
тавто́логу (singular dative)
тавто́логові (singular dative)
тавто́логам (plural dative)
тавто́лога (singular accusative)
тавто́логів (plural accusative)
тавто́логом (singular instrumental)
тавто́логами (plural instrumental)
на/у тавто́логі, (singular locative)
тавто́логові (singular locative)
на/у тавто́логах (plural locative)
тавто́логу (singular vocative)
тавто́логи (plural vocative)
Nom de type 3a selon Zaliznyak


valeur opposée

Locutioncomposée de valeur et de opposée.

Terme parfois utilisé pour désigner la négation logique, c’est-à-dire la permutation binaire 0 ↔ 1 ou logique vrai ↔ faux.

L’opérateur not, lorsqu’appliqué à un booléen, évalue ce dernier à sa valeur opposée : x = True; y = False; print(not x); ## False; print(not y); ## True

Ewen Gallic, Python pour les économistes, octobre 2018, accédé le 10.12.2022

…la négation de l’assertion P notée non(P) a la valeur opposée de P…

La fonction non prend un énoncé p comme argument et donne l’objet non(p). Non p est toujours un énoncé, car non transforme la valeur de vérité (le vrai ou le faux) d’un énoncé en la valeur opposée.

Éric Audureau, Les objets de la logique classique peuvent-ils être des énoncés ?, Philosophiques, vol. 27, N°2, 2000, pp. 263-285.

Si a est une proposition, alors ¬a (non a) est une proposition qui a la valeur opposée, c'est-à-dire que ¬a a la valeur ⋎ (respectivement ⋏) lorsque a a la valeur ⋏ (respectivement ⋎).

Paul Lorenzen, Métamathématique, chapitre 1, Formalisation de la logique (traduction en français), De Gruyter, 1967

Une cellule peut, par exemple, être réécrite avec une valeur opposée de manière périodique, sur la base de l'occurrence d’un événement, ou sur la base d'une détermination selon laquelle la cellule a stocké une valeur (ou une charge) pendant un certain laps de temps.

Alessandro Calderoni, Durai Vishak Nirmal Ramaswamy, Kirk Prall, Ferdinando Bedeschi (Micron Technology, Inc.), Évitement d'impression de cellules de mémoire, brevet WO2017222786


valeur inverse

Locutioncomposée de valeur et de inverse.

Kehrwert

Inverse pour la multiplication en mathématiques

Terme parfois utilisé pour la négation : transformation de vrai en faux et vice versa.

La fonction Non retourne la valeur inverse de booléen, changeant un Vrai en Faux ou un Faux en Vrai.

centre de documentation 4D v16.6, accédé le 10.12.2022


négation logique

Locutioncomposée de négation et de logique.

Commutation vrai ↔ faux, opérateur unaire.

La négation logique d’une proposition A s’écrit usuellement « non A », « ¬A » ou « ̄A ».

La négation logique transforme une propriété vraie en une propriété fausse ; une propriété fausse en une propriété vraie ; une propriété en une nouvelle propriété qui est satisfaite exactement par les éléments qui ne satisfont pas la première.

Sylvie Benzoni-Gavage, Université de Lyon, accédé le 10.12.2022

En logique et en mathématiques, une négation logique est un opérateur unaire qui renverse la valeur de vérité de son opérande.


counterargument

(1812)Dérivé de argument, avec le préfixe counter-.


pente glissante

Sophisme qui consiste à prétendre qu’un compromis donné doit être refusé car il amorcerait une réaction en chaine de conséquences de plus en plus graves qui conduirait progressivement mais fatalement à une catastrophe.


Klausel

(XIVᵉ siècle) Du latin clausula (« fin », « conclusion », « clausule »).

die Klausel (singular nominative)
die Klauseln (plural nominative)
die Klausel (singular accusative)
die Klauseln (plural accusative)
der Klausel (singular genitive)
der Klauseln (plural genitive)
der Klausel (singular dative)
den Klauseln (plural dative)

Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird. Ihre allgemeine Form sieht so aus: { displaystyle X_1∨X_2∨…∨X_{k


kontingent

Du latin contingere (« toucher », « arriver »), aussi de contingentia (« hasard », « ce qui arrive »).

kontingenter (comparative)
am kontingentesten (superlative)

Contingent : éventuel, possible (ni impossible, ni sûr).

Ein Satz ist genau dann kontingent, wenn er in manchen Äußerungskontexten wahr ist und in manchen falsch. Nichtkontingente Sätze sind entweder logisch wahr oder logisch falsch.

Une proposition est contingente si et seulement si elle est vraie dans certains contextes d’expression et fausse dans d’autres. Les proposition non contingentes sont soit logiquement vraies, soit logiquement fausses.

Sebastian Löbner, Begriffswörterbuch Semantik sur Philosophische Fakultät, Heinrich-Heine-Universität Düsseldorf / HHU, 2015. Consulté le 30 décembre 2023

Es versteht sich von selbst, dass die kosmischen, also in Erscheinung getretenen und nicht ursätzlichen Notwendigkeiten definitionsgemäß in gewissem Grade kontingent sind, und umgekehrt, dass die verwirklichten Kontingenzen verhältnismäßig notwendig sind.

Il va sans dire que les nécessités cosmiques, c’est-à-dire apparues et non axiomatiques, sont par définition dans une certaine mesure contingentes, et, inversement, que les contingences réalisées sont relativement nécessaires.

Frithjof Schuon, Göttlichen zum Menschlichen : Das Spiel der Hypostasen, Weisheit der Welt, Hambourg, 2015, ISBN 978-3-7323-7741-1


Titres non pris en charge/Signe égal ou supérieur à

Composé de = et de Titres non pris en charge/Signe supérieur à, >.


Titres non pris en charge/Signe équivalent à

Composé de Titres non pris en charge/Signe inférieur à, <, = et Titres non pris en charge/Signe supérieur à, >.


无理

Composé de 無／无 (wú, « sans ») et de 理 (lǐ, « raison »).


有理

Composé de 有 (yǒu, « avoir ») et de 理 (lǐ, « raison »).

\i̯oʊ̯˧˥ li˨˩\

\i̯oʊ̯˧˥ li˨˩\


condicion sufisenta

Condition suffisante, condition permettant de valider, par sa seule présence, une proposition.


condicion necessària

Condition nécessaire, condition requise pour valider une proposition.


condicion necessària e sufisenta

Composé de condicion, necessària, e et sufisenta.

condicions necessàrias e sufisentas (plural)

\kun.ði.ˈsju ne.se.ˈsa.ɾjo̯ e sy.fi.ˈzen.to̯\

Condition nécessaire et suffisante, condition requise pour valider une proposition et qui par sa seule présence, valide la proposition.


univers du discours

(Date à préciser)Composé de univers, du et discours.

Ensemble des entités qui existent, et qui peuvent donc être capturés par des quantificateurs.


schlüssig

schlüssiger (comparative)
am schlüssigsten (superlative)

zwingend

contraignant », « coercitif », « obligatoire

Im Februar hatte Petersson diese Entwicklung angekündigt, allerdings ging man seither davon aus, dass die Ermittler zumindest für eine Anklage ausreichende Beweise vorlegen könnten. Was sie nun präsentierten, ist eine schlüssige Argumentation, warum Engström, ein Grafikdesigner beim Versicherungskonzern Skandia, der mutmassliche Täter [des Mords an Olof Palme] ist.

En février, Petersson avait annoncé cette évolution, mais on a depuis supposé que les enquêteurs pourraient au moins avancer des preuves suffisantes pour une mise en accusation. Ce qu’ils ont maintenant présenté est un raisonnement concluant sur pourquoi Engström, un graphiste du groupe d’assurance Skandia, est l’auteur présumé [de l’assassinat d’Olof Palme].

Niels Anner, « ermittlungen eingestellt – Mord an Olof Palme: Nach 34 Jahren kann Schwedens «nationale Wunde» endlich heilen », dans Luzerner Zeitung, 10 juin 2020 https://www.luzernerzeitung.ch/international/mord-an-olof-palme-nach-34-jahren-kann-schwedens-nationale-wunde-endlich-heilen-ld.1227784 texte intégral


Titres non pris en charge/Signe inférieur à=

Composé de Titres non pris en charge/Signe inférieur à, < et de =.


ultrafinitisme

Dérivé de finitisme, avec le préfixe ultra-

Forme extrême de finitisme, qui nie l'existence de certains objets mathématiques que personne ne peut construire en pratique (comme des nombres trop grand pour être calculé).


Gegenbeispiel

Nomdérivé de Beispiel (« exemple »), avec le préfixe gegen- (« contre- »), littéralement « contre-exemple ».

das Gegenbeispiel (singular nominative)
die Gegenbeispiele (plural nominative)
das Gegenbeispiel (singular accusative)
die Gegenbeispiele (plural accusative)
des Gegenbeispiels (singular genitive)
Gegenbeispieles (singular genitive)
der Gegenbeispiele (plural genitive)
dem Gegenbeispiel (singular dative)
Gegenbeispiele (singular dative)
den Gegenbeispielen (plural dative)

\ˈɡeːɡn̩ˌbaɪ̯ʃpiːl\

ˈɡeːɡŋ̩ˌbaɪ̯ʃpiːl

ˈɡeːɡn̩ˌbaɪ̯ʃpiːl

Ein Hundesnack der Migros wird aus China importiert. 20'280 Kilometer reist das Produkt “Max Pouletbrust” um die Welt, ehe sie in einem Schweizer Futternapf landet. Den «Bergkristall» für ein Gegenbeispiel, das Transporte vermeidet, erhält das Genfer Unternehmen “OVO Logistique Urbaine”.

Un snack pour chien de la Migros est importé de Chine. Le produit « Max poitrine de poulet » parcourt 20'280 kilomètres de par le monde avant de finir dans un bol de nourriture suisse. L’entreprise genevoise « OVO Logistique Urbaine » reçoit le « Cristal de roche » pour un contre-exemple qui évite des transports [excessifs]. Note : Il s’agit de deux distinctions décernées par l’association Pro Alps ; la première est un Schmähpreis (« prix de la honte »), pour un produit entraînant des transports absurdes, et l’autre un prix authentique pour un effort en vue de réduire l’impact de ces transports.

Jonas Bucher, « Schmähpreis: Nach 20’200 Kilometer landet Snack in Schweizer Hundenapf », dans 20 Minuten, 3 octobre 2023 https://www.20min.ch/story/schmaehpreis-nach-20200-kilometer-landet-der-snack-in-einem-schweizer-hundenapf-173563727283 texte intégral

Für reelle Zahlen a,b∈ ℝ gilt stets a+b=b+a und a·b=b·a, die Operationen Addition und Multiplikation sind also kommutativ. Die erste Formel wird auch Kommutativgesetz der Addition, die zweite Kommutativgesetz der Multiplikation genannt. Die Subtraktion und die Division reeller Zahlen sind dagegen keine kommutativen Operationen. Auch die Potenzierung ist nicht kommutativ (2³≠3² ist ein Gegenbeispiel).

Pour les nombres réels a,b∈ ℝ, les relations a+b=b+a et a·b=b·a sont toujours valables, les opérations addition et multiplication sont donc commutatives. La première formule est aussi appelée la commutativité de l’addition, et la seconde la commutativité de la multiplication. En revanche la soustraction et la division de nombres réels ne sont pas des opérations commutatives, et l’exponentiation ne l’est pas non plus (2³≠3² est un contre-exemple).


recursivitat

Dérivé de recursiu, avec le suffixe -itat.

Récursivité, état de ce qui est récursif, démarche qui fait référence à l'objet même de cette démarche à un moment du processus.


praedicamentum

Dérivé de praedico, avec le suffixe -mentum.

praedicamenta (plural nominative)
praedicamenta (plural vocative)
praedicamenta (plural accusative)
praedicamentī (singular genitive)
praedicamentōrum (plural genitive)
praedicamentō (singular dative)
praedicamentīs (plural dative)
praedicamentō (singular ablative)
praedicamentīs (plural ablative)


因爲

Composé de 因 (yīn) « cause, raison » et 爲 (wèi) « faire, agir ».

因为 (Simplified Chinese)
因為 (Traditional Chinese)

\in˥ u̯eɪ̯˥˩\

\in˥ u̯eɪ̯˥˩\


於是

Composé de 於／于 (yú) et 是 (shì, « être »).

C'est pourquoi, donc, en conséquence, il en résulte que.


按照

Composé de 按 (àn, « contenir ») et 照 (zhào, « selon »).

\ˀa̠n˥˧ ʈ͡ʂɑʊ̯˥˩\

\ˀa̠n˥˧ ʈ͡ʂɑʊ̯˥˩\

ˀa̠n˥˧ ʈ͡ʂɑʊ̯˥˩


Widerlegung

Nomdérivé de widerlegen (« réfuter »), avec le suffixe -ung, littéralement « réfutation ».

die Widerlegung (singular nominative)
die Widerlegungen (plural nominative)
die Widerlegung (singular accusative)
die Widerlegungen (plural accusative)
der Widerlegung (singular genitive)
der Widerlegungen (plural genitive)
der Widerlegung (singular dative)
den Widerlegungen (plural dative)

\ˌviːdɐˈleːɡʊŋ\

ˌviːdɐˈleːɡʊŋ

Die Sonnenscheindauer in der Antarktis ist der Schlüssel zur Widerlegung der Theorie [der flachen Erde], weil sie nur mit der Annahme einer runden Erde zu erklären ist.

La durée d’ensoleillement en Antarctique est la clé pour une réfutation de cette théorie [du platisme], car cette durée ne peut être expliquée que par l’hypothèse d’une Terre ronde.

Noé Leeker, « „Finales Experiment“: Flat-Earther hat bei 35.000 Dollar Trip in Antarktis bittere Erkenntnis », dans Focus, 18 décembre 2024, https://www.focus.de/panorama/welt/flat-earther-hat-bei-35-000-dollar-trip-in-antarktis-bittere-erkenntnis_2def0fab-c327-40cc-9774-73c21b6f57b1.html texte intégral


appel à l’ignorance

Raisonnement fallacieux qui affirme qu’une proposition est vraie parce qu’elle n’a pas été prouvée fausse, ou fausse parce qu’elle n’a pas été prouvée vraie.

Devant cette situation, Ricœur examine les deux théories en vigueur : soit la traduction est praticable parce qu’il existe des codes a priori qui peuvent être reconstruits, soit parce que sous la diversité des langues, il y a des traces d’une langue originaire. Il rejette la première en faisant appel à l’ignorance. Après de longues années de recherche, nul n’a trouvé ni lexique ni phonologie universels entre les différentes grammaires ; il est probable, donc, que cette structure a priori n’existe pas.

Francisco Díez Fischer, « L'hospitalité langagière : Paul Ricœur et la question de la traduction ». Esprit, 2014/2 Février, 2014. p.87-98. CAIRN.INFO,

Par exemple, l’appel à l’ignorance se manifeste lorsqu’on affirme qu’une hypothèse est vraie simplement parce qu’elle n’a pas été réfutée : « Personne n’a prouvé que les extraterrestres n’existaient pas, donc ils sont déjà parmi nous ! ».

Pascal Haumont, « Chapitre 3. La parole rigoureuse bleue ». La prise de parole en public avec le modèle DISC, Dunod, 2024. p.48-65. CAIRN.INFO,