Ипостасная абстракция
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( июнь 2022 г. ) |
Ипостасная абстракция в математической логике , также известная как ипостась или субъектная абстракция , представляет собой формальную операцию , преобразующую предикат в отношение ; например, «Мед сладок » преобразуется в «Мед сладок ». Отношение создается между исходным субъектом и новым термином, который представляет свойство, выраженное исходным предикатом.
Описание
[ редактировать ]Техническое определение
[ редактировать ]Ипостась изменяет пропозициональную формулу формы X есть Y на другую форму: X имеет свойство быть Y или X имеет Y-ность . Логическое функционирование Y-ности второго объекта состоит исключительно в истинностных значениях тех предложений, которые имеют соответствующее абстрактное свойство Y в качестве предиката. Введенный таким образом объект мысли можно назвать ипостасным объектом и в некотором смысле абстрактным объектом и формальным объектом .
Приведенное выше определение адаптировано из определения, данного Чарльзом Сандерсом Пирсом . [1] Как описывает это Пирс, главный момент формальной операции ипостасной абстракции, поскольку она оперирует формальными лингвистическими выражениями, заключается в том, что она преобразует предикативное прилагательное или предикат в дополнительный субъект, тем самым увеличивая на единицу количество «субъектных» слотов. — называемая арностью или адичностью — главного предиката.
Приложение
[ редактировать ]
Грамматическим следом этой ипостасной трансформации является процесс извлечения прилагательного «сладкий» из предиката «сладкий», заменяя его новым предикатом повышенной арности «обладает», и в качестве побочного продукта реакции, поскольку это было выделением субстантивной «сладости» как второго субъекта нового предиката.
Абстракция ипостаси берет конкретный физический смысл «вкуса», обнаруженный в «мед сладок», и приписывает ему формальные метафизические характеристики «мед имеет сладость». Это ошибка реификации [ нужна ссылка ] .
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ CP 4.235, «Простейшая математика» (1902), в Сборнике статей , CP 4.227–323
Источники
[ редактировать ]- Пирс, К.С. Хартшорн, Чарльз ; Вайс, Пол (ред.). Сборник статей Чарльза Сандерса Пирса, тт. 1–6 (1931–1935) . Кембридж, Массачусетс: Издательство Гарвардского университета.
- Пирс, К.С. Беркс, Артур В. (ред.). Сборник статей Чарльза Сандерса Пирса, тт. 7–8 (1958) . Кембридж, Массачусетс: Издательство Гарвардского университета.
- Земан, Дж. Джей (1982). «Пирс об абстракции» . Монист . 65 (2): 211–229. дои : 10.5840/monist198265210 . Архивировано из оригинала 1 ноября 2020 года – через Университет Флориды.
