H Λογική είναι µια ολοκληρωµένη και εµπεριστατωµένη εισαγωγή στις κύριες έννοιες και τεχνικές που εµπλέκονται στη µελέτη της λογικής. ∆ιερευνά τόσο την τυπική όσο και τη φιλοσοφική λογική και εξετάζει τους τρόπους µε τους οποίους µπορούµε να επιτύχουµε καλούς συλλογισµούς. Οι µέθοδοι της λογικής είναι απαραίτητες για την κατανόηση της φιλοσοφίας και είναι επίσης κρίσιµες στη µελέτη των µαθηµατικών, της πληροφορικής, της γλωσσολογίας και πολλών άλλων επιστηµών.