Исчисление

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 175.