|
|
|
|
|
|
by a1369209993
1778 days ago
|
|
|
> What about "this proposition is true"? Does it have a truth value? I think it'll probably end up being neither true nor false too in most 'nice' systems (since general rules that could be used to prove or disprove it tend to set off things like Curry's paradox[0]), but unlike the other one it's (I think) dependent on the details of how you're defining things. 0: https://en.wikipedia.org/wiki/Curry's_paradox |
|
|