Poznámka 33

Částečná formalizace by mohla tento bod lépe objasnit. (I2) lze vyjádřit (pomiňme přitom upřesňující dodatek v závorce původní formulace) ve tvaru ∀x(x má inherentně reprezentativní charakter → ¬ [x je „lokalizováno“ v konečné mysli]); a (I1) lze (opět s vynecháním upřesňujícího dodatku) kontrapozicí vyjádřit ve tvaru ∀x(x má inherentně reprezentativní charakter → ¬ [x je myšlenkový akt konečné mysli]). Mezi konsekventy obou těchto implikací se shodným antecedentem dále platí vztah (¬ [x je „lokalizováno“ v konečné mysli] → ¬ [x je myšlenkový akt konečné mysli]), opačná implikace však (jak ukazuje reidovská koncepce) neplatí.