Books on Amazon
Operator/law/truth function/Fodor: "it is a law" defines a non-truth-functional context - (or not all the truth functions of natural-type predicates are themselves natural-type predicates)-"
Natural Law/NL/law/Lewis/Fodor/Lepore: what makes a regularity a law, is that it fits into an integrated system of truths which combines simplicity with rigor in the best sense.
J. Fodor/E. Lepore
Holism Cambridge USA Oxford UK 1992