فرازبانی

ضرورتِ اینهَمانی نامِ مجموعه‌ای از احکام در متافیزیک تحلیلی و در منطق موجهات است که ساده‌ترین شکل‌اش دربارهٔ اشیاء است: به ازای هر دو شیء x و y، اگر x و y شیئی واحد باشند آنگاه اینهمان‌بودنِ x و y امری است ضروری. در شکلِ فرازبانی‌اش، یک شکلِ ساده‌ی ضرورتِ اینهمانی می‌گوید که احکامِ صادقِ اینهمانی بین چیزهایی که (در زبانِ طبیعی) نام تلقی می‌شوند ضرورتاً صادق هستند. در مورد اشیاء، سابقهٔ این ایده به آثار روث بارکان مارکوس در دههٔ ۱۹۴۰ می‌رسد، اما شهرت‌یافتن‌اش، همراه با استدلی مشهور برای آن و نیز بررسی‌اش در موردِ انواعِ طبیعی و جوهرها، مدیون آثار سول کریپکی در دههٔ ۱۹۷۰ است.