Философский словарь - исчисление
Исчисление
Символам формальной системы может придаваться различная смысловая интерпретация в зависимости от того, какая конкретная семантическая модель ставится в соответствие всей формальной системе в целом. В результате такой интерпретации И. преобразуется в формальный язык. Напр., язык логики высказываний и язык логики предикатов являются интерпретированными логическими И.; язык арифметики интерпретированным логико-математическим И.
; язык теории множеств интерпретированным теоретико-множественным И., и т.д. Логические И. являются важнейшей разновидностью формальных систем. От др. формальных систем такие И. отличаются сугубо логическим пониманием формул и правил вывода. Формулы, содержащие неквалифицированные переменные, рассматриваются в качестве пропозициональных переменных, вместо которых допускается подстановка соответствующих высказываний, а правила вывода задаются с таким расчетом, чтобы они отражали отношение логического следования между формулами.
Наиболее значимыми являются классическое И. высказываний и классическое И. предикатов. На основе собственно логических И. строятся различные прикладные И. путем присоединения к логическим аксиомам тех или иных дополнительных аксиом. Прикладным логическим И. является, в частности, И. предикатов с равенством, получающееся в результате добавления к классическому И.
предикатов дополнительных аксиом, характеризующих отношение математического равенства. .См. в других словарях
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 849 | |
2 | 755 | |
3 | 735 | |
4 | 655 | |
5 | 582 | |
6 | 534 | |
7 | 526 | |
8 | 509 | |
9 | 503 | |
10 | 494 | |
11 | 474 | |
12 | 462 | |
13 | 449 | |
14 | 445 | |
15 | 445 | |
16 | 440 | |
17 | 422 | |
18 | 419 | |
19 | 418 | |
20 | 417 |