Многозначность и типология терминов

В статье представлена типология терминов с точки зрения природы знакового отношения и способов реализации референции. По природе знакового отношения термины и знаки вообще можно разделить на «нормальные» (собственно знаки, то есть знаки, имеющие общественное, интерсубъективное существование) и «конвенциональные» (условные обозначения, вводимые «по договоренности», в том числе и на основании индивидуальной декларации или решения автора). Термины естественного языка (в том числе «нормальные») обычно делят на «единичные» (имена, константы) и «общие». Среди терминов «по договоренности» можно выделить конвенциональные термины и знаки «с оперативной конвенцией» (вводятся как заготовки знаков с целью их доопределения в специальных контекстах конкретных задач, доказательств, примеров). К конвенциональным терминам относятся как термины естественного языка (например, научные имена тех или иных объектов), так и символьные обозначения. Среди терминов «с оперативной конвенцией» можно выделить как минимум три типа: собственно «переменные» (по функции схожи с общими терминами в некоторых суппозициях), «условные имена» (вместе с именами по договоренности и нормальными именами они являются константами, но различаются контекстами употребления) и «параметры» (абстрактные имена, обозначения, мыслимые как имена конкретных, известных объектов; занимают промежуточное положение между «переменными» и «условными именами»). Одна и та же знаковая форма, функционируя в качестве знака любого из этих видов, в разных коммуникативных ситуациях может быть связана с разными объектами, но природа смены референта зависит от типа знака. Различение этих типов знаков позволяет уточнить сами принципы функционирования логико-математических обозначений, а также историю их изобретения. В частности, пролить свет на введение буквенных обозначений в логике. DOI: 10.21146/2074-1472-2018-24-2-158-166