邏輯形式的若干評述

每一命題都有一個內容和一個形式。如果我們把每個單一字詞或符號的意義（就它們有獨立意義而言）抽掉，我們便可獲得純粹形式的圖像，也就是說，如果我們用變元取代命題的常元，我們就可獲得純粹形式的圖像。可適用於常元的語法規則，必須也可適用於變元的語法規則。