Obra que trata da "nova lógica" no desenvolvimento da filosofia da linguagem e de modelos formais de larga aplicação na inteligência artificial. Seus autores desenvolvem o cálculo proposicional a partir de uma linguagem natural, respeitando os princí pios de Aristóteles para a lógica, culminando no estudo da validade de inferências lógicas introduzem o sistema formal do cálculo proposicional estudam algumas propriedades do sistema apresentam a álgebra dos conjuntos que caracteriza um outro sis tema booleano estudam os silogismos aristotélicos mostram como se pode caminhar com a lógica, envolvendo em um único sistema formal as concepções lógicas tratadas no livro e a adequação deste sistema para a matemática contemporânea discorrem sobre a amplidão de possibilidades de investigações lógicas atualmente e introduzem noções básicas dos sistemas fuzzy ou lógica fuzzy. Abordam, também, a particular relevância do papel da lógica em meio ao mais presente e revolucionário dos desenvolvimen tos tecnológicos contemporâneos: a computação.