Элементы логики - страница 5

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

Логика указывает способы и правила определения, систематизирует типичные ошибки, возникающие при нарушении этих правил. Выделение системы существенных признаков тех или иных предметов — задача конкретных наук, причем задача нетривиальная. Часто с определением соседствуют сходные приемы: остенсивное указание, разъяснение посредством примеров, описание, характеристика, сравнение.

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

Остенсивные определения не являются собственно определениями, поскольку не раскрывают смысла языкового выражения. Другой прием, сходный с определением, — описание. Этот прием применяется на эмпирическом уровне познания, когда выявляются свойства предметов, изучаемых наукой. Описания позволяют разъяснять языковые выражения, однако с их помощью не всегда удается выделить класс предметов, обозначаемых термином, и выявить существенные признаки предметов.

Характеристика раскрывает все стороны предмета, важные в каком-то отношении, но не обязательно отличающие предмет от других предметов. Выражения языка могут разъясняться также при помощи такого приема, как сравнение. Пример: «злость сходна с кратковременным помешательством».

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

В структуре определения выделяется три части: а) определяемое имя или выражение, его содержащее (обозначается знаком Dfd — сокращением от лат. definiendum); б) выражение, раскрывающее, уточняющее или формирующее значение определяемого имени (обозначается знаком Dfn — сокращением лат. definiens); в) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком =). Формально структура определения представляется выражением: Dfd = Dfn. (В. Ф. Барков, И. И. Терлюкович).

В логике различают несколько видов определений. Они подразделяются на явные и неявные. Явным называется определение, в котором определяемое понятие синтаксически совпадает с Dfd и непосредственно приравнивается к значению Dfn. Среди явных определений наиболее известно классическое определение. Оно строится по схеме: «А есть В и С», где A Dfd, В и С — Dfn, «есть» — дефинитивная связка. При этом В является родовым именем по отношению к А, а С фиксирует отличительный признак, которым А выделяется среди видов, подчиненных В. Классическое определение сводится к определению через род и видовое отличие. Есть также генетические (или индуктивные — в другой терминологии) определения, описывающие предметы в соответствии со способами их образования, возникновения, построения. (Барков В. Ф., Терлюкович И. И. Логика. Минск, 2003. С. 61).

Однако не всякому понятию определение дается в явном виде. В частности, многие математические понятия не определяются явно. Здесь используется, например, система аксиом.

Определения через отношение к противоположному. Эти определения широко распространены в философии. В них определяются сразу два термина путем указания отношения предметов, обозначаемых одним термином, к предметам, обозначаемым другим термином. Приведем пример: «причина — это явление, которое при определенных условиях обязательно вызывает другое явление, называемое следствием».

Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. Контекстуальные определения имеют форму: К(а) = Т, где а — определяемое выражение (в приведенном выше примере «быть истинным»), входящее в сложное выражение К(а). Если в качестве дефиниендума рассматривать все выражение К(а), то это определение можно будет считать явным. (Ю. В. Ивлев).