Die quantorenlogische Formalisierung der einzelnen Sinndimensionen und ihr Resultat:

semantische Formalisierung.: (-- --) --x - --x

syntaktische Formalisierung.: (-- --) f-- g--

pragmatische Formalisierung.: (Ex) - -- &-- --

ergibt insgesamt: (Ex) fx & gx

Die einfachere Formalisierungsvariante, beruhend auf der Voraussetzung, dass „Sokrates" als einfaches Zeichen zu behandeln sei, und ihr Resultat:

semantische Formalisierung.: - , - (Sokrates) - , Sokrates --

syntaktische Formalisierung.: - , f( - ) - , - ε α

pragmatische Formalisierung.: ͱ. - ( - ) ͱ, - -- --

ergibt insgesamt: ͱ , f(Sokrates) ͱ, Sokrates ε α

Satz (A) ist also ein Wert dieser (variablen) Satzschemata, bzw. der Satzklassen, welche durch diese definiert sind, und kann insofern formalisiert worden, indem die jeweiligen Sinn-. ausdrücke durch Satzschemata ersetzt werden.