Logika berhubungan dengan validitas argumen, dan dapat bersifat deduktif, dari kasus umum ke kasus khusus, atau induktif, dari hal khusus ke umum. Menurut Aristoteles, yang dapat dianggap sebagai pendiri disiplin ini, logika formal berurusan dengan validitas, dengan kebenaran argumen, bukan dengan kebenarannya. Jika semua laki-laki bermain sepak bola dan saya laki-laki, saya bermain sepak bola: […]