Большой энциклопедический словарь - логика
Связанные словари
Логика
логика
ЛОГИКА (греч. logike) наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель.Различают индуктивную и дедуктивную логику, а в последней классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических.
исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. см. также Математическая логика. .Рейтинг статьи:
Комментарии:
См. в других словарях
1.
ЛОГИКА (греческое logike), наука> о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель>. Различают индуктивную и дедуктивную логику, а в последней классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика>. ...Современная энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1046 | |
2 | 885 | |
3 | 788 | |
4 | 785 | |
5 | 749 | |
6 | 748 | |
7 | 697 | |
8 | 660 | |
9 | 606 | |
10 | 600 | |
11 | 571 | |
12 | 566 | |
13 | 565 | |
14 | 562 | |
15 | 552 | |
16 | 545 | |
17 | 545 | |
18 | 534 | |
19 | 517 | |
20 | 513 |