In my more curmudgeonly moods I think that what is wrong with the world today is that people in the social sciences and humanities so frequently use `logic' to refer to something other than a theory of inference and tautology.
-
Hm, there's one sense in which it's just a theory of a certain class of mathematical structures picked out by the historical contingency of who got interested in them and why. Probably most basic sense is a theory of inference; what makes some inferences truth preserving and why.
(But there are people who think about this much more than I do, that was off the cuff, I really am just as much some random person on the internet as I seem to be, etc.)
