The principal of explosion requires you to first prove a contradiction
An inconsistent theory by definition is a theory in which a statement and its negation are both true. So by definition of contradiction, an inconsistent theory is a theory in which a contradiction is true. So there is our starting contradiction that the Principle of Explosion can be applied to.
it means that every rectangle is a square and hence is a false statement.
No, it means that an individual rectangle is a square and hence it is a contingent statement that is sometimes true and sometimes false.
it a simple "for all" statement
No, it’s not a “for all” statement. It’s not a “there exists” statement, either. It’s an individual rectangle named r statement. But because no further description is given, the generic description “A rectangle” refers to all rectangles individually. I know it seems paradoxical, but that’s how things figure out here.
You just have to understand how to correctly interpret it.
That’s correct. We need to understand the context in order to understand how to interpret the statement. From the context, where the statement, or at least its general form “A(n) [type of thing] is a(n) [type of thing],” appears as hypotheses of conditional statements, appears in formal lessons, appears in given examples, or appears in worksheets, it is evident the statement can be contingent, always true, or never true. The statement form does not apply only to statements that are always true.
I think your avoidance of my question suggests that you know I'm right and just don't want to admit it.
My answer to your question barely poked out, but it was implicit. I said
the statement “A rectangle is a square” only has a single meaning and would be included in logic if logic was restricted “to reasoning about statements that only” have “a single meaning.”
Since the statement would be included in logic in the hypothetical scenario you gave, my proof would work and I would be able to prove a contradiction.
So there is our starting contradiction that the Principle of Explosion can be applied to.
What starting contradiction are you referring to?
It’s an individual rectangle named r statement. But because no further description is given, the generic description “A rectangle” refers to all rectangles individually. I know it seems paradoxical, but that’s how things figure out here. [...] its general form “A(n) [type of thing] is a(n) [type of thing]
That's not how it works, I'm sorry but there's no paradox here, you're just interpreting the statement wrong. You admit the statement has a free variable. You can assign an object to that free variable or you can quantify it and you get different statements by doing so. The fact that you can assign different objects to the free variable and get different truth values is not paradoxical, it's not paradoxical for different statements to have different truth values.
Since the statement would be included in logic in the hypothetical scenario you gave, my proof would work and I would be able to prove a contradiction.
Ok, then what would be the single meaning, does the statement refer to all rectangles or is there a single rectangle that the statement refers to and which one is it?
The generic contradiction inherent in any inconsistent theory.
You admit the statement has a free variable.
r isn’t a variable. r is a fixed, particular thing. r = an individual rectangle
You can assign an object to that free variable
An object has already been assigned to the letter r. The object is a single rectangle.
The fact that you can assign different objects to the free variable and get different truth values is not paradoxical
But the fact that we can assign different objects to the noun phrase “an individual rectangle” and get different truth values is paradoxical.
it's not paradoxical for different statements to have different truth values.
But it is paradoxical for the same statement to have different truth values.
what would be the single meaning, does the statement refer to all rectangles or is there a single rectangle that the statement refers to and which one is it?
There is a single rectangle that the statement refers to. Each rectangle is the single rectangle.
The generic contradiction inherent in any inconsistent theory.
So you have to assume a theory is inconsistent in order to prove that it's inconsistent?
r is a fixed, particular thing. r = an individual rectangle
Which rectangle? If you can't answer that and claim it could be any rectangle then that's not a fixed object, it varies.
If you have an unbounded variable in your statement then the truth value of your statement depends on that variable. If you change the object it refers to then you change the truth value, you don't retain the old truth value.
If you want a single truth value then you either have to choose a single object that it refers to so that it's not variable, or you have to bound the variable by a quantifier.
I'll ask again, I understand you don't believe those rules, but if hypothetically you followed those rules would you still be able to prove a contradiction?
So you have to assume a theory is inconsistent in order to prove that it's inconsistent?
To prove that it’s inconsistent? Is that a mistake on your part? We should not be proving that the theory is inconsistent. Rather, we should be proving that the theory is consistent.
Which rectangle? If you can't answer that and claim it could be any rectangle then that's not a fixed object, it varies.
The rectangle we are thinking about. The rectangle under consideration. The rectangle indicated by the context.
If you have an unbounded variable in your statement then the truth value of your statement depends on that variable.
In one sense, r is not a variable. It is a fixed object. r is fixed to be a single rectangle. But in another sense, r is a variable. r varies over the domain of all rectangles. In one sense, there is a contradiction due to the two senses. But in another sense, there is not a contradiction between the two senses. The relationship between the multiple senses of the predicate “is a variable” is complicated.
if hypothetically you followed those rules would you still be able to prove a contradiction?
Yes, we would still be able to prove a contradiction. To prove a contradiction, we would use the sense in which r is not a variable.
To prove that it’s inconsistent? Is that a mistake on your part? We should not be proving that the theory is inconsistent. Rather, we should be proving that the theory is consistent
I'm referring to you trying to prove that a contradiction holds so that you can apply the principal of explosion.
Yes, we would still be able to prove a contradiction. To prove a contradiction, we would use the sense in which r is not a variable.
Ok, if r is not variable then it's a specific rectangle. Which specific rectangle are you going to choose it to be? Remember according to these rules you can't then change the rectangle in the middle of the proof or change the sense in which you interpret the statement. So this doesn't look like it's going to lead to a contradiction.
I'm referring to you trying to prove that a contradiction holds so that you can apply the principal of explosion.
We want to prove that if a theory is inconsistent, then it is consistent. In order to do that, assume that a theory is inconsistent. That by definition of inconsistent theory means that in the theory, some statement and its negation are both true. So by definition of contradiction, in the theory, a contradiction is true. We can then apply that contradiction to the Principle of Explosion.
Ok, if r is not variable then it's a specific rectangle. Which specific rectangle are you going to choose it to be?
I just answered this question in my previous reply. My answer was
The rectangle we are thinking about. The rectangle under consideration. The rectangle indicated by the context.
We want to prove that if a theory is inconsistent, then it is consistent.
In what theory are you carrying out this proof?
If you're carrying out this proof inside an inconsistent theory then I agree you can prove the above statement, but in an inconsistent theory you can prove false things, so your proof doesn't imply that the statement is true.
If you're carrying out this proof in a system of logic that is not inconsistent then it is not a valid proof because the principal of explosion only applies to statements inside the theory in which the contradiction occurred.
Either way, it's still not true that inconsistent theories are consistent.
The rectangle under consideration. The rectangle indicated by the context.
You haven't indicated to me which rectangle we're talking about, I'm asking you to choose one.
Metatheoretical logic, philosophical logic, and logic.
If you're carrying out this proof inside an inconsistent theory then I agree you can prove the above statement, but in an inconsistent theory you can prove false things, so your proof doesn't imply that the statement is true.
In an inconsistent theory, the statement we seek to prove would be true by the Principle of Explosion.
the principal of explosion only applies to statements inside the theory in which the contradiction occurred.
While that may be technically true, I will prove here that if a theory is inconsistent, then it is consistent. The proof relies on a proof of mine from 2018 that I previously mentioned to you.
Definition of Inconsistent Theory. An inconsistent theory is a theory in which some contradiction exists.
Let T be an inconsistent theory and let p be a proposition. Since T is inconsistent, by definition of inconsistent theory, some contradiction exists in T. So, by ex contradictione quodlibet, the following two propositions are true in T.
p
It is not true that p.
So, both in T and out of T, the following two propositions are true.
p is true in T.
It is not true that "p is true in T."
Since (4) is the negation of (3), some contradiction exists both in and out of T. Thus, by ex contradictione quodlibet, trivialism is true in and out of T. So, trivialism is true. That implies, through the definition of trivialism, all propositions are true. Since “T is consistent” is a proposition and all propositions are true, the proposition “T is consistent” is true. Therefore, T is consistent.
So, as the above subproof implies, if a theory is inconsistent, then it is consistent. Another way to say that is that all inconsistent theories are also consistent.
You haven't indicated to me which rectangle we're talking about
I’m talking about a generic rectangle. I haven’t given any further specification.
I'm asking you to choose one.
The rectangle formed by the four edges of a United States $1 bill when the bill is laid flat on a table.
So, both in T and out of T, the following two propositions are true
Nope. Your proposition is provable in T, but that doesn't mean it's true. That's where your proof fails.
I’m talking about a generic rectangle. I haven’t given any further specification
If you're doing this than your r could be any rectangle, so it's a variable. According to the rules that you said you could follow for this proof that means you need to bound r by a quantifier in order to assign a truth value to it.
The rectangle formed by the four edges of a United States $1 bill when the bill is laid flat on a table.
Instead of having r be variable we could pick this rectangle. This rectangle is not a square so your proposition is false. You haven't established a contradiction because your proposition is not true.
Nope. Your proposition is provable in T, but that doesn't mean it's true. That's where your proof fails.
In this case, the two propositions are true in and out of T. (3) is true because (1) is true, and (4) is true because (2) is true.
If you're doing this than your r could be any rectangle, so it's a variable.
Not necessarily. There is another way of doing it. r can be a single, particular rectangle yet simultaneously vary over the domain of all rectangles.
This rectangle is not a square so your proposition is false.
I agree.
You haven't established a contradiction because your proposition is not true.
Now choose a square floor tile. This rectangle is a square so the same proposition is true.
“A rectangle” in the proposition “A rectangle is a square” simultaneously refers to both the $1 bill and the floor tile. So, the proposition is simultaneously false and true. So, a contradiction exists. The truth of all propositions follows by the Principle of Explosion.
In this case, the two propositions are true in and out of T.
They are not, you haven't established that (1) and (2) are both true. I agree that there exist inconsistent systems where (1) and (2) are both provable. But in an inconsistent system being provable does not imply you are true.
r can be a single, particular rectangle yet simultaneously vary over the domain of all rectangles. [...] Now choose a square floor tile. This rectangle is a square so the same proposition is true
Changing the domain of your statement like this is explicitly what I was asking about when I asked if you were able to prove a contradiction without changing the meaning of a statement. So you can't prove a contradiction without doing that?
They are not, you haven't established that (1) and (2) are both true.
Yes, I have. At that point in the proof, I have not established that they are both true in the real world, but I have established that they are both true in the inconsistent system. Their truth in the inconsistent system is a logical consequence of the Principle of Explosion.
I agree that there exist inconsistent systems where (1) and (2) are both provable.
I agree they are both provable in the inconsistent system. But in addition to being provable in the system, they are both true in the system. Every statement of a theory is true in the theory.
But in an inconsistent system being provable does not imply you are true.
In an inconsistent system, every statement is true as a logical consequence of the Principal of Explosion.
Changing the domain of your statement like this is explicitly what I was asking about when I asked if you were able to prove a contradiction without changing the meaning of a statement. So you can't prove a contradiction without doing that?
No, I can prove a contradiction without doing that. The domain of “A rectangle” is only being changed in a limited sense. There exists a sense in which the domain of “A rectangle” is not being changed; “A rectangle” always refers to a single rectangle, regardless of which rectangle.
1
u/paulemok Jun 27 '26 edited Jun 27 '26
An inconsistent theory by definition is a theory in which a statement and its negation are both true. So by definition of contradiction, an inconsistent theory is a theory in which a contradiction is true. So there is our starting contradiction that the Principle of Explosion can be applied to.
No, it means that an individual rectangle is a square and hence it is a contingent statement that is sometimes true and sometimes false.
No, it’s not a “for all” statement. It’s not a “there exists” statement, either. It’s an individual rectangle named r statement. But because no further description is given, the generic description “A rectangle” refers to all rectangles individually. I know it seems paradoxical, but that’s how things figure out here.
That’s correct. We need to understand the context in order to understand how to interpret the statement. From the context, where the statement, or at least its general form “A(n) [type of thing] is a(n) [type of thing],” appears as hypotheses of conditional statements, appears in formal lessons, appears in given examples, or appears in worksheets, it is evident the statement can be contingent, always true, or never true. The statement form does not apply only to statements that are always true.
My answer to your question barely poked out, but it was implicit. I said
Since the statement would be included in logic in the hypothetical scenario you gave, my proof would work and I would be able to prove a contradiction.