Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Historycznie była uznawana za dział filozofii bliski retoryceTadeusz Kotarbiński, Wykłady z dziejów logiki, wyd. 2, Państwowe Wydawnictwo Naukowe, Warszawa 1985., jednak narodziny rachunku zdań w XIX wieku zapoczątkowały logikę matematyczną.
W tradycji zachodniej prekursorem systematycznej logiki był Arystoteles. Współczesna logika, wykorzystując metodę formalną, znacznie rozszerzyła pole badań, włączając w to badania nad matematyką (metamatematyka), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science)Witold Marciszewski (red.): Logika formalna: Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, PWN, Warszawa 1987..