SOLDES

Jusqu'à -70% sur une sélection d'articles*

Introduction à la sémantique formelle. Du sens logique des phrases

Par : Alain Lecomte
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 24 juillet
      Cet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages119
  • FormatGrand Format
  • PrésentationBroché
  • Poids0.21 kg
  • Dimensions15,2 cm × 23,0 cm × 0,8 cm
  • ISBN978-3-8417-4403-6
  • EAN9783841744036
  • Date de parution07/11/2016
  • ÉditeurEd. Universitaires Européennes

Résumé

Ce livre est une introduction à la sémantique formelle. Il s'adresse principalement à des étudiants en sciences du langage, mais aussi à des étudiants en mathématiques ou en logique qui auraient envie de connaître les applications de leur discipline au domaine linguistique. La sémantique formelle est l'étude du sens, principalement des phrases (mais aussi des discours), basée sur deux principes qui sont abondamment développés ici : la véri-conditionnalité (comprendre le sens d'une phrase c'est comprendre quand elle est vraie relativement à une situation donnée) et la compositionalité (le sens d'une unité supérieure s'obtient par composition des sens des unités qui la constituent).
Son étude nécessite donc des connaissances en logique qui incluent la logique propositionnelle, la logique des prédicats voire la théorie des mondes possibles (pour les logiques dites "modales"). Mais ce livre pose aussi la question du caractère suffisant ou non de la logique classique. Il aborde en effet des sujets (comme la représentation du temps et de l'aspect ou bien la représentation des pluriels) qui semblent requérir autre chose (topologie, méréologie, voire logique linéaire).