Logic and Paradoxes

It is a widely accepted believe that logic systems should be free of contradictions. In reality, however, we are always faced with contradictions and even seemingly unsolvable contradictions which we call paradoxes. How can we handle them? Logic in Praxis and Theory Computer programs consist of algorithms. Algorithms are instructions on how and in what order an input is to be processed. Algorithms are nothing more than applied logic and a programmer is a practising logician. But logic is a broad field. In a very narrow sense, logic is a part of mathematics; in a broad sense, logic is everything

The Platonic world

Why “Platonic”? Penrose calls one of the three worlds in the theory of three worlds as Platonic. Why? Plato The rich Athenian citizen Plato was a follower of the philosopher Socrates. He set up a school of philosophy in the 4th century B.C., which was fundamental for European philosophy and has crucially shaped philosophical discussions until the present day. If Roger Penrose thus calls one of the three worlds “Platonic”, he refers to Plato and specifically to one particular question and the discourse about it, which is still of great significance today. This question is, “Are ideas real?” Plato’s realism of ideas Subsequent

Go to Top