Vamos argumentar, contra Kripke, a favor da disponibilidade de uma explicação para a ilusão de contingência das identidades psicofísicas de tipos.
O materialismo identitativo tipo-tipo é a tese segundo a qual cada tipo de estado mental (como a dor) é numericamente idêntico a um certo tipo de estado físico (como a estimulação das fibras-C).
Suponha-se, para efeitos de argumentação, que o materialista identitativo tem razão ao alegar que identidades entre tipos mentais (como a dor) e tipos físicos (como a estimulação das fibras-C) são como identidades teóricas como "água = H2O". Uma explicação segundo a qual identidades teóricas como "água = H2O" apenas parecem ser contingentes consiste em dizer que se confundem erroneamente com identidades de facto contingentes como "o líquido incolor, transparente, bebível, no qual se toma banho = H2O", em que a identidade é entre propriedades contingentes (ser um líquido incolor, transparente, bebível, no qual se toma banho, etc.) e propriedades essenciais (ser H2O) da água, inferindo-se falaciosamente da contingência destas a contingência daquelas. Ora, uma explicação deste género não está, argumenta Kripke (Naming and Necessity, Terceira Leitura), disponível no caso das alegadas identidades psicofísicas tipo-tipo como "dor = estimulação das fibras-C". Não está disponível porque a identidade não é entre propriedades contingentes e propriedades essenciais da dor: ser uma dor não é uma propriedade contingente da dor, é uma propriedade essencial.
A propriedade de ser água é a propriedade de ser H2O, embora os conceitos de água e de H2O sejam conceitos distintos. Então, por analogia, identidades psicofísicas tipo-tipo como "dor = estimulação das fibras-C" apenas parecem ser contingentes porque "dor" e "estimulação das fibras-C" denotam a mesma propriedade mas expressam conceitos diferentes, inferindo-se falaciosamente de uma diferença entre conceitos uma diferença entre propriedades. A diferença entre o conceito de dor e o conceito de estimulação das fibras-C é erroneamente confundida com uma diferença entre a propriedade de ser uma dor e a propriedade de ser uma estimulação das fibras-C. Logo, está disponível uma explicação para a ilusão de contingência das identidades psicofísicas de tipos.