Nauka o zasadach poprawnego rozumowania.