It is simply not possible to decompress and reconstruct the totality of all the information about reality out of an axiomatic system that describes it (if this axiomatic system is capable of arithmetic). — Tarskian
But then again, it also does not mean that the information forgotten in the compression is "accidental" or "random". — Tarskian
Randomness is not a necessary requirement for unpredictability. Incompleteness alone is already sufficient. A completely deterministic system can still be mostly unpredictable. — Tarskian
You have not given me any reason to read someone else's thoughts on the matter. Make your philosoophical case, ucarr, and I will respond. — 180 Proof
...is there a logically sound argument claiming there is a causal relationship between entropy and incompleteness? — ucarr
No. — 180 Proof
If the forward direction of a phenomenon incorporates information that cannot be decompressed from its theory, then it will also be impossible to decompress the information needed to reverse it, rendering the phenomenon irreversible. — Tarskian
"Entropy, heat, and Gödel incompleteness", 2014, by Karl-Georg Schlesinger, — Tarskian
...is there a logically sound argument claiming there is a causal relationship between entropy and incompleteness? — ucarr
No. — 180 Proof
...succinctly express your disagreement with something I have written that you wish for me to further elaborate on... — 180 Proof
Regarding what exactly? — 180 Proof
If a thing is not computable, thus causing attempted measurements to terminate in undecidability, is it sound reasoning to characterize this undecidability as uncertainty — ucarr
For me uncertainty refers to a situation where you don't have all the information.. — ssu
You can have all the information, yet there's no way out of this. — ssu
There is a lot of text which you won't ever write, but anything you write will automatically be something you do write (and hence not in the category of all the texts you will never write). So is this a limitation on what you can write? Of course not. — ssu
Is this a logical statement: ¬x ≠ x? If so, then why is it not a logically preemptive limitation on what I can write? — ucarr
The implicit but really strong assumption in Schlesinger's paper is that there exists exactly one lossy compression algorithm, i.e. axiom system A, for the information contained in the physical universe.
Schlesinger actually admits this problem:
https://arxiv.org/pdf/1404.7433
So, we would need a slightly stronger form of Gödel incompleteness which would make the dynamics non-predictable for any choice of axiom system A. — Tarskian
According to Schlesinger, a physical phenomenon becomes irreversible and entropy will grow, if reversing the phenomenon would require using more information than allowed by Godel's incompleteness. — Tarskian
If all these alternative compression algorithms always lead to the same output in terms of predicting entropy, then for all practical purposes, they are one and the same, aren't they? — Tarskian
Are you proceeding from the premise causal relationships are not fundamental in nature? — ucarr
Nope. — 180 Proof
...is there a logically sound argument claiming there is a causal relationship between entropy and incompleteness? — ucarr
No. — 180 Proof
I am starting to believe that what you are really getting at behind the curtains here is that science and art share common features. — I like sushi
..the beating heart of physics is entropy — I like sushi
J could easily respond by restricting his sphere of discourse to the logical frame and asking something like, "But do they add anything as far as the logic is concerned?" But this raises the fraught question of where the logical ends and the metalogical begins, or else where the metalogical ends and the ontological begins, in any given system. — Leontiskos
Are you proceeding from the premise causal relationships are not fundamental in nature? — ucarr
Nope. — 180 Proof
I can say “It is true that there are a hundred thalers on the table” but this adds nothing to the proposition ‛There are a hundred thalers on the table’. — J
Basically, yes. — Leontiskos
I can say “A hundred thalers exist” but this adds nothing to the concept ‛a hundred thalers’; — J
This is a bit different, as the latter possesses a conceptual existence which the former surpasses by asserting a super-conceptual existence, at least according to common language. As far as I can see things can only be true or false in one way, whereas things can exist in multiple ways. The domain of the former is propositions whereas the domain of the latter is ontological realities, and ontological realities are more variegated and complicated. — Leontiskos
“Truth is not a predication.” That is, neither existence nor truth add anything, conceptually, to what they appear to be predicating ‛existence’ and ‛truth’ of. — J
I suppose Frege was the first to have pointed out the “emptiness” of the “It is true that . . .” prefix, but did he also make the parallel with “Existence is not a predicate”? — J
Aristotle's claim in the Metaphysics that to speak truth is to say of what is that it is or of what is not that it is not is very close to the truth predication question. — Leontiskos
The undecidability results simply show that not all is computable (or in the case of Gödel's theorems, provable), even if there is a correct model for the true mathematical object (namely itself). — ssu
There is a lot of text which you won't ever write, but anything you write will automatically be something you do write (and hence not in the category of all the texts you will never write). So is this a limitation on what you can write? Of course not. You can still write anything you want. It's a bit similar with the undecidability results. — ssu
This is not an example of a "fundamental relationship of uncertainty, incompleteness & entropy". Not even close. — 180 Proof
"Uncertainty" is epistemic, "incompleteness" is mathematical and "entropy" is physical. I don't think they are related at a deeper – "foundational" – level unless Max Tegmark's MUH is the case. :chin: — 180 Proof
No need for proof in physical reality to perceive its facts. — Tarskian
The Fourier transforms won't allow us to accurately measure both position and momentum of an elementary particle; it's one measurement at a time being accurate, with the other measurement being far less accurate. — Tarskian
Unlike in physical reality, in arithmetical reality we typically know that a theorem is true because we can prove it... That is why arithmetical reality appears so orderly to us, while in reality, it is highly chaotic, just like physical reality. We just cannot see the chaos. — Tarskian
"Be fair" is an expression I use - perhaps it is not as widely used as I thought - to signal that there is a brighter side to what seems so depressing. It's not an accusation or criticism. — Ludwig V
QM tells us the observer perturbs what s/he observes. — ucarr
Isn't that old news in a new bottle? — Ludwig V
the new bottle perturbs the old news into something interesting: — ucarr
I'm suggesting that it has been over-hyped and is rather less interesting than one would have thought, given all the fuss. — Ludwig V
There's always the hope of being understood. — ucarr
Be fair. Sometimes we are understood, and sometimes we manage to sort out misunderstandings. — Ludwig V
How do you characterize ontically and empirically the physicist and its experimental_inferential connection to planck-scale phenomena? — ucarr
My layman's best guess: only the interaction of the measuring-apparatus and "planck-scale phenomena" is manifestly ontic – quanta (e.g. photons) "perturbing" quanta – and the physicist's readings of her measurements (thereby making inferences) are empirical. — 180 Proof
QM tells us the observer perturbs what s/he observes. — ucarr
Isn't that old news in a new bottle. — Ludwig V
Well, as I've been saying, no one reads a given text exactly as another reads it. This because each individual perturbs what s/he observes individually. — ucarr
You are looking at only one side of the coin. We learn to read from each other (and we learn the language that we read and communicate in) and we learn all the skills of knowledge. Sharing and correcting — Ludwig V
I suppose it means that in a given time period for a foundational theory, no one can discover a form more basic. — ucarr
So "simple" means "more basic"? — Ludwig V
...since classical-scale systems (e.g. brains-sensoriums) cannot directly interact with planck-scale systems. — 180 Proof
Yes, as e.g. Spinoza points out, human knowledge of unbounded (infinite) reality is necessarily perspectival and therefore bounded (finite). Basic epistemic mereology (re: maps < terrain), no? — 180 Proof
I think your "strategic incompleteness" overstates the case and incoherently conflates teleology with formalism with empiricism. — 180 Proof
Okay. Proceeding from the observer as an always local person, if we bind the thinking of an always local person to that always local person, then it too, is always local, and the abstraction of abstract thinking starts dissolving. — ucarr
I don't know what you mean by "bind". If a local person indulges in abstract thinking, and shares that thinking with other local and non-local thinkers, how does the abstraction of abstract thinking dissolve? — Ludwig V
I didn't understand a lot of the intervening ideas. — Ludwig V
I have a lot of difficulty with the idea of something true but unprovable. How could we know that such things exist, and if we do, how do know what they are? But this is a bit more specific and so it helps. I still haven't seen an example of such a truth and would love to do so. — Ludwig V
There may not be any elegant simplicity axiomatic to everything. — ucarr
But isn't that just a methodological principle that applies when there are competing theories in play? — Ludwig V
By the way, what is the criterion for simplicity? — Ludwig V
However, it occurred to me that, as a definition, "Statements about statements" captures far too much... — Ludwig V
Berkeley's Dialogues for example can be read as a philosophical text, but also as a historical or religious text. The difference is not in the text, but in the approach to the text. — Ludwig V
True physics would be the set of all facts in the physical universe, i .e. physical reality.
Any proposed set of physical axioms does not need to be a lossless compression of physical reality either.
The compression is actually allowed to lose a lot -- or even most -- of the information contained in physical reality.
The compression merely needs to be sound. — Tarskian
If the compression deems a fact to be true, then it must indeed be verifiably true in the uncompressed reality. — Tarskian
The foundational crisis in mathematics does indeed have a distinct metaphysical sonority to it. It describes issues in arithmetic reality but it may actually also apply to physical reality, if both realities happen to be structurally sufficiently similar. — Tarskian
The observer cannot be abstracted from the experiment. — ucarr
Yes. But the observer, in my book, is not an abstraction - a point of view. (At most, a point of view is a location for a possible observer.) An observer is a person. — Ludwig V
What would be the criterion of success? THAT would be the definition. — Ludwig V
I have many problems with this - and with self-reference. Not the least of which is that I'm inclined to think that if a language cannot talk about itself, then there is something it cannot talk about, so it is incomplete. Nor is there anything wrong with self-reference. Some specific uses of it are problematic, but since I'm not committed to avoiding all logically problematic uses of language by ruling them out of court in advance, I'm not much bothered by them. — Ludwig V
I don't think they give rise to any major problems of philosophy. — Ludwig V
Logicians and mathematicians have adopted the project of constructing a language with a grammar that rules such statements out. That's their choice. But it seems clear that a language that include those possibilities is perfectly workable. — Ludwig V
A statement is philosophical, if it is a statement about another statement. For example:
It is irrelevant that it is raining today. — Tarskian
I'm afraid I'm completely stuck in my opinion that the example is not a philosophical statement, unless you mean that it being used as a philosophical example makes it a philosophical statement. Which I think would be unduly stretching the scope of philosophy. — Ludwig V
I am wondering, however, whether self-reference may not be part of the distinction between science and the humanities. — Ludwig V
...can there be science of science. I doubt if it could follow some version of scientific method, including the experimental method, so would such a discipline be scientific? — Ludwig V
History, literature, and some approaches to language are about actual human beings, not abstract concepts — Ludwig V
Is philosophy included here? Depends on what you mean by philosophy. Much philosophy presupposes an abstract observer, but Wittgenstein, of course, challenged that. — Ludwig V
A statement about a fact is not philosophical. For example:
It is raining today.
A statement is philosophical, if it is a statement about another statement. For example:
It is irrelevant that it is raining today.
This explains in simple words what the true meaning is of Godel's incompleteness theorem.
A theory is incomplete if it can express statements about its own statements. In other words, a theory is incomplete if it is capable of philosophy.
Self-referential statements are just a special case of the general case, which is the philosophical statement. If a statement can talk about other statements, then it can also talk about itself. — Tarskian
Discovery of "how" is rooted in the adverbial modification of the predication of the fact of existing things. — ucarr
...I don't really understand what you mean. — Ludwig V
To me, adverbial modification means walking purposefully, or ambling or wandering or limping. But you might mean that interpretation is... — Ludwig V
It is possible that the prediction of the behaviour of organic molecules using hard physics is not computable, just like the behaviour of a human stomach can't be predicted using hard physics, even if we accept that we live in a purely physicalistic universe that regularly obeys the fundamental laws of physics at every level. — Lionino
Even more challenging to the test designer, Jenkins adds, is to remember that taking a test is itself a behavior. This means that tests need to try to take into account the attitudes of test takers while they are taking the test.
This means some people may answer questions based on how they want to be perceived, rather than how they truly are.
One of the most difficult hurdles for researchers observing human behavior is how to deal with the reality that human test subjects are always aware they are being studied and can modify their behavior—purposely or unconsciously—in response. — "Tarskian
There are fields that are an tightly meshed combination of both, such as architecture. A good number of architectural rules have been experimentally tested for safety. Still, subjective aesthetics have always been a major consideration in the construction of new buildings. The same can be said about the design of cars or any consumer product. — Tarskian
That's right.
For millennia, humans have understood that buildings should be practical, beautiful, and sustainable, because if any of these qualities are omitted or prioritized the buildings become practical but not beautiful, or beautiful but unsustainable, or sustainable but regardless of how. — jkop
There's no causal relation between the aesthetics and the sustainability and the practical reason for solar panels.
— jkop
Does such a causal relation exist? — ucarr
Yes, in the sense that architecture causally emerges from the building's practical, aesthetical, and sustainable qualities. — jkop
So, one possible summit of a science-art mesh would be a building that's useful, ecological and beautiful. — ucarr
Yeah, those three (or closely related varieties of each) are the essential components of all successful structural designs. Also known as the Vitruvian Triad.
When the sciences divorced the humanities, many intellectuals (e.g. Schopenhauer) became reluctant to see architecture as an art. It just seemed too pragmatic, concerned with functions etc. — jkop
1 – Merriam-Webster is garbage;
2 – that is a metaphorical meaning;
12 – Merriam-Webster would have noted that were it not a terrible dictionary.
Even if it is somehow a valid definition, it is worthless for the argument being put forth. I won't invest my energies into explaining it. You can think about it if you want. — Lionino
Even if the universe turns out to have a theory, this theory will almost surely be incomplete and therefore be able to predict just a small fraction of its facts. So, there is indeed ample scope for mysteries and miracles. — Tarskian
The big difficulty is that one has to have competence in a field in order to assess how authoritative a source is — Ludwig V
In practice, that is not true. Competence in the field is not required, just common sense. A physics textbook by a professor from Utretch, used in physics courses internationally, is authoritative, a researcher's blogspot is not.
I don't need to know neuroscience to have the common sense to not take at face value a research paper (which isn't made for laymen) from 2011 with 2 citations and 1 no-name researcher. — Lionino
I am not interested in discussing physics with anyone before the moment of force of this high school problem is presented to me in Cartesian coordinates — Lionino
...HPU is not about either "existence" or "observation", these two mean nothing in physics. — Lionino
...observation is not relevant in physics, it is interference that is relevant, and interference happens through measurement, which is how we observe things (observation in itself is irrelevant). — Lionino
Is Heisenberg's uncertainty principle about existence or observation? — ucarr
Neither. — 01Lionino
No. The HUP still is not about the "limits of quantised physical interactions". It has a clear physical meaning. — 02Lionino
Is Heisenberg's uncertainty principle about existence or observation? — ucarr
Neither. — 01Lionino
They call it common sense for a reason. It relies for its validity on normative conventions, which are a mixed blessing. They allow for social cohesion at the expensive of the intelligibility of novel insights, especially in less conventionally oriented fields like philosophy. Sometimes what is needed is uncommon sense. As Heidegger wrote “ …a philosophy is creatively grasped at the earliest 100 years after it arises.” — Joshs
Do you buy the existence of humanity as a miracle of improbability? — ucarr
That is the fine-tuning problem and most secular philosophers don't think it is a miracle (I am taking "miracle" here to mean intelligent design or sheer chance (~40%)). — Lionino
Do you deny the Heisenberg Uncertainty Principle was worked out as a math inequality? — ucarr
No. The HUP still is not about the "limits of quantised physical interactions". It has a clear physical meaning. — Lionino
As of yet, I am still unsure what you are saying and starting to think that you do not really have a clear idea of what you mean due to misapplication of terms and heuristic bias. — I like sushi
If we want to know what something is, objectively, we turn to science.
If we want to know what it's like, subjectively, to walk a mile in another person's shoes, we turn to art.
These are two profoundly different states: the "what" versus the "how." — ucarr
I have a feeling you are confusing yourself by interchanging Why, How and What without appreciating that they are ALL What questions. This then lead to you holding to How for one line of questioning where it suits you whilst holding to Why for another (even though - to repeat - they are BOTH What questions). — I like sushi
I acknowledged this overlap long ago. Now, it's your turn to argue the point that overlap obliterates difference.
Discovery of "what" is rooted in the predication of the fact of existing things.
Discovery of "how" is rooted in the adverbial modification of the predication of the fact of existing things. This adverbial modification elaborates both the effect and the affect of the fact of existing things. To the main point, "how" drags consciousness into the frame of the lens of discovery. — ucarr
...the idea that consciousness is subjective, but science is objective, and therefore we can't have a science about consciousness, conflates two different senses of 'subjective'.
Consciousness is ontologically subjective as it exists only for the one who has it, but that doesn't mean epistemically subjective. We can be conscious of science, and we can have science about the conscious states of individual organisms. — jkop
"Miracle" here is used casually and sophistically, but the above fact does not leave ample scope for miracles in a Humean sense either. — Lionino
Do you deny the Heisenberg Uncertainty Principle was worked out as a math inequality?I can't work with Quora quotations. — Lionino
I would find it very uncomfortable to call "agreement between prediction and outcome" science, as opposed to just a fact about science. — AmadeusD
Science is a method for ascertaining facts about hte world. Facts about science are plainly different things? — AmadeusD
I would find it very uncomfortable to call "agreement between prediction and outcome" science, as opposed to just a fact about science. — AmadeusD
This is a non sequitur that does not relate to the discussion. — AmadeusD
Picking up the award is not acting a play out. Presenting your findings at a conference is not carrying out experiments under controlled conditions. — AmadeusD
Art has no right/wrong value. It has good/bad value (and subjective, at that). Science is the opposite. It has right/wrong values, and no good/bad values. — AmadeusD
I don't recognize anything in the above in my account. I think you've jumped some massive guns here and landed somewhere entirely alien to both what I've said, and what I intended to convey. — AmadeusD
Can we see, herein, that right and wrong is concerned with what things are, whereas good and bad is concerned with the moral meaning of how things are experienced? — ucarr
No, not at all. I don't actually see how what you've said is at all illustrative of this point, ignoring that I think the point is extremely weak and bordering on nonsensical. — AmadeusD