Résultats de la recherche

...rmules bien formées. L'ensemble des formules bien formées peut être divisé en [[Théorème|théorèmes]] et non-théorèmes.]] ...ls]] sans tenir compte de l'[[Interprétation (logique)|interprétation]] ou du [[Sens (linguistique)|sens]] qui leur est donné. ...

...ot « Soleil » n'est pas conceptuellement équivalent à l'expression « astre du jour », bien qu'ils réfèrent tous deux au même objet. ...ier la description, mais ils sont divisés sur le statut des [[Nom propre (philosophie)|noms propres]]. ...

{{Titre mis en forme|''De dicto'' et ''de re''}} {{Langue du titre|la}} ...

La définition dépend du domaine dans lequel elle est utilisée : * En [[linguistique]] et en [[philosophie]], une '''assertion''' représente un [[énoncé]] considéré ou présenté comme ...

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, qui n'aboutit pas, sous le nom de [[caractéristique uni ...

| principaux intérêts = [[philosophie analytique]] ...fonder la [[métaphysique]] à partir d'une analyse de l'individualité et du langage. ...

...[Cadre (intelligence artificielle)|langages à cadres]]'', une famille de [[langage de programmation]] pour l'intelligence artificielle, et des [[réseau sémant ...(logique)|sémantique formelle]] définie en [[Calcul des prédicats|logique du premier ordre]] (à la différence des propositions précédentes comme les cad ...

...n de la Classe des lettres de l'Académie royale de Belgique|date=2007|lire en ligne=https://www.academieroyale.be/Academie/documents/LADRIEREJeanARB_2011 ...cité pour décider par moi-même », interview de Philippe Van Parijs réalisé en 2001 pour son {{80e}} anniversaire, dans Perso. Regards personnalistes, {{n ...

En [[logique des propositions]], une '''contradiction''' ou '''antilogie''' es ...e rejette la contradiction comme une absurdité. Ainsi à partir du théorème du calcul des propositions, n'importe quoi dérive d'une contradiction. La démo ...

...e]] dans une grotte, grâce auquel la logique aurait été introduite dans la philosophie.]] ...e antique|périodique=[[Pour la Science]]|numéro=49|année=2005|présentation en ligne=http://www.pourlascience.fr/ewb_pages/a/article-la-logique-une-creati ...

...ar opposition à la ''masse relative'' ou ''masse relativiste'', dépendante du référentiel), usuellement notée <math>m_0</math>, est la [[Masse#Masse grav ...que la nouvelle convention date des [[années 1970]]<ref>{{ouvrage| langue=en| titre=Special Relativity and Classical Field Theory. The Theoretical Minim ...

...chier:Penrose triangle (animation).gif|thumb|right|Exemple de construction du triangle de Penrose dans la réalité (cassure).]] ...[[Peter van Inwagen]]) les considèrent uniquement comme des [[Abstraction (philosophie)|abstractions]]. La théorie des mondes possibles ne doit pas être confondue ...

| principaux intérêts = [[philosophie analytique]] ...américaine|philosophe américain]], est l'une des figures majeures de la [[philosophie analytique]] contemporaine. ...

{{ébauche|logique |mathématiques| philosophie}} ...ll2009/entries/logical-consequence/|site=plato.stanford.edu|titre={{Langue|en|Logical Consequence}}|année=2009}} {{Commentaire biblio|Article sur les con ...

...lication jusqu'à ce que Peter Aczel propose sa théorie des hyper-ensembles en 1988<ref name="Aczel">[http://www.irafs.org/courses/materials/aczel_set_the ...L|Ouvrage présentant cet axiome et l'utilisant pour analyser le [[paradoxe du menteur]].}}</ref> ...

...''', ou '''loi d'inertie''', et, depuis [[Isaac Newton|Newton]], '''[[lois du mouvement de Newton|première loi de Newton]]'''. La loi d'inertie exprime le fait que si la vitesse <math>\vec{v}</math> du corps ponctuel par rapport au repère galiléen est constante, « la somme des ...

[[Fichier:Ludwig_Wittgenstein.jpg|vignette|[[Ludwig Wittgenstein]], en 1930.]] ...tgenstein]] considérait que sa {{citation|principale contribution a été en philosophie des mathématiques}}, un sujet auquel plus de la moitié de ses écrits entre ...

...surer. Le mot {{citation|infinitésimal}} vient de ''infinitesimus'' (latin du {{s-|XVII|e}}), ce qui signifiait à l'origine l'élément {{citation|infini-è ...utilisé en tant qu'adjectif, «infinitésimal» dans le [[Langue vernaculaire|langage vernaculaire]] signifie {{citation|extrêmement faible}}. ...

{{En-tête label|BA|année=2007}} | genre = [[Philosophie du langage]], [[Logique]] ...

{{Autre4|le concept mathématique}} ...orts de grandeurs]], mais aussi d’[[Nombre ordinal|ordonner des éléments]] en indiquant leur rang<ref>{{CNRTL|Nombre|Nombre ordinal}}</ref>. Souvent [[éc ...