논리학과 철학이 아청법 개정에 도움을 주는가

제가 나중에 다음 형식화 코드를 완전히 뒤집어엎을 생각이에요. 새로운 언어로 코드를 짜고, 법에 관한 이론을 확장하기 쉬운 논리 체계를 이용하려 해요.