Logika sa zaoberá metódami, ktorých pomocou možno odlíšiť platné a neplatné argumenty. Vytvára a študuje formálne jazyky, do ktorých sa dajú argumenty z prirodzených jazykov "preložiť", aby sa zvýraznili tie aspekty, ktoré sú relevantné pre platnosť, resp. neplatnosť argumentov.