Logika

Logika atau mantik adalah ilmu tentang penalaran yang tepat dan valid. Logika, menurut objek studinya, dibagi menjadi dua, yakni logika formal dan logika informal. Logika informal adalah ilmu yang berkenaan dengan penerapan logika pada bahasa sehari-hari. Sebaliknya, logika formal adalah ilmu yang berkenaan dengan penerapan logika pada bahasa formal. Sebagai instrumen berpikir, logika memiliki peran penting pada berbagai bidang, seperti filsafat, matematika, dan linguistik. Logika meneliti argumen yang terdiri dari pernyataan pendukung yang mendasari kesimpulan. Tidak semua ujaran dan pikiran mengandung argumen. Contoh sebuah argumen, misalnya: "Hari Minggu sekolah libur, dan sekarang hari Minggu. Maka, hari ini sekolah libur." Kalimat pertama adalah premis, yang mendasari kesimpulan "Hari ini sekolah libur" pada kalimat kedua. Sebuah argumen bisa bersifat wajar dan tidak wajar. Sebuah argumen wajar mesti mengandung setidaknya satu premis yang mendukung kesimpulan. Sesat pikir adalah argumen yang tidak wajar. Ilmu logika 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 dan logika alternatif; logika klasik adalah yang umum dipelajari. Logika klasik terdiri dari logika pernyataan dan logika predikat.