Страница полузащищенная
Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Определение устанавливает значение слова с использованием других слов. Иногда это сложно. Общие словари содержат лексические описательные определения, но есть разные типы определений - все с разными целями и сферами.

Определение является утверждение о значении термина (а слово , фраза , или другой набор символов ). [1] [2] Определения можно разделить на две большие категории: интенсиональные определения (которые пытаются передать смысл термина) и экстенсиональные определения (которые пытаются перечислить объекты, которые описывает термин). [3] Другой важной категорией определений является класс наглядных определений , которые передают значение термина путем указания примеров. Термин может иметь много разных значений и значений, и, следовательно, требовать нескольких определений. [4] [а]

В математике определение используется для придания точного значения новому термину путем описания условия, которое однозначно определяет, чем является математический термин, а что нет. [5] Определения и аксиомы составляют основу, на которой должна строиться вся современная математика. [6]

Основная терминология

В современном использовании определение - это нечто, обычно выражаемое словами, придающее значение слову или группе слов. Слово или группа слов, которая должна быть определена, называется дефиниендумом , а слово, группа слов или действие, которое ее определяет, называется дефиниенсом . [7] Например, в определении «Слон - это большое серое животное, обитающее в Азии и Африке» , слово «слон» - это дефиниендум , а все, что после слова «есть» - это дефиненс . [8]

В дефиниенсе не смысл слова , определенном, но вместо того, чтобы что - то , что передает тот же смысл , как это слово. [8]

Есть много подтипов определений, часто специфичных для данной области знаний или обучения. К ним относятся, среди прочего, лексические определения или общие словарные определения слов, уже присутствующих в языке; наглядные определения , которые определяют что-то, указывая на его пример ( «Это» [сказал, указывая на большое серое животное], «азиатский слон» ); и уточнение определений , которые уменьшают расплывчатость слова, как правило, в каком-то особом смысле ( «Большой» среди самок азиатских слонов - это любой человек весом более 5 500 фунтов » ). [8]

Интенсиональные определения против экстенсиональных определений

Интенсиональная определение , также называется коннотативная определение, определяет необходимые и достаточные условия для вещи , чтобы быть членом определенного набора . [3] Любое определение, которое пытается изложить сущность чего-либо, например, по родам и дифференциациям , является интенсиональным определением.

Экстенсиональное определение , также называется означающее определением, концепция или термина определяет его расширение . Это список, в котором перечислены все объекты , входящие в определенный набор . [3]

Таким образом, « семь смертных грехов » могут быть определены интенсионально как те, которые были выделены Папой Григорием I как особо разрушительные для жизни благодати и милосердия внутри человека, создавая таким образом угрозу вечного проклятия. С другой стороны, экстенсиональным определением будет список гнева, жадности, лености, гордости, похоти, зависти и обжорства. Напротив, хотя интенсиональным определением « премьер-министр » может быть «самый старший министр кабинета в исполнительной ветви парламентского правительства», экстенсивное определение невозможно, поскольку неизвестно, кто будут будущими премьер-министрами ( хотя можно перечислить всех премьер-министров прошлого и настоящего).

Классы интенсиональных определений

Определение род-дифференциация - это тип интенсионального определения, которое берет большую категорию ( род ) и сужает ее до меньшей категории по отличительной характеристике (то есть дифференциации). [9]

Более формально определение род-дифференциация состоит из:

  1. род (или семья): существующее определение , которое служит в качестве части нового определения; все определения одного и того же рода считаются членами этого рода.
  2. дифференциация : Часть нового определения, не предоставленная родом. [7]

Например, рассмотрим следующие определения род-дифференциация:

  • треугольник : плоская фигура , которая имеет три прямых сторон ограничительных.
  • четырехугольник : плоская фигура А, имеет четыре прямых сторон ограничительных.

Эти определения могут быть выражены как род («плоская фигура») и две разности («имеющий три прямые ограничивающие стороны» и «имеющий четыре прямые ограничивающие стороны», соответственно).

Также возможно наличие двух разных определений род-дифференциация, которые описывают один и тот же термин, особенно когда термин описывает перекрытие двух больших категорий. Например, оба этих определения «квадрата» одинаково приемлемы:

  • квадрат : прямоугольник , представляющий собой ромб .
  • квадрат : ромб , представляющий собой прямоугольник .

