3 ms·
Yet the question of truth was indeed important to Godel, a lifelong Platonist. So it was the will to truth that brought us here in the first place Moreover, th
by samirillian 7y ago
Yet the question of truth was indeed important to Godel, a lifelong Platonist. So it was the will to truth that brought us here in the first place
Moreover, this tool-theory of truth that you proffer still runs on some concept of truthiness.
All these system share a similar paradox to this trilemma: let's assume there is such a thing as truth, but the condition of that assumption seems to be the impossibility of proving it with any system produced by such a will to truth.
- heinrichhartman 7y agoIt may well be that the search for "truth" has brought us here. However, we found out that "truth" is always a relative. It has to be rooted in assumptions/axioms. So I would say, it runs on, good choices of axioms and the ability to perform logical deductions. Set Theory is an attempt to come up with axioms that are so simple that no-one who is not completely out of it's mind would doubt their "truth". This is stuff like: - There exists a set - Two sets are equal if all their elements are equal - We can form subsets from sets, by picking out elements The only exception is the axiom of choice, which is less intuitively evident, but a technical necessity to build and reason about infinite sets like the real numbers.