Logic and formal reasoning are foundational skills for mathematicians and defining characteristics of mathematical practice. Consequently, teaching formal reasoning and logic are often core learning objectives across mathematics courses. This special session invites participants to explore how we teach logic and reasoning in our courses and connect these skills to critical thinking and reasoning in broader contexts. Speakers may address logic and reasoning instruction in any course—from developmental mathematics to general education courses to introduction to proofs to upper-level electives—and with any pedagogical tool, including symbolic logic, truth tables, Euler diagrams, formal proofs, and generative AI. The focus is on logical and formal reasoning in general rather than on specific proof techniques.