Titre original :
Reasoning and Formal Logic
Contenu du livre :
Cette série de livres présente les principes fondamentaux de la logique dans un style accessible aux étudiants et aux chercheurs.
Le texte de chaque essai présente une histoire, la ligne principale du développement des idées, tandis que les notes et les annexes placent la recherche dans un contexte scientifique plus large. Le thème de base est l'analyse de la logique formelle en termes d'hypothèses métaphysiques dont nous avons besoin lorsque nous développons les systèmes formels que nous utilisons.
L'ensemble des essais donne une perspective de la logique formelle comme faisant partie de l'art de bien raisonner. Les essais sont les suivants : Possibilités et inférences valides, Un cadre général pour la sémantique des logiques propositionnelles, Pourquoi y a-t-il tant de logiques ? Vérité et raisonnement, Traductions, Réflexions sur la logique temporelle et modale, L'intemporalité de la logique classique des prédicats, Événements dans la métaphysique de la logique des prédicats, La catégoricité avec la métaphysique minimale, Réflexions sur les théorèmes de Godel, Sur l'erreur dans la preuve de Frege que les noms dénotent, et Post-scriptum : La logique comme art de bien raisonner ».
Autres informations sur le livre :
| ISBN : | 9781938421037 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
