哲学および数理論理学における実体的抽象化(実体抽象化または主観的抽象化とも呼ばれる)は、述語を関係に変換する形式的な操作である。例えば、「蜂蜜は甘い」は「蜂蜜には甘さがある」に変換される。この関係は、元の主語と、元の述語によって表現された性質を表す新しい項との間に作成される。
位格化は、「XはYである」という形式の命題式を、「XはYであるという性質を持つ」または「XはY性を持つ」という形式の命題式に変換する。第二の対象であるY性の論理的機能は、対応する抽象的性質Yを述語とする命題の真偽値のみで構成される。このようにして導入された思考対象は、位格的対象、あるいはある意味では抽象的対象、形式的対象とも呼ばれる。
上記の定義は、チャールズ・サンダース・パースによる定義を改変したものである。[ 1 ]パースの説明によれば、形式的な言語表現に作用する実体的抽象化の形式的操作の主なポイントは、述語形容詞または述語を余分な主語に変換し、それによって主述語の「主語」スロットの数(アリティまたはアディシティと呼ばれる)を1つ増やすことである。
特定の対象と形式的対象の区別は、アンソニー・ケニーによって指摘されている。[ 2 ]私たちは、ある対象が特定の性質を持ち、それに反応すると認識するかもしれないが、その反応の形式的対象とは、その反応を持つことによって暗黙のうちに特定の対象に帰属させる性質である。したがって、ある赤いバラが「美しい」ならば、そのバラは美しさという性質を持ち、この美しさが、バラに対する私たちの美的評価の形式的対象である。 [ 3 ]

この実体変化の文法的な痕跡は、述語「甘い」から形容詞「甘い」を抽出し、それを新しい、位数が増加した述語「所有する」に置き換えるプロセスであり、いわばその反応の副産物として、新しい述語の第二の主語として名詞「甘さ」が析出する。
実体論の抽象化は、「蜂蜜は甘い」に見られる「味」という具体的な物理的意味を取り上げ、「蜂蜜には甘みがある」という形式的な形而上学的特性をそれに帰属させる。