[DukeBaset]

Thank you for the detailed reply. Sadly killing off Logic based AI isn't the only crime we can attribute to pencil pushers. But I had some intuition I wanted to ask about.

Can a sort of vaguely type theory based - and I mean like in the sense of programming be used to reason about law and the like?

Like suppose some article says a man should pay 20% income tax but it says in some other act of some other law that a man shall pay 30% income tax. Like obviously I'm just giving an example but I mean like long cryptic legalese busting. Can we detect contradictions or show that the law or agreement esp like say something like TPP or whatever is inconsistent, by defining types and transactions?

I'm sorry I couldn't word it better. But I hope you get a gist of what I'm saying.

[YeGoblynQueenne]

I haven't really looked into that kind of thing. There's work I'm aware of in legal argumentation with logic programming and First Order Logic in general, for example:

https://link.springer.com/article/10.1007/BF00118494

A quick search on the internet also turns up this review that looks like it may have some information relevant to your question:

https://rd.springer.com/chapter/10.1007%2F3-540-45632-5_14