Heinrich Wansing is a philosopher of philosophical logic, modal logic, non-classical logic and epistemology. Here he discusses why logic is important to philosophy, what kinds of logic he’s interested in, in the work of Gentzen and Belnap, classical and non-classical logics, why it makes sense to talk about a correct logic, what proofs are, proof-theoretic understanding of validity, intuitionist logic, Dummett and Kripke, paraconsistent logic, dialetheism, Nelson’s paraconsistent logic and computer science and the connexive logic of Aristotle and Boethius. http://www.3ammagazine.com/3am/logics-one-way-skin-cat/
JM -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjWs71m64xn1DYs-PmAKRCO7fJMGctef4tV0%2B8_HpLTQg%40mail.gmail.com.
