Hoje é comum falar das lógicas, sem que se saiba muito bem o que a lógica é. Essa obra levará os leitores a entenderem essa disciplina pela descrição do tipo de perguntas que os lógicos se fazem, do gênero de certezas que eles conquistaram e da variedade de projetos que animam suas pesquisas. Ao expor com clareza as bases da lógica contemporânea e suas origens históricas, o autor também mostra que, a partir dos anos 1950, as pesquisas lógicas tomaram novas direções: o estudo das estruturas sintáticas e semânticas das línguas naturais, a informática teórica, a inteligência artificial, a teoria dos jogos, a análise dinâmica das crenças e do conhecimento, ou ainda as ciências cognitivas.