In my opinion, legitimate philosophy is about scanning knowledge databases for surprising or otherwise interesting patterns. In all practical terms, i...
The statement "What Peter says is true" isn't inconsistent in and of itself either. However, truth is not a legitimate predicate. You cannot define a ...
Actually, you are right. The term 'evaluated' is a bit ambiguous here. It is a syntactic thing. For example, you can legitimately write: s1 \leftright...
In my opinion, Kant was right about this, because such Exists predicate is going to be inconsistent. Imagine that you have a simple formal language in...
Yeah, general abstract nonsense. On the one side, I really like its "nonsensical" touch and feel, but on the other side, I haven't been able to find a...
Yes, agreed. Science has its own legitimate purpose but a lot of questions simply do not fall under its purview. Science is a tool to use for what it ...
The user of the theory. A logic sentence evaluates to true or false. A non-logic sentence may evaluate to something else or to nothing at all. Example...
The power of the State rests much less on its monopoly on the use of force than on its ability to manipulate its citizens into believing in the legiti...
I have never encountered a religious scholar who would even talk about a liberal-art subject that he is not familiar with. It does not even work in th...
Yes, Karl Popper famously did this in "Science as falsification". He is really the exception, however. Most non-scientists spout total nonsense about ...
That clearly depends on the definition for intelligence. According to the Dunning-Kruger research, intelligence is knowing when you do not know. Acade...
Agreed. It is not the planet itself that is at stake. It is our own habitat. If we destroy it, humanity will be gone, but the planet will recover. It ...
I am not sure about how it works for other religions, but in countries with serious infrastructure for that purpose, Islamic studies are never amalgam...
Most generally, it is labelled as true. When you feed a logic sentence to a theory, you need to provide the two-tuple (\ulcorner s\urcorner,s) to the ...
So, now we have the liberal-arts crowd criticizing religious studies by trying to re-purpose the credibility of the STEM fields to that effect -- some...
In fact, it is simple. According to Tarski's undefinability of truth theorem, a theory is not allowed to proclaim the truth or falsehood of its own pr...
The video on Tarski's Convention T is only 11 minutes, very short, and it is really clear too. https://www.youtube.com/watch?v=qKNVoAJ7VSc Logical tru...
It depends on the context. In religious law, it is an axiomatic belief. In science, it may apparently look like an empirical question but the falsific...
"Is there a god" is a question about an axiom. You should rather compare it to : In both cases, we do not seek to prove such starting-point belief. It...
I tried to spare myself from typing the entire title of his book again, "Principia Mathematica", by tagging it with an abbreviation, but it clearly fa...
Not so sure about Bertrand Russell. This following is an excerpt from Principia Mathematica (PM): The entire book is like that. I wonder how many peop...
A conclusion in mathematics must be about an abstraction that does not exist (in the physical universe). That makes it very obvious when a conclusion ...
That is a serious mismatch. Mathematics is exclusively about abstract, Platonic worlds while race/sex is a real-world phenomenon. There is no mathemat...
That is just a definition. Ok, this is probably new bait for some of the Kant haters here ... I did not know that Gödel was fond of Islam. Napoleon wa...
Yeah, I see. We come back to the same issue. Tarski was a great logician but also a great algebraic geometrist. Some people have already tried to expl...
That is a complete misunderstanding. Logic is also based on faith, and very much so, because of the 14 speculative, unjustifiable, and otherwise arbit...
It actually does make a lot of sense to seek to collaborate closely with close relatives. It can successfully protect the individual from an otherwise...
Preference for one's (extended) family may actually be a biological behaviour. However, racism confuses one's family with one's race. Therefore, it is...
System-less morality is the weakest part in western philosophy. It has the same propensity to infinite regress as metaphysics. I do not understand why...
Yes, but that is a practical heuristic in absence of knowledge of the truth of a (logic) sentence. Tarski addresses this problem in another way. Tarsk...
I propose to use Tarski's definition for (logically) 'true' as in his semantic theory of truth. Truth is then a property of a (logic) sentence within ...
Propositions, i.e. sentences, live in an abstract, Platonic world. If its construction logic is syntactically consistent, then this world's theory has...
This question got me wondering. If we represent xy=1 as a predicate function \gamma(x,y) which is true when xy=1 and false otherwise, then we get a mo...
It is alive in ontology and epistemology. It is dead in logic, which is now mathematics. It has never been alive in metaphysics, because infinite regr...
The idea that the son of Mary was crucified, is based on a forgery, i.e. the replacement of 'Jesus Barabbas' by simply 'Barabbas' in the narrative. It...
It is the starting point itself, F(x)>G(x), that is always undefined. The expression G(x)-F(x) is never defined because there is no overlap in the dom...
The expression "F(x)>G(x)" is undefined, because there isn't one x for which both F(x) and G(x) are simultaneously defined. defined F(x) G(x) 1 - 30 n...
Machines very well understand (formal) language. Machines are not necessarily social. #!/usr/bin/env lua print("hello world") print("I can correctly p...
We cannot validate the assumptions, i.e. the first principles, from which we reason, because they cannot be justified. We can generally also not valid...
Well, no. That is science. That is not mathematics. Look at first order (predicate) logic, i.e. the language of mathematics. It is a syntax/grammar al...
Concerning the epistemic principles of jurisprudence, I can see that there is also a debate in the usul al-figh ("epistemology of jurisprudence") conc...
You want to derive theorems, i.e. deductive conclusions, from the words in the Gospels. It is obvious that the theory on deduction, i.e. proof theory,...
As I mentioned earlier, this is only the case in Christianity, which is not a formal system unlike Orthodox Rabbinic Judaism and Islam. There are two ...
From a jurisprudential point of view, the scripture is a set of first principles, from which it is permitted to derive theorems, inasmuch as they nece...
Not true at all, and even admittedly so. The early history of Christianity was about mandatory Church council advisories, such as the one in Nicaea, a...
Their advisories are not axiomatic from scripture, i.e. from the Bible. Therefore, no, not at all, their practices do not constitute a sound formal sy...
In comparison to Rabbinic Judaism and Islam, what characterizes Christianity is that it does not necessarily reason from first principles contained in...
By keeping the child away from its relatives, it will never become a true member of the royal family. It will not properly bond with the other childre...
Comments