Have a look at this website.. It answers your question very nicely. http://www.rbjones.com/rbjpub/logic/log003.htm

Humphrey Palmer has written:

'The logic of gospel criticism' -- subject(s): Bible, Criticism, interpretation

'Kant's Critique of Pure Reason'

'Presupposition & transcendental inference' -- subject(s): Inference, Presupposition (Logic), Theory of Knowledge, Transcendental logic

Joseph Horovitz has written:

'Law and logic' -- subject(s): Interpretation and construction, Law, Methodology

Lunjin Lu has written:

'Abstract interpretation, bug detection and bug diagnosis in normal logic programs'

There was logic in their interpretation of the Constitution - that when the Founding Fathers declared that a man's property was sacred, they would have included slaves in their definition of property.

But this logic meant that the two Compromises of 1820 and 1850 had been non-valid all along - an extraordinary finding.