You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Tarskian

Comments

Language expressions are countable. (You could conceivably create a list of them) Even though there may be an infinite number of language expressions,...
September 19, 2024 at 04:04
You can reject arithmetical truth, until you make use of it, or of a statement that happens to be equi-consistent with it.
September 11, 2024 at 03:33
For physical truth, you can observe it. No need for ulterior justification. Arithmetical truth, however, cannot be physically observed. Pure reason is...
September 10, 2024 at 00:12
Yes, if there is no objective justification ("proof") then there won't be (an objective) consensus on whether it is true or not, rendering such truth ...
September 09, 2024 at 03:34
Not all true statements have an objective justification, but some do. This is a fundamental tenet in mathematics. According to Godel's incompleteness ...
September 09, 2024 at 02:24
Pinpointing a previous event that would be the cause of a next one, the effect, is often too restrictive. The next state in a system may be predictabl...
September 09, 2024 at 01:53
Yes. However, the general biological rule that governs all sovereign primate groups remains applicable. In-group violence between individuals or subgr...
September 09, 2024 at 01:14
It is obvious that there are situations in which fighting is simply necessary. That is indeed difficult to reconcile with the ambiguous, nebulous and ...
September 08, 2024 at 13:41
Refusing to "go over the top" or to open fire when instructed, is an act of cowardice. Christianity is deemed to have some responsibility for the fact...
September 06, 2024 at 08:08
Information is connected to matter. For example, a pendulum is able to swing back because it physically stores the information necessary to do so. An ...
September 06, 2024 at 04:25
Interesting.
September 02, 2024 at 15:09
Yes, informational incompleteness (Chaitin) and uncertainty (Heisenberg) are deemed.directly related (Calude & Stay, 2004). The irreversibility of par...
September 02, 2024 at 11:10
The axiomatic system is indeed a compression (Chaitin) but we just axiomitize it without using any known compression algorithm. The axiomatization is ...
September 02, 2024 at 10:43
Forget about Pavel Durov. Elon Musk is next. That is who they really want to bring into line: Elon Musk's Gleichschaltung is firmly under way. Elon Mu...
September 02, 2024 at 05:54
Uncertainty is a precision problem. More precision means more information. According to Chaitin's incompleteness, sufficiently higher precision will i...
September 02, 2024 at 01:16
They are still at large and in the open ... for now. It will work until it doesn't anymore. They could have arrested him for some other vague crime su...
September 01, 2024 at 10:35
That would be the first-order assessment. Then, there is the second-order one: Regardless of whether you are yourself a coward or a brute, do you pref...
September 01, 2024 at 10:13
You can either get accused of being a coward or else of being a brute. Feel free to pick your poison.
September 01, 2024 at 07:36
That is actually also what Steven Frank does in his paper "The common patterns of nature". He argues that the algorithm -- in this case, the statistic...
September 01, 2024 at 06:01
The first ones to discover that maximizing the ruling elite's power does not require turning every business into a state department, were the Nazis: T...
September 01, 2024 at 05:37
When a compression algorithm forgets particular facts, it says much more about this algorithm than about these facts. Another algorithm may even inclu...
September 01, 2024 at 04:28
Positivism and scientism incorrectly claim this. Axiomatic determinism does not claim this. Even not at all. On the contrary, axiomatic determinism fu...
September 01, 2024 at 04:08
Yes. Just like in Schlesinger paper, Calude & Stay switched from Gödel's incompleteness to Chaitin's incompleteness. Gödel is provable from Chaitin. H...
September 01, 2024 at 03:54
I think that the connection Schlesinger sees, is tied more directly to Chaitin's incompleteness theorem than to Godel's theorem. (But then again, Gode...
September 01, 2024 at 02:34
What do you think of the connection that Schlesinger makes between entropy and Godelian incompleteness in "Entropy, heat, and Gödel incompleteness" (2...
August 31, 2024 at 09:19
The following paper, "Entropy, heat, and Gödel incompleteness", 2014, by Karl-Georg Schlesinger, suggests that: The dynamic system simply "forgets" ho...
August 31, 2024 at 06:34
Yes, that is exactly the case for Goodstein's theorem. The theorem itself can be expressed in the language of Peano arithmetic but the proof cannot. T...
August 30, 2024 at 11:21
It is not about economic problems but legal ones. You are very likely to end up at some point becoming the noncustodial parent of the child. That is a...
August 30, 2024 at 08:40
Yes, but if you have a copy of the theory of the physical universe, you could conceivably ask a computing device to check if a given fact is provable ...
August 30, 2024 at 06:26
My conclusion is rather that you can choose to go where you are treated best. That is the most efficient way of choosing the least worst outcome. Ideo...
August 30, 2024 at 05:37
I used to be a Catholic. In some contorted ways, I probably still am. I do not believe that "Christianity is false". Christianity is just not good at ...
August 29, 2024 at 13:33
The ethics are simple self-preservation. Antinatalism spares you from a future in which you will be making hefty child-support payments for children t...
August 29, 2024 at 12:22
There are good reasons why it took until 1931 for Godel to discover that these things even exist. Until then, most people were pretty much convinced t...
August 29, 2024 at 02:35
That would require the axiomatic system to be a lossless compression of the reality that it compresses. If there is no particular given limit to the c...
August 28, 2024 at 08:04
If we define true arithmetic as the set of all facts in arithmetic, i.e. arithmetic reality, then we can see that the set of Peano's axioms is not jus...
August 28, 2024 at 02:14
https://youtu.be/-cV7pnbVito?si=VbyP2ZCQdfBSrbwB
August 27, 2024 at 11:18
Jordan Peterson has an interesting opinion on that: https://www.youtube.com/shorts/cIDopS5C1Ck A wallflower guy might benefit from some training in na...
August 27, 2024 at 04:09
I confess to being just an utmost humble servant of our Almighty Master, Lord of both worlds, and Creator of this universe. You, on the other hand, se...
August 26, 2024 at 04:33
So, you cannot handle things alone? Asking for help now? Ha ha ah!
August 26, 2024 at 04:12
Concerning computability and logic, what is it that I do not understand about my own source code? I solved it with a script. As Linus Torvalds famousl...
August 26, 2024 at 04:06
Another one: Heterosexuals could actually also claim to be persecuted since prostitution is more or less illegal in Malaysia. But then again, prostitu...
August 26, 2024 at 03:55
Aristotelian logic was first subsumed in mathematical logic and nowadays is only studied for historical purposes: Mathematical logic is in turn curren...
August 26, 2024 at 03:37
I present you with a simple fact, and you answer again with a useless word salad. If you had made that claim about Afghanistan, I would have agreed th...
August 26, 2024 at 03:17
These gay bars, a multitude of them -- being openly advertised -- seem to be perfectly legal in Malaysia. How is that compatible with your gay-persecu...
August 26, 2024 at 01:48
Different people come to exactly the same conclusion for otherwise entirely different reasons. That outcome is called an "attractor": When every syllo...
August 26, 2024 at 01:39
This kind of trouble is not uncommon especially when there is money to be made from causing it: https://a.espncdn.com/combiner/i?img=%2Fphoto%2F2023%2...
August 25, 2024 at 23:25
Take the example of asking someone out. If it is not well received, it amounts to sexual harassment. However, you won't know how the person who is bei...
August 25, 2024 at 12:49
Not everybody can leave, even though many more still could. I can indeed achieve what I want without risking a fight. So, why would I? In western Euro...
August 25, 2024 at 06:05
If you need your spouse to provide for you, it is your job to make sure that he voluntarily wants to keep doing that. You cannot outsource this to oth...
August 25, 2024 at 05:39
All morality emanates from the laws of the Almighty. In Islamic law, you never take care of a former partner. Furthermore, after the age of reason, cu...
August 25, 2024 at 04:26