Таким образом, «квадрат» является членом обоих родов (множественного числа рода ): рода «прямоугольник» и рода «ромб».

Классы экстенсиональных определений

Одна из важных форм экстенсионального определения - это наглядное определение . Это придает значение термина, указывая, в случае индивидуума, на саму вещь, или в случае класса, на примеры правильного типа. Например, можно объяснить, кто такая Алиса (индивидуум), указав на нее другому; или что такое кролик (класс), указывая на нескольких и ожидая, что другой поймет. Сам процесс наглядного определения был критически оценен Людвигом Витгенштейном . [10]

Исчислительная определение концепции или термина является экстенсиональное определение , которое дает четкое и исчерпывающее перечисление всех объектов , которые подпадают под понятие или термин в вопросе. Перечислительные определения возможны только для конечных наборов (и фактически применимы только для относительно небольших наборов).

Divisio и partitio

Divisio и partitio - это классические термины для определений. Partitio просто интенсиональная определение. Divisio не экстенсиональное определение, но исчерпывающий перечень подмножеств некоторого множества, в том смысле , что каждый член «разделенный» набор является членом одного из подмножеств. Крайняя форма divisio перечисляет все наборы, единственный член которых является членом «разделенного» набора. Разница между этим и экстенсиональным определением состоит в том, что экстенсиональные определения перечисляют элементы , а не подмножества . [11]

Номинальные определения против реальных определений

В классической мысли определение понималось как изложение сущности вещи. Аристотель утверждал, что существенные атрибуты объекта образуют его «сущностную природу», и что определение объекта должно включать эти существенные атрибуты. [12]

Идея о том, что определение должно констатировать сущность вещи, привела к различию между номинальной и реальной сущностью - различию, восходящему к Аристотелю. В аналитике , [13] он говорит , что смысл выдуманного имени может быть известен (он приводит пример «козла мальчишник») , не зная , что он называет «сущность» этой вещи , что имя будет обозначать (если бы такое было). Это заставило средневековых логиков различать то, что они называли quid nominis , или «что такое имя», и лежащую в основе сущность, общую для всех вещей, которые оно называет, которые они называли quid rei , или «что это такое». .[14] Имя "hobbit », например, имеет совершенно значение. У него есть quid nominis , но невозможно узнать настоящую природу хоббитов, и поэтому quid rei хоббитов нельзя узнать. Напротив, имя« человек »обозначает реальные вещи ( men), у которых есть определенный quid rei.Смысл имени отличается от природы, которую должна иметь вещь для того, чтобы это имя применялось к ней.

Это приводит к соответствующему различию между номинальными и реальными определениями. Номинальное определение - это определение, объясняющее, что означает слово (то есть, в котором говорится, что такое «номинальная сущность»), и определение в классическом смысле, как указано выше. Настоящее же определение, напротив, выражает реальную природу или quid rei вещи.

Эта озабоченность сущностью рассеялась по большей части современной философии. Аналитическая философия , в частности, критически относится к попыткам разъяснить сущность вещи. Рассел охарактеризовал сущность как «безнадежно бестолковое понятие». [15]

Совсем недавно формализация семантики возможного мира в модальной логике Крипке привела к новому подходу к эссенциализму . Поскольку существенные свойства вещи необходимы ей, это те вещи, которыми она обладает во всех возможных мирах. Крипке называет используемые таким образом имена жесткими обозначениями .

Операционные и теоретические определения

Определение также может быть классифицировано как рабочее определение или теоретическое определение .

Термины с несколькими определениями

Омонимы

В строгом смысле омоним - это одно из группы слов, которые имеют одинаковое написание и произношение, но имеют разные значения. [16] Таким образом, омонимы одновременно являются омографами (слова с одинаковым написанием, независимо от их произношения) и омофонами (слова с одинаковым произношением, независимо от их написания). Состояние омонима называется омонимией . Примерами омонимов являются пара стебель (часть растения) и стебель (преследовать / преследовать человека) и пара left (прошедшее время отпуска) и left(напротив правого). Иногда проводится различие между «истинными» омонимами, которые не связаны по происхождению, такими как скейт (скольжение по льду) и скейт (рыба), и многозначными омонимами или полисемами , которые имеют общее происхождение, например, рот (из река) и устье (животного). [17] [18]

