Ипостасная абстракция
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( июнь 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 года – через Университет Флориды.
