Sémantique formelle: Volume 1
"For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent comp...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Online |
| 語言: | 法语 |
| 出版: |
Language Science Press
2021
|
| 主題: | |
| 在線閱讀: | 641735 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| _version_ | 1869524199928758272 |
|---|---|
| author | Roussarie, Laurent |
| author_browse | Roussarie, Laurent |
| author_facet | Roussarie, Laurent |
| author_sort | Roussarie, Laurent |
| collection | Directory of Open Access Books |
| description | "For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics. The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed λ-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism.
The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science." |
| format | Online |
| id | doab-20.500.12854ir-38912 |
| institution | Directory of Open Access Books |
| language | fre |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Language Science Press |
| publisherStr | Language Science Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-389122024-11-16T05:35:57Z Sémantique formelle: Volume 1 Roussarie, Laurent intensionality temporal and modal logic syntax-semantics interface formal semantics logic and model-theoretic semantics textbook compositional semantic analysis λ-calculus Textbook thema EDItEUR::C Language and Linguistics::CF Linguistics "For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics. The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed λ-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism. The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science." 2021-02-10T12:58:18Z 2018-01-12 23:55 2017-12-01 23:55:55 2018-12-12 10:19:03 2020-04-01T13:15:06Z 2017 book 641735 OCN: 1030816492 2364-6209 http://library.oapen.org/handle/20.500.12657/30841 9781977891549 https://directory.doabooks.org/handle/20.500.12854/38912 fre Textbooks in Language Sciences open access image/jpeg image/jpeg image/jpeg image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf Language Science Press 10.5281/zenodo.1000504 10.5281/zenodo.1000504 ed03121b-b998-4b50-8d58-1d0745565558 Knowledge Unlatched 9781977891549 Knowledge Unlatched (KU) 498 open access |
| spellingShingle | intensionality temporal and modal logic syntax-semantics interface formal semantics logic and model-theoretic semantics textbook compositional semantic analysis λ-calculus Textbook thema EDItEUR::C Language and Linguistics::CF Linguistics Roussarie, Laurent Sémantique formelle: Volume 1 |
| title | Sémantique formelle: Volume 1 |
| title_full | Sémantique formelle: Volume 1 |
| title_fullStr | Sémantique formelle: Volume 1 |
| title_full_unstemmed | Sémantique formelle: Volume 1 |
| title_short | Sémantique formelle: Volume 1 |
| title_sort | semantique formelle volume 1 |
| topic | intensionality temporal and modal logic syntax-semantics interface formal semantics logic and model-theoretic semantics textbook compositional semantic analysis λ-calculus Textbook thema EDItEUR::C Language and Linguistics::CF Linguistics |
| topic_facet | intensionality temporal and modal logic syntax-semantics interface formal semantics logic and model-theoretic semantics textbook compositional semantic analysis λ-calculus Textbook thema EDItEUR::C Language and Linguistics::CF Linguistics |
| url | 641735 |
| work_keys_str_mv | AT roussarielaurent semantiqueformellevolume1 |