An Introduction to Non-Classical Logic av Graham (University of Melbourne) Priest

Den reviderte og betydelig utvidede 2. utgaven av 'An Introduction to Non-Classical Logic' gir en grundig oversikt over et bredt spekter av emner innen ikke-klassisk logikk. Boken dekker modal-, tids-, betinget-, intuisjonistisk-, mangeverdig-, paraconsistent-, relevant- og fuzzy-logikk. Den første delen om proposisjonslogikk er en oppdatert versjon av den tidligere introduksjonen, men inkluderer mye nytt stoff. Den andre delen er helt ny og omhandler kvantifisering og identitet knyttet til alle logikkene i del én. Bokens materialer er samlet under temaet verden semantics. Alle emner forklares tydelig ved hjelp av verktøy som tableau-bevis, og deres tilknytning til aktuelle filosofiske problemstillinger og debatter blir diskutert. Studenter med en grunnleggende forståelse av klassisk logikk vil finne denne boken som en uvurderlig introduksjon til et område som har blitt av hovedbetydning både innen logikk og filosofi. Den vil også interessere personer som jobber innen matematikk og datavitenskap og ønsker å lære mer om dette feltet.