¿Qué filósofos construyeron la teoría formalista del Estado?