Логика (Греч . Logike)
Наука о способах доказательств и опровержений. Совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям. Каталогизация осуществляется, как правило, в рамках логических. Исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др.
См. Также Математическая логика..
Дополнительный поиск Логика (Греч . Logike)
На нашем сайте Вы найдете значение "Логика (Греч . Logike)" в словаре Современный толковый словарь, подробное описание, примеры использования, словосочетания с выражением Логика (Греч . Logike), различные варианты толкований, скрытый смысл.
Первая буква "Л". Общая длина 22 символа