Given the long-term trend in atheist populations of going extinct, as we understand that their currently low birth rates are going to implode even fur...
I am not familiar enough with Gödel's semantic completeness theorem. The explanation does not contain elaborate examples to illustrate the details of ...
Ok, let's pick an example: marriage and divorce. Each religion has its own elaborate rules on that matter. By the way, religious marriage is strongly ...
The Bible and the Quran are also books about ethics. These books are really used by entire demographics to determine ethical questions. For example, p...
I suspect that ZFC is not decidable, but then again, it really depends on the link between completeness and decidability. If there exists a procedure ...
I don't think that Aristotle was particularly familiar with self-organizing systems or the concept of spontaneous order: Spontaneous order, also named...
Effective axiomatization. A formal system is said to be effectively axiomatized (also called effectively generated) if its set of theorems is a recurs...
That was rather: preventing the non-Chalcedonian Christians from inviting the Moslims in -- or before that, the Persians -- to get rid of Byzantine-Ch...
Just like the earth reveals through subtle hints that it is must be rather spherical, the universe reveals through subtle hints that it must have a be...
ZFC is subject to the diagonal lemma, and therefore is syntactically incomplete. Hence, it must necessarily have undecidable statements that can be ex...
Well, yeah, with Pauline Christianity having crossed out half of its basic scripture and mostly abrogating the real system, i.e. "The Law and the Prop...
A system is described by its basic rules, i.e. its basic beliefs. Propositional logic itself is a system of 14 basic beliefs. Every other system is ne...
Concerning Kant's philosophy, he described some meta-ethical principles but did not mean to provide a new system of morality. His work on ethics was c...
Either it is reasoning within a system, or else about a system, because in all other cases it is just system-less bullshit. My life experience says th...
By the way, there is a problem with the terminology. Decidability is about computability: Decidability should not be confused with completeness. For e...
The terms "miracle" and "miraculous" are loaded with all kinds of connotations that sometimes sound questionable. I prefer the phrase: "the output of ...
The mental faculty of reason is not capable of explaining, but also not of producing, the basic beliefs of a system. These basic beliefs, i.e. system-...
Well, no. The prophet of Islam did not perform one single miracle, besides providing us with a copy of the Quran. Sunni scholar Muhammad Asad summary ...
I think that there are two remarks that are possibly relevant in this context. First. These "true but unprovable" statements will appear to use as sim...
How it materializes in practice is rather that we find a statement S, of which we can prove that neither S nor the opposite of S can be proven in theo...
X \leftrightarrow isNotProvable(%X) The diagonal lemma does not tell you, however, how to find that true sentence. It only guarantees that it exists. ...
Yes, with false statements already hitting the diagonal (false,false) there is no compelling reason why true statements would hit the diagonal in (tru...
Actually, you caught me on a semantic problem. I should not have called the property "isLargeNumber". I should simply have called it "isLarge" because...
That is exactly the diagonal lemma. Take any property, e.g. isLargeNumber. Say that isLargeNumber is true for numbers above 10^20, and false for numbe...
Those people are not a good example. Pick a serious theologian at the Catholic University of Turin to talk about Catholic theology. Or pick an experie...
Logic is an axiomatic system based on 14 speculative beliefs, i.e. axioms. Logic cannot explain its own basic rules. There is simply no motivation for...
Yes, but Christian rules must not be imposed onto, for example, Jews. I absolutely do not believe in doing that. If you confess to being a Christian, ...
Some religions do, but other religions absolutely do not. In the Ottoman Empire, a millet /?m?l?t/ was an independent court of law pertaining to "pers...
In order to impose your views onto others, you need to grab control over the government in one way or another, and get them to do it for you. For exam...
I believe that every misbehaviour is its own punishment. If someone does something that will not keep flying, then let it just crash in a natural way....
Not every true statement but every theorem will have a corresponding proof. A theorem is defined as a sentence that has a corresponding proof. A true ...
HasAnEvenNumberOfLetters is also just a property of the number associated with the sentence. Instead of converting to decimal, convert to hexadecimal ...
Well, the term "heavy" was probably a bad choice. I couldn't think of a some good predicate, because the literature pretty much never mentions one. It...
So, this whole exercise just depends on what theists say and not on what objectively the possibilities would be? So, if I get it right, you have no wa...
I am not sure that it can work like that. For the number of gods, you assume a set that looks like this: {0,1}. You do not assume, for example, {0,1,2...
Yes, I think that accountants have procedures in which the sum in one column must be equal to the sum in the other column. If these numbers are, for e...
Either you reason within a system, or else you reason about a system, because in all other cases, you are just system-less bullshitting. So, you spout...
Well, no, the bureaucracy will throw up another hurdle there. According to the paperwork factory, his setup must either satisfy Kolmogorov's axioms or...
In my impression, the systematic use of the digit zero became a necessity with the introduction of the decimal (positional) system. For example, the n...
I am convinced that a 12-year old can understand it. Seriously, I mean this. This first step is the hardest part and it amounts to learning how to use...
Let me try again. It is just a game and you must hit the diagonal. \begin{bmatrix}(false,false) & (true,false) \\ (false,true) & (true,true) \end{bmat...
Well, p \leftrightarrow q also means not p \leftrightarrow not q, which is indeed a bit "duh", but formally still correct. My argument just shows an e...
Yes, the standard proof does not exploit any contradictions. Its proof strategy is exclusively based on judicious symbol manipulation. Unfortunately, ...
You cannot use probability theory for this problem. It just does not work like that. The following would be a probabilistic argument: Imagine we have ...
You cannot do that with reason. You can only use reason to verify -- and not to discover -- what is provable. We are now long past the idea that "true...
Let me offer a completely unjustified speculation on that. As soon as people started farming, they ended up with periodical harvests and a problem of ...
Comments