Acest capitol oferă o imagine de ansamblu a conceptului de logică. Logica poate fi identificată ca studiul inferențelor și al relațiilor inferențiale. Utilizarea practică a logicii este, în orice caz, de a raționa bine și de a trage concluzii bune. Trecerea de la o premisă sau un număr de premise la concluzie este guvernată de o regulă de inferență. Dacă inferența este în conformitate cu regula corespunzătoare, se numește validă. Regulile de inferență sunt adesea considerate ca alfa și omega logicii., Inferențele pot fi fie deductive, adică neapărat păstrarea adevărului, fie ampliative, adică nu neapărat păstrarea adevărului. Filozofii consideră, în general, raționamentul deductiv ca tip paradigmatic de inferență. Cu toate acestea, există o viziune larg răspândită printre nefilosofii care ar putea fi numit punctul de vedere Sherlock Holmes. Potrivit tuturor, raționamentul bun, inclusiv raționamentul ampliativ, activează „deducțiile” și „logica”.”Sunt discutate concepte legate de logică și inferență, inferență deductivă și informații, inferențe analitice și inferență ampliativă., Sunt furnizate detalii despre sistematizarea logică și extralogică. De asemenea, discută concepte legate de sintaxă și semantică.