T-schemaThe T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett. The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a "T-theory.
Logique de ŁukasiewiczEn mathématique, la logique de Łukasiewicz est une logique polyvalente, non-classique. Elle a été définie à l'origine au début du par Jan Łukasiewicz comme une logique ternaire; elle a ensuite été généralisé à n-valeur (pour tous n fini) ainsi qu'à une infinité de variante à valeurs multiples, les deux sont propositionnelle et du premier ordre. La version א0-valeur a été publié en 1930 par Łukasiewicz et Alfred Tarski; par conséquent, elle est parfois appelé la logique de Łukasiewicz-Tarski.
Free logicA free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic. In classical logic there are theorems that clearly presuppose that there is something in the domain of discourse. Consider the following classically valid theorems. 1. 2. 3. A valid scheme in the theory of equality which exhibits the same feature is 4.
Paradoxe soriteLe paradoxe sorite, aussi connu comme le paradoxe du tas, est un paradoxe dû à une terminologie vague (par exemple, un tas de sable). Il décrit un raisonnement qui conclut à l'impossibilité de constituer un tas (par ex. de sable) en accumulant un grain après l'autre. Ce paradoxe met en jeu un raisonnement par récurrence tout en exploitant dans ses prédicats, le flou sémantique qui entoure les mots du langage courant. Ce paradoxe fut formulé au par Eubulide, qui fut dirigeant de l'École mégarique.
Finite-valued logicIn logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided").
Sémantique algébrique (logique mathématique)En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique. Par exemple, la logique modale S4 se caractérise par la classe des algèbres booléennes topologiques—à savoir, des algèbres booléennes possédants un opérateur intérieur. D'autres logiques modales sont caractérisées par diverses autres algèbres avec des opérateurs. La classe des algèbres booléennes caractérise la logique propositionnelle classique, et la classe des algèbres d'Heyting de la logique intuitionniste.
Half-truthA half-truth is a deceptive statement that includes some element of truth. The statement might be partly true, the statement may be totally true, but only part of the whole truth, or it may use some deceptive element, such as improper punctuation, or double meaning, especially if the intent is to deceive, evade, blame or misrepresent the truth. The purpose and or consequence of a half-truth is to make something that is really only a belief appear to be knowledge, or a truthful statement to represent the whole truth or possibly lead to a false conclusion.
Infinite-valued logicIn logic, an infinite-valued logic (or real-valued logic or infinitely-many-valued logic) is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e.
Deviant logicDeviant logic is a type of logic incompatible with classical logic. Philosopher Susan Haack uses the term deviant logic to describe certain non-classical systems of logic. In these logics: the set of well-formed formulas generated equals the set of well-formed formulas generated by classical logic. the set of theorems generated is different from the set of theorems generated by classical logic. The set of theorems of a deviant logic can differ in any possible way from classical logic's set of theorems: as a proper subset, superset, or fully exclusive set.
ContextualismeLe contextualisme en philosophie de la connaissance est la thèse selon laquelle les peuvent changer de valeur de vérité d'un contexte de conversation à l'autre. Le contextualisme a été avant tout défendu comme une solution au problème du . Selon les contextualistes, lorsque , le mot "savoir" prend une valeur très restrictive, de telle sorte que l'affirmation « Pierre sait qu'il a deux mains » devient fausse dans . Inversement, dans les conversations courantes, le mot « savoir » a une valeur moins restrictive, de sorte que l'affirmation « Pierre sait qu'il a deux mains » pourra être vraie.
