'One of the great pleasures of the philosopher's life,' wrote Jim Hankinson in The Bluffer's Guide to Philosophy, 'is being able to tell everyone (and not just children and dogs) what they ought to do. This is Ethics.'
On this reckoning, logic should afford even greater pleasure to its practitioners than ethics does insofar as it purports - at least on some accounts - to tell everyone how they ought to think. For example, consider this (from a text book for undergraduates): 'Logic is sometimes said to be the science of reasoning, but that assertion is somewhat misleading. Logic is not the empirical investigation of people's reasoning processes or the products of such processes. If it can be called a science at all, it is a normative science - it tells us what we ought to do, not what we do do.'
Or, as Gottlob Frege put it: 'the laws of logic are ... the most general laws, which prescribe universally the way in which one ought to think if one is to think at all.' (The Basic Laws of Arithmetic)
Frege, in fact, was something of a proto-fascist, and the above statement could be interpreted as having an authoritarian, even totalitarian, tenor. It could also be interpreted simply as an honest statement of the constraints of thought, reflecting Frege's noble goal of defining the bedrock of human reasoning.
It's no surprise that most attempts to articulate logic's normative role run into trouble. For what authority can the logician appeal to?
Formal logical systems are often seen as part of an attempt to systematize thinking, to improve (as it were) on ordinary thinking and the ordinary language on which it depends. And it is certainly true that ordinary language often deceives us and obscures the underlying logic (or structure) of an argument. Translating an argument into a formal language can reduce ambiguity, but those who have sought through the study of formal logical systems to illuminate the laws of thought or their foundations have been disappointed. Doubts surround not only the putative authority of a logical system but the very meaning of its symbols.
Technically, the meaning of what Rudolf Carnap called the fundamental mathematico-logical symbols (now usually called logical constants) derives from the explicit rules we lay down for their use, but in fact the question of their meaning remains obscure. One thing is clear: the whole exercise is paradoxically dependent on a prior understanding of the basic logical operations. Ordinary language use is also predicated on such an understanding: anyone lacking it would not be able to use language in anything like a normal way.
The work of Frege and his successors led, of course, to the development of digital computers in the mid-twentieth century, and in this sense it was spectacularly fruitful and successful. But it has not really led to a new understanding of human reasoning or established clear guidelines - as Frege hoped - for how we ought to think.
In fact, the attempt to create formal systems which can do what natural language can do has led to a renewed appreciation of the complexity, power, elegance and logical depth of the latter. Wittgenstein was right to warn against thinking of our everyday language as only approximating to something better, to some ideal language or calculus.
We need formal systems for dealing with mathematics and science and technology, but, as far as the fundamentals of logic are concerned, it's all there - implicitly at least - in the language of a five-year-old child.