Canon : the lexicon of possibility

Frege's Über Sinn und Bedeutung ( Sense & Reference ) can be summed up as

• 1. any signal, takes a form
• 2. the form may have loose connotations ( sinn, sense )
• 3. the form may have firm connotation ( bedeutung, reference )
• 4. the connotations, may be interpreted differently by any emitter or receiver of the signal

Further canonical efforts to nail this down to tighter language may just make it worse : see Kripke's 'possible worlds' bike shedding 

The following cognitive structures are isomorphic.

• 1. stateless 'blocks' of instruction parameterised with free variables, and the 'maps' of arguments to those parameters
• 2. stateful 'possible worlds' of evocative imagination, resulting from executed blocks of parameterised instructions such as (1.)

That is insightful. Data, and operations upon data. It all fits together. I am pleased with this study.