исчисление

Исчисление - система правил оперирования со знаками, расширяющая возможности содержательного мышления в решении задач и в доказательстве суждений, выразимых средствами (на «языке») данного И. Особенность И. состоит в том, что объекты, с к-рыми в нем оперируют, являются материальными предметами (цифры, буквы и др. знаки), практически не меняющимися в процессе применения к ним правил И. Исторически И. возникло и развилось в рамках математики (напр., дифференциальное и интегральное И. и др.); позже метод построения И. был распространен на логику, появились различные виды логического и логико-математического И., в связи с чем оформилась как наука математическая^ или символическая, логика, в к-рои посредством построения И. выражаются логические формы. Представление определенных областей знания, особенно в дедуктивных науках, в виде И., строящегося на основе методов, разработанных в совр. логике, является наиболее последовательным типом формализации соответствующей области знания; эффективность такой формализации подтверждается практикой применения совр. вычислительной техники и развитием кибернетики (Логистический метод).

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.