Hypostatická abstrakce - Hypostatic abstraction

Hypostatická abstrakce v matematická logika, také známý jako hypostáza nebo subjektivní abstrakce, je formální operace který transformuje a predikát do vztah; například „Zlato je sladký "je přeměněn na" Zlato má sladkost ". Vytvoří se vztah mezi původním předmětem a novým výrazem, který představuje vlastnictví vyjádřeno původním predikátem.

Změny hypostázy a výrokový vzorec formuláře X je Y do jiného formuláře X má tu vlastnost, že je Y nebo X má Y-ství. Logické fungování druhého objektu Y-ness spočívá pouze v pravdivostních hodnotách propozic, které mají odpovídající abstraktní vlastnost Y jako predikát. Takto zavedený myšlenkový předmět lze nazvat a hypostatický objekt a v některých smyslech abstraktní objekt a a formální objekt.

Výše uvedená definice je převzata z definice dané Charles Sanders Peirce (CP 4.235, „The Simplest Mathematics“ (1902), v Shromážděné dokumenty, CP 4,227–323). Jak to Peirce popisuje, hlavním bodem formální operace hypostatické abstrakce, pokud funguje na formálních jazykových výrazech, je to, že převádí predikativní přídavné jméno nebo predikát do zvláštního předmětu, čímž se o jeden zvýší počet slotů „subjektu“ - nazývaných arity nebo adicita—Hlavního predikátu.

Na transformaci „med je sladký“ na „med má sladkost“ lze pohlížet několika způsoby:

Hypostasis-diagram.png

Gramatická stopa této hypostatické transformace je proces, který extrahuje adjektivum „sladký“ od predikátu „je sladký“ a nahradí jej novým predikátem „posedlý“ se zvýšenou arititou a jako vedlejší produkt reakce, jako bylo to, což urychlilo podstatnou „sladkost“ jako druhý předmět nového predikátu.

Abstrakce hypostázy bere konkrétní fyzický smysl pro „chuť“, který se nachází v „medu je sladký“, a dává mu formální podobu metafyzický vlastnosti v „med má sladkost“.

Viz také

Reference

externí odkazy