The Significance of Symbolic Logic for Scientific Education

TL;DR

This paper advocates for the importance of symbolic logic in scientific education, emphasizing its role in clarifying ideas, reasoning, and problem-solving across disciplines, especially in computer science.

Contribution

It highlights the foundational role of symbolic logic in scientific reasoning and education, illustrating its benefits through various computer science courses.

Findings

Logic provides a precise, compositional framework for reasoning.

Logical methods enhance clarity and correctness in algorithms.

Logic's principles are applicable across multiple science and engineering fields.

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.