Initiation à la logique formelle. 4e édition revue et augmentée

Le destin de l'auteur et celui de l'éditeur sont intimement liés. Cet ouvrage aborde les métiers et les pratiques de l'édition selon que l'on soit auteur (quel statut, quel contrat, comment être publié...) ou éditeur (relations avec les auteurs, les imprimeurs, comment être diffusé, quelle structure juridique adopter...). De l'élaboration d'un livre jusqu'à sa commercialisation, les embûches sont nombreuses. L'objectif affiché de cet ouvrage est d'aborder en des termes pratiques, les contingences matérielles et les obligations juridiques qui régissent le monde de l'édition. - Les droits et les contrats attachés à la propriété littéraire et artistique (le droit d'auteur, comment protéger un écrit, rédiger un contrat à compte d'éditeur, qu'est-ce qu'un contrat à compte à demi, à compte d'auteur, l'auteur salarié, la direction de collection...), - Le livre et la réglementation (le dépôt légal, l'identification ISBN, les mentions obligatoires, la loi sur le prix unique du livre...), - L'environnement social et fiscal (les taux de TVA applicables, le régime fiscal et social de l'auteur, les dépenses professionnelles de l'auteur...), - La fabrication : du manuscrit au livre (présentation dactylographique et typographique, les relations avec l'imprimeur, les étapes de la fabrication...), - L'environnement commercial (les filières de la diffusion et de la distribution, les relations avec les détaillants, la vente par correspondance, la souscription...), - L'exploitation (le coût de revient d'un livre, comment déterminer la quantité à tirer, le prix public, la gestion des stocks, les prévisions et les stratégies, les aides financières...). Plus d'une centaine d'adresses utiles et de nombreux modèles de contrats et modèles types viennent ponctuer les propos de l'auteur.

Une vue conventionnelle oppose souvent la pensée occidentale où prédominerait la rationalité, le logos, à la pensée orientale qui serait le royaume du symbolisme, de l'analogie. Les textes rassemblés ici donnent un aperçu beaucoup plus nuancé de la question. Analogie et raisonnement analytique sont présents tant en Orient qu'en Occident et la frontière entre les deux formes de pensée est moins tranchée qu'on a pu le dire. Il est vrai que l'analogie s'est traduite en Occident comme une remontée dans l'échelle des causes pour déboucher sur le Divin, alors qu'en Orient elle s'est déployée selon un axe horizontal pour penser la structure de l'univers et du langage. D'autres contributions mettent cependant en évidence le caractère universel de l'analogie et son lien étroit avec la rationalité discursive, dans le domaine religieux, en logique et en mathématique. D'autres textes encore comparent explicitement Orient et Occident ou se penchent sur l'articulation même de l'universel et du particulier. Les techniques et les disciplines convoquées sont très diverses et vont de la mathématique et de la logique aux études littéraires, à l'esthétique, à la philosophie, à la pédagogie, à la théologie et aux sciences de la communication.

Ce manuel propose six présentations fondamentales de la logique mathématique contemporaine et leurs relations : l'approche sémantique, l'axiomatique hilbertienne, la relation de conséquence, les séquents à conclusion multiple, les séquents à conclusion simple et la déduction naturelle. L'exposé théorique, très complet, vise à justifier systématiquement les choix adoptés et ne laisse aucune difficulté variable, résolus ou dont la solution est esquissée, ainsi que d'ouvertures sur des prolongements théoriques. Avec un contenu moins dogmatique et plus réflexif que celui de nombreux titres publiés précédemment sur le sujet, cet ouvrage s'adresse principalement aux étudiants de mathématiques, de philosophie, d'informatique ou de sciences formelles ayant déjà suivi un cours de base en logique et qui, soucieux de poursuivre leur étude, se heurtent souvent à la multiplicité des approches et des notations. Son organisation et son style permettent à chaque lecteur de progresser "à la carte" en fonction de ses centres d'intérêt.

Un ouvrage qui, comme chacun des titres de la collection : - propose un large éventail d'exercices ; - permet les acquisitions fondamentales comme les activités de soutien et d'approfondissement. - est compatible avec chaque méthode d'enseignement. Cet ouvrage amène l'élève à une meilleure compréhension des textes. Il est décomposé en deux parties : - pour mieux lire ; - trouver l'information. Une partie ludique de jeux à lire et à dire est proposée ; elle peut être abordée oralement.