Войти
Воспроизвести медиа Хотя эта стая состоит из птиц одного типа, каждая отдельная птица представляет собой отдельный символ. Типа маркеров различие заключается разница между именованием класса (типа) объектами и именованием отдельных экземпляров (жетоны) этим классом. Поскольку каждый тип может быть проиллюстрирован несколькими токенами, обычно существует больше токенов, чем типов объекта. Например, предложение « Роза - это роза - это роза » содержит три типа слов: три токена слова типа a, три токена слова типа роза и два токена слова типа is. Это различие важно в таких дисциплинах, как логика, лингвистика, металогика, типографика и компьютерное программирование.
Предложение « они водят одну машину » неоднозначно. Как они ведут тот же тип автомобиля (ту же модель) или же экземпляр типа автомобиля (один автомобиль)? Ясность требует от нас отличать слова, представляющие абстрактные типы, от слов, которые представляют объекты, воплощающие или иллюстрирующие типы. Различие типа и лексемы отделяет типы (абстрактные описательные концепции) от лексем (объекты, которые создают экземпляры концептов).
Например: «велосипед» представляет собой тип: понятие велосипеда; тогда как «мой велосипед» представляет токен этого типа: объект, который создает экземпляр этого типа. В предложении «велосипед становится все более популярным» слово «велосипед» обозначает тип, являющийся понятием; тогда как в предложении «велосипед находится в гараже» слово «велосипед» представляет собой символ: конкретный объект.
(В компьютерном программировании различие между классами и объектами связано, хотя в этом контексте «класс» иногда относится к набору объектов (с атрибутом или операциями уровня класса), а не к описанию объекта в наборе, как « типа "было бы.)
Слова «тип», «концепция», «свойство», «качество», «характеристика» и «атрибут» (все они используются при описании вещей), как правило, используются с разными глаголами. Например, предположим, что куст розы определяется как «колючее», «цветущее» и «густое» растение. Можно сказать, что розовый куст конкретизирует эти три типа, или воплощает в себе эти три понятия, или обладает этими тремя свойствами, или обладает этими тремя качествами, характеристики или атрибуты.
Типы свойств (например, «высота в метрах» или «колючий») часто понимаются онтологически как концепции. Экземпляры свойств (например, рост = 1,74) иногда понимаются как измеренные значения, а иногда - как ощущения или наблюдения за реальностью.
Некоторые типы существуют как описания объектов, но не как материальные физические объекты. Можно показать кому-то конкретный велосипед, но нельзя показать кому-то явно тип «велосипед», например « велосипед популярен». Такое использование типологически похожих, но различных семантических свойств проявляется в ментальных и документированных моделях и часто упоминается в повседневном разговоре.
В типографике различие типа и лексемы используется для определения наличия текста, напечатанного подвижным шрифтом :
Определяющим критерием, которому должен соответствовать типографский оттиск, является идентификация типа различных буквенных форм, составляющих печатный текст. Другими словами: каждая буквенная форма, которая появляется в тексте, должна быть показана как конкретный экземпляр («жетон») одного и того же типа, который содержит обратное изображение напечатанной буквы.
Слово «буквы» было использовано в предыдущем абзаце трижды, каждый раз в разном значении. Слово «буквы» - одно из многих слов, имеющих «двусмысленность типа-лексемы». В этом разделе устраняется неоднозначность «букв» путем разделения трех значений с использованием стандартной терминологии в современной логике. Ключевые различия были впервые сделаны американским философом-логиком Чарльзом Сандерсом Пирсом в 1906 году с использованием установленной им терминологии.
Буквы, создаваемые письмом, являются физическими объектами, которые можно уничтожить различными способами: это ЖЕЛЕЗНЫЕ буквы или НАПИСАНИЯ на буквы. 26 букв алфавита - это ТИПЫ букв или ФОРМЫ букв.
Различие между типом и символом Пирса также применимо к словам, предложениям, абзацам и так далее: ко всему во вселенной дискурса теории символьных строк или теории конкатенации. Есть только один тип слова, пишется el-ee-tee-tee-ee-ar, а именно «буква»; но каждый раз, когда пишется этот тип слова, создается новый токен слова.
Некоторые логики считают тип слова классом его лексем. Другие логики возражают, что слово «тип» имеет постоянство и постоянство, которых нет в классе его лексем. Тип остается прежним, в то время как класс его токенов постоянно пополняется новыми членами и теряет старых.
Тип слова «буква» использует только четыре типа букв: el, ee, tee и ar. Тем не менее, он дважды использует ee и дважды tee. В стандартной терминологии слово типа «буква» имеет шесть букв ПРОИСХОЖДЕНИЕ, а тип буквы ee ПРОИСХОДИТ дважды в слове типа «буква». Каждый раз, когда вписывается тип слова, количество созданных буквенных знаков равно количеству букв вхождений в типе слова.
Оригинальные слова Пирса следующие. «Обычный способ оценки количества материала в... печатной книге - это подсчет количества слов. Обычно на странице около двадцати« тезисов », и, конечно же, они считаются как двадцать слов. другое значение слова «слово», однако в английском языке есть только одно слово «the», и невозможно, чтобы это слово лежало на странице явно или было слышно каким-либо голосом...... Форма, я предлагаю называть Типом. Одиночный... Объект... такое, как то или иное слово в отдельной строке одной страницы единственного экземпляра книги, я рискну называть Токеном....... Для того, чтобы Тип мог использоваться, он должен быть воплощен в Токене, который должен быть признаком Типа и, таким образом, объекта, который обозначает Тип ". - Peirce 1906, также Ogden and Richards, 1923, 280-1.
Эти различия тонкие, но твердые, и им легко овладеть. В конце этого раздела используется новая терминология для устранения неоднозначности первого абзаца.
