Eodnhoj7 wrote: ↑Sat Feb 15, 2020 8:46 pm
Its meaning is derived by context thus contexts are variables as well.
C=(A+B)
C=(A1+B1)
C=(A2+B2)
...
C= (Ax-->Ay)+(Bx-->By)
Observes C is one context existing through many. All variables are one context inside another context.
Sure. These are called
continuations in computer science.
The "highest context" of the program is called the
control flow
The emphasis on explicit control flow distinguishes an imperative programming language from a declarative programming language.
It's the fundamental source of debates in all of philosophy. The failure to distinguish between the declarative and imperative moods.
Philosophers and logicians in general claim and purport to be using the declarative mood. They claim to be describing reality, but that's a lie told out of ignorance.
If you are USING language, you are USING it in the imperative mood, while pretending (intentionally or ignorantly) to be using the declarative mood.
When you say "this IS an apple", what you are really doing is saying "you OUGHT to be called an apple".
It's a command/instruction: you WILL call this an apple (because that's what everybody calls it).
And as soon as you realise that ALL language is imperative (e.g an OUGHT) then formal logic (and all of Philosophy really) ceases to matter:
https://en.wikipedia.org/wiki/Imperative_logic
Imperative logic is the field of logic concerned with arguments containing sentences in the imperative mood. In contrast to sentences in the declarative mood, imperatives are neither true nor false. This leads to a number of logical dilemmas, puzzles, and paradoxes. Unlike classical logic, there is almost no consensus on any aspect of imperative logic
ALL mathematical operators are imperative. +, -, *, /. They are commands. Instructions. They are man-made too.
Algebra is
imperative programming. Algorithms.