Philosophical Logic/Namespaces