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