Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic (Logic, Epistemology, and the Unity of Science)