---------- Forwarded message --------- From: Desidério Murcho O meu livro de lógica deverá sair em Agosto, nas Edições 70, em Portugal e no Brasil. Os conteúdos dos cinco primeiros capítulos constituem o que é comum ensinar num primeiro semestre universitário de lógica formal: lógica proposicional clássica e lógica quantificada com identidade. O capítulo 7, que usa as árvores de verdade desenvolvidas no capítulo 6, aborda a lógica modal. Esta é cada vez mais correctamente encarada como uma parte da lógica elementar — e é um instrumento filosófico de importância capital. O capítulo 8 é dedicado a aspectos não-dedutivos do raciocínio; procurou-se fornecer elementos orientadores que ajudem a compreender como se raciocina bem indutivamente. É neste capítulo que se torna evidente para o leitor atento que o raciocínio dedutivo abordado nos capítulos anteriores é parte integrante de um sistema diversificado de prova, sem o qual nenhum conhecimento substancial existiria. No final de cada capítulo são propostos exercícios, cujas sugestões de resolução se encontram no final do volume. Sobretudo porque em algumas escolas se insiste, contra os melhores interesses formativos dos estudantes, em ensinar a lógica aristotélica, o Apêndice apresenta alguns aspectos sem os quais dificilmente há qualquer compreensão adequada desta lógica.
-- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjGhOup7D2MijDywv8X9LYKbPhVfg-vZUjMwi7NpV6FEA%40mail.gmail.com.
