Abstract

Conditional constructions – constructs of the form If A, then B – have for over a century been subject to intense study in a wide variety of philosophical areas, as well as outside of philosophy. One important reason is that such constructs allow one to encode connections and dependencies, be they causal, epistemic, conceptual, or metaphysical. This chapter briefly outlines some of the main formal models that have been employed to analyze such constructs, as well as their philosophical motivation.