O Logike
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. Ich forma má bezprostredný vzťah k jazyku v ktorom sú formulované. Logika sa sústreďuje na tie stránky jazyka, ktoré majú dopadna správnosť usudzovania.
