Определение - Definition

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

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

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

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

"Definiens" перенаправляется сюда. Для компании см. Definiens (компания).

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

В Definiens не является значение определенного слова, но вместо этого передает то же значение как это слово.[8]

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

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

Основные статьи: Намерение и Расширение (семантика)

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

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

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

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

Основная статья: Определение рода – дифференциации

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

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

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

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

  • а треугольник: Плоская фигура с тремя прямыми ограничивающими сторонами.
  • а четырехугольник: Плоская фигура с четырьмя прямыми ограничивающими сторонами.

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

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

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

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

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

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

Divisio и partitio

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

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

Основная статья: Сущность

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

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

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

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

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

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

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

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

Омонимы

Основная статья: Омоним

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

Полисемы

Основная статья: Полисемия

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

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

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

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

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

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

C.L. Стивенсон идентифицировал убедительное определение как форма условного определения, которое имеет целью указать «истинное» или «общепринятое» значение термина, в то время как на самом деле оговаривает измененное использование (возможно, в качестве аргумента в пользу некоторого конкретного убеждения). Стивенсон также отметил, что некоторые определения являются «законными» или «принудительными» - их цель - создать или изменить права, обязанности или преступления.[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"не будет передавать никакой информации. По этой причине блокировка[уточнить ] добавляет, что определение термина не должно состоять из синонимичных ему терминов. Это было бы круглое определение, циркуль в дефиниендо. Обратите внимание, однако, что допустимо определять два относительных термина по отношению друг к другу. Ясно, что мы не можем определить «антецедент», не используя термин «консеквент», и наоборот.
  3. Определение не должно быть слишком широким или слишком узким. Он должен быть применим ко всему, к чему применяется определенный термин (т. Е. Ничего не упускать), и ни к чему другому (т. Е. Не включать ничего, к чему данный термин не может быть действительно применим).
  4. Определение не должно быть непонятным. Цель определения - объяснить значение термина, который может быть неясным или сложным, с помощью общепринятых терминов, значение которых ясно. Нарушение этого правила известно под латинским термином obscurum per obscurius. Однако иногда научные и философские термины трудно определить без неясности.
  5. Определение не должно быть отрицательным там, где оно может быть положительным. Мы не должны определять «мудрость» как отсутствие глупости или здоровую вещь как то, что не больно. Однако иногда это неизбежно. Например, кажется трудным определить слепоту в положительном свете, а не как «отсутствие зрения у обычно зрячего существа».

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

Основная статья: Ошибки определения

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

Учитывая, что естественный язык Такие как английский содержит в любой момент времени конечное количество слов, любой исчерпывающий список определений должен быть либо круглым, либо опираться на примитивные представления. Если каждый срок каждого Definiens должно быть определено, "где мы должны наконец остановиться?"[29][30] Например, словарь, поскольку это исчерпывающий список лексические определения, должен прибегнуть к округлость.[31][32][33]

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

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

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

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

Примечания

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

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

  1. ^ Бикенбах, Джером Э. и Жаклин М. Дэвис. Веские причины для лучших аргументов: введение в навыки и ценности критического мышления. Broadview Press, 1996. стр. 49
  2. ^ "Определение определения | Dictionary.com". www.dictionary.com. Получено 2019-11-28.
  3. ^ а б c Лайонс, Джон. "Семантика, т. I." Кембридж: Кембридж (1977). с.158 и далее.
  4. ^ Дули, Мелинда. Семантика и прагматика английского языка: преподавание английского языка как иностранного. Univ. Autònoma de Barcelona, ​​2006. стр.48 и далее.
  5. ^ "Окончательный глоссарий высшего математического жаргона - Определение". Математическое хранилище. 2019-08-01. Получено 2019-11-28.
  6. ^ Ричард Дж. Росси (2011) Теоремы, следствия, леммы и методы доказательства. John Wiley & Sons стр.4
  7. ^ а б «ОПРЕДЕЛЕНИЯ». beisecker.faculty.unlv.edu. Получено 2019-11-28.
  8. ^ а б c Херли, Патрик Дж. (2006). «Язык: значение и определение». Краткое введение в логику (9-е изд.). Уодсворт. С. 86–91.
  9. ^ Бюсслер, Кристоф и Дитер Фензель, ред. Искусственный интеллект: методология, системы и приложения: 11-я Международная конференция, AIMSA 2004: Материалы. Springer-Verlag, 2004. с.6.
  10. ^ Философские исследования, Часть 1 §27–34
  11. ^ Катерина Иеродиакону, «Стоическое отделение философии», в Phronesis: журнал античной философии, Volume 38, Number 1, 1993, pp. 57–74.
  12. ^ Последующая аналитика, Кн 1 в. 4
  13. ^ Последующая аналитика Кн 2 с. 7
  14. ^ . Ранние современные философы, такие как Локк, использовали соответствующие английские термины «номинальная сущность» и «реальная сущность».
  15. ^ История западной философии, п. 210.
  16. ^ омоним, Полный словарь Random House на dictionary.com
  17. ^ "Лингвистика 201: Учебный лист по семантике". Pandora.cii.wwu.edu. Архивировано из оригинал на 2013-06-17. Получено 2013-04-23.
  18. ^ Семантика: учебное пособие, с. 123, Джеймс Р. Херфорд и Брендан Хизли, Cambridge University Press, 1983
  19. ^ Дэвид Хантер (2010) Основы дискретной математики. Jones & Bartlett Publishers, раздел 14.1
  20. ^ Кевин Хьюстон (2009) «Как мыслить как математик: помощник по математике». Издательство Кембриджского университета, стр. 104
  21. ^ "Норман Шварц - Биография". sfu.ca.
  22. ^ Стивенсон, К.Л., Этика и язык, Коннектикут, 1944 г.
  23. ^ а б c d е McPherson, M .; Arango, P .; Fox, H .; Lauver, C .; McManus, M .; Newacheck, P.W .; Perrin, J.M .; Shonkoff, J. P .; Стрикленд, Б. (1998). «Новое определение детей с особыми медицинскими потребностями». Педиатрия. 102 (1 Pt 1): 137–140. Дои:10.1542 / педы.102.1.137. PMID  9714637. S2CID  30160426.
  24. ^ а б c Morse, R.M .; Флавин, Д. К. (1992). «Определение алкоголизма». JAMA. 268 (8): 1012–1014. Дои:10.1001 / jama.1992.03490080086030. PMID  1501306.
  25. ^ Копи, 1982, стр. 165–169.
  26. ^ а б Джойс, гл. Икс
  27. ^ Джозеф, гл. V
  28. ^ Macagno & Walton 2014, гл. III
  29. ^ Локк, Сочинение, Кн. III, гл. iv, 5
  30. ^ Эта проблема аналогична диаллелус, но ведет к скептицизму относительно значения, а не знания.
  31. ^ В общем лексикографы стараются по возможности избегать округлости, но определения таких слов, как «the» и «a», используют эти слова и, следовательно, являются круговыми. [1] [2] Лексикограф Сидней И. Ландау эссе "Половое сношение в словарях американских колледжей"предоставляет другие примеры округлости в словарных определениях. (McKean, p. 73–77)
  32. ^ Упражнение, предложенное Дж. Л. Остин включал поиск словаря и выбор терминов, относящихся к ключевому понятию, а затем поиск каждого слова в объяснении их значения. Затем повторяйте этот процесс, пока список слов не начнет повторяться, замыкаясь в «семейном круге» слов, относящихся к ключевому понятию.
    (Призыв к извинениям в философских статьях. Эд. Дж. О. Урмсон и Дж. Дж. Варнок. Оксфорд: Oxford UP, 1961. 1979.)
  33. ^ В игре Виш игроки соревнуются в поисках округлости в словаре.
  34. ^ Локк, Сочинение, Кн. III, гл. iv
  35. ^ Особенно Философские исследования Часть 1 §48
  36. ^ Он продолжает: «В то время как объяснение действительно может основываться на другом, которое было дано, но никто не нуждается в другом - если только мы требовать это во избежание недоразумений Можно сказать: объяснение служит для устранения или предотвращения недоразумения, то есть того, которое могло бы возникнуть, если бы не объяснение; не все, кого я могу вообразить ". Философские исследования, Часть 1 §87, курсив в оригинале
  37. ^ Эта теория значения - одна из целей аргумент частного языка
  38. ^ Локк, Сочинение, Кн. III, гл. iii, 3
  39. ^ Философские исследования

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