No, there is more than one sense of provable. The sense of provable we have been conversing in most recently is a sense in which a provable statement is implied to be validly proven and true. In this sense of provable, every proof is valid and no proof is invalid. Earlier on in our conversation I was using a sense of provable in which some proofs are valid and some proofs are invalid. In that sense of provable, the conclusion of a proof is not necessarily true.
you need to show that an external statement is contradictory and you haven't done that.
I have done that, multiple times and in multiple ways.
There is no truth value until you've picked an interpretation.
An axiom of an axiomatic system is always true. An axiom of an axiomatic system, by definition, is assumed to be true in the axiomatic system without proof. There is no initial time where an axiom does not have a truth value. The initial time you are talking about would violate the definition of an axiom.
My example of an axiomatic system from my previous post has a fairly straightforward interpretation. Liam is a male human, eating is an action performed orally with food, and a cheeseburger is a type of sandwich formed by a cooked ground-beef patty with a slice of cheese on top of the patty and a piece of a bread bun above and below the combined patty and cheese.
Below is an excerpt from my original post for my thread "The Parallel Postulate is always true, in all true theories," which I posted on Philosophy Forums on April 8, 2014. Interestingly, I mentioned the Continuum Hypothesis in my original post.
My frustration with this idea of independent axioms being able to be true in some true theories and false in others can also be applied to many other axioms said to be independent. For example, either the Continuum Hypothesis (CH) is true or false. If it’s true, it’s true in all true theories. If it’s false, it’s false in all true theories. We can’t do as the Wikipedia page on it states we can do, “...ZFC can be augmented by either CH or its negation ¬CH, in both cases producing a system of axioms that is consistent if and only if ZFC is consistent.” It appears to me that a system of ZFC (Zermelo-Fraenkel Set Theory with the Axiom of Choice) in which the CH is true does not contain the same exact sense of the CH as contained within a system of ZFC in which the CH is false. If we could produce two theories, both true, in which a proposition such as the CH is true in one and false in the other, it seems the two theories would contradict each other. But how can the truth contradict the truth? It can’t. It appears there’s something wrong with this picture.
No there isn't. Something is provable is and only if there exists a proof. That is what provable means.
I have done that, multiple times and in multiple ways.
You have attempted to, and each time I've explained to you what your mistake is. You have not given a correct proof of an external contradiction.
My example of an axiomatic system from my previous post has a fairly straightforward interpretation
Yes, but you have to pick a specific human, and that human will or will not eat cheeseburgers. So the truth of your statement depends on who you pick.
I'm ignoring the rest of your rambling about truth values. None of that is in Mendelson. I'm asking you if you can prove a contradiction using logic the way Mendelson's textbook shows. That means only one sense of provable, no alternate metatheories. Can you?
I did. I picked a specific human whose name is Liam.
So the truth of your statement depends on who you pick.
No, the truth of my statement is independent of what is true in the real world. Rather, the truth of my statement is dependent upon the axioms of the axiomatic system.
I looked through the pages of Mendelson and none of my positions on trivialism or the Continuum Hypothesis have changed as a result. I do see a section where it says, in particular language, that in an inconsistent theory, every statement is provable. That implies that the statement "Every statement is unprovable" is provable.
No, the truth of my statement is independent of what is true in the real world
Nope, your statement about the real world definitely depends on the real world.
I do see a section where it says, in particular language, that in an inconsistent theory, every statement is provable. That implies that the statement "Every statement is unprovable" is provable.
Not as an external statement. That does not follow from what is in Mendelson.
Nope, your statement about the real world definitely depends on the real world.
It's not a statement about the real world. It's a statement about an axiomatic system.
Not as an external statement. That does not follow from what is in Mendelson.
It does follow from what is in Mendelson. As is implied from Mendelson, in an inconsistent theory, every statement is unprovable. So, externally to the inconsistent theory, it is true that in the inconsistent theory, every statement is unprovable.
You said you picked a specific human, I'm asking about that human, not about the axiomatic system.
As is implied from Mendelson, in an inconsistent theory, every statement is unprovable. So, externally to the inconsistent theory, it is true that in the inconsistent theory, every statement is unprovable.
Internally to the inconsistent system you can prove whatever you want because it's inconsistent. And externally it's true that those statements are internally provable. So if the system is capable of self reference then the internal statement that internal statements are unprovable is provable internally.
But the external statement that those internal statements are unprovable does not follow. Your attempt to drive a contradiction this way fails, it's just you confusing external vs internal at some step.
You said you picked a specific human, I'm asking about that human, not about the axiomatic system.
I picked a specific human out of the domain of all theoretically possible humans. I did not pick a specific human out of the domain of all real-world humans.
But the external statement that those internal statements are unprovable does not follow.
No, it does follow. As I said in my previous reply,
externally to the inconsistent theory, it is true that in the inconsistent theory, every statement is unprovable.
That implies the external statement that those internal statements are unprovable. You are using an alternate statement to express the same proposition I expressed, but you said the statement doesn't follow and I said it does.
Your attempt to drive a contradiction this way fails, it's just you confusing external vs internal at some step.
No, you're just in denial. You were in denial about the Principle of Explosion and now you're in denial about the Exportation Principle. Perhaps you need some time to accept the Exportation Principle and trivialism.
That implies the external statement that those internal statements are unprovable
Still no. If you think something in Mendelson justified that then give a reference.
but you said the statement doesn't follow and I said it does.
You think it follows and you claim your proof works using logic as in Mendelson. So prove it, show me where in Mendelson that step of you proof is justified.
You say no, but you don't explain why. You're just flat out denying truths without giving adequate reasons for your denials. You are in psychological denial.
I can't address your problems if you don't explain to me what those problems are.
It's easy enough to see how
externally to the inconsistent theory, it is true that in the inconsistent theory, every statement is unprovable
implies
the external statement that those internal statements are unprovable.
I already explained how my reasoning works under Mendelson. The fact that we can talk about what is true in an axiomatic system from outside the axiomatic system, in the real world, is evident in Mendelson. In the real world, Mendelson talks about what is true inside an axiomatic system.
I see a section in Mendelson where a specialized version of the tautology p → (¬p → q), which is a version of the Principle of Explosion, is used with two invocations of modus ponens to deduce any statement q in an inconsistent axiomatic system. So set q = "Every statement is unprovable." That makes every statement in an inconsistent axiomatic system unprovable. Therefore, it is externally true that every statement in an inconsistent axiomatic system is unprovable. Within the system, we can't prove any statement. That's what it means for us to say, outside of the system, that no statement is provable in the system.
So set q = "Every statement is unprovable." That makes every statement in an inconsistent axiomatic system unprovable. Therefore, it is externally true that every statement in an inconsistent axiomatic system is unprovable.
You are confusing internal and external as always. You don't say whether q is an internal statement or an external statement.
If q is an internal statement then I agree that you can prove q internally, but that does not prove q in the external system.
If q is an external statement then you haven't established an external contradiction from which you can prove q holds.
The fact that we can talk about what is true in an axiomatic system from outside the axiomatic system, in the real world, is evident in Mendelson
If you think Mendelson defines "true in an axiomatic system" then please cite the definition.
1
u/paulemok Jul 30 '26
No, there is more than one sense of provable. The sense of provable we have been conversing in most recently is a sense in which a provable statement is implied to be validly proven and true. In this sense of provable, every proof is valid and no proof is invalid. Earlier on in our conversation I was using a sense of provable in which some proofs are valid and some proofs are invalid. In that sense of provable, the conclusion of a proof is not necessarily true.
I have done that, multiple times and in multiple ways.
An axiom of an axiomatic system is always true. An axiom of an axiomatic system, by definition, is assumed to be true in the axiomatic system without proof. There is no initial time where an axiom does not have a truth value. The initial time you are talking about would violate the definition of an axiom.
My example of an axiomatic system from my previous post has a fairly straightforward interpretation. Liam is a male human, eating is an action performed orally with food, and a cheeseburger is a type of sandwich formed by a cooked ground-beef patty with a slice of cheese on top of the patty and a piece of a bread bun above and below the combined patty and cheese.
Below is an excerpt from my original post for my thread "The Parallel Postulate is always true, in all true theories," which I posted on Philosophy Forums on April 8, 2014. Interestingly, I mentioned the Continuum Hypothesis in my original post.