Логика является одной из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логического учения можно обнаружить еще в Индии, в конце второго тысячелетия до нашей эры. Однако, если говорить о возникновении логики как науки, т.е. о более или менее систематизированной совокупности знаний, то справедливо будет считать родиной логики Древнюю Грецию. Именно здесь в V — IV вв. до н. э. в период бурного развития демократии и связанного с этим небывалого оживления общественно-политической жизни трудами Демокрита, Сократа и Платона были заложены основы этой науки. Родоначальником же логики по праву считается величайший мыслитель древности, ученик Платона – Аристотель (384 – 322 гг. до н.э.). Именно он в трудах, объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений: формы выводов из категорических суждений – категорический силлогизм («Первая аналитика»), сформулировал основные принципы научных доказательств («Вторая аналитика»), дал анализ смысла некоторых высказываний («Об истолковании»), наметил основные подходы к разработке учения о понятии («Категории»). Серьезное внимание Аристотель уделял также разоблачению различного рода логических ошибок и софистических приемов в спорах («О софистических опровержениях»).
Важнейшее обстоятельство, способствовавшее выделению логики в самостоятельную отрасль знания, носило ярко выраженный практический характер, поскольку развитие логики в то время во многом определялось потребностями ораторского искусства, т.е. логика была частью практической риторики. Искусство публичной речи, умение вести полемику, убеждать людей ценилось у древних греков исключительно высоко и стало предметом специального анализа в школах так называемых софистов. Первоначально к софистам относили мудрецов, чьи суждения в различных областях знания считались авторитетными. Затем так стали называть людей, за плату обучавших искусству красноречия, умению убедительно защищать свою точку зрения и опровергать мнение оппонентов. Такого рода навыки предполагают не только умение красиво говорить, но и владение сложными механизмами мышления и, прежде всего, различными способами построения умозаключений, доказательств, опровержений, т.е. того, что и составляет основное содержание логики.
Фундаментальный характер логических изысканий Аристотеля проявляется в том, что его логическое учение, усовершенствованное в некоторых аспектах, а иногда и искаженное, просуществовало без особых принципиальных изменений до середины XIX века и получило название традиционной логики.
Вместе с тем неверно было бы считать, что развитие традиционной логики не сопровождалось появлением новых идей, стимулирующих развитие ее теоретического и практического содержания. Некоторые существенные добавления к работам Аристотеля в различных формах выводов были сделаны представителями философской школы стоиков (II — III вв.). К сожалению, они не были известны до недавнего времени. Немало внимания уделяли проблемам логики философы средних веков. Многие их разработки в области данной науки связаны с логическим анализом языка и понятием модальности. В основном, однако, исследования шли по линии детализации результатов Аристотеля, в особенности его учения о категорическом силлогизме.
Выдающимся событием в истории логики в Новое время стало появление труда английского философа Ф. Бэкона «Новый органон», который, по его мнению, должен был заменить аристотелевский «Органон» в качестве орудия познания. Критически оценивая значимость форм выводов, в которых используется уже готовое знание, Ф. Бэкон стремился разработать приемы исследования самой природы. Он положил начало разработке методов установления причинно-следственных связей в объективной действительности. Его учение об этих методах приобрело относительно завершенный характер в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под названием «Индуктивные методы установления причинных связей».
Вопросами логики занимались и внесли определенный вклад в ее развитие многие видные ученые Нового времени: Р. Декарт, Г. Лейбниц, И. Кант и др. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в современной логике.
Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П.С. Порецкого. Принципиальное отличие этого этапа состояло в использовании методов математики при исследовании логических связей, что привело к созданию специального раздела логики – алгебры логики, получившей завершение в трудах Э. Шрёдера. В дальнейшем, усилиями Г. Фреге, Б. Рассела – А. Уайтхеда сложился особый метод исследования логических отношений и форм выводов – метод формализации. Суть метода состоит в употреблении для описания структур высказываний, законов логики и правил вывода специально созданного в рамках логики формализованного языка. Применение данного метода открыло новые возможности этой науки и положило начало ее интенсивному развитию под названием «символическая логика».
В настоящее время логика представляет собой весьма разветвленную и многоплановую науку, результаты и методы которой активно используются во многих областях теоретического познания, в том числе и непосредственно связанных с рядом современных направлений практической деятельности. Она находит применение в философии, математике, психологии, кибернетике, лингвистике и др. В современной логике выделяют три больших раздела: символическую (формальную) логику, логическую семиотику и методологию. Логические исследования в области методологии касаются разнообразных научных понятий и приемов познания, которые применяются в любом познавательном процессе на ступени абстрактного мышления: определение, классификация, построение и проверка гипотез, теория, доказательство и т.д.
Логическая семиотика занимается анализом естественных и искусственных языков. В этом разделе язык исследуется как средство познания действительности.
Наиболее фундаментальным разделом современной логики является символическая (формальная) логика – учение о дедукции, о многообразии форм, законов и правил выводов. Именно для этого раздела наиболее характерен метод формализации. Конечно, сегодня символическая логика отличается от традиционной логики по многим аспектам. Тем не менее по предмету познания – при его широком понимании – принципиальных различий между современной символической логикой и логикой традиционной нет. И та, и другая исследуют различные формы отражения действительности на ступени абстрактного мышления.
Каждый из разделов логики, в свою очередь, представляет разветвленную область знания. Так, символическая логика подразделяется на классическую и неклассическую. Неклассическая же логика подразделяется также на интуиционистскую, модальную, релевантную логику, логику вопросов и др.