ЛОГИКА

ЛОГИКА (греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика. ...ЛОГИЯ (от греческого logos - слово, учение), часть сложных слов, означающая: наука, знание, учение (например, геология, филология).

ЛОГИКА, -и, ж. 1. Наука о законах и формах мышления. Формальная л. Диалектическая л. 2. Ход рассуждений, умозаключений. У этого человека своя л. Женская л. (непоследовательная, непонятная; шутл.). 3. Разумность, внутренняя закономерность чего-н. Л. вещей. Л. событий. II прил. логический, -ая, -ое. Л. вывод. Логическая ошибка.