Questo capitolo fornisce una panoramica del concetto di logica. La logica può essere identificata come lo studio delle inferenze e delle relazioni inferenziali. L’uso pratico della logica è in ogni caso di ragionare bene, e di trarre buone inferenze. La transizione da una premessa o da un numero di premesse alla conclusione è governata da una regola di inferenza. Se l’inferenza è conforme alla regola appropriata, viene chiamata valida. Le regole di inferenza sono spesso pensate come l’alfa e l’omega della logica., Le inferenze possono essere deduttive, cioè necessariamente preservanti la verità, o ampliative, cioè non necessariamente preservanti la verità. I filosofi generalmente considerano il ragionamento deduttivo come il tipo paradigmatico di inferenza. Tuttavia, c’è una visione diffusa tra i non filosofi che potrebbe essere chiamata la visione di Sherlock Holmes. Secondo tutto ciò, un buon ragionamento, incluso il ragionamento ampliativo, attiva “deduzioni” e ” logica.”Vengono discussi concetti relativi alla logica e inferenza, inferenza deduttiva e informazione, inferenze analitiche e inferenza ampliativa., Vengono forniti dettagli di sistematizzazione logica ed extralogica. Discute anche concetti relativi alla sintassi e alla semantica.