Résultats de la recherche

...ot « Soleil » n'est pas conceptuellement équivalent à l'expression « astre du jour », bien qu'ils réfèrent tous deux au même objet. ...un simple mot – et cet objet). Aujourd'hui, la plupart des philosophes du langage partage l'idée selon laquelle la référence d'une phrase descriptive est ce ...

...hpmuseum.org, consulté le 19 mai 2013</ref>, la NPI a été inventée par le philosophe et informaticien australien {{lien|Charles Leonard Hamblin}} dans le milieu * Le langage de programmation [[Forth (langage)|Forth]] ...

...matiques]] entre la fin du {{s-|XIX}} et le début du {{s-|XX}}. La logique du premier ordre comporte deux parties : Sur le plan syntaxique, les langages du premier ordre opposent deux grandes classes linguistiques : ...

{{Infobox Philosophe | région = Philosophe occidental ...

...inissent un « pronom donkey » comme « un pronom qui se situe à l'extérieur du restricteur d'un [[quantificateur (logique)|quantificateur]] ou de l'antécé == Origine du terme == ...

...des [[axiome]]s et leurs conséquences, les [[théorème]]s, énoncés dans un langage précis. Dans la suite on dira le plus souvent théorie pour théorie axiomati ...pas vocation à parler de la signification du mot « [[théorie]] » en dehors du contexte des mathématiques, et même des mathématiques formelles. ...

L''''idéographie''' ({{Langue|de|''Begriffsschrift''}}) est un langage entièrement formalisé inventé par le logicien [[Gottlob Frege]] et qui a po Le projet d'un langage entièrement formalisé n'est pas nouveau : [[Leibniz]] en avait développé un ...

...en sciences humaines, le nom '''Pascal''' fait généralement référence au [[philosophe]] et [[mathématicien]] [[Blaise Pascal]]. ...te de la ''[[Pessa'h]]'' dans la [[Judaïsme|tradition juive]]. Il provient du [[latin]] ''pascha'' emprunté au [[Grec ancien|grec]] πάσχα (''páskha''), l ...

{{Infobox Philosophe | région = Philosophe occidental ...

...w.uclouvain.be/99970.html Hommage au {{Pr}} Jean Ladrière]</ref>) est un [[philosophe]] [[belgique|belge]]<ref>{{Article|auteur1=DE STEXHE Guillaume|titre=Approc ...sance", "cybernétique", "engagement", "formalisme", "groupe de pression", "langage de la foi", "monde", "relation", "représentation et connaissance", "science ...

...chier:Penrose triangle (animation).gif|thumb|right|Exemple de construction du triangle de Penrose dans la réalité (cassure).]] ...primer les propositions de la [[logique modale]], certains ([[David Lewis (philosophe)|David Lewis]]) accordent une réalité concrète à ces mondes possibles, tand ...

...u buveur''' (aussi connu comme le '''théorème du buveur''', le '''principe du buveur''') est un [[théorème]] de logique mathématique ([[Prédicat (logique ...s, contrairement à la [[logique classique]] présumée ici). L'énoncé formel du théorème est intemporel, éliminant la deuxième objection parce que la perso ...

...de Morse-Kelley lève cette restriction : toute propriété exprimée dans le langage de la théorie définit une classe dans l'univers ensembliste, c'est alors un ...ées par MK et NBG respectivement, partagent une même ontologie : l'univers du discours consiste en classes ; si une classe est élément d'au moins une cla ...

...une conséquence d'un ensemble d'autres formules, dans un [[langage formel|langage]], [[si et seulement si]], en utilisant la logique elle-même (c'est-à-dire ...ique_mathématique#Syst.C3.A8me_logique|interprétation]] des formules de ce langage qui leur donne une [[sémantique formelle]]. [[Alfred Tarski]] a déterminé t ...

..., [[raisonnement]] »), sous-entendu {{Grec ancien|τέχνη|tékhnē}} : « l'art du raisonnement », — est, dans une première approche, l'étude de l'[[Inférenc ...de la logique. Sa convergence opérée avec l'[[informatique]] depuis la fin du {{s|XX|e}} lui a donné un regain de vitalité. ...

...|paraconsistent}} en anglais) - n'a été employé qu'après [[1976]] par le [[philosophe]] [[Pérou|péruvien]] {{Lien|langue=en|fr=Francisco Miró Quesada Cantuarias} ...pas vraie, il est nécessaire que ''A'' soit vraie (en utilisant l'argument du [[syllogisme disjonctif]]). ...

* [[Théorème de Descartes]] : généralisation du précédent. * [[Cercle d'Apollonius]] : autre version du problème des contacts ...

...fonctions, ensembles…) ; la négation de cette proposition s’écrit à l’aide du symbole « ≠ ». *Dans certains [[langage de programmation|langages de programmation]], la notation a = b signifie qu ...

...n Âge|époque médiévale]]. Il a été [[évêque]] de [[Lisieux]] et conseiller du roi [[Charles V le Sage]]. ...probable de ses origines paysannes<ref name="AC p10">{{harvsp|id=AC|Actes du colloque Oresme|p=10}}.</ref>. Toute sa vie se déroula durant la [[guerre d ...

...ndes possibles. La relation ''R'' est appelée ''relation d'accessibilité'' du cadre. ...</math> se lit « <math>\phi</math> est vraie dans le monde <math> w</math> du modèle <math>\mathcal{M}</math>» ou « <math> w</math> '''réalise''' la form ...