Search found 2 matches
- Sat Mar 23, 2024 4:06 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Why did Godel come up with a true statement that is unprovable?
- Replies: 34
- Views: 21866
Re: Why did Godel come up with a true statement that is unprovable?
"This statement is not provable" Definition of a Statement: From Internet Encyclopedia of Philosophy: A statement can be defined as a declarative sentence, or part of a sentence, that is capable of having a truth-value, such as being true or false. A statement by definition must be capable...
- Sat Mar 23, 2024 4:07 am
- Forum: Metaphysics
- Topic: Solution to Fitch's Paradox
- Replies: 4
- Views: 9561
Solution to Fitch's Paradox
As I understand it, Fitch's paradox seems to be the strange conclusion that if all truths are knowable, then all truths MUST be known. In other words, it's impossible for there to be an unknown truth if all truths are knowable. Here's the original argument for this. I've taken the argument from wiki...