There are many forms of consequence. It seems that there should be some method of distinguishing between them. Of primary concern to philosophers are two types of consequence: physical causality and logical consequence. While human thinking seems to possess naive realism by virtue of its existence, there must be some way of deciding when physical causality applies and when logical consequence applies.
In this vein, I'm trying to find the clearest way to distinguish between a merely propositional or logical necessity from an actual necessity in the real world or at least have the question clarified. Is there a difference between metaphysical necessity and ontological necessity when applied in determining the existence of God?