Ti dá l'errore perché non hai caricato il file per il file input file. isset() dovrebbe funzionare.

Se sei in dubbio è sempre un'idea di fare var_dump($_FILES).