Formålet med kurset er at bibringe den studerende en grundlæggende og bred forståelse for, dels argumentationens centrale rolle i kommunikation og erkendelse, dels argumentationens særlige natur, herunder specielt de logiske træk ved argumentation, dels logikkens centrale rolle i formalisering, især i forhold til formel ontologi.

Kurset introducerer til den logiske og konceptuelle analyse af naturligsproglig kommunikation og argumentation med henblik på at afgøre om konkrete argumenter er gyldige, og introducerer til den rolle logikken spiller i forhold til formel ontologi.