Что является¶
Что является — философская и логическая категория, описывающая связь между субъектом и предикатом в суждении, а также более широкий класс вопросов о принадлежности, отнесении и идентичности. В русском языке глагол «являться» выступает связкой в именном сказуемом и выражает либо тождество («Сократ является философом»), либо принадлежность к классу («Человек является млекопитающим»), либо свойство («Лёд является твёрдым»). Формально-логический анализ этих конструкций составляет предмет целого ряда дисциплин — от теории атрибуции до метафизики идентичности.
¶Логическая структура
¶Предикат и связка
В классической логике суждение вида «A является B» разбирается как предикация: объекту A приписывается свойство B или включается в множество B. Аристотель в «Категориях» описал это отношение как высказывание о субстанции и её атрибутах. Средневековая логика, опираясь на работы Порфирия, разработала учение о родовидовых различиях, где «являться» означает вхождение видa в род.
В математической логике связка «является» переводится в символическую форму: x ∈ A (принадлежность множеству), x ⊆ A (подмножество) или x = a (тождество). Выбор перевода зависит от контекста: «Триугольник является многоугольником» — это включение в класс, «Дважды два является четырьмя» — это тождество.
¶Проблема идентичности
Философский вопрос «что является чем» неразрывно связан с проблемой идентичности. Готлоб Фреге в работе «Смысл и значение» (1892) показал, что «утренняя звезда является вечерней звездой» и «утренняя звезда является планетой» — суждения разного типа: первое — аналитическое, второе — синтетическое, хотя оба относятся к одному объекту. Кларк Гампти в «Вопросе о личности» (1950) сформулировал принцип индивидуальности: если x и y тождественны, то у x есть свойство F тогда и только тогда, когда оно есть у y.
¶Классификация употреблений
Глагол «являться» в русском языке многозначен, и его употребления можно разделить на несколько групп:
| Тип употребления | Пример | Логическая форма |
|---|---|---|
| Тождество | «Победа — это результат труда» | x = y |
| Родовидовое включение | «Кит является млекопитающим» | x ∈ A |
| Атрибуция свойства | «Материал является прочным» | F(x) |
| Роль и функция | «Он является директором» | Роль(x, a) |
| Эквивалентность определений | «Справедливость является равенством» | A ≡ B |
Первые три типа наиболее изучены логикой; два последних активно анализируются в лингвистике и теории аргументации.
¶В философии
¶Метафизика субстанции
Вопрос «что является субстанцией» проходит через всю историю метафизики. Аристотель определял субстанцию как то, что не предикация другого субъекта. Декарт отождествлял субстанцию с мыслящим или протяжённым началом. Спиноза утверждал, что субстанция едина — «то, что есть, есть в себе и представляется через себя». Лейбниц ввёл понятие монады как простой субстанции без частей.
¶Явление и сущность
Классическое различение между явлением (φαινόμενον) и сущностью восходит к Платону и было систематизировано Кантом в «Критике чистого разума» (1781). По Канту, явление (Erscheinung) — это то, как объект дан нашему восприятию, тогда как «вещь в себе» (Ding an sich) остаётся непознаваемой. Этот тезис определил направление всей последующей немецкой классической философии.
¶В математике
В теории множеств отношение «является» принимает точную форму. Пустое множество является подмножеством любого множества. Каждое натуральное число, по определению фон Неймана, является множеством: 0 = ∅, 1 = {∅}, 2 = {∅, {∅}}. Теорема Кантора утверждает, что множество всех подмножеств не является множеством в том же смысле, что и его элементы, — из чего следует существование иерархии бесконечных.
¶В естественных науках
Научная классификация построена на отношении «является» как включении в таксон. «Голубь является птицей» — это высказывание о систематическом положении. В физике «электрон является элементарной частицей» фиксирует место объекта в стандартной модели. В химии «вода является соединением водорода и кислорода» выражает качественный состав.
¶В праве и повседневной речи
Юридические определения часто строятся через связку «является»: «Субъект права является участником правоотношения». Такие дефиниции фиксируют нормативное содержание понятий и могут отличаться от научных. В повседневной речи конструкция «являться» используется и как вежливое обстоятельное выражение: «Являюсь ли я вашим клиентом?» — здесь глагол теряет предикативное значение.
¶Литература
- Аристотель. Категории // Сочинения в 4 т. — М.: Мысль, 1976.
- Фреге Г. Смысл и значение // Философские работы. — М.: Логос, 2010.
- Кант И. Критика чистого разума. — М.: Наука, 1994.
- Гампти К. Вопрос о личности // Аналитическая философия. — М.: Прогресс-Традиция, 2005.
- Спиноза Б. Этика // Сочинения в 2 т. — М.: Мысль, 1983.