Existential Import Today: New Metatheorems; Historical,Philosophical, and Pedagogical Misconceptions

We assemble material from the literature on matrix methodology for sentential logic—without claiming to present any new logical results—in order to show that Gödel once made (or at least, is quoted as having made) an uncharacteristically ill-considered remark in this area.