述位

述位是美國皮爾斯用語。用來表示留有空位的命題的一種指號。相當於通常所謂的開語句或命題函項或命題形式。皮爾斯有時也在與謂詞相同的意義上使用。他認為任一命題或其他斷定形式擦去其某些部分，它就不再是一斷定形式，而成了空缺形式，每一空缺處如果再被專名填充起來，就又成了一斷定形式。這樣一種能通過以專名填充每一空缺處而被轉換成一命題的空缺命題形式就被皮爾斯稱為一個述位。

每一述位中的空缺處的數目可以為任何非負整數，如果空缺處為零個，就被稱為零述位，也即一完整的命題；如果空缺處為一個，就成為一元述位；如果空缺處為兩個，就稱為二元述位；如果為三個，就稱為三元述位；等等。空缺處數目大於l時，就被稱為關係述位。空缺處數目大於2時，就被稱為多元關係。皮爾斯認為，述位與傳統邏輯中的詞項在邏輯上是等同的，只是傳統邏輯中的詞項沒有明確認識到其自身的不完整性。他還指出，述位有點類似於帶有未飽和鍵的化學原子或化學基，非關係述位類似於單價基，而關係述位類似於多化合價基。兩單價基相結合可形成一飽和的化合物，與此類似，兩非關係述位相連線可產生一完整命題。