There is English. But there is also also a collection of mathematical language "dialects", like "Lagrangian": *This Is What The Standard Model of Physics Actually Looks Like* https://www.sciencealert.com/this-is-what-the-standard-model-of-physics-actually-looks-like "The Lagrangian is a fancy way of writing an equation to determine the state of a changing system and explain the maximum possible energy the system can maintain ... Despite appearances, the Lagrangian is one of the easiest and most compact ways of presenting the theory." Suppose there is a conference *Languages for the Mind-Body Problem*, including G* EMPL⁺ The irony to me is that there are people talking about those languages which could refer to themselves at a conference presenting those languages. ⁺ *Experiential Modalities Programing Language* https://codicalist.wordpress.com/2018/10/14/experience-processing/ > > > > > - however one wants to carve them up (they are all human inventions > anyway). > > > > “Brain” is an invention of the human, but the brain itself is more an > invention of nature. With mechanism, eventually nature is a result of > “consciousness selection or projection”. A result of sharable first person > indterminacies, from all “relative computational states existing in the > sigma_1 arithmetic" > > > > The terms 'reduction', 'emergence' are really about how expressions (aka > theories) in one domain language relate to (can compile to, translate to, > can be defined in terms of) another domain language, rather than some > teleological, causal relation. > > > Non problem with this. But the representation have to be faithful, and > proved to be so when used. > > > > > But languages have semantics, including the "what" they are about. > > > Yes. Languages and theories have semantics. That is what mathematical > logic is all about. Proof theory, Model theory, and the relation between > proofs and model, where a model is usually a mathematical structure > verifying the statements of the theory. > > > > Even though the terms "model", "interpretation", "domain of discourse" etc. are used in mathematical logic [ https://en.wikipedia.org/wiki/True_arithmetic : "The *domain of discourse* is the set N of natural numbers..This structure is known as the standard *model* or intended *interpretation* of first-order arithmetic."], I've thought more recently of using *substrate *instead. > > > In the case of an experience processing language, there would be some > fundamental "atoms" or "units" of experientiality, like ψbits. > > > > Experience is usually private and non provable. But when machine’s > introspect themselves they got reason to believe in such true, from their > perspective, statement which are non provable. > > A unit of experience does not make sense to me, to be honest. Subjective > experience does not admit third person description at all, although they do > admit meta-pointers to them, thanks our Mechanist admission of the > invariance of consciousness for some digital transformation. > > Consciousness is not material. It indexical, relational, and the attribute > of some higher order “hero” or person. Person are conscious, not things. I > tend to believe that bacteria are already conscious, but that consciousness > is not much more differentiate than the universal consciousness of its > environment. It is an altered state of consciousness, quite unlike the > usual mundane one, which refers to long and complex path. With mechanism > there might be reason to expect us being very rare in the physical reality. > > Consciousness is primitively the knowledge of our existence, but it is not > definable, nor provable, yet indubitable. All (Löbian) universal machine > already knows that. Consciousness is not really just consistency, but it is > the semantic, or truth, of that consistency. The hero get that something is > happening. > > Bruno > > > On the "units of experience", that's the concern of the *micropsychism* literature. I wrote something yesterday on this in the context of John Archibald Wheeler's "it from bit": https://codicalist.wordpress.com/2019/02/08/2bits-qbits-xbits-a-cosmos/ - pt -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to firstname.lastname@example.org. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.