🔊 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 retoryce, 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).