哲学および数理論理学における実体的抽象化（じったいてきちゅうしょうか、）は、仮説的抽象化（hypostasis）、主語的抽象化（subjectal abstraction）とも呼ばれ、述語を関係に変換する形式的操作である。例えば「蜂蜜は甘い」が「蜂蜜は甘さを持つ」に変換される。関係は元の主語と、元の述語によって表される性質を表す新たな語の間に作られる。
説明
技術的定義 実体化はX は Y であるという命題論理式を、X は Y であるという性質を持つまたはX は Y-ness を持つという形式の別の論理式に変換する。第二の対象 Y-ness の論理的機能は、対応する抽象的性質 Y を述語として持つ命題の真理値のみにある。こうして導入される思考対象は実体化された対象、ある意味では抽象的対象および形式的対象と呼ばれうる。
上記の定義はチャールズ・サンダース・パースが示したものを適応させたものであるCP 4.235, "The Simplest Mathematics" (1902), in Collected Papers, CP 4.227–323。 パースが述べるように、形式的言語表現に対して操作する限りにおける実体的抽象化の形式的操作の要点は、述語形容詞ないし述語を余分な主語に変換し、それによって主述語の「主語」スロットの数——アリティまたはアーディシティと呼ばれる——を一つ増やすことである。
個別的対象と形式的対象との区別はアンソニー・ケニーが指摘しているKenny, A. (1963), Action, Emotion and Will, London, New York: Routledge and Kegan Paul; Humanities Press。 我々はある対象を我々が反応する特定の性質を持つものとして同定するかもしれないが、その反応の形式的対象はその反応を持つことによって我々が暗黙的に個別的対象に帰属させる性質である。したがって、ある赤いバラが「美しい」場合、そのバラは美しさという性質を持ち、この美しさがそのバラに対する我々の美的鑑賞の形式的対象であるScarantino, A. and de Sousa, R., "Emotion", The Stanford Encyclopedia of Philosophy (Summer 2021 Edition)。
応用
この実体化変換の文法的痕跡は、述語「甘い」から形容詞「甘」を抽出し、それを新たな増加アリティ述語「持つ」に置き換え、ちょうど反応の副産物のように実体「甘さ」を新しい述語の第二主語として析出させるプロセスである。
実体化の抽象化は「蜂蜜は甘い」における「味」の具体的物理的感覚を取り上げ、「蜂蜜は甘さを持つ」において形式的形而上学的特性をそれに帰属させる。
関連項目 抽象化 コンピュータ科学における抽象化 数学における抽象化 類比 圏論 連続述語 ハイポスタシス (哲学・宗教) 具体化
脚注
出典