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

Τα επιµέρους κεφάλαια περιλαµβάνουν:

Προτάσεις και επιχειρήµατα

Πίνακες αληθείας

∆έντρα

Προϋποθέσεις

Φυσική απόδειξη

Κατηγορήµατα, ονόµατα και ποσοδείκτες

Οριστικές περιγραφές

Η Λογική είναι µια εξαιρετικά σαφής εισαγωγή στην επιστήµη της λογικής µε έναν µεγάλο αριθµό ασκήσεων διαβαθµισµένης δυσκολίας στο τέλος κάθε κεφαλαίου, τις λύσεις των οποίων µπορείτε να βρείτε online, και ταιριάζει ιδανικά σε σπουδαστές που παρακολουθούν ένα εισαγωγικό µάθηµα στη λογική.