This Element is an introduction to recent work proofs and models in philosophical logic with a focus on the semantic paradoxes the sorites paradox. It introduces different proof systems and different kinds of models for a range of logics as well as compares and contrasts the different approaches to substructural treatments of the paradox.