Posts

Showing posts from November, 2022

On Knowledge and beliefs

We consider many propositions about the world as either true or not true.  However, in my view, human knowledge is not a collection of true and false propositions. What we consider as evidently true are only propositions about the world that we believe to have a very small probability to be false. The above is still compatible with an objective Reality, however most of our knowledge about Reality is highly mediated, so that we can rarely be fully certain about something. Mount Everest I "know" that the highest mountain in the world is Everest (from the sea level). However, I never seen that mountain. Even if I could visit and measure mount Everest, it is not realistic for me to check all the other mountains in the world to verify that there is no higher mountain somewhere. Think Popper. I only believe that Everest is the highest mountain in the world because a lot of sources tells me this (externalism). It is unlikely that any of my sources verified personally that there is n...

On Russel's Paradox

Russel's paradox is defining "the set of all sets that don't contain themselves". You can show that such construct leads to a contradiction. Read the wiki link for details. I started this article as answer to this article . There is another interesting paradox discussed by Bertrand Russell: "The smallest positive integer not definable in under sixty letters", actually better known as Berry's paradox  You can also prove that such number creates a contradiction, because you just defined it under sixty letters. For me, the above paradox shows that it is not enough to create a condition for something to exist with that condition - or a set of such elements. Such paradoxes argue that such objects defined by a predicate cannot exist sometimes.