|
|
gen. |
逻辑学家; 思考型 |
|
|
gen. |
逻辑; 理则 (вещей); 理学; 罗辑; 声明 (Śabdavidyā); 情理; 论理; 论理学 (наука); 逻辑学; 义理; 思理学; 理则学 (наука); 规律性 |
corp.gov. |
立论基础 |
ed. |
逻辑学; 推理; 合理性 |
el. |
逻辑线路 |
obs. |
名学; 辩学; 辨学 |
tech. |
逻辑〔学〕 |
|
|
gen. |
因明 (древняя индийская) |
|
Russian thesaurus |
|
|
gen. |
наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика. Большой Энциклопедический словарь |