Affiliation:
1. Самарский государственный технический университет
Abstract
В работе поднимается дискуссия о символах, или знаках, в контексте элементарных языковых объектов, в том числе и объектов языка математики, заключающаяся в формальном описании двойственной природы самого понятия: с одной стороны символ – это некоторый материальный объект, имеющий физическое выражение в той или иной форме, с другой – носитель смысла, идеи, для выражения чего он, собственно, и предназначен. Мы указываем, что материальная составляющая понятия символа, заключающаяся в его естественных свойствах дискретности и темпоральной упорядоченности, закладывает правила обращения с идейной составляющей, которую символ вообще реализует, что должно учитываться в логике конструктивного построения. Формальное изложение предложенной концепции мы основываем на дополненной форме порождающей грамматики. В краткой форме дается интерпретация изложения некоторых фундаментальных концепций, включая логику первого порядка, построения натуральных чисел, геделевской нумерации, теоретико-множественного подхода и континуума.
Reference19 articles.
1. Алферова З.В. Теория алгоритмов. – М: Статистика, 1973.
2. Brouwer L.E.J. Historical background principles and methods of intuitionism. – South African journal of science, 1952.
3. Карнап Р. Значение и необходимость. – М: Издательство иностранной литературы, 1959.
4. Carnap R. Logical syntax of language. – London: Routledge, 2000.
5. Three models for the description of language. // IEEE Transactions on Information Theory, Vol. 2, No 3, 1956.