
Logique et langage : déduction naturelle
Penser, parler, raisonner sont des activités liées au logos grec. Ces activités sont en étroite interaction, en particulier dans les sciences cognitives actuelles. La logique est-elle un art pour bien raisonner ? Une méthode d'argumentation correcte ? Une science de démonstration ? Une discipline dont la norme est le vrai ? Une étude des opérations mentales ? Une identification des lois de la pensée ? Une analyse formelle des concepts ? L'analyse du langage des mathématiques ? Une recherche sur les fondements théoriques de l'informatique ? La logique est un langage qui doit aider à répondre, au moins en partie, à toutes ces questions. Plutôt que de présenter la logique comme un système formel, avec des règles générales, nous préférons présenter la logique des propositions et des prédicats par la méthode de la "déduction naturelle" de A. Gentzen (1934). Cette méthode a l'avantage de mieux faire comprendre le rôle des "constantes logiques", c'est-à-dire de la négation, des petits mots de la langue naturelle comme et, ou, si alors, tous, quelques, aucun... Cet ouvrage est destiné à des étudiants des trois premières années d'université et au-delà qui désirent acquérir la maîtrise des raisonnements logiques, que ce soit en philosophie, en linguistique, en psychologie, en sociologie, en communication, et bien sur en informatique et en mathématiques. Le livre est accompagné d'un CD-Rom gratuit, qui permettra aux lecteurs de résoudre les exercices proposés en ayant les éléments de réponses lorsqu'ils rencontreront des difficultés. Les auteurs ont tous enseigné cette matière à l'université de Paris-Sorbonne dans des cours destinés à des étudiants en sciences humaines. L'ouvrage et les exercices résultent de cette expérience pédagogique.
| Nombre de pages | 212 |
|---|---|
| Date de parution | 15/04/2010 |
| Poids | 313g |
| Largeur | 156mm |
| SKU: | 9782705669256 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | Yes (In Stock) |
| Is Salable (direct MSI check): | Yes (In Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| EAN | 9782705669256 |
|---|---|
| Titre | Logique et langage : déduction naturelle |
| Auteur | Desclés Jean-Pierre ; Djioua Brahim ; Le Priol Flo |
| Editeur | HERMANN |
| Largeur | 156 |
| Poids | 313 |
| Date de parution | 20100415 |
| Nombre de pages | 212,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

La sagesse "présocratique". Communication des savoirs en Grèce archaïque : des leiux et des hommes
Desclos Marie-Laurence ; Fronterotta FrancescoRésumé : Que connaît-on des "Présocratiques" ? Quelques anecdotes légendaires et quelques noms. Mais on oublie trop souvent que ces savants grecs, poètes et historiens, médecins et physiologues, géographes et "météorologues", étaient engagés dans un vaste débat intellectuel ignorant les frontières géographiques et les barrières disciplinaires, participant activement à la vie politique de leur cité. Une invitation à découvrir, ou à redécouvrir, leurs écrits qui témoignent d'une intense effervescence intellectuelle et d'une remarquable circulation des savoirs.ÉPUISÉVOIR PRODUIT35,90 € -

Réussir toute l'AFGSU 1 & 2 en 40 fiches de cours et 60 entraînements. 2e édition
Lagadec Steven ; Desclefs Jean-Philippe ; Paris LaSynthétique, pratique et illustré, ce livre de poche a été conçu pour les étudiants et les soignants qui doivent passer ou repasser l'Attestation de formation aux gestes et soins d'urgence (AFGSU) 1 & 2. Il sera également utile aux formateurs souhaitant transmettre les bases théoriques et les gestes techniques des premiers secours. 40 Fiches de révision. Présentée sous la forme de fiches mémo richement illustrées, à jour des recommandations ERC 2021, la partie "cours " est découpée en 5 parties thématiques (évaluer, protéger, alerter, secourir, les risques collectifs) et aborde ainsi l'ensemble du programme les urgence vitales ; les urgences potentielles ; les urgences à caractère médical ; les spécialisations en risques collectifs et plans sanitaires ; la prise en charge seul ou en équipe. Les sources issues de l'actualité scientifique sont précisées à la fin de chaque fiche. 60 Entraînements. La partie "Entraînements" propose des exercices variés pour s'auto-évaluer, avec des QCM, des QROC et des mises en situation. Leurs corrigés sont détaillés en fin d'ouvrage pour comprendre ses erreurs et se préparer au mieux.ÉPUISÉVOIR PRODUIT14,50 € -

L'aide médicale à bien mourir. Les grands enjeux
Desclos JeanL'aide médicale à mourir est désormais une pratique admise dans les législations canadienne et québécoise. Pour plusieurs, le geste demeure suspect aux plans éthique et religieux. D'où l'importance d'en approfondir les grands enjeux, en réfléchissant positivement sur la souffrance et la mort humaines : elles sont toujours une expérience tout à fait personnelle, singulière, unique. Elles nous invitent à examiner avec ouverture d'esprit le défi que pose la misère incontrôlable de personnes en attente de compassion. L'auteur souligne le lien étroit entre le mystère de la mort et le mystère de la liberté, qui nous renvoient à celui de Dieu lui-même. Comment s'articulent le devoir de vivre, la souffrance, le rôle de la conscience, le sens de la dignité, le temps de la mort, et la pensée biblique sur la mort ? Lorsque la souffrance devient absurde, la mort n'est-elle pas un don du Dieu libérateur, et l'aide médicale à mourir comme la manifestation d'une compassion fondamentale à l'égard des souffrants ? Ce livre est une invitation à dépasser un regard uniquement négatif sur la mort et à accueillir son ultime appel.ÉPUISÉVOIR PRODUIT26,00 € -
Guide pratique de l'ARM. Assistant de Régulation Médicale
Dinot Emmanuel ; Desclefs Jean-Philippe ; GaltierRésumé : L'assistant de régulation médicale (ARM) est le premier maillon de la chaîne des secours préhospitaliers c'est le premier interlocuteur pour toute personne ayant composé le 15 sur son téléphone en cas d'urgence médicale. Il accueille écoute et analyse chaque appel dans les plus brefs délais. Il doit identifier chaque appelant localiser le plus précisément possible l'adresse de chaque intervention et procéder à la hiérarchisation des appels par un interrogatoire bref et précis. La demande étant exprimée l'ARM oriente l'appel vers un médecin régulateur et met en oeuvre ses décisions (engagement de SMUR VSAV ambulance...). Cet ouvrage se concentre principalement sur le module 1 de la nouvelle formation des ARM : le rôle et le cadre d'exercice de l'ARM la situation d'urgence et la communication. Il est divisé en 6 grandes parties : - les bases de la communication ; - la qualification initiale de l'appel ; - l'adaptation au tableau clinique ; - les pathologies circonstancielles ; - les principales pathologies stomatologiques ORL et ophtalmologiques rencontrées en régulation au SAMU-Centre 15 ; - les urgences médicopsychologiques et psychiatriques. Il compte également plusieurs annexes présentant l'alphabet radio international les abréviations et les termes courants en situation sanitaire la compréhension des termes médicaux les notions de base sur le matériel de médecine d'urgence... Véritable guide pour tout futur ARM il est aussi un aide-mémoire destiné à reposer sur chaque poste. Il est composé d'une cinquantaine de fiches qui proposent de façon didactique de nombreux encadrés et schémas décisionnels avec un code couleur permettant de guider la pratique au quotidien. Le propos est également étayé de figures anatomiques et photos en situation.ÉPUISÉVOIR PRODUIT25,10 €
Du même éditeur
-
Ecrits et propos
Soulages Pierre ; Le Lannou Jean-MichelRésumé : " Une peinture est un tout organisé, un ensemble de formes (lignes, surfaces colorées...) sur lequel viennent se faire ou se défaire les sens qu'on lui prête. Le contenu de cet ensemble n'est pas un équivalent d'émotion, de sensation, il vit de lui-même. Ces relations entre les formes sont un transfert de relations de l'univers à une autre signification. Dans ce qu'elle a d'essentiel la peinture est une humanisation du monde. " Pierre Soulages (1948) Voici réunis, dans leur variété, leur constante et exemplaire rigueur, quelques-uns des textes et entretiens de Pierre Soulages. Ils explicitent pour nous son oeuvre immense.ÉPUISÉVOIR PRODUIT28,05 € -
La société robotisée. Enjeux éthiques et politiques
Parizeau Marie-Hélène ; Kash SoheilMobiles, interactifs, capables de communiquer, les robots peuvent-ils pour autant "penser" ou prendre des décisions à la place des humains ? Faut-il les considérer comme des agents moraux ayant une "autonomie" ou leur donner un statut juridique particulier ? Qui est alors responsable de leurs actions - le concepteur informaticien, le fabricant industriel, l'usager consommateur ? Pour quelles finalités tous ces robots sont-ils conçus ? Depuis peu, le public a découvert comment des robots pouvaient remplacer l'être humain dans un nombre croissant d'activités économiques, sociales et politiques. Les robots-drones sont utilisés dans les conflits armés ou encore dans des contextes non armés pour la surveillance ou l'assassinat ciblé. Des robots aux formes androïdes ont fait leur apparition dans le domaine de la santé et du bien-être. Dans les hôpitaux, des robots opèrent sous la direction du chirurgien, d'autres robots aux formes animales deviennent des "compagnons" pour les personnes âgées. Dans des écoles, des robots sont utilisés par des enseignants pour l'apprentissage des langues ou des matières scientifiques. Dans des maisons, des robots de service aspirent la poussière des tapis tandis que des jouets-robots s'occupent des enfants. Dans le domaine de l'agriculture, des robots traient les vaches et nettoient l'étable. Dans les usines, les robots accélèrent la productivité et l'efficacité de la production industrielle. Tous ces robots qui remplacent les êtres humains dans des tâches devenues "robotisables" font-ils de notre société "une société robotisée" ? Tant par la réflexion théorique qu'à l'aide d'exemples précis, cet ouvrage multidisciplinaire examine comment les robots modifient la qualité de nos relations humaines, en quoi ils transforment certaines valeurs fondamentales comme la liberté et l'égalité, ou encore de quelle façon ils entraînent des changements sociaux et culturels, par exemple dans nos relations aux animaux ou à l'environnement.ÉPUISÉVOIR PRODUIT36,55 € -
De l'éducation libérale. Essai sur la transmission de la culture générale
Richard Louis-AndréDans son livre L'âme désarmée, essai sur le déclin de la culture générale, le philosophe Allan Bloom écrivait : "La question qui se pose à tout jeune être humain : "Qui suis-je ? " et le besoin puissant de se conformer à l'impératif de l'oracle de Delphes : "Connais-toi toi-même" qui est congénital en chacun de nous, signifient en premier lieu : "Qu'est-ce que l'homme ? "... La culture générale donne accès à ces réponses, dont plusieurs vont à l'encontre de notre nature et de notre époque. L'homme pourvu de culture générale est capable de ne pas s'en tenir aux réponses faciles... Il est certes ridicule de croire que ce qu'on apprend dans les livres représente l'alpha et l'oméga de l'éducation, mais la lecture est toujours nécessaire, en particulier à une époque où les exemples vivants de valeurs élevées sont rares". Inscrits dans la foulée de cette réflexion, Thomas De Koninck, Joseph Facal, Mathieu Bock-Côté et Louis-André Richard, professeurs engagés au service de l'éducation libérale, tentent de comprendre les chemins menant à une culture générale signifiante. Nous proposons, en songeant à la course effrénée des penseurs de l'école pour adapter celle-ci aux besoins immédiats du monde du travail ou aux tendances sociétales du moment, d'interroger les modalités de l'éducation supérieure : Remplit-elle son mandat ? Favorise-t-elle un milieu privilégié d'éducation libérale ? Qu'en est-il aujourd'hui de l'idée d'université ?ÉPUISÉVOIR PRODUIT23,00 € -
Illusions dangereuses. Quand les religions nous privent de bonheur
Malkin VitalyNous vivons une époque paradoxale : les extraordinaires progrès scientifiques et techniques des dernières décennies ont bouleversé notre existence, mais, dans le même temps, un fulgurant retour de la barbarie sape nos valeurs laïques fondamentales, héritées des Lumières. Religions et utopies sociales, ces illusions dangereuses constituent la pire malédiction de l'humanité ; elles assaillent notre liberté de penser et de nous exprimer librement. Elles nous imposent leurs critères absolutistes du Bien et du Mal ainsi leur foi dans un au-delà ou un avenir radieux chimériques. Leur but est évident : nous empêcher de vivre sereinement et nous priver du bonheur quotidien. Dès lors, l'alternative est tranchée : Homme ou Dieu ? Raison ou foi ? Plaisir ou ascèse ? Vivre ici et maintenant ou attendre la vie après la mort ? Ce livre très documenté n'en est pas moins un ouvrage grand public : écrit dans un style simple et accessible, il se veut un essai-coup de poing, un pamphlet choc et sulfureux pour nous libérer des fausses promesses et des mensonges qui nous emprisonnent.ÉPUISÉVOIR PRODUIT28,05 €
De la même catégorie
-
Des mots & des maths
Tenenbaum GéraldCorps, dérivée, matrice, racine, spectre... Les mathématiques s'expriment avec le langage commun, mais qu'expriment-elles au juste ? A partir de 30 mots qui, un jour ou l'autre, nous ont tous interrogés, ce livre nous propose un voyage en quête du sens profond des mathématiques. La dérivée est certes une dérive, mais dans quel espace ? Et la racine (carrée) puise dans un autre niveau de réalité, mais lequel au juste ? La pensée la plus abstraite, même si elle est parfois contrainte d'inventer son propre vocabulaire, emprunte tout naturellement au langage ordinaire. En analysant les mots des maths aux prismes de l'histoire, de la littérature et de la linguistique, l'auteur dévoile quelque chose du rapport des mathématiques au monde profane. Loin de l'idée reçue d'une discipline réputée austère et impénétrable, une approche des mathématiques séduisante et ludique.ÉPUISÉVOIR PRODUIT23,75 € -
Analyse MPSI/PCSI 1re année. Cours, exercices corrigés, 2e édition
Costantini GillesRésumé : Le texte écrit dans un style clair et détaillé permet à tous les étudiants, quel que soit leur niveau, de suivre pas à pas les démonstrations. De nombreuses figures facilitent la compréhension des notions abordées. Pour chaque chapitre, des questions de cours et des exercices systématiquement corrigés de façon très détaillée permettent de vérifier les acquis. Des repères historiques accompagnent la progression : les théorèmes et résultats sont datés, les sources sont indiquées et des notices biographiques évoquent les faits marquants de la vie des mathématiciens cités. L'ouvrage propose des compléments destinés aux lecteurs souhaitant un approfondissement du programme officiel. L'ouvrage intéressera également les étudiants de licence ainsi que les candidats au CAPES et à l'agrégation.ÉPUISÉVOIR PRODUIT37,50 € -
Découvrir les mathématiques autrement. Algèbre et géométrie
Verstegen DirkMême après des années d'étude, les notions fondamentales des mathématiques sont souvent mal maîtrisées, et si vite oubliées ! Dans cet ouvrage, l'auteur vous invite à les découvrir autrement. Plusieurs chapitres commencent par des questions pratiques : comment calculer la surface délimitée par une ligne courbe ? Comment déterminer des distances sans toutes les mesurer ? Quel est le montant à rembourser en cas d'emprunt ? L'approche va du concret a l'abstrait et le langage employé est le plus simple possible. Le lecteur est encouragé à manipuler des chiffres et mesurer des distances pour se donner confiance et développer son intuition. Le texte couvre l'ensemble du chemin qui mène du problème à la solution, y compris les techniques numériques. Il se concentre sur la compréhension plutôt que sur la virtuosité technique. Le bien-fondé des définitions est examiné de façon critique. Des procédés de détection d'erreurs de calcul sont expliqués. Certaines questions sont abordées de différentes manières (par exemple au moyen de la géométrie d'Euclide et puis de la géométrie analytique), et leurs mérites respectifs sont discutés. Ce volume traite principalement de l'algèbre, de la géométrie, des fonctions les plus courantes et des coniques.ÉPUISÉVOIR PRODUIT33,00 € -
Mathématiques économiques
Caulier Jean-FrançoisCet ouvrage est composé de fiches de synthèse rassemblant les principaux outils fondamentaux des mathématiques indispensables à la réussite des études de 1er cycle universitaire en sciences économiques, gestion, AES. Cet ouvrage propose une synthèse des principaux concepts mathématiques fondamentaux pour les sciences économiques. Les différents outils nécessaires à la formalisation tant enmicroéconomie, macroéconomie qu'économétrie sont ici rassemblés. Les fiches de cours illustrées suivies d'exercices corrigés en détail assurent la bonne compréhension des notions fondamentales et la vérification de l'acquisition des connaissances. Chaque fiche contient : > des rappels de cours afin de réviser les points essentiels. > des points de méthodologie, d'attention et des astuces. > des exemples et observations détaillés pour illustrer les notions ou apprendre à résoudre les questions. > des exercices corrigés en détail.ÉPUISÉVOIR PRODUIT18,00 €








