Кроме того, логика – особая наука о мышлении. Она возникла еще в IV в. до н. э., основателем ее считается древнегреческий философ Аристотель, ученик Платона. Он дал первый развернутый и обоснованный ответ на вопрос о природе и принципах человеческого мышления. «Принудительную силу наших речей» он объяснил существованием особых законов – логических законов мышления. Именно они заставляют принимать одни утверждения вслед за другими и отбрасывать несовместимое с принятым. «К числу необходимого, – писал Аристотель, – принадлежит доказательство, так как если что-то безусловно доказано, то иначе уже не может быть; и причина этому – исходные посылки…»
Подчеркивая безоговорочность логических законов и необходимость всегда следовать им, он замечал: «Мышление – это страдание», ибо «коль вещь необходима, в тягость она нам».
С работ Аристотеля началось систематическое изучение логики и ее законов. Позднее она стала называться формальной логикой.
Историю логики можно разделить на два основных этапа: первый продолжался более 2 тыс. лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла научная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказательств. Она представляет собой современную теорию всякого правильного рассуждения, «логику по предмету и математику по методу», как охарактеризовал ее известный русский логик П. С. Порецкий.