Concept
Atomic sentence
Concepts associés (12)
Sentence (mathematical logic)
In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: as the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.
Truth-bearer
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories.
Satisfaisabilité
En logique mathématique, la satisfaisabilité ou satisfiabilité et la validité sont des concepts élémentaires de sémantique. Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle), une façon d'interpréter tous les éléments constitutifs de la formule, qui rend la formule vraie. Une formule est universellement valide, ou en raccourci valide si, pour toutes les interprétations, la formule est vraie.
Théorie sémantique de la vérité
Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases. La conception sémantique de la vérité, qui est liée de différentes façons à la correspondance et aux conceptions déflationnistes, est due au travail publié par le logicien polonais Alfred Tarski dans les années 1930. Tarski, dans « On the Concept of Truth in Formalized Languages », a tenté de formuler une nouvelle théorie de la vérité afin de résoudre le paradoxe du menteur.
Statement (logic)
In logic and semantics, the term statement is variously understood to mean either: a meaningful declarative sentence that is true or false, or a proposition. Which is the assertion that is made by (i.e., the meaning of) a true or false declarative sentence. In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement. By a statement, I mean "that which one states", not one's stating of it.
Logical form
In logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
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 . Fondé sur le rejet du monisme idéaliste de type hégélien et la reconnaissance d'un pluralisme irréductible dans le monde, l'atomisme logique reçoit avec Russell et son élève Wittgenstein deux versions différentes. Le mot d'« atomisme logique » est dû à Russell lui-même, et apparaît pour la première fois dans La philosophie de l'atomisme logique.
Terme (logique)
Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification. C'est l'objet produit par une analyse syntaxique. Sa principale caractéristique est d'être homogène (il n'y a que des opérations de base et pas d'opérations logiques) et de décrire l'agencement des opérations de base. Un terme est parfois appelé une formule du premier ordre.
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. Avec Investigations philosophiques, ce texte est l’une des pièces majeures de la philosophie de Wittgenstein ; il est inspiré par un logicisme anti-psychologiste, une position que Wittgenstein abandonne par la suite.
Ludwig Wittgenstein
'Ludwig Josef Johann Wittgenstein', né à Vienne en Autriche le et mort à Cambridge au Royaume-Uni le , est un philosophe, mathématicien, ingénieur, pédagogue et architecte de nationalité autrichienne, puis, à partir de 1939, britannique, ayant exploré de manière décisive certains domaines fondamentaux de la connaissance tels que la logique, les fondements des mathématiques et la philosophie du langage.