- #1
nonequilibrium
- 1,439
- 2
Is it allowed to define a proposition as follows:
Proposition B = "Proposition B is not true"
Probably not, but what is the ground reason for this? The fact that if you would be allowed to do that, that you'd come to a contradiction? That would imply that for defining any proposition, you first have to proof that it is possible to define a proposition as such? Does this sometimes get very tricky?
Thank you,
mr. vodka
Proposition B = "Proposition B is not true"
Probably not, but what is the ground reason for this? The fact that if you would be allowed to do that, that you'd come to a contradiction? That would imply that for defining any proposition, you first have to proof that it is possible to define a proposition as such? Does this sometimes get very tricky?
Thank you,
mr. vodka