Li uns pedaços e achei bom. Só que é matematico demais, e pra certas pessoas tem quase fazer deseinho pra eles começarem a entender.
Mas ve se completa que eu quero usar isso quando começar minhas aulas de logica no colegio.
Mas como eu esclareci, lógica consiste numa ciência formal assim como a matemática. Aliás, ela é mais estudada por matemáticos do que por filósofos.
E eu prefiro mesmo esta abordagem do que a que vejo na maior parte dos artigos sobre lógica na net. Por exemplo, na maioria das vezes, quando vão tratar de falácias, dão um exemplo de argumento falacioso que pode enganar, e um contra exemplo de um argumento com a mesma estrutura mais evidentemente enganador. Não que isto esteja errado, mas obriga ao leitor decorar um monte de falácias, quando existem métodos simples de verificar a validade de qualquer argumento (tabelas de verdade, tablôs semânticos, dedução natural etc.).