О проекте | Помощь    
   
 
   Энциклопедия Компьютеры Финансы Психология Право Философия   
Культура Медицина Педагогика Физика Спорт Спорт
 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
 
Ла Лб Лв Лг Лд Ле Лж Лз Ли Лй Лк Лл Лм Лн Ло Лп Лр Лс Лт Лу Лф Лх Лц Лч Лш Лщ Лъ Лы Ль Лэ Лю Ля
 

ЛОГИКА

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