Войти
Определение устанавливает значение слова с помощью других слов. Иногда это сложно. Общие словари содержат лексические описательные определения, но существуют различные типы определений - все с разными целями и сферами деятельности. A определение - это изложение значения термина (слово, фраза или другой набор символов ). Определения можно разделить на две большие категории: интенсиональные определения (которые пытаются передать смысл термина) и экстенсиональные определения (которые пытаются перечислить объекты, описываемые термином). Другой важной категорией определений является класс наглядных определений, которые передают значение термина путем указания примеров. Термин может иметь много разных смыслов и значений и, таким образом, требует нескольких определений.
В математике определение используется для придания точного значения новому термину путем описания условия что однозначно определяет, что есть математический термин, а что нет. Определения и аксиомы составляют основу, на которой должна быть построена вся современная математика.
В современном использовании определение - это что-то, обычно выражаемое словами, придающее значение слову или группа слов. Слово или группа слов, которая должна быть определена, называется дефиниендумом, а слово, группа слов или действие, которое ее определяет, называется дефиниенсом. Например, в определении «Слон - это большое серое животное, обитающее в Азии и Африке», слово «слон» - это дефиниендум, а все, что после слова «есть», - это дефиненс.
не является значением данного слова, а вместо этого имеет то же значение, что и это слово.
Есть много подтипов определений, часто специфичных для данной области знаний или исследования. К ним относятся, среди прочего, лексические определения или общие словарные определения слов, уже присутствующих в языке; наглядные определения, которые определяют что-то, указывая на его пример («Это» [сказал, указывая на большое серое животное], «азиатский слон»); и уточняющие определения, которые уменьшают расплывчатость слова, как правило, в некотором особом смысле («Большой» среди самок азиатских слонов - это любой человек весом более 5 500 фунтов »).
Интенсиональное определение, также называемое коннотативным определением, определяет необходимые и достаточные условия для того, чтобы вещь могла быть членом определенного установить. Любое определение, которое пытается изложить сущность чего-либо, например, по роду и дифференциации, является интенсиональным определением.
экстенсиональное определение, также называемое денотативным определением, понятия или термина определяет его расширение. Это список, в котором именуется каждый объект , который является членом определенного набора.
. Таким образом, «семь смертных грехов » могут быть определены по сути как те, которые выделены Папа Григорий I как особенно разрушительный для жизни благодати и милосердия внутри человека, тем самым создавая угрозу вечного проклятия. С другой стороны, экстенсиональным определением будет список гнева, жадности, лености, гордости, похоти, зависти и обжорства. Напротив, хотя интенсиональное определение «премьер-министр » могло бы быть «самым старшим министром кабинета в исполнительной ветви парламентского правительства», экстенсивное определение невозможно, поскольку неизвестно, кто Будущие премьер-министры будут (хотя все премьер-министры прошлого и настоящего могут быть перечислены).
A определение род – дифференциация - это тип интенсионального определения, который берет большую категорию (род ) и сужает ее вплоть до меньшей категории по отличительной характеристике (например, дифференциации).
Более формально определение род-дифференциация состоит из:
Например, рассмотрим следующие определения род-дифференциация:
Эти определения могут быть выражены как род ("a плоская фигура ") и две разности (" имеющая три прямые ограничивающие стороны "и" имеющая четыре прямые ограничивающие стороны "соответственно).
Также возможно иметь два разных определения род-дифференциация, которые описывают один и тот же термин, особенно когда термин описывает перекрытие двух больших категорий. Например, оба этих определения «квадрата» одинаково приемлемы:
Таким образом, «квадрат» является членом обоих родов (множественное число рода): рода «прямоугольник» и рода «ромб».
Одной из важных форм экстенсиональных определений является наглядное определение. Это придает значение термина, указывая, в случае индивидуума, на саму вещь, или в случае класса, на примеры правильного типа. Например, можно объяснить, кто такая Алиса (личность), указав на нее другому; или что такое кролик (класс), указывая на нескольких и ожидая, что другой поймет. Сам процесс наглядного определения был критически оценен Людвигом Витгенштейном.
. Перечислительное определение понятия или термина - это экстенсиональное определение, которое дает явный и исчерпывающий перечень всех объектов, подпадающих под рассматриваемое понятие или термин. Перечислительные определения возможны только для конечных наборов (и фактически применимы только для относительно небольших наборов).
Divisio и partitio - классические термины для определений. Partitio - это просто интенсиональное определение. Divisio - это не экстенсиональное определение, а исчерпывающий список подмножеств набора в том смысле, что каждый член «разделенного» набора является членом одного из подмножеств. Крайняя форма divisio перечисляет все наборы, единственный член которых является членом «разделенного» набора. Разница между этим и экстенсиональным определением состоит в том, что экстенсиональные определения перечисляют элементы, а не подмножества.
В классической мысли определение считалось утверждением суть вещи. Аристотель утверждал, что существенные атрибуты объекта образуют его «сущностную природу» и что определение объекта должно включать эти существенные атрибуты.
Идея о том, что определение должно содержать сущность вещь привела к различию между номинальной и реальной сущностью - различию, происходящему от Аристотеля. В Posterior Analytics он говорит, что значение вымышленного имени может быть известно (он приводит пример «козий олень»), не зная, что он называет «сущностью» того, что имя бы обозначало (если бы такое было). Это побудило средневековых логиков различать то, что они называли quid nominis, или «что такое имя», и лежащую в основе сущность, общую для всех вещей, которые оно называет, которые они называли quid rei, или «какова сущность вещи».. Например, имя «хоббит » имеет большое значение. У него есть quid nominis, но никто не может знать настоящую природу хоббитов, и поэтому quid rei хоббитов не может быть известен. Напротив, имя «человек» обозначает реальные вещи (мужчин), которые имеют определенный фунт рей. Значение имени отличается от природы, которую должна иметь вещь для того, чтобы имя применимо к ней.
Это приводит к соответствующему различию между номинальными и реальными определениями. Номинальное определение - это определение, объясняющее, что означает слово (т. Е. Которое говорит, что такое «номинальная сущность»), и определение в классическом смысле, как указано выше. Настоящее же определение, напротив, выражает реальную природу или quid rei вещи.
Эта озабоченность сущностью рассеялась в большей части современной философии. Аналитическая философия, в частности, критически относится к попыткам разъяснить сущность вещи. Рассел описал сущность как «безнадежно бестолковое понятие».
Совсем недавно Крипке формализация семантики возможного мира в модальном логика привела к новому подходу к эссенциализму. Поскольку существенные свойства вещи необходимы ей, это те вещи, которыми она обладает во всех возможных мирах. Крипке называет используемые таким образом имена жесткими обозначениями.
Определение также может быть классифицировано как рабочее определение или теоретическое определение.
A омоним в строгом смысле слова - это одно из группы слов, которые имеют одинаковое написание и произношение, но имеют разные значения. Таким образом, омонимы являются одновременно омографами (слова, которые имеют одинаковое написание, независимо от их произношения) и омофонами (слова, которые имеют одинаковое произношение, независимо от их написания). Состояние омонима называется омонимией . Примерами омонимов являются пара стебель (часть растения) и стебель (преследовать / преследовать человека) и пара left (прошедшее время отпуска) и left (напротив правого). Иногда проводится различие между "истинными" омонимами, не имеющими отношения друг к другу по происхождению, такими как skate (скольжение по льду) и skate (рыба), и многозначными омонимами или полисемами, имеющими общее происхождение., например, устье (реки) и пасть (животного).
Многозначность - это способность знака (например, слово, фраза или символ ), чтобы иметь несколько значений (то есть несколько сем или сем и, следовательно, несколько смыслов ), обычно связанных смежностью , означающей в пределах семантического поля. Таким образом, его обычно считают отличным от омонимии, в которой множественные значения слова могут быть не связаны или не связаны.
В математике определения обычно используются не для описания существующих терминов, а для описания или характеристики концепции. Для обозначения объекта определения математики могут использовать либо неологизм (в основном так было в прошлом), либо слова или фразы из общепринятого языка (обычно это имеет место в современной математике). Точное значение термина, данное математическим определением, часто отличается от английского определения используемого слова, что может привести к путанице, особенно когда значения близки. Например, набор - это не совсем то же самое в математике и в обычном языке. В некоторых случаях используемое слово может вводить в заблуждение; например, действительное число не имеет ничего более (или менее) реального, чем мнимое число. Часто в определении используется фраза, построенная из общеупотребительных английских слов, не имеющая значения вне математики, например примитивная группа или несократимое разнообразие.
Авторы использовали разные термины для классификации определений, используемых в формальных языках, таких как математика. Норман Шварц классифицирует определение как «обязательное», если оно предназначено для руководства конкретным обсуждением. Условное определение можно рассматривать как временное, рабочее определение, и его можно опровергнуть, только продемонстрировав логическое противоречие. Напротив, «описательное» определение может быть показано как «правильное» или «неправильное» применительно к общему использованию.
Шварц определяет уточняющее определение как определение, расширяющее описательное словарное определение (лексическое определение) для конкретной цели путем включения дополнительных критериев. Уточнение определения сужает набор вещей, отвечающих этому определению.
К.Л. Стивенсон идентифицировал убедительное определение как форму условного определения, которое имеет целью указать «истинное» или «общепринятое» значение термина, в то время как на самом деле оговаривает измененное использование (возможно, в качестве аргумента) для какой-то конкретной веры). Стивенсон также отметил, что некоторые определения являются «законными» или «принудительными» - их цель - создать или изменить права, обязанности или преступления.
A рекурсивное определение, иногда также называемое индуктивное определение - это определение, которое определяет слово в терминах самого себя, так сказать, хотя и полезным образом. Обычно это состоит из трех шагов:
. Например, мы могли бы определить натуральное число следующим образом (после Peano ):
Таким образом, «0» будет иметь ровно один преемник, который для удобства можно назвать «1». В свою очередь, у «1» будет ровно один преемник, который можно было бы назвать «2» и так далее. Обратите внимание, что второе условие в самом определении относится к натуральным числам и, следовательно, включает ссылку на себя. Хотя такое определение включает в себя форму замкнутости, оно не является порочным, и определение оказалось вполне успешным.
Таким же образом мы можем определить предка следующим образом:
Или просто: предок является родителем или родителем предка.
В медицинских словарях, руководящих принципах и других утверждениях консенсуса и классификации, определения должны быть, насколько это возможно:
Определенные правила традиционно использовались для определений (в частности, определений род-дифференциация).
Учитывая, что естественный язык, такой как английский, в любой момент времени содержит конечное количество слов, любой исчерпывающий список определений должен быть либо циклическим, либо основываться на примитивных понятиях.. Если каждый термин каждого определения должен быть определен сам по себе, «где, наконец, мы должны остановиться?» Словарь, например, поскольку он представляет собой исчерпывающий список лексических определений, должен прибегать к цикличности.
Многие философы вместо этого предпочли оставить некоторые термины неопределенными. философы-схоласты утверждали, что высшие роды (называемые десятью генералиссима) не могут быть определены, поскольку не может быть назначен более высокий род, к которому они могут принадлежать. Таким образом, является, единство и подобные понятия не могут быть определены. Локк предполагает в «Очерке человеческого понимания», что названия простых концепций не допускают какого-либо определения. Совсем недавно Бертран Рассел пытался разработать формальный язык, основанный на логических атомах. Другие философы, особенно Витгенштейн, отвергали необходимость каких-либо неопределенных простых слов. Витгенштейн указал в своих Philosophical Investigations, что то, что считается «простым» в одних обстоятельствах, может не сработать в других. Он отверг саму идею о том, что каждое объяснение значения термина должно быть объяснено: «Как если бы объяснение висело в воздухе, если не подкреплено другим», утверждая, что вместо этого объяснение термина необходимо только во избежание недоразумений.
Локк и Милл также утверждали, что лица не могут быть определены. Имена заучиваются путем соединения идеи со звуком, так что говорящий и слушающий имеют одинаковую идею, когда используется одно и то же слово. Это невозможно, если никто другой не знаком с конкретной вещью, которая «попала в поле нашего внимания». Рассел предложил свою теорию описаний отчасти как способ определения имени собственного, причем определение дается с помощью определенного описания, которое «выделяет» ровно одного человека. Саул Крипке указал на трудности с этим подходом, особенно в отношении модальности, в своей книге «Именование и необходимость».
В классическом примере определения есть презумпция, согласно которой могут быть сформулированы определяющие. Витгенштейн утверждал, что для некоторых терминов это не так. Примеры, которые он использовал, включают игру, число и семью. Он утверждал, что в таких случаях не существует фиксированной границы, которую можно было бы использовать для определения. Скорее, элементы группируются вместе из-за семейного сходства. Для таких терминов, как эти, невозможно и даже не нужно давать определение; скорее, можно просто понять использование этого термина.
Портал лингвистики 
Портал философии 
Портал математики  | Найдите определение в Wiktionary, бесплатный словарь. |
 | В Викицитатнике есть цитаты, относящиеся к: Определение |
