(còn gọi là Logic học) là khoa học về các quy luật và hình thức của tư duy đúng đắn dẫn đến chân lý. Nó khác với "luân lý học" (đạo đức học) - một phạm trù thường xuyên bị nhầm lẫn.
