Logika zkoumá strukturu platných argumentů. Ptá se: pokud jsou předpoklady pravdivé, vyplývá z nich nutně závěr? Formální logika používá symboly k reprezentaci tvrzení a pravidla k odvození závěrů. Aristotelovy sylogismy byly raným systémem; moderní logika, vyvinutá Fregem, Russellem a dalšími, je základem matematiky a informatiky.

Výroková logika se zabývá pravdivými nebo nepravdivými tvrzeními a spojkami jako A, NEBO a NE. Predikátová logika přidává kvantifikátory: „pro všechny“ a „existuje“. Tyto systémy formalizují uvažování a odhalují klamné závěry.

Logika je základem matematického důkazu. Každá věta spočívá na logické dedukci z axiomů. V informatice implementují logické brány booleovské operace a programovací jazyky používají logické podmínky. Toto téma se také prolíná s filozofií, lingvistikou a umělou inteligencí. Jasné myšlení o uvažování je užitečné daleko za hranice matematiky.

• Studium platného uvažování
• Používá symboly a formální pravidla
• Výroková a predikátová logika
• Základy důkazů a výpočtů