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.

De sterkste versie van de kernpremisse van het semantisch argument (II)

In deze bijdrage sprak ik over de epistemisch sterkste versie van de kernpremisse van mijn semantisch argument. Maar de versie die ik daar presenteerde is in feite niet daadwerkelijk de epistemisch allersterkste versie van de kernpremisse. De epistemisch werkelijk sterkste versie luidt als volgt: Als in de actuele wereld twee begrippen ad infinitum extensioneel samenvallen op alle betekenisconstitutieve conceptuele decompositieniveaus, dan vallen de extensies van beide begrippen noodzakelijk samen. De extensies van beide begrippen vallen dan dus in alle metafysisch mogelijke werelden samen. Deze versie van de kernpremisse is inderdaad epistemisch sterker. Want de consequent ervan is logisch zwakker dan de consequent van de premisse zoals gepresenteerd in genoemde bijdrage, zodat bovenstaande versie meer waarschijnlijk waar is. En de consequent is logisch zwakker omdat de extensies van identieke begrippen noodzakelijk in alle mogelijke werelden samenvallen, terwijl omgekeerd twee begrippen waarvan de extensies in alle mogelijke werelden samenvallen niet noodzakelijk identiek hoeven te zijn.

De sterkste versie van de kernpremisse van het semantisch argument

De epistemisch sterkste versie van de kernpremisse van mijn semantisch argument luidt als volgt: Als in de actuele wereld twee begrippen ad infinitum extensioneel samenvallen op alle betekenisconstitutieve conceptuele decompositieniveaus, dan gaat het om dezelfde begrippen. Dit is een plausibele premisse. Zo redeneren we in andere gevallen immers ook. In andere domeinen is identificatie van twee entiteiten methodologisch de norm zodra volledige structurele overlap is vastgesteld en het poneren van een heimelijk verschil geen verklarende rol speelt en dus geen verklarend werk verricht. Wanneer twee natuurkundige beschrijvingen op alle schalen voor wat betreft hun relationele betrekkingen en voorspellingen samenvallen, worden zij als beschrijvingen van hetzelfde systeem geïdentificeerd. Evenzo geldt in de biologie dat wanneer twee soorten genetisch, morfologisch, functioneel en evolutionair samenvallen, zij niet als verschillende soorten worden beschouwd maar als één en dezelfde soort. In zulke gevallen geldt het poneren van een verborgen verschil terecht als methodologisch inadequaat. Het is anders gezegd een epistemische deugd om geen verschil zonder merkbaar verschil te poneren. En er is geen reden waarom betekenis een uitzondering zou vormen. Ook in het geval van volledige extensionele overlap van twee concepten op alle niveau's van conceptuele decompositie is het aannemen van een of ander onwaarneembaar betekenisverschil tussen beide concepten zonder verklarende functie epistemisch onverdedigbaar. En dus is het alleszins redelijk om te concluderen dat beide concepten identiek zijn, hetgeen precies is wat de sterkste versie van mijn kernpremisse stelt. Iedere poging om toch onderscheidbaarheid tussen beide concepten te vestigen, lijkt onvermijdelijk extra betekenisstructuur binnen te smokkelen die de volledige ad infinitum extensionele overlap van beide concepten doorbreekt. Een dergelijke poging moet dus falen, wat de plausibiliteit van de kernpremisse benadrukt.