Avis des lecteurs
Résumé:Ce livre est un examen formel et rigoureux de la logique des prédicats, qui se concentre sur ses fondements philosophiques plutôt que sur son application pratique. Bien qu'il puisse être utile pour des études avancées en philosophie ou en logique, il manque d'exercices pratiques et d'outils d'apprentissage qui sont essentiels pour les débutants ou ceux qui cherchent à appliquer directement la logique des prédicats.
Avantages:⬤ Fournit des informations détaillées sur les fondements philosophiques de la logique des prédicats.
⬤ Convient à des cours de premier ou de deuxième cycle universitaire.
⬤ Peut être intéressant pour ceux qui sont profondément engagés dans la logique et ses hypothèses.
⬤ Ce n'est pas un guide pratique pour apprendre à utiliser la logique des prédicats.
⬤ Les exercices ne sont pas suffisamment liés à l'application pratique et aucune réponse n'est fournie.
⬤ Prix élevé par rapport à d'autres textes de logique plus accessibles et plus pratiques.
(basé sur 3 avis de lecteurs)
Titre original :
Predicate Logic
Contenu du livre :
Les formes et la portée de la logique reposent sur des hypothèses concernant la façon dont le langage et le raisonnement sont liés à l'expérience. Dans ce volume, une analyse de la signification et de la vérité fournit une base pour l'étude des logiques propositionnelles et prédicatives modernes.
Les chapitres sur la logique propositionnelle, l'analyse des propositions, et le sens, la vérité et la référence fournissent une base pour les critères qui peuvent être utilisés pour juger les formalisations des arguments en langage ordinaire. Plus de 120 exemples de formalisations de propositions et d'arguments illustrent la portée et les limites de la logique moderne, telles qu'elles sont analysées dans les chapitres sur l'identité, les quantificateurs, les noms descriptifs, les fonctions et la logique du second ordre.
Le chapitre sur la logique du second ordre montre comment les différentes conceptions des prédicats et des propositions ne conduisent pas à une base commune pour la quantification sur les prédicats, comme c'est le cas pour la quantification sur les choses. Remarqué pour la clarté de sa présentation et complété par de nombreux exercices, ce volume s'adresse aux philosophes, linguistes, mathématiciens et informaticiens qui souhaitent mieux comprendre les outils qu'ils utilisent pour formaliser le raisonnement.
Autres informations sur le livre :
| ISBN : | 9780983452188 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
