La logique est devenue une discipline complexe, qui se ramifie en une multiplicité de domaines et de méthodes : théorie des modèles, de la démonstration, de la décision, complexité algorithmique, etc. Un exposé des bases et des origines historiques de la logique contemporaine s'accompagne d'un éclairage des nouvelles directions qu'elle a prises, en particulier à partir des années 1950.

Il est devenu si courant aujourd'hui de parler des logiques qu'on ne sait bien souvent plus ce qu'est la logique. Pierre Wagner donne à comprendre cette discipline en décrivant le genre de questions que se posent ou que se sont posées les logiciens, le genre de certitudes qu'ils ont acquises et la variété des projets qui animent leurs recherches. S'il expose avec clarté les bases de la logique contemporaine et ses origines historiques, l'auteur montre aussi que, depuis les années 1950, les recherches logiques ont pris de nouvelles directions, comme l'étude des structures syntaxiques et sémantiques des langues naturelles, l'informatique théorique, l'intelligence artificielle, la théorie des jeux, l'analyse dynamique des croyances et de la connaissance, ou encore les sciences cognitives.

La philosophie des sciences regroupe un ensemble de réflexions qui portent non seulement sur les méthodes de la science - ou des sciences -, mais aussi sur ses objets, ses fondements, son histoire, sa logique ou ses effets. Ses questionnements sont donc multiples et il est difficile de lui assigner des limites bien précises. Cette sélection de vingt textes clés, réunis pour la première fois, reflète la diversité des approches de la philosophie des sciences du XXe siècle, celle dont nous héritons aujourd'hui. Le volume II présente dix textes appartenant à la seconde moitié du XXe siècle, qui voit le déclin du paradigme de l'empirisme logique et du rationalisme poppérien. L'épistémologie classique est ébranlée par des critiques (Quine, Kuhn) qui ouvrent de nouveaux débats. Le naturalisme veut renoncer à tout fondement philosophique ou logique pour la science, et s'appuyer sur la science réelle pour définir l'épistémologie. L'incommensurabilité ouvre sur la dimension proprement historique de la science, de ses concepts et de ses objets. Le réalisme devient une question centrale : le rapport entre langage et réalité est reformulé (Putnam, Quine, Bouveresse), comme les problèmes de la perception, de la description des phénomènes (Van Fraassen, Cartwright, Hacking) et de l'ontologie des théories (Fine, Zahar).