Both Franz Brentano and his pupil Carl Stumpf, in their psychology, laid stress to the description and analysis of psychical phenomena, or functions, in order to get a taxonomy of mental acts. In their logic, they undertake the proof of whether empirically given knowledge is logically necessary.