If pressed to supplement Tweedledee's ostensive definition of logic with a discursive definition of the same subject, I would say that logic is the systematic study of the logical truths. Pressed further, I would say that a sentence is logically true if all sentences with its grammatical structure are true. Pressed further still, I would say to read this book.
Willard Van Orman QuineThe lore of our fathers is a fabric of sentences. In our hands it develops and changes, through more or less arbitrary and deliberate revisions and additions of our own, more or less directly occasioned by the continuing stimulation of our sense organs. It is a pale gray lore, black with fact and white with convention. But I have found no substantial reasons for concluding that there are any quite black threads in it, or any white ones.
Willard Van Orman QuineTo call a posit a posit is not to patronize it. A posit can be unavoidable except at the cost of other no less artificial expedients. Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built.
Willard Van Orman QuineThe scientist is indistinguishable from the common man in his sense of evidence, except that the scientist is more careful.
Willard Van Orman QuineTheory may be deliberate, as in a chapter on chemistry, or it may be second nature, as in the immemorial doctrine of ordinary enduring middle-sized physical objects.
Willard Van Orman QuineThe variables of quantification, 'something,' 'nothing,' 'everything,' range over our whole ontology, whatever it may be; and we are convicted of a particular ontological presupposition if, and only if, the alleged presuppositum has to be reckoned among the entities over which our variables range in order to render one of our affirmations true.
Willard Van Orman Quine