Résultats de la recherche

...mentale pour toute théorie de l’action (et tout particulièrement pour la [[philosophie de l'action]] contemporaine) qui veut formaliser ses résultats par un calcu ...e formalisme de la logique de l’action), la logique de l’action possède un langage ainsi qu’une syntaxe (ou [[théorie de la preuve]]) composée d’un système d’ ...

...es]] peuvent être divisés en [[Formule logique|formules bien formées]]. Un langage formel peut être considéré comme identique à l'ensemble de ses formules bie ...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]]. ...

{{Langue du titre|la}} ...nctions avec des exemples dans trois contextes : celui de la pensée, celui du désir et celui de la connaissance. ...

...pour évaluer les capacités des [[Grand modèle de langage|grands modèles de langage]]. ...multiples portant sur 57 matières académiques, dont les mathématiques, la philosophie, le droit et la médecine. Il s'agit de l'un des benchmarks les plus couramm ...

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 ...

..., une '''interprétation''' est une attribution de sens aux symboles d'un [[langage formel]]. Les langages formels utilisés en [[mathématiques]], en [[logique] ...tion'' est une [[Fonction (mathématiques)|fonction]] qui a pour domaine un langage formel et pour cible un modèle. ...

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 ...

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

.../jhsearch.library.jhu.edu/databases/database/JHU04452 Corpus des œuvres de philosophie en langue française - Databases ] (de la Renaissance à 1966)</ref>, histoir ...sont des outils indispensables et précieux en [[traitement automatique du langage naturel]]. Ils permettent en effet d'extraire un ensemble d'informations ut ...

...ou [[Lexème (linguistique)|lexèmes]] qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La ''théorie des langages ...elés mots bien formés ou [[formule bien formée|formules bien formées]]. Un langage formel est souvent défini par une [[grammaire formelle]], telle que les [[g ...

...l'[[implication]] qui se rapproche en certains points du [[Langage naturel|langage ordinaire]]. Un telle logique doit notamment satisfaire les règles suivante * Il y est absurde de considérer qu'une [[Proposition (philosophie)|proposition]] puisse impliquer, ou être impliquée, par sa propre négation. ...

...e]] dans une grotte, grâce auquel la logique aurait été introduite dans la philosophie.]] ..., [[raisonnement]] »), sous-entendu {{Grec ancien|τέχνη|tékhnē}} : « l'art du raisonnement », — est, dans une première approche, l'étude de l'[[Inférenc ...

| genre = [[Vulgarisation]] [[scientifique]], [[Philosophie|philosophique]] et [[Théologie|théologique]] | suivi par = ''Le mystère du [[Planck (télescope spatial)|satellite Planck]]: Qu'y avait-il avant le [[B ...

...niversité catholique de Louvain]], dont il présida l'Institut supérieur de philosophie<ref>{{Article|auteur1=TAMINIAUX Jacques|titre=Jean Ladrière. Eloge funèbre ...sance", "cybernétique", "engagement", "formalisme", "groupe de pression", "langage de la foi", "monde", "relation", "représentation et connaissance", "science ...

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

Le '''[[langage]] de la [[logique]]''' s'est progressivement constitué pour remédier à l'in ...ire d'immenses progrès. Comme l'écrit [[Bertrand Russell]] dans la préface du ''[[Tractatus logico-philosophicus|Tractatus]]'' de Wittgenstein, {{citatio ...

...formelle]], souvent basée sur des systèmes de préexistants. L'introduction du dialethéisme implique diverses conséquences, en fonction de la théorie dans Le [[paradoxe du menteur]] et le [[paradoxe de Russell]] sont en relation avec des déclarati ...

...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 ...aire d'une contradiction est toujours vrai. Ceci est utilisé dans le cadre du [[raisonnement par l'absurde]]. ...

...'''''<small>(Depuis lors remplacé officiellement par le langage [[Python (langage)|Python]] sur les derniers modèles)</small>'''''. ...tionnalités particulières exploitables par les programmes, mais le cœur du langage est commun. ...