Большой энциклопедический словарь - логика
Связанные словари
Логика
логика ЛОГИКА (греч. logike) наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель.
Различают индуктивную и дедуктивную логику, а в последней классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических.
исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. см. также Математическая логика. .Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1070 | |
2 | 907 | |
3 | 819 | |
4 | 810 | |
5 | 775 | |
6 | 773 | |
7 | 729 | |
8 | 692 | |
9 | 632 | |
10 | 625 | |
11 | 600 | |
12 | 596 | |
13 | 594 | |
14 | 592 | |
15 | 582 | |
16 | 571 | |
17 | 570 | |
18 | 558 | |
19 | 543 | |
20 | 543 |