Logika itu apa sih?

Logika () adalah ilmu yang bertujuan untuk meraih penalaran yang tepat dan sah. Ilmu logika, menurut objek studinya, dibagi menjadi dua, yakni logika formal dan logika informal. Logika informal adalah ilmu yang berkenaan dengan pengaplikasian logika pada bahasa sehari-hari. Sebaliknya, logika formal adalah ilmu yang berkenaan dengan pengaplikasian logika pada bahasa formal. Sebagai instrumen berpikir, logika memiliki peran penting pada berbagai bidang seperti misalnya filsafat, matematika, linguistik, dan lain sebagainya.

Tugas logika adalah meneliti argumen (disebut juga sebagai proposisi) yang terdiri dari setidaknya satu pernyataan pendukung (yang disebut premis) yang menyokong sebuah kesimpulan. Tidak semua ujaran dan pikiran mengandung argumen. Contoh sebuah argumen misalnya "Hari Minggu sekolah libur, dan hari ini hari Minggu. Oleh karena itu, hari ini sekolah libur." Terlihat kalimat pertama adalah premis yang mempunyai kesimpulan "Hari ini sekolah libur" di kalimat kedua.

Sebuah argumen bisa bersifat wajar dan tidak wajar. Sebuah argumen wajar mesti mengandung setidaknya satu premis yang mendukung satu kesimpulan. Sebuah argumen yang tidak wajar disebut sesat pikir.

Sebagai ilmu, logika disebut dengan logike episteme () atau ilmu logika yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur. Ilmu logika telah dipelajari sejak zaman kuno dengan pendekatan-pendekatan seperti Pendekatan Nyaya di India, Pendekatan Mohisme di Tiongkok, dan Pendekatan Aristoteles di Yunani Kuno. Kini, logika terbagi menjadi logika klasik (atau logika baku) dan logika alternatif dengan logika klasik yang paling umum dipelajari. Logika klasik terdiri dari logika pernyataan dan logika predikat.