Logic

For my EE-brain, "logic" is the logic of electronic circuits, which
corresponds to propositional logic.
The "logic" of type systems is at least first order logic.
Quantification (things with holes) is necessary to express structure.