The analyses developed in both parts of this book seem to us to confirm, firstly, that logic, as a theory of demonstrative reasoning, is completely autonomous in relation to psychology, and vice-versa. This independence of the two disciplines, accepted today by almost everyone, implies that we must renounce all "psychologism" in logic and mathematics and all "logicism" in psychology, which means in effect that the autonomy of enquiry in each of these respective fields is guaranteed.