Уже Аристотель (384—322), создатель логики как науки, выделял две компоненты: аподиктику — теорию необходимых умозаключений — и диалектику — искусство рассуждений на основе не обязательно истинных посылок.