Логика

Исторически предмет (собственно) Логика ограничивался своего рода «каталогизацией» правильных аргументов, т. е. таких способов рассуждений, которые позволяли бы из истинных суждений-посылок всегда получать истинные суждения-заключения. Известным со времён античности набором таких аргументов однозначно определялся процесс дедукции, характерный для т. н. традиционной Логика, ядро которой составляла силлогистика, созданная Аристотелем. По мере изучения особенностей демонстративного мышления предмет традиционной Логика постепенно расширялся за счёт несиллогистических, хотя и дедуктивных способов рассуждений, а также за счёт индукции.