Цим кроком він показав, що логіка — це не стале вчення про певні речі чи терміни, логіка — це наука про силогізми, що виражені в змінних. Та досліджуючи різні судження, формальна логіка не звертає уваги на їх конкретний зміст, виявляючи структуру, що загальна для предметів різних за змістом. Відомі твори Арістотеля, що об'єднані під загальною назвою «Органон»: Категорії (Categoriae) Про тлумачення (De Interpretatione)