A formula is a syntactic object that can be given a semantic meaning by means of an interpretation.
il significato di un'espressione linguistica è determinato solo
Cosi' come
il valore di un'espressione aritmetica e' determinato solo
Questo principio è normalmente attribuita a Gottlob Frege, ma non l'ha mai esplicitato. L'idea generale si trovi anche in autori precedenti: nell'algebra di Boole; in Platone, in particolare nel Teeteto.
compositional semantics the meanings of utterances structured according to their syntax— as most languages.
As a result, the first step to describing the meaning of an utterance in language is to break it down part by part and look at its analyzed form, known as
Denotational_semantics of programming languages