Аристотель сформулировал и основные законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего. Позднее был сформулирован четвертый закон – закон достаточного основания. Данные законы имеют «силу» для всех форм мысли и выступают условиями правильности мышления. Их подробное рассмотрение будет сделано позднее, в IV главе. В целом закон логики определяется как существенная связь мыслей. Правильная связь делает мышление правильным, а нарушение правил сочетания мыслей между собой делает мышление неправильным. В дальнейшем мы рассмотрим разницу между понятиями «правильность мышления» и «истинность мышления», а также ошибки, связанные с неправильным употреблением этих понятий. В итоге, с момента возникновения задача логики как науки стала заключаться в выявлении правильных форм рассуждения, гарантирующих истинный результат при условии истинности исходного знания.
Дальнейшее развитие логики связано с именем Ф. Бэкона (1561-1626) и его работой «Новый органон» – манифестом индуктивной логики и методологии экспериментального исследования. Поскольку Новое время – опытный, экспериментальный этап в истории науки, то он нуждался в переработке методологического аппарата и разработке новых логических процедур, удовлетворяющих нуждам научной практики. Так, у дедуктивной логики появилась «родная» сестра – индуктивная логика, смысл которой сводился к теоретическому обобщению частных знаний и формулированию общих положений, гипотез, законов.
Диалектическая логика является универсальным познавательным «органоном», отражающим сложный, противоречивый процесс познания мира с точки зрения его динамики, текучести, изменчивости. Так получилось, что она была создана Г. Гегелем (1770-1831) в русле идеалистической философии и в авторском исполнении «работала» в сфере Духа, Разума. Позднее, в традиции материалистической философии, её применение было расширено на область природных и социальных процессов.
В середине XIX в. возникла математическая логика. Её рождение связывают с именем Дж. Буля (1815-1864) и его работой «Математический анализ логики». Математическая, или символическая логика была логикой «по предмету» и математикой «по методу». Она активно включилась в обсуждение проблем о возможностях формализации мышления и его практического приложения.
K этому этапу развития логики относятся труды О. де Моргана (1806 – 1871), Э. Шредера (1841 - 1902), Р. Грассмана (1815 – 1901), П. Порецкого
(1846 – 1907), Г. Фреге (1848 – 1925), Б. Рассела (1872-1970).
Современная логика исходит из невозможности полной формализации знаний и возможности неклассической логики, оперирующей не двумя классическими значениями логики, а множеством значений. Примерами таких логических систем является «воображаемая» логика Н.А. Васильева (1880 - 1940), трехзначное исчисление Я. Лукасевича (1878 – 1956), интуиционистская (конструктивная) логика, аксиологическая логика, временная логика, интеррогативная логика, эпистемическая логика, логика микромира, логика причинности, деонтическая логика и многие другие.
Значительные усилия и перспективы современной логики связана с проблемой «искусственного интеллекта», с анализом и моделированием человеческих рассуждений, влияющих на целенаправленное и прогнозируемое поведение. Являясь теоретической основой программирования, логика непосредственно участвует в создании «искусственного интеллекта», который освоил бы такие, исконно человеческие действия, как индуктивные обобщения, распознавание образов, метафорическое мышление, творчество, перевод с одного языка на другой, рассуждение по аналогии, вывод «здравого смысла» и др. Как известно, подобного типа естественные рассуждения необходимы при создании разнопрофильных экспертных систем, например, в медицинской диагностике.