Знак и значение. Метод формализации

Знак является заместителем предметов, отсылает к другому предмету, который является значением.Значением выступают вещи, предметы которые знак обозначает.Знак есть, а значения в предметном смысле нет.Выделяют знак и значение.Знак-это то , что обозначает, значение-обозначаемое.Нет знака без обозначения.Гильберт сравнивал метод формализации с шахматной игрой.Направление метода формализации.Тарский-принцип любого язака состоит в том, чтобы отсылать знак к внелингвистической реальности.Симеотика-наука о знаковых системах.