clarity. Thank you. Now with that, I can backtranslate FUTURE
instances of those metaphorical items. Metaphors are not always
two-way, but they *can* be.
"Let me translate as it is getting late:
P |- P; |- P --> P
An instance of a proposition bifurcates a proposition. A
proposition of an instance entails an actual proposition = far
less than realism."
An instance is a metaphor for the appearance of a something
within mythological unit of Time without causation.
A proposition is an opinion but has been metaphorically lifted
and placed into the system of Logic in a binary context as a
concept of TRUE or FALSE.
Concept.. that's a metaphor of the brain that considers "ideas
as conceived" as if through a womb. A "concept" is a
metaphorical brain baby.
Bifurcate is branching into two. Branching has kept its original
metaphorical connection obvious - right in our face. Bifurcate
is a metaphorical stick with two prongs at the end.
Likely a dowsing rod and all the magic that entails, but I won't
go there.
Entailment is a metaphor for law, including all that goes with
it. It is a necessary, a requirement... OR ELSE... one shall be
punished. By whom? By what method? Depends on the enforcement.
Being a metaphor for Law, entailment is also a metaphor for
cause and effect. b MUST follow a. There is no other choice. It
is a choiceless situation. Again. Law. Consequences.
Who punishes?
-actual is metaphor for surprise. Results don't depend on
belief, intention OR expectation.
I'll stop there. All of those symbols are metaphors for these
human concepts. That we use them in ignorance of conceptual
origin is not our fault. We can't unravel everything, can't
spell everything out. Not enough time in the day. So, we
compress knowledge into knowledge into knowledge into tight
little compressive bundles.