If soul=psyche (as in Plato) then it seems easy to sell access to the attention. But if soul is referring to an ideal noetic form, then it's hard to understand how immaterial ownership would work without a material intermediary.
The theorem of included middle doesn't prevent specific classes of propositions from being exclusively divided into true and false, though. As a simple example, any proposition of the form "natural number SSS...SS0 is prime" will be either true or false, and there's nothing inconsistent about (say) "for every proposion P matching regex /(S)*0 is prime/, either P is true or P is false". Just like there's nothing weird about a linter that can reliably tell you that "while(1) {...}" doesn't terminate, halting problem or not.
You are referencing Godel and there is a reason why he only proved 'non-provability', namely Tarski's undefinability theorem[1]. In short, you cannot express the truthiness of a statement in the system within the system itself. This prohibits you to draw conclusions in a way you did above.
I'm of course no expert on the matter, and I might be wrong just as likely, but I'll encourage you not to make such strong, definitive statements. Maybe the reason for it is only that what you stated above would be a huge result in mathematics so one would think there is a mistake somewhere (especially since Liar's paradox is nothing new). And one would explore the subject further to find it rather than 'I post it on online forums because no one wants to accept my theory'
[1] https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theo...
Of course not; I'm not talking about truthiness; I'm talking about truth.
> that what you stated above would be a huge result in mathematics
Not really; it's the same sort of trivially-blatantly-obvious thing as "two-boxing on Newcomb's problem is irrational" or "quantum superpositions never actually collapse".
> "quantum superpositions never actually collapse"
Popsci is fun,
Never stop learning, even if it's obvious.
What about "this proposition is true"? Does it have a truth value?
If "this proposition is true" is true, then it's true. But if "this proposition is true" is false, then it's false.
It's self consistent whether it's true or false, but there's no way to determine if it is true or false.
I've been wondering what the formal name is for this kind of statement; surely it's not a paradox. Searching for "the opposite of a paradox" is apparently not the right query.
I feel like there's something questionable going on with the word "is" in either statement.
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.