No estudo de inferência demonstrativa, Johnson focaliza métodos de raciocínio dedutivo e a relação entre premissas e conclusões em argumentos formais.

Johnson analisa procedimentos lógicos e apresenta exemplos que ilustram regras de demonstração, destacando distinções conceituais relevantes ao raciocínio demonstrativo.

Texto originalmente em inglês e publicado pela Cambridge University Press, o volume oferece um tratamento técnico sobre inferência formal no contexto da filosofia da lógica.