^^Linguaggio formale. Semantica.

A formula is a syntactic object that can be given a semantic meaning by means of an interpretation.

Principio di composizionalità (del significato)

il significato di un'espressione linguistica è determinato solo

• dal significato delle espressioni componenti
• e dal tipo di composizione.

Cosi' come

il valore di un'espressione aritmetica e' determinato solo

• dal valore degli operandi
• e dal tipo di operazione.

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

• its parse tree in computer science
• its deep structure in generative grammar (linguistic).

Links wikipedia

1. Semantics_of_logic

2. Principle_of_compositionality

3. Denotational_semantics of programming languages

   • #Compositionality