| Property |
Value |
| dbo:abstract
|
- 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)
- 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:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7242 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1989 (xsd:integer)
- 1993 (xsd:integer)
- 1994 (xsd:integer)
- 1995 (xsd:integer)
- 1998 (xsd:integer)
- 2000 (xsd:integer)
- 2004 (xsd:integer)
- 2006 (xsd:integer)
- 2008 (xsd:integer)
- 2010 (xsd:integer)
- 2017 (xsd:integer)
|
| prop-fr:auteur
|
- Emmon W. Bach (fr)
- Laurent Roussarie (fr)
- Alice Ter Meulen (fr)
- Angelika Kratzer (fr)
- Bob Carpenter (fr)
- Gennaro Chierchia (fr)
- Glyn V. Morrill (fr)
- Irene Heim (fr)
- Johan van Benthem (fr)
- John I. Saeed (fr)
- Max Cresswell (fr)
- Ronnie Cann (fr)
- Sally McConnell-Ginet (fr)
- Sean A. Fulop (fr)
- Emmon W. Bach (fr)
- Laurent Roussarie (fr)
- Alice Ter Meulen (fr)
- Angelika Kratzer (fr)
- Bob Carpenter (fr)
- Gennaro Chierchia (fr)
- Glyn V. Morrill (fr)
- Irene Heim (fr)
- Johan van Benthem (fr)
- John I. Saeed (fr)
- Max Cresswell (fr)
- Ronnie Cann (fr)
- Sally McConnell-Ginet (fr)
- Sean A. Fulop (fr)
|
| prop-fr:chapter
|
- Formal semantics (fr)
- Formal semantics (fr)
|
| prop-fr:collection
|
- Introducing linguistics (fr)
- Introducing linguistics (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:lieu
|
- Berlin (fr)
- Amsterdam/Boston (fr)
- Berlin (fr)
- Amsterdam/Boston (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:numéroD'édition
|
- 2 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 150 (xsd:integer)
- 242 (xsd:integer)
- 336 (xsd:integer)
- 365 (xsd:integer)
- 456 (xsd:integer)
- 498 (xsd:integer)
- 573 (xsd:integer)
- 575 (xsd:integer)
- 1146 (xsd:integer)
|
| prop-fr:sousTitre
|
- an introduction (fr)
- an introduction to semantics (fr)
- categorial logic of signs (fr)
- categories, lambdas, and dynamic logic (fr)
- an introduction (fr)
- an introduction to semantics (fr)
- categorial logic of signs (fr)
- categories, lambdas, and dynamic logic (fr)
|
| prop-fr:titre
|
- Formal semantics (fr)
- Handbook of Logic and Language (fr)
- Informal lectures on formal semantics (fr)
- Language in action (fr)
- Meaning and grammar (fr)
- On the Logic and Learning of Language (fr)
- Semantics (fr)
- Semantics in generative grammar (fr)
- The Blackwell guide to the philosophy of language (fr)
- Type logical grammar (fr)
- Type-logical semantics (fr)
- Sémantique formelle : Volume 1 : Introduction à la grammaire de Montague (fr)
- Formal semantics (fr)
- Handbook of Logic and Language (fr)
- Informal lectures on formal semantics (fr)
- Language in action (fr)
- Meaning and grammar (fr)
- On the Logic and Learning of Language (fr)
- Semantics (fr)
- Semantics in generative grammar (fr)
- The Blackwell guide to the philosophy of language (fr)
- Type logical grammar (fr)
- Type-logical semantics (fr)
- Sémantique formelle : Volume 1 : Introduction à la grammaire de Montague (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- 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)
- 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
|
- Sémantique formelle (fr)
- Sémantique formelle (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
