X bliver betegnet som bunden variabel. Ved omformuleringen opnår man, at begreber kun bliver anvendt som ''navnet'' på en genstand. Quines tese lyder, at også prædikater grundlæggende kan formuleres som logiske subjekter, og at de kan overføres som variabler til den logiske sætning (ty. logische Aussageform). Dog er det afgørende, hvilket begreb der sættes ind som værdi for variablen. Nominalisten vil fordre at variablernes gyldighedsområde bliver indskrænket til begreber der faktisk lader sig omformulere til navne. Platonisten derimod vil se på eller anvende formlen til begreber som "værdi", "det værende" eller "variabel".
Filosofi Sprogforskning Teologi