Наука о законах правильного мышления сложилась в Древней Греции. Ее основателем является ве-ликий Аристотель (384-322 гг. до н.э.), хотя теория понятия начала развиваться уже учителем Ари-стотеля - Платоном (427-347 гг. до н.э.). Однако основные законы логики сформулированы именно Аристотелем. Он же разработал в практически законченном виде ее важнейшие разделы.
На возникновение логики существенное влияние оказали условия древнегреческой рабовладельческой демократии, и возникла она, прежде всего из практических потребностей. В Элладе очень многие жизненно важные вопросы решались гражданами совместно, на общих собраниях. Поэтому для достижения успеха и в личных, и в общественных делах исключительно высокую роль играла способность быть убедительным и доказательным в выступлениях перед широкой аудиторией, умение находить ошибки и путаницу в рассуждениях оппонента. Так, в суде над знаменитым Сократом одних только судей с правом решающего голоса было 500 человек. Склонить такую огромную массу людей в свою пользу можно было лишь при наличии ораторских способностей и навыков аргументированного рассуждения.
После Аристотеля заметный вклад в науку о выводном знании внесли философы-стоики; они, кстати, и ввели слово "логика" (сам основатель науки о законах мышления называл ее аналитикой). Много внимания ей уделяли средневековые арабские мыслители. Например, Авиценна, по его собственным словам, знал некоторые труды Аристотеля наизусть, а его логические трактаты перечитывал сорок раз. Средневековые схоласты до тонкостей изучили логические идеи Аристотеля, изложив его уче-ние в более компактной и понятной для неподготовленного читателя форме. В семнадцатом веке Лейбниц (1646-1716 гг.) предложил ввести буквенные обозначения для высказываний. В принципе это делал уже Аристотель, но Лейбниц пошел дальше - выдвинул идею записывать мысли в виде формул, а рассуждение заменить счетом. Его поэтому считают родоначальником символической логики, хотя до конкретных разработок по ней у него не дошло и фактически она начала развиваться только в девятнадцатом веке.
Всю совокупность логических идей, которые были выдвинуты в период от Аристотеля до Лейбница, называют традиционной или аристотелевской логикой. Она продолжает разрабатываться и в настоящее время тоже, но наряду с ней после Лейбница существует и развивается также и символическая, или математическая логика. С девятнадцатого века, как уже сказано, она стала предметом пристального внимания специалистов, и в наше время эта ветвь логической науки переживает период бурного развития, которое вдобавок с появлением компьютеров получило новый мощный стимул.