  This invited paper is a passionate pitch for the significance of logic in
scientific education. Logic helps focus on the essential core to identify the
foundations of ideas and provides corresponding longevity with the resulting
approach to new and old problems. Logic operates symbolically, where each part
has a precise meaning and the meaning of the whole is compositional, so a
simple function of the meaning of the pieces. This compositionality in the
meaning of logical operators is the basis for compositionality in reasoning
about logical operators. Both semantic and deductive compositionalities help
explain what happens in reasoning. The correctness-critical core of an idea or
an algorithm is often expressible eloquently and particularly concisely in
logic. The opinions voiced in this paper are influenced by the author's
teaching of courses on cyber-physical systems, constructive logic, compiler
design, programming language semantics, and imperative programming principles.
In each of those courses, different aspects of logic come up for different
purposes to elucidate significant ideas particularly clearly. While there is a
bias of the thoughts in this paper toward computer science, some courses have
been heavily frequented by students from other majors so that some transfer of
the thoughts to other science and engineering disciplines is plausible.
