Ifølge Smedslund er psykologikken en klargjøring (eksplisering, ordfesting) og systematisering av (nødvendig sann) psykologisk common sense, fortrinnsvis i form av et aksiomatisk eller deduktiv system. Et slikt system består av et begrenset antall ord og påstander som bare tas for gitt (primitiver, definisjoner og aksiomer), på den ene side, og påstander som bevises eller avledes ut fra disse (følgsetninger og læresetninger eller teoremer), på den annen side. Psykologikken kan altså betraktes som psykologiens motstykke til Euklids geometri.