I've been mulling this over lately, and I can't seem to understand why exactly the material conditional wasn't defined in a completely different way.
Obviously, the motivation behind our current definition of the material conditional is, amongst others, so that we don't end up with a definition that makes most restricted quantifiers impossible to work with. For example, take two triangles. A triangle is called equilateral if the lengths of its three sides are the same, whereas a triangle is defined to be isosceles if two of its three sides have the same length. We know then, by definition, that any equilateral triangle is also an isosceles triangle.
With this in mind, we can set up the following implication where $P(T)$ and $Q(T)$ are open sentences over the domain S of all triangles: $$P(T): T \; \textit{is equilateral.} \; \text{and} \; Q(T): T \; \textit{is isosceles.}$$
$$P(T) \implies Q(T)$$
This implication should then be required to hold true for all triangles $T$ that are equilateral, so we could write:
$$\forall \, T, \, P(T) \implies Q(T)$$
but we run into the problem of "what if T isn't equilateral?" If we choose to define the truth values of the material conditional any other way than we currently have, say by making the implication false whenever $P(T)$ is false, we'd end up with a false implication. But surely, our implication (which we know to be true by definition) can't be proven wrong by looking at triangles that the implication doesn't even deal with in the first place. Therefore, we must require this implication to be vacuously true.
However, couldn't all of this have been avoided by simply stating:
$$\forall \, T: \textit{T is equilateral}, \, P(T) \implies Q(T)$$
and assigning a false truth value to the material conditional whenever its antecedent is false? That way, we'd avoid situations like:
$$\forall x \in \mathbb{R}, \; x>2 \implies x^2>4$$ $$x=-1$$ $$\therefore (-1)^2>4$$
...situations which we know to be untrue.
I'm probably not really getting the big picture here, but it seems to me that a simple specification of the properties of a quantified statement fix the issue of quantifier incompatibility. Could somebody enlighten me?
Cheers.