Thanks for a considered and sympathetic response.
Here are a few points I've taken form what you said:
1. that p v ~p is a logical law. There's of course a large literature on the nature of laws or rules, but perhaps there is some consensus that Wittgenstein was correct in pointing out the vicious circularity of claiming that our actions are determined by a rule. Now I'll go along with the tradition that says that the answer here is that ultimately a rule is grounded in a practice, in what we do. I think this is both found in the PI and an adequate answer to Kripke's scepticism.
So better, perhaps, to say that agreeing with either p or ~p is what we do, rather than a rule.
2. There's this, about (p v ~p): "My puzzle is: How is it that these are two phenomena, which resemble each other so closely yet have such different objects?" The trite response is that p and ~p are
not phenomena. What they are has been answered at length and in different ways. But further, what is salient, and what we discussed in our previous conversations concerning Frege, is that we read (p v ~p) as about
one thing, not
two. That's part of the function of "⊢" in Frege.
Now there are puzzles here - perhaps most recently presented in
's recent thread. But I'll stand by this interpretation.
Our difference may be that I think there is a point at which our spade is turned, a point at which the only answer is "It's what we do", but that you would try to dig further. I take the "counts as..." function to be sufficient, so that putting the ball in the net counts as a goal, no further explanation being possible. You seem to me to want to ask
why it counts as a goal, to which the answer is
it just does.
Does this seem a fair characterisation?
So I'll throw the ball back - can you convince me that there is a further issue here that remains unanswered?
That would be very interesting.