Een probleem voor materialisme

Neem de concepten ‘ding’ en ‘materieel’. Beide zijn enkelvoudig en dus volgt uit de kernpremisse van mijn semantisch argument dat als beide concepten in de actuele wereld overlappen oftewel dezelfde extensie hebben, ze in alle mogelijke werelden overlappen. Maar ‘ding’ en ‘materieel” overlappen niet in alle mogelijke werelden. Een immaterieel zijnde is immers redelijkerwijs metafysisch mogelijk, zodat er tenminste één mogelijke wereld is waarin een ding bestaat dat niet materieel is. Maar dan volgt dat beide concepten, ‘ding’ en ‘materieel’, in de actuele wereld niet overlappen. Er moeten dus in de actuele wereld immateriële dingen zijn, zodat materialisme onwaar is. Hoe kan een materialist op dit argument tegen materialisme reageren? Men zou de argumentatie kunnen accepteren, maar opmerken dat de materialist niet beweert dat alle dingen in de actuele wereld materieel zijn. Materialisme zou daarentegen begrepen moeten worden als de claim dat alle concrete dingen in de actuele wereld materieel zijn en dat er in de actuele wereld naast concrete ook abstracte dingen bestaan die niet materieel zijn. Een materialist die een dergelijke zwakkere duiding van materialisme als een knieval beschouwt en daarom wil volhouden dat daadwerkelijk alle dingen in de actuele wereld materieel zijn, zou de kernpremisse kunnen accepteren en eveneens kunnen accepteren wat daar gegeven materialisme logischerwijs uit volgt, namelijk dat materialisme waar is in alle mogelijke werelden en dus metafysisch noodzakelijk waar. Het bestaan van een immaterieel ding is dan dus metafysisch onmogelijk. Een materialist die wil volhouden dat in de actuele wereld alles wat bestaat materieel is en bovendien redelijkerwijs wil erkennen dat het bestaan van een immaterieel ding niet metafysisch onmogelijk is, heeft geen keus en moet de kernpremisse verwerpen. Hij of zij zou bijvoorbeeld kunnen beweren dat de kernpremisse in het geval van enkelvoudige concepten neerkomt op de bewering dat twee in de actuele wereld overlappende concepten in alle mogelijke werelden overlappen, om daaraan toe te voegen dat er geen enkele reden is om te denken dat dit waar is. Het probleem is echter dat er wel degelijk een goede reden is om te denken dat genoemde bewering waar is. Want als twee concepten geen conceptuele structuur hebben en precies op dezelfde dingen van toepassing zijn, dan is het methodologisch ongerechtvaardigd om een bruut, onherleidbaar betekenisverschil tussen hen aan te nemen. Er ontbreekt dan een epistemische grond om te veronderstellen dat zij betekenisvol van elkaar verschillen, zodat het intuïtief plausibel is dat beide concepten dezelfde betekenis hebben en dus in alle mogelijke werelden overlappen.