| dbo:abstract
|
- علم الدلالة المنهجي (بالإنجليزية: Formal semantics) في علم اللغويات أو اللسانيات، يهدف علم الدلالة المنهجي إلى فهم المعنى اللغوي عن طريق بناء نماذج رياضية دقيقة للمبادئ التي يستخدمها المتحدثون لتحديد العلاقات بين التعابير باللغة الطبيعية والمحيط الذي يدعم الخطاب المعنوي، حيث تعد الأدوات الرياضية المستخدمة هنا هي نقطة التقاء المنطق الرياضي بنظرية اللغة الشكلية، لاسيما نظام حساب لامدا. (ar)
- Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars. (en)
- En linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.Avant que Richard Montague montre comment l’anglais (ou n’importe quel autre langage naturel) pouvait être traité comme un langage formel, les linguistes n’utilisaient que rarement la sémantique formelle.Sa contribution à la sémantique linguistique, appelée grammaire de Montague, fut par la suite, la base de plusieurs approfondissements, comme la grammaire catégorielle de Bar-Hillel et de ses confrères, et plus récemment la sémantique logique basée sur le Calcul de Lambek. Un autre domaine de recherche, utilisant la logique linéaire, est la sémantique « glue » fondée sur le principede « l'interprétation comme déduction », en relation étroite avec le paradigme d’ « analyse syntaxique comme déduction » de la grammaire catégorielle . En 1992, Margaret King déclare que peu d’hypothèses sur la sémantique formelle ont été testées dans une démarche empirique, à l’inverse de celles en linguistique informatique. La sémantique cognitive est alors apparue et s’est développée comme une réaction à la sémantique formelle. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 20858 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:bot
| |
| dbp:certain
| |
| dbp:date
|
- January 2018 (en)
- December 2019 (en)
|
| dbp:fixAttempted
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- علم الدلالة المنهجي (بالإنجليزية: Formal semantics) في علم اللغويات أو اللسانيات، يهدف علم الدلالة المنهجي إلى فهم المعنى اللغوي عن طريق بناء نماذج رياضية دقيقة للمبادئ التي يستخدمها المتحدثون لتحديد العلاقات بين التعابير باللغة الطبيعية والمحيط الذي يدعم الخطاب المعنوي، حيث تعد الأدوات الرياضية المستخدمة هنا هي نقطة التقاء المنطق الرياضي بنظرية اللغة الشكلية، لاسيما نظام حساب لامدا. (ar)
- Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars. (en)
- En linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Un autre domaine de recherche, utilisant la logique linéaire, est la sémantique « glue » fondée sur le principede « l'interprétation comme déduction », en relation étroite avec le paradigme d’ « analyse syntaxique comme déduction » de la grammaire catégorielle . (fr)
|
| rdfs:label
|
- Formal semantics (natural language) (en)
- علم الدلالة المنهجي (ar)
- Sémantique formelle (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
