Sémantique formelle PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Sémantique formelle PDF full book. Access full book title Sémantique formelle by Laurent Roussarie . Download full books in PDF and EPUB format.
Author: Laurent Roussarie
Publisher: Language Science Press
ISBN: 3961100179
Category : Montague grammar
Languages : fr
Pages : 498
Get Book Here
Book Description
Depuis près d'un demi-siècle, la sémantique formelle, à l'intersection féconde de la linguistique, la logique et la philosophie, occupe une place de premier plan dans le domaine de la linguistique théorique. Ce manuel, le premier en français de cette ampleur, en propose une présentation à la fois introductive et approfondie. La sémantique formelle est parfois appréhendée avec hésitation (voire redoutée) du fait de sa rigueur mathématique et de l'apparente complexité de son symbolisme ; le présent ouvrage vise à en donner une approche pédagogique, stimulante et dédramatisée. Il est conçu pour offrir un apprentissage et une maîtrise autonomes et progressifs des principaux aspects conceptuels et formels de la théorie, en accordant une attention particulière aux innovations marquantes qui ont structuré le domaine depuis les travaux fondateurs de R. Montague. Il a également pour objectif de proposer, au fil des pages, une introduction à des éléments de méthodologie scientifique afin de donner un aperçu des pratiques d'analyse propres à la sémantique formelle. Les six chapitres, accompagnés de nombreux exercices corrigés, y abordent les notions de base de logique et de sémantique vériconditionnelle, les phénomènes de quantification, la logique intensionnelle appliquée à la temporalité et les modalités, le λ-calcul typé et l'analyse sémantique compositionnelle à l'interface syntaxe-sémantique. Le volume sera complété d'un second qui présentera plusieurs applications et développements qui étendent la portée du formalisme. L'ouvrage s'adresse aux étudiants de licence et master de sciences de langage, mais aussi d'autres disciplines comme, par exemple, la philosophie, la logique, l'informatique, ainsi qu'aux chercheurs désireux de s'initier, se mettre à jour ou se perfectionner dans la discipline.
Author: Laurent Roussarie
Publisher: Language Science Press
ISBN: 3961100179
Category : Montague grammar
Languages : fr
Pages : 498
Get Book Here
Book Description
Depuis près d'un demi-siècle, la sémantique formelle, à l'intersection féconde de la linguistique, la logique et la philosophie, occupe une place de premier plan dans le domaine de la linguistique théorique. Ce manuel, le premier en français de cette ampleur, en propose une présentation à la fois introductive et approfondie. La sémantique formelle est parfois appréhendée avec hésitation (voire redoutée) du fait de sa rigueur mathématique et de l'apparente complexité de son symbolisme ; le présent ouvrage vise à en donner une approche pédagogique, stimulante et dédramatisée. Il est conçu pour offrir un apprentissage et une maîtrise autonomes et progressifs des principaux aspects conceptuels et formels de la théorie, en accordant une attention particulière aux innovations marquantes qui ont structuré le domaine depuis les travaux fondateurs de R. Montague. Il a également pour objectif de proposer, au fil des pages, une introduction à des éléments de méthodologie scientifique afin de donner un aperçu des pratiques d'analyse propres à la sémantique formelle. Les six chapitres, accompagnés de nombreux exercices corrigés, y abordent les notions de base de logique et de sémantique vériconditionnelle, les phénomènes de quantification, la logique intensionnelle appliquée à la temporalité et les modalités, le λ-calcul typé et l'analyse sémantique compositionnelle à l'interface syntaxe-sémantique. Le volume sera complété d'un second qui présentera plusieurs applications et développements qui étendent la portée du formalisme. L'ouvrage s'adresse aux étudiants de licence et master de sciences de langage, mais aussi d'autres disciplines comme, par exemple, la philosophie, la logique, l'informatique, ainsi qu'aux chercheurs désireux de s'initier, se mettre à jour ou se perfectionner dans la discipline.
Author: Alain Lecomte
Publisher: Univ Europeenne
ISBN: 9783841744036
Category :
Languages : fr
Pages : 128
Get Book Here
Book Description
Ce livre est une introduction a la semantique formelle. Il s'adresse principalement a des etudiants en sciences du langage, mais aussi a des etudiants en mathematiques ou en logique qui auraient envie de connaitre les applications de leur discipline au domaine linguistique. La semantique formelle est l'etude du sens, principalement des phrases (mais aussi des discours), basee sur deux principes qui sont abondamment developpes ici: la veri-conditionnalite (comprendre le sens d'une phrase c'est comprendre quand elle est vraie relativement a une situation donnee) et la compositionalite (le sens d'une unite superieure s'obtient par composition des sens des unites qui la constituent). Son etude necessite donc des connaissances en logique qui incluent la logique propositionnelle, la logique des predicats voire la theorie des mondes possibles (pour les logiques dites modales). Mais ce livre pose aussi la question du caractere suffisant ou non de la logique classique. Il aborde en effet des sujets (comme la representation du temps et de l'aspect ou bien la representation des pluriels) qui semblent requerir autre chose (topologie, mereologie, voire logique lineaire).
Author: Laurent Roussarie
Publisher:
ISBN: 9781977891549
Category : Language Arts & Disciplines
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Laurent Roussarie
Publisher:
ISBN: 9781977891549
Category :
Languages : fr
Pages : 496
Get Book Here
Book Description
Depuis pr�s d'un demi-si�cle, la s�mantique formelle, � l'intersection f�conde de la linguistique, la logique et la philosophie, occupe une place de premier plan dans le domaine de la linguistique th�orique. Ce manuel, le premier en fran�ais de cette ampleur, en propose une pr�sentation � la fois introductive et approfondie. La s�mantique formelle est parfois appr�hend�e avec h�sitation (voire redout�e) du fait de sa rigueur math�matique et de l'apparente complexit� de son symbolisme ; le pr�sent ouvrage vise � en donner une approche p�dagogique, stimulante et d�dramatis�e. Il est con�u pour offrir un apprentissage et une ma�trise autonomes et progressifs des principaux aspects conceptuels et formels de la th�orie, en accordant une attention particuli�re aux innovations marquantes qui ont structur� le domaine depuis les travaux fondateurs de R. Montague. Il a �galement pour objectif de proposer, au fil des pages, une introduction � des �l�ments de m�thodologie scientifique afin de donner un aper�u des pratiques d'analyse propres � la s�mantique formelle.Les six chapitres, accompagn�s de nombreux exercices corrig�s, y abordent les notions de base de logique et de s�mantique v�riconditionnelle, les ph�nom�nes de quantification, la logique intensionnelle appliqu�e � la temporalit� et les modalit�s, le lambda-calcul typ� et l'analyse s�mantique compositionnelle � l'interface syntaxe-s�mantique. Le volume sera compl�t� d'un second qui pr�sentera plusieurs applications et d�veloppements qui �tendent la port�e du formalisme.L'ouvrage s'adresse aux �tudiants de licence et master de sciences de langage, mais aussi d'autres disciplines comme, par exemple, la philosophie, la logique, l'informatique, ainsi qu'aux chercheurs d�sireux de s'initier, se mettre � jour ou se perfectionner dans la discipline.
Author: Francis Corblin
Publisher: Presses Universitaires de France - PUF
ISBN:
Category : Discourse analysis
Languages : fr
Pages : 316
Get Book Here
Book Description
Ce livre est consacré à deux théories majeures pour les études sémantiques contemporaines : la Théorie des représentations du discours, et la Théorie des quantificateurs généralisés. La Théorie des représentations du discours introduit en sémantique une perspective dynamique sur l'interprétation, et étend le domaine de la sémantique formelle au discours. Depuis le travail fondateur de Hans Kamp en 1981, le point de vue et le langage de représentation de cette théorie sont largement utilisés en linguistique. La Théorie des quantificateurs généralisés (Barwise et Cooper, 1981 ; Keenan et Stavi, 1986) offre à l'analyse linguistique un concept de quantification beaucoup plus puissant et flexible que celui de la logique du premier ordre. Le premier objectif de cet ouvrage est de donner une introduction à ces deux théories. On a cherché à rendre cette introduction accessible aux non spécialistes, et à l'illustrer au moyen d'exemples empruntés au français. La seconde partie du livre traite de la contribution de ces travaux à l'analyse de données complexes du français dans le domaine de la détermination nominale et de l'anaphore. On reprend sur ces bases nouvelles la typologie des groupes nominaux, et particulièrement la nature des catégories linguistiques de l'indéfini et du défini, en précisant ce qui les distingue de la quantification proprement dite.
Author: Adam Schaff
Publisher:
ISBN:
Category : Semantics (Philosophy)
Languages : fr
Pages : 360
Get Book Here
Book Description
Author: Paul Kroeger
Publisher: Language Science Press
ISBN: 3961103909
Category : Language Arts & Disciplines
Languages : en
Pages : 496
Get Book Here
Book Description
This book provides an introduction to the study of meaning in human language, from a linguistic perspective. It covers a fairly broad range of topics, including lexical semantics, compositional semantics, and pragmatics. The chapters are organized into six units: (1) Foundational concepts; (2) Word meanings; (3) Implicature (including indirect speech acts); (4) Compositional semantics; (5) Modals, conditionals, and causation; (6) Tense & aspect. Most of the chapters include exercises which can be used for class discussion and/or homework assignments, and each chapter contains references for additional reading on the topics covered. As the title indicates, this book is truly an introduction: it provides a solid foundation which will prepare students to take more advanced and specialized courses in semantics and/or pragmatics. It is also intended as a reference for fieldworkers doing primary research on under-documented languages, to help them write grammatical descriptions that deal carefully and clearly with semantic issues. The approach adopted here is largely descriptive and non-formal (or, in some places, semi-formal), although some basic logical notation is introduced. The book is written at level which should be appropriate for advanced undergraduate or beginning graduate students. It presupposes some previous coursework in linguistics, but does not presuppose any background in formal logic or set theory.
Author: A. Schaff
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
Author: Sylvain Kahane
Publisher: BoD – Books on Demand
ISBN: 3985540373
Category : Language Arts & Disciplines
Languages : en
Pages : 650
Get Book Here
Book Description
Conçu comme une introduction générale à la syntaxe, cet ouvrage présente les notions de base nécessaires à une étude de la combinaison des unités lexicales et grammaticales au sein d’un énoncé. Sans se placer dans un cadre préconçu, l’ouvrage étudie les différentes possibilités pour la représentation des structures syntaxiques, en fonction des principes généraux et des critères particuliers retenus. Élaboré avec l’objectif de fournir une base pour l’enseignement de la syntaxe à l’université, cet ouvrage souhaite montrer qu’on peut dégager de manière méthodique les propriétés des langues et mettre de l’ordre dans la forêt vierge que constitue chaque langue. Il est divisé en trois parties : comment élaborer le modèle d’une langue, comment déterminer les unités de base de la langue en fonction de leur sens, forme et combinatoire, comment définir et représenter les différents modes d’organisation des unités. Cette dernière partie présente une abondance de diagrammes syntaxiques de diverses natures. L’ouvrage est découpé en de petites sections, alternant le contenu principal avec des éclairages, des notes historiques, des élaborations plus formelles, des exemples linguistiques dans diverses langues, des propositions de lectures additionnelles et des exercices avec des éléments de correction. Kim Gerdes et Sylvain Kahane collaborent depuis 20 ans et ont publié ensemble plus de 40 articles. Ils se sont intéressés à différents aspects de la syntaxe des langues. Après avoir travaillé sur la modélisation formelle de l’ordre des mots en allemand et en français, ils ont commencé à partir de 2008 à développer des corpus annotés en syntaxe de dépendance pour le français parlé, s’intéressant à la fois aux problèmes théoriques de l’analyse en dépendance et aux questions plus particulièrement posées par les productions orales, notamment concernant les limites de la syntaxe. Conceived as a general introduction to syntax, this book presents the basic concepts necessary for a study of the combination of lexical and grammatical units within an utterance. The book does not impose a preconceived framework, but rather examines the various possibilities for the representation of syntactic structures, according to the general principles and specific criteria that have been adopted. The aim of this book is to provide a basis for teaching syntax at university, and to show that it is possible to identify the properties of languages in a methodical way and to put order in the jungle of each language. The book is divided into three parts: How to develop the model of a language? How to determine the basic units of a language according to their meaning, form, and combinatorial nature? How to define and represent the different ways in which the units are organized? This last part presents an abundance of syntactic diagrams of a wide range of types. The book is divided into small sections, alternating the main content with insights, historical notes, formal elaborations, linguistic examples in diverse languages, proposals for further reading, and exercises with answer keys. Kim Gerdes and Sylvain Kahane have been collaborating for 20 years and have published together more than 40 articles. They have been interested in different aspects of the syntax of languages. After working on formal modeling of word order in German and French, they started in 2008 to develop annotated corpora in dependency syntax for spoken French, focusing both on theoretical problems of dependency analysis and on questions more specifically raised by oral productions, notably concerning the limits of syntax.
Author: Christoph Schwarze
Publisher: Gunter Narr Verlag
ISBN: 9783823349839
Category : Generative grammar
Languages : fr
Pages : 166
Get Book Here
Book Description
