A wife who has naturally pair-bonded with her husband would not deliberately choose to live two continents away separate from him. It's not that they ...
Not sure that it is about race, really. There has been a hundred times more talk about racist remarks than any actual racist remarks. I am sure that y...
With the ongoing Brexit apparently never coming to a conclusion, are we now also witnessing a Megxit in the British Isles? It looks like we can alread...
Yes, apparently, Greek geometry originally came over from the Egyptian harvest taxation bureaucracy. Arithmetic came through from harvest inventory ac...
Short story: it doesn't. Long story: Some of it may (unpredictably) meander downstream through the hands of science and engineering. From there on the...
I am not a religious scholar or a specialized mufti. Therefore, I do not know how to derive something like that, or its opposite view, from religious ...
Yes, I personally also think that inventions are problematic while discoveries are commendable. Free trade, and marketplaces in permissible products a...
If capitalism means: an economy with at the core a usury-infested fiat bankstering system then yes, it is an invention, just like putting the GOSPLAN ...
Nowadays, it is very strong. I guess that it is as strong as in the late Roman empire, if not stronger. Rampant depravity is often considered an end-o...
Well, the usury-infested fiat bankstering system is based on very serious violations against religious law. At the same time, these people still "beli...
It depends on what "capitalist" is supposed to means. It is certainly not a synonym for free trade or free markets. At the core of a contemporary west...
The Zionists love to qualify any criticism of the policies of the apartheidsstate of Israel towards the Palestinians as antisemitic racism. For exampl...
Agreed. Mathematics, science, and engineering are discovered, while economics, for example, is invented. One can invent an unlimited number of differe...
Formal proof is never about the real world. Furthermore, mathematics is not directly applicable. It first has to go through a framework of empirical r...
I was just replying to something you wrote. Not necessarily. For example, the MU puzzle's formal system does not have any conceptual content. Still, i...
Maybe, maybe not. I like formal metalanguages. Tarski's convention T is an interesting take on the matter. Tarski does use formal metalanguages in his...
Who is "we"? The MU puzzle ultimately goes to the core of the epistemology of mathematics. Through its stronghold on their language and related invari...
The way in which most humans generally come to conclusions amount to stirring in a pile of total bullshit. That is why nobody trusts people who cannot...
The absurd, useless, and meaningless MU puzzle cannot be solved. There is proof for that, i.e. justification. Hence, "The MU puzzle cannot be solved" ...
Well, no. I do not even care if a formal system is useful or meaningful. For example, I have just viewed a video that mentions the MU puzzle. I think ...
An axiomatic theory does not need to be useful. Since its model is not the physical universe, it is automatically also not meaningful. Therefore, I re...
If you take an arbitrary axiom A and a theorem S for which you can prove in proof P that it necessarily follows from A, then the sentence X="A \Righta...
It will obviously be true within the model that satisfies your axiomatization. This is never the physical universe, since your axiomatic theory is not...
You can create absolutely arbitrary axiom packs and use those instead. There is nothing wrong with that. If the language in which it is expressed is T...
If accepting/rejecting a hypothesis is not algorithmic, then anybody may accept or reject a hypothesis on merely subjective grounds. If that is possib...
Logicism did not fail. It just hasn't achieved its goals. Logicism would have "failed" if someone had provided proof that the 10 axioms of ZFC set the...
Now that Iran has casually shot missiles at American bases in Iraq, and with Iraq already demanding that these bases be gone, I wonder what the next i...
Obama seemed to have been better at juggling with Israel's pressure on the USA "to do something" about Iran. Israel is very selfish and will drag the ...
If scientific evidence -- represented by its paperwork -- is objective then there exists a mechanical procedure to verify such paperwork. One step in ...
This is not about verificationism. We are not trying to verify the claim itself. We are trying to verify its paperwork. A claim is justified if the re...
It depends on the knowledge-justification method. Mathematical justification ("provability") is eminently and even mechanically verifiable. Scientific...
Poor nations are generally no longer relatively as poor as they used to be. For example, in PPP, income per capita per year in the UK is $46,000 while...
In this context, it just means "objectively verifiable", which automatically implies that a procedure to carry out such verification can be documented...
It has most likely nothing to do with absolute level of income. If it did, then marriage should be almost non-existent in very poor countries, while t...
North Korea can avoid war if they don't want one. Iran, maybe not. The US would not dream of assassinating any North Korean general or other high offi...
The original congregations of Moses (???????? ??????????), later on of Jesus (???????? ??????????), and later on of Mohammed (???????? ??????????) wer...
Today, Cambodia (and Vietnam) mostly. That is not really "fixed", though. In 2017, I hired a Filipina tutor for the kids for a year, pulled them out o...
Is "the cat is on the mat" formally justifiable (=epistemology)? If it is, there is a formal justification procedure to produce that justification. In...
In Islam, it is the arrangement that emerges from the framework of verses in the Quran that organize welfare in society. Islamic society has lived lik...
So, yes, agreed. The terms "both parents present" and "two married parents" are not exactly the same. Furthermore, millenials may not yet be the large...
Well, I guess that we'll figure it out later. In the meanwhile, there's a bigger snag. The documentation (LEAN and Coq) suggests that we will regret u...
Well, since first-order logic is a predicate logic (extended by quantifiers), I did not mention predicate logic separately. All the axioms of logic, h...
The LEAN documentation (Microsoft Research) says that they fully support set theory but that their core axiomatization is actually dependent type theo...
There are two types of families now: single men versus single mothers (with children). Traditional families have become the exception. Concerning sing...
Yes, predicate logic gets loaded automatically by first-order logic. I don't think it comes with a separate axiom pack. It is just additional language...
They knew that Suleimani was going to be in Baghdad yesterday. They wouldn't have struck him while he was on Iranian territory. That would have been a...
In fact, the timing was actually quite bad, given the ongoing impeachment-zilla, I cannot imagine that Trump really signed off on it. Of course, he do...
Economic growth has not just been inflationary. The working class really does have materially more purchasing power, but at the same time, the rising ...
Comments