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

История логики отчетливо разделяется на два основных этапа. Первый из них, именуемый теперь традиционной логикой, начался с Аристотеля и продолжался до второй половины XIX – начала XX в., второй – с этого времени до наших дней. На первом этапе логика развивалась очень медленно, что дало немецкому философу Канту повод заявить, что она, подобно геометрии, является с самого начала завершенной наукой, не продвинувшейся после ее возникновения ни на один шаг.

Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в логике произошла научная революция и на смену традиционной логике пришла современная логика, называемая также математической, или символической. У истоков последней стоял немецкий философ и математик Г. В. Лейбниц, выдвинувший идею представить доказательство как вычисление, подобное вычислению в математике.

Многие особенности современной логики объясняются тем, что она возникла на стыке двух очень разных наук – философии и математики. Традиционная логика являлась частью философии, логические принципы обосновывались точно так же, как и все иные философские положения. Проникновение в «философскую логику» математических методов привело к отделению логики от философии.

Определением «современная» новый этап противопоставляется традиционной логике, отличительной чертой которой было то, что она пользовалась при описании правильных способов рассуждения естественным языком, дополненным немногими специальными символами.

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

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

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

В настоящее время имена «математическая логика» и «символическая логика» постепенно становятся все менее употребительными.