Logic is grounded in a Mind

It seems to me there are two aspects to the laws of logic. Take the principle of non contradiction which says that it is impossible for a proposition to be both true and false.

In one sense, the necessity of this law is based on our firm determination to use words a certain way. "true", "false", "possible" and "and" simply are not to be used to say "Possibly, X is both true and false". That formula is false by convention. Its denial is true by convention.

But convention only takes us so far. We are not free to adopt just any convention. There seems to be some underlying reality, a logical fact or facts, that grounds the limitations that exist in the adoption of conventions.

What could such a fact be? Well, facts are constituted by things and their attributes and relations. The fact that the cat is on the mat is constituted by the cat, the mat and the one's being on the other.

So the logical facts that ground the laws of logic is constituted by some thing (or things) and its (or their) attributes and relations. What thing or things? Some set of propositions? Seems likely.

What are propositions? They are the meanings of some sentences "Snow is white" and "neige est blanche" are sentences that have the same meaning. That meaning is the proposition that snow is white. Not every sentence-meaning is a proposition. Propositions have the distinguishing feature among meanings that they bear truth values. But in common with all meanings, propositions are mental entities.

And in whose mind do those meanings exist? Well, a lot of peoples' minds no doubt. But it seems that they must exist in some necessary being's mind...otherwise the laws of logic could not be necessary. (We can't not use the laws of logic)

So the laws of logic are grounded by some set of attributes and relations that exist on propositions that reside in the mind of a necessary being. Is it so hard to imagine that those attributes and relations are essential qualities of the mind in question?

And if that's the case, then the laws of logic are grounded in the essence of this necessary being. And if that necessary being is God, as seems certain, then the laws of logic are grounded in the essence of God.