Affirmative!I think we've established that there are (at least) two modalities or "channels" in our discourse: intra-model and extra-model. When we're talking about the model, we're no longer within the model and so are using the extra-model channel. In this modality we can use whatever words and concepts are necessary to communicate our thoughts.
BTW, let's call a spade a spade: what you call ORKs are axioms. There's nothing wrong with axioms; you can't build a model without them because we have to start somewhere. So, we should probably start with defining a few axioms.
There was a method to my madness there.
Because we are dealing with a congenital, ontological framework, I think there's a small proviso here:
Given that the token axiom itself might in fact be the very principal of literally every axiom, I'm on-board with "calling a spade a spade" here, only if you're on board with using spade to define spade, and then subsequently use spade to define spade derivatives.
In addition, rather than a table of axioms, this might actually be more like a general tree data structure, where the root node is token AXIOM, or even —OMG she did not — LIFE (I explain below).
It sets them off ontologically and from any potential noise in the definition of axiom.
However, I defer to you in this with respect to what you feel the largest bodies of science would agree to. If you think axiom is in the clear if it itself is an axiom, then I have no problem. In any case, it would be nice to label this tree as something — Ontological Axiomatic Congenital Architecture?
Almost as if we are defining a programming language, what is also your feeling in setting the terms off syntactically: e.g. uppercase with a prefix character, like _AXIOM, _INFINITY, etc. rather than having to constantly italicize, etc.?
100% — and bravo on the excellent work in systemizing that portion.[intra-model channel]
Axiom 1: Information is a measurable quantity.
Axiom 2: A state is a particular configuration or arrangement of measurable quantities.
Axiom 3: A process is a mapping between states. Some process P transforms state A to state B according to some rule.
As a measurable quantity, information can be processed. Examples of information processes are transferring and storage, wherein state is copied and saved. Let I represent some particular configuration of information. To transfer and store I, then, means to configure the storage state S to that of I: \[ S \to P(I) \to I \] Axiom 4: A bit is a discrete unit of information; we measure information by counting bits.
A convenient representation for bits is sequences of 1s and 0s; we call such sequences bit strings. There are precisely two possible 1-bit bit strings: "1" and "0".
The information capacity of a state is the amount of information that can be stored in the state. This is equivalent to the count of possible configurations of the state.
Lemma 1: There is a one-to-one correspondence between any state of n possible configurations and a bit string of log2(n) bits.
Proof: A string of n-bits can represent \( 2^n \) different configurations. Taking the base-2 logarithm of both sides gives us the lemma. QED.
Theorem 1: The information capacity of a state is given by the count of bits in its corresponding bit string.
Proof: Using Lemma 1, map the state to a k-bit bit string. Then, by axiom 4, the state has k bits of information. QED.
[/intra-model channel]
So far, this is a very small model -- with only 4 axioms, a single lemma, and a single theorem -- but it's already pretty powerful: we can quantify the information in any state.
What do you think about this approach?
Because we are dealing with rendering this model as a direct reflection and extension of human ontology here, I think we need to zoom out some for establishing some starting axioms/ORKs/whatever and identify some ontological macro-level ones first.
This said, I'm going to once again pull a Valkyrie and affix an IED under someone's philosophical desk here, and argue from a non-philosophical, bare empirical, observational perspective — and this speaks to no religion or philosophy but life and consciousness itself:
The man who just got rolled into the coroner's office to be "tagged and embalmed" is no longer creating axioms, models, QED's, calculation, or otherwise doing any conscious science, deriving meaning, or any other such activities. Beyond asking where the cube is in the brain, or where the dog is in the light — he can't ask perhaps a more poignant question that speaks to the nature of consciousness itself: Where is his body in the space, the head on said body, and the brain in said head?
He's considered as unequivocally labeled "non-living" by any other human being.
Every other human effortlessly agrees with one minimal observation, using the ontological axiomatic lexicon: he's definitively keyword DEAD, or NONLIFE — definitely implying another base axiom here.
What justification does one brain-based ambulatory substrate have in defining (DEFINE being another token) the "state" of another brain-based ambulatory substrate (spade-a-spade here: T-800 with friendly [or maybe NOT!] programming) — this one, of course, now horizontal on a gurney.
If LIFE is NOT one of the base axiomatic tokens, then WHAT is on the gurney (WHAT axiom vs. using another axiom WHO) is simply a broken down machine with a face, hair, and body to begin with, pre- or post- gurney state.
Ergo, a human living "being" (vs. "machine") would altogether not be a being at all, since at what point does the logic-derived machine definition above equate to being? Positively never.
If his arms were propped up by more machinery, if we could make his eyes blink, lips move — nothing. We'd be puppeteering an axiomatic DEAD man.
There would be no "WHO" token (1 of the 6 interrogative axioms) ever. There would be no concept of science doing "observation" upon "space" or "time" which are also axioms, since all axioms relate to them somewhere.
This is where Siri Watson is different from John Smith when reading off the weather forecast, and intrinsic to what I would consider to be a novel observational starting supposition.
The man on gurney would simply be deemed, inarguably, no different than any other physical substrate capable of mechanical functioning. We'd (somewhat creepily) be only giving special semantic treatment in everyday parlance only to what in-reality would be a motorized, soft-CPU-controlled mannequin.
Indeed, if we told anyone we were dead, could not be qualified axiomatically as having LIFE and typing this, they would call the Zombie Acquisition hotline, and not believe whatsoever it was true (BELIEF being another token in my estimation, nothing more than a simple term for scientific hypothesis). This is how powerful and integral this starting axiom is and must be, in my estimation, for any "Theory for Everything" that wants to be honest and incorporate the living humans doing the very theorizing!
Since no other machine can be observed to define and employ an axiom such as LIFE, then:
The man on the gurney must be semantically distinguished from his state prior to being placed on the gurney when he was using his phone in the car, and then crashed, and must be defined with this elementary axiom which gives rise to the ability to define all other axioms.
The problem with why science does not have a definition for life is due to this very core axiomatic issue. It will magically co-opt INFINITY, TRUE, FALSE, ADDITION, VECTOR and other axioms into its sciences, but then ignore LIFE, which is just as "Hogwarts"-ready as any other.
If we do not insist on this, we are entirely stuck — as science is — in a recursive loop, because no machine is able to create axioms, per the above QED that a machine is a bit-processing device.
You can't ever define a machine with the axiom LIFE, since LIFE is not a function of the quantity, complexity, or means by which it derives novel, discrete bit sequences, again per your QED's above.
As I said above, this may sound incensingly incisive, but I feel it is bare essence stuff:
It's simply a fact — no matter how ornate the fossil record becomes, or how closely one genome can be correlated to another over millennia — token LIFE is not scientifically defined, because it's precisely on the same axiomatic tree as INFINITY that it has not also bracketed into mind-space as such.
Science is woefully, and I'd say — eternally — devoid of a definition for life for this reason and this reason alone, if it does not embrace this axiom LIFE.
Side-note: The science of Biology to me is like a 4GL language for describing what we call "life" (funnily, talking about something it doesn't and can't define!).
It's like,
"Class, we're going to study life today — we don't have a definition for it yet, but bear with us as we show partiality to this dead frog vs. the living one for a magic under-rug-swept reason! The one that functions is "alive"."
Uh huh. You mean like the “functioning” photo-taking microscope we're using to observe it?
Call me crazy, but is this not like the used car salesman that sells cars in his lot, and the moment you ask him in the office, "Ok, so can you go show me one of them?" He's like, "Wellll — I can tell you ALLL about the V8 in our 2018 BMW M5!" "Ummm, but can you take me to it, bro?" And he just shrugs it off as something he’ll try to get to at some point.
What right does he have to talk about the components of a car if he can't point one out?
Precisely the case here — the guy on the gurney is scientifically at present considered EQUAL to his state PRIOR to the gurney, because no level of complexity of function divorces it from the definition of machine, since function of any level and rate still = machinery! Naturalism, the current foundation of mainstream science is therefore defaulted to labeling him a machine and thus can't define him as a life, because "dead" machinery is the very opposite of axiom LIFE. In fact, we'll universally and readily contrast this phenomenon everyday with phrases such as, "The song needs more life! It sounds like a quantized MIDI note-generating machine!"
Rather than using the lower-level info-theory framework we're using here, the science of biology is employing a higher level language lexicon for soft, carbon-based machinery elements and labeling them such as RNA, DNA, mitochondria, aminos, etc. without further cannibalization of these things under a legit foundational lower-level info science framework.
These are all just abstract terms for things like soft capacitor, transistor, transformer, RAM, ROM, cache, CPU, etc. In which case the complexity of those things, as you said before — if we turned them on — would NOT yield a conscious, alive state, as they don't with the dude on the gurney, because the man is not just "on" and bit processing, his existence involves the innate experiential component of token LIFE. To be alive means to feel and know (two other tokens).
With that logic, are you agreed on AXIOM and LIFE as axioms #1 and #2?
Then I'd like to move onto a model for SCIENTIFIC REASON and MEANING tokens as axiomatic supersets of WHO, WHAT, WHEN, HOW, AND WHERE in a LIVING human mind as they relate to tokens INFINITY, OBJECT, SPACE, and TIME, where some of your QEDs above and beyond will lead to principled means of interrelating them after they're defined in discussable new mind-space framework.
See you in the E-wing lobby once they come knockin'!
Last edited: