Caros colegas O meu livro Lógica Elementar deverá estar à venda a partir de Agosto, em Portugal e no Brasil. Inclui a lógica clássica proposicional e quantificada, com identidade, e também a lógica modal (alética). Ensina a fazer derivações em dedução natural, e ensina também árvores de verdade (“truth trees” ou “logic trees” ou “semantic tableaux”). Tem um breve apêndice histórico sobre a lógica de Aristóteles. O livro não se limita a apresentar a parte técnica elementar da lógica; discute e aprofunda vários aspectos filosóficos. O último capítulo é dedicado ao raciocínio não-dedutivo — raciocínio indutivo, causal, argumentos de autoridade e uma brevíssima apresentação do cálculo de probabilidades. Espero que seja útil para estudantes e colegas interessados em ir um pouco além da mera manipulação técnica dos aspectos elementares da lógica clássica. A ênfase é filosófica, no sentido em que pretendo mostrar que a lógica ajuda a compreender o raciocínio cogente, o que por sua vez é de importância capital para a filosofia; e procuro mostrar também que a própria lógica levanta questões filosóficas importantes. O livro tem vários exercícios, com resolução no final do volume, e ficou com 382 páginas. Estará também disponível em e-book.
Eis uma curiosidade histórica: em 1943, Vieira de Almeida publicou também em Portugal e no Brasil o seu livro com o mesmo título, no qual apresenta alguns elementos do que então era comum chamar “lógica moderna”. Vieira de Almeida foi responsável pela introdução do estudo desta lógica na Universidade de Lisboa — e, tanto quanto sei, em Portugal. Não sei qual era a situação da lógica no Brasil, nessa altura. O mais curioso ainda é que foi publicada uma recensão (de Robert E. Luce) deste livrinho na Journal of Symbolic Logic (devo esta informação ao professor Frank Sautter): https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/de-almeida-vieira-logica-elementar-colleccao-stvdivm-no-38-livraria-academica-saraiva-ca-sao-paulo-brazil-1943-186-pp/EB1ECFED32BD0D8240A0EAE7A6548A4F?fbclid=IwAR2jcsMt14dfan80qCOMM7WnC9b-S7lSyRy2vwYZNOTVkUygk_t3gw7-iB0 São só duas páginas, mas é interessante ler — e não indicia grande qualidade no trabalho de Vieira de Almeida. Quem não tiver acesso, pode ler uma cópia aqui: https://drive.google.com/file/d/1bFwFwTrWKebv9Ig3e747tzoSg0iRtQub/view?usp=sharing Uma breve nota biográfica de Vieira de Almeida encontra-se aqui: http://cvc.instituto-camoes.pt/seculo-xx/vieira-de-almeida.html#.XUGKii2ZPfY Saudações académicas, Desidério Murcho http://dmurcho.net -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/EFB3D086-1607-45CE-A44C-4D8DCDA4CEA7%40icloud.com.
