НЕЯВНЫЕ ОПРЕДЕЛЕНИЯ

Контекстуальные определения. В контекстуальных определениях выясняется смысл контекста, в который входит определяемый термин. Например, «Предложение “р” истинно, если и только если p». Эти контекстуальные определения имеют форму: К(а)≡ Т, где а — определяемое выражение (в данном примере “быть истинным”), входящее в сложное выражение К(а). (Если в качестве дефиниендума рассматривать все выражение К(а), то это определение можно будет считать явным).

Контекстуальные определения указанных форм называются нормальными.

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

Целесообразно выделить еще один вид контекстуальных определений. Назовем их определениями в контексте. В качестве определения здесь выступает контекст, представляющий собой текст, состоящий из ряда высказываний, в которых употребляется определяемый термин. В самом контексте, как и вне контекста, не говорится, что имеет место определение термина. Если же контекст внимательно проанализировать, то из него можно “вычитать” определение указанного термина. Например, исследуя свидетельства древних авторов о философских взглядах Демокрита, выявляют определение причины в смысле Демокрита. Средствами символической логики удалось показать, что не всякий контекст, в котором встречается термин, является определением (в контексте) этого термина.