Logica is de wetenschap van het geldig redeneren. Ze neemt een centrale plaats in binnen de moderne informatiewetenschappen en in het bijzonder in de kunstmatige intelligentie. De onderwerpen die behandeld worden zijn achtereenvolgend:
-- Propositielogica: eenvoudige zinnen-logica (Boole)
waar verrassend veel redeneervormen mee gemodelleerd kunnen worden.
-- Predicatenlogica: uitbreiding van de propositielogica met klassieke kwantoren.
-- Vertalen van in het Nederlands gestelde zinnen naar een predicaatlogische formulering.
-- Mechanisering van het redeneren: resolutiemethode voor machinale deductie.
-- Deductiesystemen: natuurlijke deductie, Gentzen sequentsystemen, tableau-methode.
-- Onbeslisbaarheid (Church/Turing) en onvolledigheid (Gödel): de grenzen van het mechanische en menselijk bewijzen/redeneren.