Acabou de ser publicado no jornal Logica Universalis: Toward A Visual Proof System: Lewis Carroll’s Method of Trees by Francine F. Abeles
Abstract In the period 1893–1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised. Artigo integral accesivel via o portal da CAPES: http://www.springerlink.com/content/f1qj7387u1657176/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