Полисемы

Многозначность - это способность знака (например, слова , фразы или символа ) иметь несколько значений (то есть несколько сем или сем и, следовательно, несколько смыслов ), обычно связанная смежностью значений в семантическом поле . Таким образом, его обычно считают отличным от омонимии , в которой множественные значения слова могут быть несвязанными или несвязанными.

По логике и математике

В математике определения обычно используются не для описания существующих терминов, а для описания или характеристики концепции. [19] Для обозначения объекта определения математики могут использовать либо неологизм (в основном так было в прошлом), либо слова или фразы общего языка (это обычно имеет место в современной математике). Точное значение термина, данное математическим определением, часто отличается от английского определения используемого слова [20], что может привести к путанице, особенно когда значения близки. Например, набор - это не совсем то же самое в математике и в обычном языке. В некоторых случаях используемое слово может вводить в заблуждение; например, реальное числоне имеет ничего более (или менее) реального, чем мнимое число . Часто в определении используется фраза, построенная из общеупотребительных английских слов, не имеющая значения вне математики, например, примитивная группа или несократимое разнообразие .

Классификация

Авторы использовали разные термины для классификации определений, используемых в формальных языках, таких как математика. Норман Шварц классифицирует определение как «обязательное», если оно предназначено для ведения конкретного обсуждения. Условное определение можно рассматривать как временное, рабочее определение, и его можно опровергнуть, только продемонстрировав логическое противоречие. [21] Напротив, «описательное» определение может быть показано как «правильное» или «неправильное» в отношении общего использования.

Шварц определяет точное определение как определение , расширяющее описательное словарное определение (лексическое определение) для конкретной цели, включая дополнительные критерии. Уточнение определения сужает набор вещей, отвечающих этому определению.

С.Л. Стивенсон определил убедительное определение как форму условного определения, которое имеет целью установить «истинное» или «общепринятое» значение термина, в то время как в действительности оговаривает измененное использование (возможно, в качестве аргумента в пользу некоторого конкретного убеждения). Стивенсон также отметил, что некоторые определения являются «законными» или «принудительными» - их цель - создать или изменить права, обязанности или преступления. [22]

Рекурсивные определения

Рекурсивное определение , иногда также называют индуктивным определением, это тот , который определяет слово с точки зрения само по себе, так сказать, хотя и полезным способом. Обычно это состоит из трех шагов:

  1. По крайней мере, одна вещь указывается как член определяемого набора; это иногда называют «базовым набором».
  2. Все вещи, имеющие определенное отношение к другим членам множества, также должны считаться членами множества. Именно этот шаг делает определение рекурсивным .
  3. Все остальное исключено из набора

Например, мы могли бы определить натуральное число следующим образом (после Пеано ):

  1. «0» - натуральное число.
  2. У каждого натурального числа есть уникальный преемник, например:
    • последователь натурального числа также является натуральным числом;
    • различные натуральные числа имеют различных наследников;
    • за натуральным числом не следует "0".
  3. Больше ничего не является натуральным числом.

Таким образом, у «0» будет ровно один преемник, который для удобства можно назвать «1». В свою очередь, у «1» будет ровно один преемник, который можно было бы назвать «2» и так далее. Обратите внимание, что второе условие в самом определении относится к натуральным числам и, следовательно, включает ссылку на себя . Хотя такого рода определение включает в себя форму округлости , не порочный , и определение было вполне успешным.

Таким же образом мы можем определить предка следующим образом:

  1. Родитель - это предок.
  2. Родитель предка - это предок.
  3. Ничто другое не является предком.

Или просто: предок - это родитель или родитель предка.

В медицине

В медицинских словарях , руководствах и других согласованных утверждениях и классификациях определения должны, насколько это возможно, быть:

  • простой и понятный, [23] желательно даже широкой публике; [24]
  • полезно клинически [24] или в связанных областях, где будет использоваться определение; [23]
  • специфический [23] (то есть, читая только определение, в идеале не должно быть возможности ссылаться на какой-либо другой объект, кроме того, что определяется);
  • измеримый; [23]
  • отражение современных научных знаний. [23] [24]

