Логика и метаматематические исследования

Вопрос о возможности выражения уникального собственного имени в формальной системе, где все значимые выражения представляют исключительно самих себя (т.е. используются автонимно), решается таким образом утвердительно и сравнительно несложно. Однако в естественном языке у нас возникают проблемы: либо уникальное собственное имя - это результат соглашения (возможно, молчаливого и не выраженного в утвердительной форме), либо уникальность имени выражает уникальность обозначаемого этим именем предмета вне зависимости от каких-либо соглашений пользователей языка. Один из самых ранних (и лучших) философских текстов по этому вопросу - диалог Платона "Кратил".

🔥7✍2❤1👍1👏1🦄1

www.tgoop.com/logic_metamathematics/768

581 viewsOct 28, 2024 at 03:24

Вопрос о возможности выражения уникального собственного имени в формальной системе, где все значимые выражения представляют исключительно самих себя (т.е. используются автонимно), решается таким образом утвердительно и сравнительно несложно. Однако в естественном языке у нас возникают проблемы: либо уникальное собственное имя - это результат соглашения (возможно, молчаливого и не выраженного в утвердительной форме), либо уникальность имени выражает уникальность обозначаемого этим именем предмета вне зависимости от каких-либо соглашений пользователей языка. Один из самых ранних (и лучших) философских текстов по этому вопросу - диалог Платона "Кратил".

BY Логика и метаматематические исследования