Ilmu logika semula merupakan bagian dari ilmu Filsafat dan telah mulai dikembangkan oleh para filsuf Yunani kuno ratusan tahun sebelum masehi, seperti Thales, Pythagoras, Aristoteles, Euclides, dan lain-lain. Logika matematis (logika simbolik) adalah bagi