Quote:
Originally Posted by candybar
I didn't say your statement was absurd - I said it's absurd not to specify something that needs to be specified in order to make statements meaningful.
No, let's be honest and rigorous here, since you want to nitpick semantics in an attempt to walk back what you said:
Quote:
Originally Posted by candybar
Log without base means base 10 and it's absurd not to specify base 2 if the meaning of your statements depends on base 2.
You did not say if the meaning "needs" to be specified, you said
if the meaning depends on the base. Those are two different statements. When I say that the number of bits required to represent an unsigned integer can be calculated using the log of the decimal value rounded up to the nearest whole value, I don't "need" to specify that I'm talking about log base 2, it's implied given the context of the problem. But it is also an essential part of the solution. This is a situation where the meaning of my statement depends on base 2 but I don't "need" to explicitly specify base 2.
Your original statement includes situations such as this in the set of absurdities, yes? Let {A}=the set of all statements where the meaning of the statement depends on base 2. Let {B}=the set of all statements where the base is not specified. Let {C}=(A U B) (the set of all statements where the meaning of the statement depends on base 2 and the base is not specified). Let x be a predicate variable such that x is an element of C. Let Q be the statement, "x is absurd." Your claim is "for all x that is an element of C, Q(x)." This is literally what you wrote in logical form. My post, which you quoted in order to refute, claimed "there exists some x that is an element of C, ~Q(x)" using the same logical sets. Our statements are the negation of each other, therefore they can not both be simultaneously true. Also, it shows that you were in fact calling my statement absurd, and the reason you didn't understand that is because you're the one with the reading comprehension issues. Or you don't understand logic. Would you like to see a truth table to prove it? You should also realize that you're setting a very high standard for yourself when you negate an existential statement into a universal statement, which is what you did. It only takes one example to prove your statement false. Furthermore, this example could exist in any setting, formal or informal, since your claim did not explicitly limit the domain in this respect, and implicitly the quote you responded to specified "it depends on the context," which is a strong argument that the entire domain of statements was intended.
What you're attempting to claim in your last post is not the same. "Not to specify something that needs to be specified in order to make statements meaningful" excludes cases where meaning can be inferred from context. If the statement truly needs a specific qualifier to have meaning and it doesn't have it, by definition the statement must be meaningless, which is of course absurd. That's a critical difference that you seem to either not understand, or you do understand but you're attempting to revise your posting history in the hopes that you can shift the argument to a frame where you can defend your posts. It's very dishonest and if you were hoping I wasn't going to call you out for it, you were wrong.