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