Glossary

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.

Back