Проблемы с определениями

Для определений традиционно давались определенные правила (в частности, определения родовых различий). [25] [26] [27] [28]

  1. В определении должны быть указаны основные атрибуты определяемой вещи.
  2. Определения следует избегать округлости. Определение лошади как «представителя вида equus » не несет никакой информации. По этой причине Locking [ указать ] добавляет, что определение термина не должно состоять из терминов, которые являются синонимичными ему. Это было бы круглое Определение, а circulus в definiendo . Обратите внимание, однако, что допустимо определять два относительных термина по отношению друг к другу. Ясно, что мы не можем определить «антецедент», не используя термин «консеквент», и наоборот.
  3. Определение не должно быть слишком широким или слишком узким. Он должен быть применим ко всему, к чему применяется определенный термин (т. Е. Ничего не упускать), и ни к чему другому (т. Е. Не включать ничего, к чему данный термин не может быть действительно применим).
  4. Определение не должно быть непонятным. Цель определения - объяснить значение термина, который может быть неясным или сложным, с помощью общепринятых терминов, значение которых ясно. Нарушение этого правила известно под латинским термином obscurum per obscurius . Однако иногда научные и философские термины трудно определить без неясности.
  5. Определение не должно быть отрицательным там, где оно может быть положительным. Мы не должны определять «мудрость» как отсутствие глупости или здоровую вещь как то, что не больно. Однако иногда это неизбежно. Например, кажется трудным определить слепоту в положительном свете, а не как «отсутствие зрения у обычно зрячего существа».

Ошибки определения

Ограничения определения

Учитывая, что естественный язык, такой как английский, содержит в любой момент времени конечное число слов, любой исчерпывающий список определений должен быть либо циклическим, либо основываться на примитивных понятиях . Если каждый член каждого дефиниенса сам должен быть определен « где наконец -то мы должны остановить?» [29] [30] Словарь, например, поскольку он представляет собой исчерпывающий список лексических определений , должен прибегать к цикличности . [31] [32] [33]

Многие философы предпочли оставить некоторые термины неопределенными. В схоластические философы утверждали , что наивысшая роды ( так называемые десять generalissima ) не может быть определена, так как более высокий род не могут быть назначены в соответствии с которым они могут упасть. Таким образом, бытие , единство и подобные понятия не могут быть определены. [26] Локк предполагает в «Очерке человеческого понимания» [34], что названия простых понятий не допускают какого-либо определения. Совсем недавно Бертран Рассел попытался разработать формальный язык, основанный на логических атомах . Другие философы, особенно Витгенштейн, отверг необходимость каких-либо неопределенных простых. Витгенштейн в своих « Философских исследованиях» указывал, что то, что считается «простым» в одних обстоятельствах, может не действовать в других. [35] Он отверг саму идею о том, что каждое объяснение значения термина должно само быть объяснено: «Как если бы объяснение висело в воздухе, если оно не поддерживается другим», [36] вместо этого утверждая, что объяснение термина является нужно только во избежание недоразумений.

Локк и Милль также утверждали, что индивидов нельзя определить. Имена заучиваются путем соединения идеи со звуком, так что говорящий и слушающий имеют одинаковую идею, когда используется одно и то же слово. [37] Это невозможно, если никто другой не знаком с конкретным предметом, который «попал в поле нашего внимания». [38] Рассел предложил свою теорию описаний отчасти как способ определения имени собственное, при этом определение давалось определенным описанием, которое «выделяет» ровно одного человека. Саул Крипке указал на трудности с этим подходом, особенно в отношении модальности , в своей книге « Именование и необходимость..

Существует презумпция в классическом примере определения , что дефиниенс можно сформулировать. Витгенштейн утверждал, что для некоторых терминов это не так. [39] Примеры, которые он использовал, включают игру , число и семью . Он утверждал, что в таких случаях не существует фиксированной границы, которую можно было бы использовать для определения. Скорее всего, предметы сгруппированы вместе из-за семейного сходства . Для таких терминов, как эти, невозможно и даже не нужно давать определение; скорее, человек просто приходит к пониманию использования этого термина. [b]

