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-kind predicates are themselves natural-kind predicates) - e.g. the inference from a premise of the form (P comprises R) and (Q comprises S) to a conclusion of the form (P v Q) comprising (R v S) is valid! - No nat-kind predicate: E.g. -is either friction or sunlight - because there is no law by friction or by sunlight either heat or photosynthesis are produced - even if the individual disjuncts are laws. - Nevertheless: liberal reductionism: amounts to a bracketing of individual disjunctions. - Bridge statements: must be laws - from truth-functions follow no natural kinds. - E.g. bumble bee or bat.
J. Fodor/E. Lepore
Holism Cambridge USA Oxford UK 1992