What are the material and formal of logic?