HFIB00641U FILO, Valgfag 1: Formel logik

Formel logik anvendes i dag inden for en lang række praktiske og teoretiske videnskaber som fx computervidenskab, forskning i kunstig intelligens, matematik, økonomi, kognitionspsykologi og – naturligvis - filosofien. Logikken antager, at der findes en række generelle og universelle kerneprincipper for korrekt ræsonneren, og det er logikkens opgave at afdække og formulere disse i slutningsregler og afgørelsesprocedurer. Dette kan på mange måder ses parallelt til naturvidenskabernes stræben efter at afdække naturlove og formulere deres dynamik. Modulet har til hensigt at give den studerende viden om centrale emner inden for moderne elementær formel logik, hvor fokus er på udsagnslogik og første ordens prædikatslogik, der tilsammen udgør fundamentet for mere avancerede logikker. Modulet indøver færdigheder i: At foretage formaliseringer i formel logik, at entydigt kunne afgøre formaliserede argumenters gyldighed eller mangel på samme, at anvende bevisteori i udsagnslogik og at anvende forskellige semantiske afgørelsesprocedurer. Modulet rummer også en kortere indføring i mere avancerede logikker. Modulet i formel logik ligger i forlængelse af BA-grundmodulet ”Argumentationsteori og Metode”, men kan læses uafhængigt af dette.