Counterfactual argument

As already mentioned, the argument comes in different forms - some tell the story in counterfactual terms (Lewis 1980), some claim that actually, mental kinds are multiply realized (Kim 1992 Fodor 1974 Block and Fodor 1972 Putnam 1967 Endicott 1993) - and it should be noted that type-identity theory is lost even if there were just one high-level type which is multiply realized, if the argument is sound. 

---