Originally Posted by
wm
Logic is also not merely mathematical reasoning a la Whitehead, Russell, Quine, Tarski, etc. Nor is it just a Pythagorean harmony of the spheres. Logic is a set of rules for a method of enquiry. In addition to truth functional logic (which need not just be two-valued, as in true or false), we have, among others, epistemic logics, deontic logics, modal logics, and, my personal favorite, interrogative logics. This last is the kind of thing we find in Platonic dialectic/the Socratic Method, Aristotle's Organon, and Hegel's Transcendental Dialectic, to mention some of the big names. I think the most lucid description of it, however is Collingwood's logic of question and answer.
Bookmarks