ИСТИНА

В сообщении представляется типология знаков с точки зрения природы знакового отношения и способов реализации референции. По природе знакового отношения знаки можно разделить на «нормальные» (имеющие общественное существование) и «конвенциональные» (знаки, вводимые договоренностями). «Нормальные» знаки бывают «единичными» (имена) и «общими». Знаки «по договоренности» бывают конвенциональными именами и знаками «с оперативной конвенцией» (вводятся как заготовки знаков с целью их доопределения в специальных контекстах). Знаки «с оперативной конвенцией» бывают собственно «переменными», «условными именами» и «параметрами». Различение этих типов знаков позволяет уточнить как сами принципы функционирования логико-математических обозначений, так и историю их изобретения.