Logica este, într-un sens mai larg, teoria derivării cunoştinţelor. Cunoştinţele pot fi deduse unele din altele, ceea ce creează posibilitatea structurării şi ierarhizării lor. Mintea noastră manipulează o masă enormă de informaţie. Nu toată această informaţie este memorată, pentru că o bună parte poate fi dedusă prin intermediul unor operaţii logice.