Abelard was the greatest logician since Antiquity: he devised a purely truth-functional propositional logic, recognizing the distinction between force and content we associate with Frege, and worked out a complete theory of entailment as it functions in argument (which we now take as the theory of logical consequence).
Rather than defending yourself with logic, recognize that what may be at the root of your youngster's irritation could simply be his anxiety about the uncertainty ahead.
Why should this be a concern, given that most "standard" modal logics recognize the principle that if $\alpha$ is a theorem, so is $L\alpha$?
While the field of informal logic still recognizes key fallacies (e.g., equivocation and false dilemma) in pedagogical and theoretical discussion, the problems with fallacy theory have convinced many that theories of informal logic should focus, not on fallacies, but on general criteria for good reasoning (premise acceptability and relevance, etc).
While the language of computer science is logic, logic's usefulness reaches from STEM disciplines to the liberal arts, such as English, where students can use logic to recognize fallacies in written material.
Companies from Finland to New Zealand now knew what "the rapids" meant, were alert to the implications of producer logic, and recognized the need to prepare for a new environment.
The results may foster the development of informal logic within a more integrated logic (or argumentation theory) that recognizes the differences between formal and informal logic, but recognizes an overarching model of reasoning that can explain both endeavours.
So the Bush doctrine, in spite of itself, recognizes the logic of something like (to use a term that is the ultimate red flag for conservatives) world government.
This leads to hybrid netlists that contain the recognized logic gates and remaining transistors.
The Revolv's current logic doesn't recognize multiple smartphones.
