Semantic atomists explain meanings of complex expressions as composed of meanings of their parts Semantic holists insist that meanings of (at least some) wholes are more basic than meanings of parts, and hence they need the relation of intersubstitutivity to get them from the meanings of wholes to those of their parts. As intersubstitutivity is always w.r.t. an equivalence (two expressions are intersubstitutive iff a statement which arises from any statement S by the substitution of one of them for the other is equivalent to S), the crucial question is what could be the meaning-individuating equivalence?.
Sameness of truth values, sameness of truth conditions, or rather some king of mutual deducibility? This paper studies the conditions under which intersubstitutivity w.r.t. such possible candidates to meaning-individuating equivalences come to the same.