Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

Reasons for Logic, Logic for Reasons presents a philosophical conception of logic-“logical expressivism”-according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive.This conception of logic reveals new and enlightening perspectives on inferential roles, sequent calculi, representation, truthmakers, and many extant logical theories. The book shows how we can understand different metavocabularies as making explicit the same reason relations, namely normative-pragmatic, alethic-representational, logical, and “implication-space” metavocabularies.This includes a philosophical account of the pragmatic role of reason relations, treatments of nonmonotonic and nontransitive consequence relations in sequent calculi, a correspondence between these sequent calculi and variants of truthmaker theory, and the introduction of a novel kind of formal semantics that interprets sentences by assigning inferential roles to them.The book thus of