Utskiftning av en påstand med en annen påstand som i utgangspunktet synes å ha en annen referanse. En teoretisk eller logisk reduksjon av en teori T1 til T2 vil si å definere de grunnleggende eller fundamentale termene i T1 ved hjelp av termer i T2 slik at de fundamentale antagelsene i T1 kan bevises i T2.
Logisisme er et eksempel på et slikt reduksjonistisk program. Et annet er forsøkene på å vise at at alle naturvitenskapelige fenomener, f.eks. de biologiske, kan forklares ved hjelp av fysikken. Et tredje eksempel finner vi innen materialismen, der enkelte hevder at mentale tilstander kan forklares gjennom eller reduseres til hjernetilstander.