Поиск в словарях
Искать во всех

Естествознание. Энциклопедический словарь - логика

 

Логика

(греч. logike), наука о способах доказательств и опровержений; совокупность науч. теорий, рассматривающих определ. способы доказательств и опровержений. Основателем Л. считается Аристотель. Различают индуктивную и дедуктивную Л., а в последней классич., интуиционистскую, конструктивную, модальную и др.

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

См. также Математическая логика.

Естествознание. Энциклопедический словарь

.

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Что такое логика
Значение слова логика
Что означает логика
Толкование слова логика
Определение термина логика
logika это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины