邏輯學

Noun

 * 1) logic as a field of study