Tarski wrote:Well, is anything outside of math and logic provable in the sense you intend??
I don't think the issue is whether a statement is positive or negative (whatever that really means- every statement is the negation of its negation).
As I like to think I've made clear, I also don't think the issue is whether a proposition is grammatically positive or negative.
Well, is anything outside of math and logic provable in the sense you intend??
The sense I intend is the sense you provided. In the sense of being logically entailed from prior propositions? Such as your 1, 2, 3, or 4?
No. Absolutely not. More specifically, I do not believe that the proposition "the Book of Mormon is not a true history" is necessarily true.
Do you?
I believe the proposition "The Book of Mormon is not true" is a true proposition. But, goodness, I don't believe that because it is definitionally (or, if you prefer, necessarily) entailed from prior propositions. I think the preponderance of the evidence points probabilistically in that direction. The issue here is just not about continuous deformations in topological space that leads to homeomorphic identity.
Best.
Chris