Ein Kategorienfehler wird von einem Sprecher begangen, wenn er einen sprachlichen Ausdruck auf eine Weise verwendet, die nicht dem logischen Typ des Ausdrucks entspricht. Der logische Typ eines Ausdrucks ist die Klasse seiner logisch richtigen Verwendungsweisen. Diese Klasse kann als eine Menge von Sätzen betrachtet werden, die einen Rahmen für die Einsetzung sprachlicher Ausdrücke bilden. Ein solcher Rahmen kann etwa die Form haben: „Aristoteles war ein griechischer …“. Mögliche Einsetzungen in die mit „…“ gekennzeichnete Leerstelle sind z. B. „Philosoph“, „Dichter“, „Bildhauer“, „Politiker“ usw. Auch wenn nicht alle dieser Einsetzungen wahre Sätze ergeben, sind es doch sinnvolle Sätze. Einsetzungen wie „Planet“, „Syllogismus“ oder „Gedanke“ dagegen führen zu unsinnigen Sätzen. Ausdrücke, die bei Einsetzung in verwandte Satzrahmen sinnvolle Sätze ergeben, gehören einer Kategorie an, sie sind vom gleichen logischen Typ. Dass ein Kategorienfehler begangen wurde, lässt sich daran erkennen, dass die Einsetzung eines Ausdrucks einen unsinnigen Satz produziert hat.