First, I, at least, am glad that you’re asking these questions. Even on purely selfish grounds, it’s giving me an opportunity to clarify my own thoughts to myself.
Now, I’m having a hard time understanding each of your paragraphs above.
Or, sorry, just to complete, in case you had read that—the tautology does depend on whether the pencil lies in the range of 1.5 plus/minus sigma. If the pencil lies in that range, we can’t say B or ~B.
B meant “This rock is heavier than this pencil.” So, “B or ~B” means “Either this rock is heavier than this pencil, or this rock is not heavier than this pencil.” Surely that is something that I can say truthfully regardless of where the pencil’s weight lies. So I don’t understand why you say that we can’t say “B or ~B” if the pencil’s weight lies in a certain range.
In answer to (1.), I’m not using the consequent because you identified the fact that the consequent can imply anything by logical explosion. I was referring to the “A=>~A” example not getting to the heart of the point because that example is too simple to reveal anything of substance, as I subsequently discuss.
I didn’t say that the consequent can imply anything “by logical explosion”. On the contrary, since the consequent is a tautology, it only implies TRUE things. Given any tautology T and false proposition P, the implication T ⇒ P is false.
More generally, I don’t understand the principle by which you seem to say that A ⇒ ~~A is “too simple”, while other tautologies are not. Or are you now saying that all tautologies are too simple, and that you want to focus attention on certain non-tautologies, like “if A AND C, then B” ?
In answer to (2.), I am not claiming that some tautologies are “less true”. I am just roughly showing how there is a gradation from obvious tautologies to less obvious tautologies to tautologies which may not even be recognizable as tautologies, to theorems, and so on.
But surely this is just a matter of our computational power, just as some arithmetic claims seem “obvious”, while others are beyond our power to verify with our most powerful computers in a reasonable amount of time. The collection of “obvious” arithmetic claims grows as our computational power grows. Similarly, the collection of “obvious” tautologies grows as our computational power grows. It doesn’t seem right to think of this “obviousness” as having anything to do with the territory. It seems entirely a property of how well we can work with our map.
B meant “This rock is heavier than this pencil.” So, “B or ~B” means “Either this rock is heavier than this pencil, or this rock is not heavier than this pencil.” Surely that is something that I can say truthfully regardless of where the pencil’s weight lies. So I don’t understand why you say that we can’t say “B or ~B” if the pencil’s weight lies in a certain range.
My idea was that the rock weighs 1.5 plus/minus sigma. If the pencil then weighs 1.5 plus/minus sigma, then you can’t compare their weights with absolute certainty. The difference in their weights is a statistical proposition; the presence of the sigma factor means that the pencil must weigh less than (1.5 minus sigma) or more than (1.5 plus sigma) for B or ~B to hold. But anyways, I might concede your point as I didn’t really intend this to be so technical.
I didn’t say that the consequent can imply anything “by logical explosion”. On the contrary, since the consequent is a tautology, it only implies TRUE things. Given any tautology T and false proposition P, the implication T ⇒ P is false.
Sorry, “logical explosion” is just a synonym for “ex falso quodiblet”, which you originally mentioned. You originally pointed out that the consequent can imply anything because of ex falso quodiblet, when A is not true. That wasn’t my intention, so I added the A true qualifier.
More generally, I don’t understand the principle by which you seem to say that A ⇒ ~~A is “too simple”, while other tautologies are not. Or are you now saying that all tautologies are too simple, and that you want to focus attention on certain non-tautologies, like “if A AND C, then B” ?
It initially seemed too simple for me, but maybe you are right. My original thinking was that “A ⇒ ~~A” seems to mean merely that a statement makes sense, whereas other propositions seem to have more meaning outside of that context. Also, the class of tautologies between different propositions seems to generalize the class of tautologies with a single proposition.
… It doesn’t seem right to think of this “obviousness” as having anything to do with the territory. It seems entirely a property of how well we can work with our map.
I hadn’t really thought about this, and I’m not sure how important it is to the argument, although it is an interesting point. Maybe we should come back to this if you think this is a key point. For the moment I am going to move to the other reply...
First, I, at least, am glad that you’re asking these questions. Even on purely selfish grounds, it’s giving me an opportunity to clarify my own thoughts to myself.
Now, I’m having a hard time understanding each of your paragraphs above.
B meant “This rock is heavier than this pencil.” So, “B or ~B” means “Either this rock is heavier than this pencil, or this rock is not heavier than this pencil.” Surely that is something that I can say truthfully regardless of where the pencil’s weight lies. So I don’t understand why you say that we can’t say “B or ~B” if the pencil’s weight lies in a certain range.
I didn’t say that the consequent can imply anything “by logical explosion”. On the contrary, since the consequent is a tautology, it only implies TRUE things. Given any tautology T and false proposition P, the implication T ⇒ P is false.
More generally, I don’t understand the principle by which you seem to say that A ⇒ ~~A is “too simple”, while other tautologies are not. Or are you now saying that all tautologies are too simple, and that you want to focus attention on certain non-tautologies, like “if A AND C, then B” ?
But surely this is just a matter of our computational power, just as some arithmetic claims seem “obvious”, while others are beyond our power to verify with our most powerful computers in a reasonable amount of time. The collection of “obvious” arithmetic claims grows as our computational power grows. Similarly, the collection of “obvious” tautologies grows as our computational power grows. It doesn’t seem right to think of this “obviousness” as having anything to do with the territory. It seems entirely a property of how well we can work with our map.
My idea was that the rock weighs 1.5 plus/minus sigma. If the pencil then weighs 1.5 plus/minus sigma, then you can’t compare their weights with absolute certainty. The difference in their weights is a statistical proposition; the presence of the sigma factor means that the pencil must weigh less than (1.5 minus sigma) or more than (1.5 plus sigma) for B or ~B to hold. But anyways, I might concede your point as I didn’t really intend this to be so technical.
Sorry, “logical explosion” is just a synonym for “ex falso quodiblet”, which you originally mentioned. You originally pointed out that the consequent can imply anything because of ex falso quodiblet, when A is not true. That wasn’t my intention, so I added the A true qualifier.
It initially seemed too simple for me, but maybe you are right. My original thinking was that “A ⇒ ~~A” seems to mean merely that a statement makes sense, whereas other propositions seem to have more meaning outside of that context. Also, the class of tautologies between different propositions seems to generalize the class of tautologies with a single proposition.
I hadn’t really thought about this, and I’m not sure how important it is to the argument, although it is an interesting point. Maybe we should come back to this if you think this is a key point. For the moment I am going to move to the other reply...