2008. 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 a..