Saul Kripke utiliza experimentos de pensamiento contrafácticos para establecer lo que llama un designador —un nombre propio o una descripción definida—, ya sea un designador rígido o no, por ejemplo en sus ataques al descriptivismo.