Livre de logique

Je tiens ce livre de Jacques Duparc dans mes mains.

J'en ai tellement rêvé de ce livre avant même de savoir qu'il existait que j'ai du mal à réaliser qu'il est là entre mes mains.

Merci à tous.

Bonjour Samok

Mon ressenti est que grâce à l'étude de ce livre je vais pouvoir continuer à être encore plus logique et enfin réaliser mon rêve final:

Devenir une machine totalement logique dans les moindres détails de ma vie et cela vingt quatre heures sur vingt quatre (secondes par secondes ) et peut être même arriver à devenir un vrai robot.

D'ailleurs le livre commence par une citation d'Oscar Wilde qui me va tout à fait:
La logique est le dernier refuge des gens sans imagination

ça tombe bien car un robot digne de ce nom ne possède pas d'imagination.


La table des matières se divise en cinq parties

de la page 67 à la page 234 : le calcul propositionnel

avec trois sous parties :
-la syntaxe
-la sémantique
-la théorie de la démonstration

de la page 235 à la page 360 : la logique modale

avec cinq sous parties
-la syntaxe
-la sémantique
-les systèmes logiques
-logiques aléthiques , déontique, épistémiques, temporelles etc...
-logique modale quantifiée

de la page 361 à la page 490 : logique du premier ordre

avec quatre sous parties
-la syntaxe
-la sémantique
-traduction de la logique modale dans la logique du premier ordre
-théorie de la démonstration

de la page 491 à la page 542 : Récursivité , 2d ordre et correspondance preuves-programmes

avec quatre sous parties
-différents formats d'infinis
-récursivité
-logique du 2d ordre et théorie des ensembles
-correspondance preuves-programmes avec le lambda calcul et le lambda calcul simplement typé

de la page 543 à la page 552 : un index parlant d'ultraproduit