This Element provides a systematic introduction to the multifaceted world of nonmonotonic logics. It explains three central methodologies: formal argumentation, consistent accumulation, and semantic methods. It also reveals connections between the three paradigms by demonstrating translations among them.