Abstract: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.

Teaching Logic to Information Systems Students: Challenges and Opportunities

Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?

Teaching Functional Programmers Logic and Metatheory

An Old Discipline with a New Twist: The Course "Logic in Action".

Logic Modelling

Applied Logic in Engineering

A New Approach to Teaching Logic in Discrete Mathematics

"Boring formal methods" or "Sherlock Holmes deduction methods"?

Logic considered fun

Making Room for Women in our Tools for Teaching Logic: A Proposal for Promoting Gender-Inclusiveness

Isabelle/HOL as a Meta-Language for Teaching Logic

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle

The Significance of Symbolic Logic for Scientific Education

Teaching Higher-Order Logic Using Isabelle

Teaching G{ö}del's incompleteness theorems

Design of a Graduate Information Systems Management Course.

TEACHING PROGRAMMING AS AN APPROACH TO DEVELOPMENT OF SCHOOL STUDENTS LOGICAL, ABSTRACT AND COMPUTATIONAL THINKING

Automated Theorem Proving in the Classroom

Innovative teaching materials and methods for systems analysis and design

Why teach an introductory course in Mathematical Logic in the Philosophy curriculum?

Applying APOS Theory to Enhance Algebraic Logic Skills: Comparing Traditional Teaching and Computer-Assisted Instruction