Since nobody else has stepped in, I've suggested the following excerpt:
study of formal systems of reasoning—especially of the deductive variety.
(Only the —
must be simulated with ---
.)
This has been my approximate definition of logic for quite some time, but if anyone wants to use another, feel free. I think the body needs to address the difference (or lack thereof) between logic and reason. Since I haven't read Kant, I can't speak intelligently about it. ;-)
I went ahead and asked a questionquestion about this on the main site. I'm not sure if it's a good one since I've done very little research on the topic myself.