Исчисление
(формальная система) - система символов, основными компонентами которой являются. 1) алфавит (совокупность элементарных символов - букв. Цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы), 4) правила вывода теорем (производных доказуемых формул) из аксиом.Символам формальной системы может придаваться различная смысловая интерпретация в зависимости от того, какая конкретная семантическая модель ставится в соответствие всей формальной системе в целом. В результате такой интерпретации И. Преобразуется в формальный язык. Напр., язык логики высказываний и язык логики предикатов являются интерпретированными логическими И. Язык арифметики - интерпретированным логико-математическим И.
Язык теории множеств - интерпретированным теоретико-множественным И., и т.д. Логические И. Являются важнейшей разновидностью формальных систем. От др. Формальных систем такие И. Отличаются сугубо логическим пониманием формул и правил вывода. Формулы, содержащие неквалифицированные переменные, рассматриваются в качестве пропозициональных переменных, вместо которых допускается подстановка соответствующих высказываний, а правила вывода задаются с таким расчетом, чтобы они отражали отношение логического следования между формулами. Наиболее значимыми являются классическое И. Высказываний и классическое И. Предикатов. На основе собственно логических И. Строятся различные прикладные И. Путем присоединения к логическим аксиомам тех или иных дополнительных аксиом.
Прикладным логическим И. Является, в частности, И. Предикатов с равенством, получающееся в результате добавления к классическому И. Предикатов дополнительных аксиом, характеризующих отношение математического равенства..
Дополнительный поиск Исчисление
На нашем сайте Вы найдете значение "Исчисление" в словаре Философский словарь, подробное описание, примеры использования, словосочетания с выражением Исчисление, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 10 символа