Será procedente o argumento de Kripke contra a teoria da identidade tipo-tipo?

Somos uma comunidade de intercâmbio. Por favor, ajude-nos com a subida 1 um novo documento ou um que queremos baixar:

Copie e cole esse script de incorporação para o local onde deseja incorporar