Das Kapitel führt in das Thema ein. Es skizziert die Rolle der Logik in der Softwaretechnik und begründet, warum ein Software-Ingenieur ein gründliches Training in der mathematisch geprägten Disziplin der Logik haben sollte. Der zentrale Punkt ist die intellektuelle Durchdringung des Stoffs. Das Kapitel gibt einen Überblick über die behandelten Logiken (Aussagenlogik, Prädikatenlogik erster Stufe, Modale Logik) und begründet die Form der Darstellung als Dialog.