Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
"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...
Saved in:
Main Author: | |
---|---|
Format: | Electronic Book Chapter |
Published: |
Language Science Press
2017
|
Series: | Textbooks in Language Sciences
4 |
Subjects: | |
Online Access: | OAPEN Library: download the publication OAPEN Library: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000naaaa2200000uu 4500 | ||
---|---|---|---|
001 | oapen_2024_20_500_12657_30841 | ||
005 | 20180112 | ||
003 | oapen | ||
006 | m o d | ||
007 | cr|mn|---annan | ||
008 | 20180112s2017 xx |||||o ||| 0|fra d | ||
020 | |a zenodo.1000504 | ||
020 | |a 9781977891549 | ||
040 | |a oapen |c oapen | ||
024 | 7 | |a 10.5281/zenodo.1000504 |c doi | |
041 | 0 | |a fra | |
042 | |a dc | ||
072 | 7 | |a CF |2 bicssc | |
100 | 1 | |a Roussarie, Laurent |4 auth | |
245 | 1 | 0 | |a Sémantique formelle: Volume 1 |b Introduction à la grammaire de Montague |
260 | |b Language Science Press |c 2017 | ||
300 | |a 1 electronic resource (498 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Textbooks in Language Sciences |v 4 | |
506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
520 | |a "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." | ||
540 | |a Creative Commons |f https://creativecommons.org/licenses/by/4.0/ |2 cc |4 https://creativecommons.org/licenses/by/4.0/ | ||
546 | |a French | ||
650 | 7 | |a linguistics |2 bicssc | |
653 | |a intensionality | ||
653 | |a temporal and modal logic | ||
653 | |a syntax-semantics interface | ||
653 | |a formal semantics | ||
653 | |a logic and model-theoretic semantics | ||
653 | |a textbook | ||
653 | |a compositional semantic analysis | ||
653 | |a λ-calculus | ||
856 | 4 | 0 | |a www.oapen.org |u https://library.oapen.org/bitstream/id/c349789f-ef9e-45f1-82b2-6eb3577ec106/641735.pdf |7 0 |z OAPEN Library: download the publication |
856 | 4 | 0 | |a www.oapen.org |u http://library.oapen.org/handle/20.500.12657/30841 |7 0 |z OAPEN Library: description of the publication |