Логика — наука о правильных способах рассуждений. В классическом варианте состоит из учения о понятиях, учения о суждениях и учения об умозаключениях. В течении долгого времени с Л. связывалось учение Аристотеля о силлогистических умозаключениях. Силлогистика была первой дедуктивной системой, возникшей в науке. В основе Л. лежит понятие аксиоматической системы. Сила чистой логики, отвлекающейся от семантики предметной области, состоит в общности ее методов и положений. Важно отметить, что Л. есть наука о мышлении в понятиях, а не о познании мира посредством мышления о понятиях. Это показывает, что в интеллектуальных системах чисто логические решатели задач не могут исчерпать весь запас средств, необходимых для воссоздания интеллектуальной деятельности. На основе Л. в конце XIX в. начала создаваться математическая логика, в основе которой лежит теоретико-множественные категории и понятие формальной системы.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]