nauka o sposobach jasnego i ścisłego ujmowania my śli, która określa reguły poprawnego rozumowania i uzasadniania twierdzeń