Законами, правилами и формами мышления, выработанными в процессе общественной практики, люди пользовались с доисторических времен, однако наука о законах и формах правильного мышления, которое приводит к истинным выводам, начала складываться значительно позже, в античную эпоху.

Создателем первой логической науки, которая позже была названа формальной логикой, по праву считается крупнейший древнегреческий мыслитель Аристотель (384-322 до н. э.). Коренные основы этой науки сохранили свое значение до наших дней.

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

В ходе решения этой задачи он обобщил накопленный к тому времени опыт познавательной и мыслительной деятельности людей, открыл основные законы мышления и сформулировал проблемы, которые стали предметом исследования логической науки.

Созданную науку Аристотель не называл логикой. Термин «логика» впервые ввели стоики, а термин «формальная логика» — И. Кант. Впоследствии ученики Аристотеля назвали логические трактаты своего учителя «Органоном», что означает «орудие познания». Как утверждал греческий философ, новые истинные мысли можно получить из других истинных мыслей в том случае, если они связаны по правилам логики.

Логика Аристотеля носит двойственный характер: она положила начало формальному подходу к анализу знания, но одновременно греческий философ стремился определить пути достижения нового знания, совпадающего с объектом. Он пытался вывести свою логику за рамки только формальной, ставил вопрос о содержательной логике, о диалектике. Тем самым логика и гносеология Аристотеля тесно связаны с учением о бытии, с концепцией истины, так как в логических формах и принципах познания он видел формы и законы бытия.

Итак, логика есть наука о законах и формах правильного мышления. Она призвана изучать исторически сложившуюся, проверенную практикой логическую форму, в которой выражено истинное знание. Элементарная логика не исследует всех условий достижения истины, но неизменно предполагает эту истинность, ибо ложное содержание мысли, как правило, нарушает логическую форму, и наоборот, нарушение логической формы ведет к ложному выводу.

Вместе с тем анализ одной лишь формальной правильности мышления свидетельствует об ограниченности задач формальной логики. Здесь обычно отмечают два момента.

1. Задача формальной логики — установить правила обеспечения стройности и последовательности истинного мышления, но не исследовать реальные условия самой истинности. Не охватывая всех сторон познавательного процесса, формальная логика не представляет собой всеобщего метода познания. Ее законы остаются специфическими законами мышления и не распространяются на окружающую действительность.

2. Вторым показателем ограниченности предмета формальной логики является анализ формы и законов мышления вне их возникновения и развития. Логика берет уже сложившуюся форму, рассматривая ее как нечто устоявшееся, без всякой собственной истории. Между тем наука о мышлении, как и всякая другая, немыслима вне истории (наука об историческом развитии человеческого мышления). Однако сложный процесс формирования и совершенствования внутренней структуры мысли лежит за пределами предмета элементарной логики, она рассматривает форму мышления вне связи с историческим развитием познания. Правда, подобно грамматическому строю языка, логическая форма изменяется очень медленно, сохраняя устойчивость в течение ряда эпох.

Современным этапом в изучении формально-логического выведения является математическая логика. Она изучает процесс выведения с помощью логических исчислений, т. е. формализованных языков и аппарата символов — знаков. Уже в традиционной формальной логике для обозначения понятий были введены термины как абстракции от понятий. Это позволило изучать формально-логическое выведение в обобщенном виде. В формально-математической логике для обозначения суждений вводятся знаки. С введением знаков как абстракций от суждений логика поднялась на еще более высокий уровень обобщения в изучении формально-логического выведения, что позволило исследовать последнее с исключительной обстоятельностью и точностью.