Description
Book SynopsisReasons for Logic, Logic for Reasons presents a philosophical conception of logiclogical expressivismaccording 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
