Meta

The argument is not formalized. When you try to formalize it you will see the problems I mentioned. By saying "God is the ..." you assume God exists (...

The sentence "God is the greatest being imaginable" when formalized looks something like: "There exists the greatest being (entity) imaginable and is ...

There are roughly two methods of science, I hope we all agree in that. One is the empirical and the other is the theoretical (axiomatic in my book) me...

You have put this into words perfectly. (2.) is my main concern. We have to shout out that the system is corrupt and is run by thieves and worse. They...

I'm from Eastern-Europe so the flaws of education and wage-slavery are strongly present. I think, however that majority of the world suffers from that...

I think grades and wages are the same in the sense that they support the system which is itself immoral by the above definition(?). Yes they are compl...

I would say paying for something is a necessary pain. Buying unnecessary stuff only to be the king of the hill causes unnecessary pain. Maybe we could...

The proof is correct. Your premises however are not equivalent with the English axioms because you need one more predicate to express "x wants to suff...

Jeah my problem is not the rating system itself but how it is done today. My English just simply sucks so I can't express myself well enough. You and ...

You have a point. But if we want any kind of debate to take place then we need some kind of "rating system"; namely we have to rate a sentence "true" ...

I did not say I wasn't brainwashed. In fact the things I wrote and being brainwashed by the educational system are consistent in my opinion. A lot of ...

Interesting that somebody voted for grades being moral and salary being immoral. I think they are basically the same the only difference is the age of...

I totally agree. I would add a little note to that it is impossible to fully understand or logically derive some important scientific statements as a ...

(1) The honest answer is I don't know. However it is widely accepted that a very small % of people own the majority of goods. I would say corporations...

Thank you for answering my question! I will have to re-read your post several times to get a better understanding of it. However here is a short answe...

I have been doing a lot of other stuffs lately so I couldn't learn enough about these reflection principles. I will read more about them for sure. But...

Only those go to Valhalla who die in battle.

Thanks Nagase your answer is top notch as always. I dont wholly understand this thing about local truth predicates but sounds interesting. I Will read...

In my first post I formalized your argument and turned out the deduction is incorrect. Maybe you got the right intuition but we need a logic to create...

Your logic seems to be accepted and understood by a single person in the world therefore it is not a classical one.

I don't understand why did they choose that single sentence to show the absurdity of the argument. Since EVERY formula is provable in a contradictory ...

I think "everything" doesn't have a logical definition. Like in mathematics you can define "everything" within a system with the equation x=x (at leas...

I accept Nagase's answer on arithmetic truth. If the mathematics we do is formalized within PRA then the problem of the truth of existence in PA is so...

I think there is nothing paradoxical in the possibility that there are true sentences which are not knowable. The absolute conistency of arithmetic or...

The goal of the argument was to show that {(KP),(NonO),(A),(B),(C),(D)} is inconsistent. To show that they looked for a contradiction. At step (6) the...

I interpret your axioms as follows: 1. x --> ?K(x) (All truths are knowable ie. it is possible that somebody knows x at some time.) (axiom) 2. P (Prop...

Aw i didnt know that. Thanks. I dont know where my idea came from.

If truth in arithmetic means provability in ZFC then it is false that every PA formula is either true or false. Thats odd. What kind of "truth" concep...

My main goal is not to define existence but to find a logic without the anomalies mentioned above. Or at least to formalize my problem (about mathemat...

Thank you for the recommendation. I Will read it. I have only seen a bit from the mathematical side. I need to discover the philosophical side yet. Ed...

Thank you for answering! Yes that's it! I Think we have to give up mathematics at some point and enter the realm of metaphysics. Because in the defini...