Im Zentrum der (formalen) Semantik steht eine Auswertungsfunktion (andere Bezeichnungen lauten Bewertungsfunktion, Denotationsfunktion, Wahrheitswertefunktion), die den Formeln der logischen Sprache eine Bedeutung zuordnet.
ɪm tsˈɛntɾʊm dɛɾ fˈɔɾmɑːlən zeːmˈantiːk ʃtˈeːt ˌaɪnə ˈaʊsvˌɛɾtʊŋsfʊŋktsjˌoːn ˈandərə bətsˈaɪçnʊŋən lˈaʊtən bəvˌɛɾtʊŋsfʊŋktsjˈoːn, dˌeːnoːtatsjˌoːnsfʊŋktsjˈoːn, vˌɑːɾhaɪtsvɜtˌeːfʊŋktsjˈoːn, diː deːn fˈɔɾməln dɛɾ lˈoːɡɪʃən ʃpɾˈɑːxə ˌaɪnə bədˈɔøtʊŋ tsˈuːɔɾdnət.