La logica studia le leggi del ragionamento, o leggi del pensiero come le chiamava più genericamente George Boole. Queste leggi, infatti, sono valide nel momento in cui il pensiero è impegnato nelle sue attività (funzioni) di giudizio e argomentazione. La logica non studia, cioè, il ragionamento che elabora la realtà o il ragionamento distorto della patologia mentale, i quali costituiscono, invece, oggetti di studio della psicologia. La logica è interessata al ragionamento inferenziale, il quale esprime i suoi giudizi e le sue conclusioni a partire da alcune premesse e con metodi che possono essere formalizzati e simbolizzati. Sebbene il suo oggetto di studio sia piuttosto specifico, la logica non è, comunque, un corpo del sapere univoco e monolitico. Essa si suddivide, infatti, in tre principali aree di studio, le quali corrispondono alle tre principali inferenze del ragionamento: la logica deduttiva, la logica induttiva, e la logica abduttiva.