Смотрите также

  • Аналитическое предложение
  • Круговое определение
  • Определимый набор
  • Дефиниционизм
  • Расширенное определение
  • Ошибки определения
  • Неопределенность
  • Интенсивное определение
  • Лексическое определение
  • Рабочее определение
  • Яркое определение
  • Рэмси – Льюиса
  • Семантика
  • Синтетическое предложение
  • Теоретическое определение

Примечания

  1. ^ Термины с одинаковым произношением и написанием, но несвязанными значениями называются омонимами , а термины с одинаковым написанием и произношением и соответствующими значениями называются полисемами .
  2. ^ Обратите внимание, что человек учится индуктивно, из наглядного определения , таким же образом, как в методе Рэмси – Льюиса .

Рекомендации

  1. ^ Бикенбах, Джером Э. и Жаклин М. Дэвис. Веские причины для лучших аргументов: введение в навыки и ценности критического мышления . Broadview Press, 1996. стр. 49
  2. ^ "Определение определения | Dictionary.com" . www.dictionary.com . Проверено 28 ноября 2019 .
  3. ^ a b c Лайонс, Джон. "Семантика, т. I." Кембридж: Кембридж (1977). с.158 и далее.
  4. ^ Дули, Мелинда. Семантика и прагматика английского языка: преподавание английского языка как иностранного . Univ. Autònoma de Barcelona, ​​2006. стр.48 и далее.
  5. ^ «Окончательный глоссарий высшего математического жаргона - Определение» . Математическое хранилище . 2019-08-01 . Проверено 28 ноября 2019 .
  6. ^ Ричард Дж. Росси (2011) Теоремы, следствия, леммы и методы доказательства. John Wiley & Sons стр.4
  7. ^ a b «ОПРЕДЕЛЕНИЯ» . beisecker.faculty.unlv.edu . Проверено 28 ноября 2019 .
  8. ^ a b c Херли, Патрик Дж. (2006). «Язык: значение и определение». Краткое введение в логику (9-е изд.). Уодсворт. С. 86–91.
  9. ^ Bussler, Christoph, и Дитер Фенсел, ред. Искусственный интеллект: методология, системы и приложения: 11-я Международная конференция, AIMSA 2004: Материалы. Springer-Verlag, 2004. с.6.
  10. ^ Философские исследования , часть 1 §27–34
  11. ^ Katerina Ierodiakonou, "Стоик Отдел философии", в Phronesis: Журнал для античной философии , Том 38, № 1, 1993, стр 57-74..
  12. ^ Posterior Analytics , Bk 1 c. 4
  13. ^ Posterior Analytics Bk 2 c. 7
  14. ^ . Ранние современные философы, такие как Локк, использовали соответствующие английские термины «номинальная сущность» и «реальная сущность».
  15. ^ История западной философии , стр. 210.
  16. ^ омоним , полный словарь Random House на dictionary.com
  17. ^ "Лингвистика 201: Учебный лист по семантике" . Pandora.cii.wwu.edu. Архивировано из оригинала на 2013-06-17 . Проверено 23 апреля 2013 .
  18. ^ Семантика: учебное пособие, с. 123 , Джеймс Р. Херфорд и Брендан Хизли, Cambridge University Press, 1983.
  19. ^ Дэвид Хантер (2010) Основы дискретной математики. Jones & Bartlett Publishers, раздел 14.1
  20. ^ Кевин Хьюстон (2009) Как думать как математик: помощник по математике бакалавриата. Издательство Кембриджского университета, стр. 104
  21. ^ «Норман Шварц - Биография» . sfu.ca .
  22. ^ Стивенсон, CL, этика и язык , Коннектикут, 1944 г.
  23. ^ a b c d e McPherson, M .; Arango, P .; Fox, H .; Lauver, C .; McManus, M .; Newacheck, PW; Перрин, JM; Шонков, JP; Стрикленд, Б. (1998). «Новое определение детей с особыми медицинскими потребностями». Педиатрия . 102 (1 Пет 1): 137–140. DOI : 10.1542 / peds.102.1.137 . PMID 9714637 . S2CID 30160426 .  
  24. ^ a b c Морс, РМ; Флавин, Д.К. (1992). «Определение алкоголизма». JAMA . 268 (8): 1012–1014. DOI : 10,1001 / jama.1992.03490080086030 . PMID 1501306 . 
  25. ^ COPI 1982 С. 165-169
  26. ^ a b Джойс, гл. Икс
  27. ^ Джозеф, гл. V
  28. ^ Macagno & Walton 2014, гл. III
  29. ^ Локк, Эссе , Bk. III, гл. iv, 5
  30. ^ Эта проблема аналогична диаллелю , но ведет к скептицизму относительно значения, а не знания.
  31. ^ Обычно лексикографы стараются по возможности избегать округлости, но определения таких слов, как «the» и «a», используют эти слова и поэтому являются круговыми. [1] [2] В эсселексикографа Сидни И. Ландау « Половые сношения в словарях американских колледжей » приводятся другие примеры цикличности в определениях словаря. (Маккин, стр. 73–77)
  32. ^ Упражнение, предложенное Дж. Л. Остином, заключалось в том, чтобы взять словарь и найти набор терминов, относящихся к ключевому понятию, а затем найти каждое из слов в объяснении их значения. Затем повторяйте этот процесс, пока список слов не начнет повторяться, замыкаясь в «семейном круге» слов, относящихся к ключевому понятию.
    ( Призыв к извинениям в Philosophical Papers. Ред. Дж. Урмсон и Дж. Уорнок . Оксфорд: Oxford UP, 1961. 1979.)
  33. В игре « Виш» игроки соревнуются в поиске округлости в словаре.
  34. ^ Локк, Эссе , Bk. III, гл. iv
  35. ^ См. Особенно Философские исследования, часть 1, §48.
  36. ^ Он продолжает: «В то время как объяснение действительно может основываться на другом, которое было дано, но ни одно не нуждается в другом - если только мы не требуем этого, чтобы предотвратить недоразумение. - один, то есть, что произошло бы, если бы не объяснение; не все, что я могу вообразить ". Философские исследования , часть 1 §87, курсив в оригинале
  37. ^ Эта теория значения является одной из целей аргументации частного языка.
  38. ^ Локк, Эссе , Bk. III, гл. iii, 3
  39. ^ Философские исследования
  • Копи, Ирвинг (1982). Введение в логику . Нью-Йорк: Макмиллан. ISBN 0-02-977520-5.
  • Джозеф, Гораций Уильям Бриндли (1916). Введение в логику, 2-е издание . Представитель Clarendon Press. Бумажный тигр. ISBN 1-889439-17-7. (полный текст 1-го изд. (1906))
  • Джойс, Джордж Хейворд (1926). Принципы логики, 3-е изд., Новое впечатление . Лондон, Нью-Йорк: Longmans, Green and co. (Worldcat) (полный текст 2-го изд. (1916))
  • Локк, Джон (1690). Очерк человеческого понимания . ISBN 0-14-043482-8.(полный текст: том 1 , том 2 )
  • Маккин, Эрин (2001). Дословно: от непристойного до возвышенного, лучшее письмо на языке для любителей слов, знатоков грамматики и кабинетных лингвистов . Книги урожая. ISBN 0-15-601209-X.
  • Маканьо, Фабрицио; Уолтон, Дуглас (2014). Эмоциональный язык в аргументации . Нью-Йорк: Издательство Кембриджского университета.
  • Робинсон, Ричард (1954). Определение . Оксфорд: В Clarendon Press. ISBN 978-0-19-824160-7.
  • Симпсон, Джон; Эдмунд Вайнер (1989). Оксфордский словарь английского языка, второе издание (20 томов) . Издательство Оксфордского университета. ISBN 0-19-861186-2.
  • Витгенштейн, Людвиг (1953). Философские исследования . Блэквелл Паблишинг. ISBN 0-631-23127-7.

внешняя ссылка

  • Определение (язык и философия) в Британской энциклопедии
  • Определения , Стэнфордская энциклопедия философии Гупта, Анил (2008)
  • Определения, словари и значения, Норман Шварц 1997
  • Гай Лонгворт (ок. 2008 г.) «Определения: использование и разновидности» . = в: К. Браун (ред.): Энциклопедия языка и лингвистики Elsevier , Elsevier .
  • Определение и значение , очень краткое введение Гарта Кемерлинга (2001).