Bonjour à tous,
Je cherche un livre qui survol la logique, sans pour autant vraiment rentrer dans le formalisme ; je ne suis pas contre quelques développements, mais ce que je cherche, c'est plutôt une culture générale sur le sujet et du recul.
En faisant une recherche sur le forum, j'ai trouvé cette ancienne discussion ; je ne sais pas vraiment si cela correspond à ce que je cherche, j'irai le feuilleter à la bibliothèque universitaire.
Auriez-vous quelque chose à me conseiller ?
Seirios
If your method does not solve the problem, change the problem.
Bonsoir,
Votre question est trop générale, vous intéressez-vous à la logique du premier ordre, aux logiques modales, à la logique catégorique, à la théorie des modèles, à la théorie des ensembles etc. ?
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Rien de précis, c'est plutôt pour faire un tour d'horizon. J'ai quelques notions en théorie des modèles, que je vais certainement compléter dans les mois qui suivent, mais je n'ai par exemple aucune connaissance de la logique du second ordre. Le mieux est de ratisser large.
If your method does not solve the problem, change the problem.
Pour le second ordre, je n'ai pas de références sous la main (une recherche sur 2nd order arithmetic devrait vous donner des résultats intéressant, sinon, sur la logique infinitaire, il y a la référence qui est gratuite : http://www.math.wisc.edu/~keisler/kk2.pdf
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
