«Reasons for Logic, Logic for Reasons» presenterer en filosofisk forståelse av logikk – kjent som 'logisk uttrykksemisme' – hvor logikkens rolle er å gjøre begrunnelser tydelige, noe som ofte hverken er monotont eller transitivt. Denne tilnærmingen til logikk avdekker nye og opplysende perspektiver på inferensielle roller, sekvenskalkyler, representasjon, sannhetsmakere og en rekke eksisterende logiske teorier. Boken illustrerer hvordan vi kan forstå ulike metavokabularer som uttrykker de samme begrunnelsesforholdene; spesifikt de normative-pragmatiske, alethiske-representasjonene, logiske, og 'implikasjon-rom'-metavokabularene. Innholdet inkluderer en filosofisk redegjørelse for den pragmatiske rollen til begrunnelsesforhold, behandling av ikke-monotone og ikke-transitive konsekvensrelasjoner i sekvenskalkyler, samt en korrespondanse mellom disse sekvenskalkylene og varianter av sannhetsmakerteori. Videre introduseres en ny form for formell semantikk som tolker setninger ved å tilordne dem inferensielle roller.
