A talk explaining the basics of formal logic and describing various technical and non-technical applications. Focusing specifically on modal logic, because it's very useful and deserves more...