Logika (dari bahasa Yunani Kuno: Â»ÃƒÅ½Ã‚Â¿ÃƒÅ½Ã‚Â³ÃƒÅ½Ã‚Â³ÃƒÅ½Ã‚ÂºÃƒÅ½Ã‚Â®, logike) adalah cabang filsafat yang berkaitan dengan penggunaan dan studi penalaran yang valid. Studi logika juga menonjol dalam matematika dan ilmu komputer. Logika dipelajari di beberapa peradaban kuno, termasuk India, Cina, Persia dan Yunani. Di Barat, logika didirikan sebagai disiplin formal oleh Aristoteles, yang memberinya tempat mendasar dalam filsafat. Studi tentang logika adalah bagian dari trivium klasik, yang juga mencakup tata bahasa dan retorika.