SK
EN
Slovník pojmov
logika
je veda zaoberajúca sa vyplývaním. Skúma, aké formy môžu mať úsudky, ktoré sú bezosporné a snaží sa budovať formálny systém, ktorý najlepšie zachytí inferenčnú štruktúru prirodzeného jazyka. Logika sa zaoberá najmä analýzou formálnej stavby úsudkov ako základných jednotiek usudzovania.