Logika adalah ilmu formal, yang merupakan bagian dari filsafat dan matematika. Ini berfokus pada studi tentang prosedur pemikiran yang valid dan tidak valid, yaitu, proses seperti demonstrasi, inferensi atau deduksi, serta konsep-konsep seperti kesalahan, paradoks, dan kebenaran.

Logika adalah disiplin yang sangat kuno, lahir secara independen di antara para pemikir peradaban klasik dan kuno yang besar, seperti Cina, Yunani atau India. Sejak awal dipahami sebagai cara menilai pemikiran untuk memeriksa validitas formalnya, yaitu untuk mengenali apa prosedur penalaran yang ideal, yang benar-benar mengarah pada kebenaran.

Namun, sejak abad ke-20, matematika dianggap sebagai bidang yang lebih mirip dengan matematika, karena penerapan matematika menjadi sangat penting dalam industri, sosial, dan teknologi.

Kata “logika” berasal dari kata Yunani logiké (“diberkahi dengan akal”), berasal dari istilah logos, setara dengan “kata” atau “pemikiran”.

Namun, dalam bahasa sehari-hari kita menggunakan kata ini sebagai sinonim untuk “akal sehat”, yaitu, dalam cara berpikir yang berharga atau bernilai, dalam konteks masing-masing yang memungkinkan. Ini juga digunakan sebagai sinonim untuk “cara berpikir”, seperti ketika mengacu pada “logika olahraga”, “logika militer”, dan seterusnya.

Lihat juga: Berpikir matematis