Logika menjadi penting karena ia membahas bagaimana manusia berpikir dengan cara yang terstruktur dan teratur. Berpikir tanpa mengikuti kaidah logika dapat menyebabkan kesalahan berpikir atau kekeliruan dalam penalaran, yang dikenal sebagai fallacy. Fallacy ini bisa berupa kekeliruan dalam cara menarik kesimpulan atau dalam memahami hubungan antar konsep. Oleh karena itu, logika berfungsi sebagai alat untuk memandu pikiran manusia agar selalu berada pada jalur yang benar dan masuk akal.
Sebagai cabang ilmu yang membahas tentang sistem berpikir, logika memiliki beberapa cabang pembahasan. Cabang-cabang ini muncul berdasarkan cara akal manusia memahami sesuatu yang ada dalam pikirannya. Setiap cabang berperan dalam menyoroti aspek-aspek tertentu dari proses berpikir dan bagaimana informasi diproses oleh pikiran. Klasifikasi ini membantu kita memahami bahwa berpikir secara logis bukan hanya soal apa yang kita pikirkan, tetapi juga bagaimana cara kita berpikir.
Secara umum, logika terbagi menjadi dua cabang utama, yaitu 'logika formal' dan 'logika material'. Logika formal adalah cabang logika yang berfokus pada aspek konseptual dari proses berpikir. Logika formal mengkaji bagaimana pikiran manusia bekerja, terutama dalam hal pengaturan ide dan konsep agar berpikir secara teratur dan masuk akal. Salah satu hal yang dibahas dalam logika formal adalah aturan-aturan yang harus diikuti agar kita dapat berpikir dengan benar. Aturan-aturan ini penting karena tanpanya, kita bisa tergelincir ke dalam pola berpikir yang tidak konsisten atau keliru.
Sementara itu, logika material lebih berfokus pada isi atau materi yang dipikirkan oleh manusia. Logika material membahas tentang konsep-konsep atau proposisi yang muncul dalam pikiran kita dan bagaimana kita menganalisis mereka untuk mengetahui apakah mereka benar atau salah. Di sini, logika material mengarahkan perhatian kita pada apa yang dipikirkan, bukan hanya bagaimana proses berpikir itu sendiri. Dengan kata lain, logika material menilai substansi atau isi dari pikiran kita, sedangkan logika formal menilai cara atau metode berpikir kita.
Dalam logika formal, terdapat dua aspek utama yang menjadi fokus pembahasan, yaitu 'definisi' dan 'argumentasi'. Definisi adalah konsep yang berkaitan dengan satu ide atau satu konsep tunggal. Ketika kita mendefinisikan sesuatu, kita berusaha untuk memberikan batasan yang jelas tentang apa itu sesuatu, tetapi dalam proses ini, hukum "benar" atau "salah" tidak berlaku. Ini karena definisi hanya menggambarkan konsep tanpa melibatkan hubungan antara subjek dan predikat. Misalnya, mendefinisikan "manusia" sebagai "makhluk hidup yang memiliki akal budi" bukanlah sesuatu yang bisa dinilai benar atau salah, tetapi hanya menggambarkan batasan konsep tersebut.
Di sisi lain, argumentasi adalah proses berpikir yang melibatkan kumpulan konsep atau proposisi untuk mencapai suatu kesimpulan. Dalam argumentasi, hukum "benar" atau "salah" sangat relevan, karena argumentasi melibatkan hubungan antara subjek dan predikat. Dalam proses argumentasi, kita harus menilai apakah relasi antara proposisi-proposisi yang diberikan itu logis dan dapat dipertanggungjawabkan. Argumentasi yang baik harus memiliki dasar logika yang kuat dan mengikuti aturan berpikir yang benar, agar kesimpulan yang dihasilkan juga dapat dianggap valid dan dapat diterima secara logis.
Dengan demikian, dua elemen utama dalam logika formal, yaitu definisi dan argumentasi, menjadi subjek utama dalam ilmu logika. 'Definisi' membantu kita memahami konsep tunggal dengan lebih jelas, sedangkan 'argumentasi' membantu kita menyusun dan menilai hubungan antar konsep untuk mencapai kesimpulan yang logis. Pemahaman terhadap kedua elemen ini sangat penting, karena mereka merupakan fondasi bagi proses berpikir yang logis dan teratur.
Selain definisi dan argumentasi, ada juga berbagai konsep lain dalam logika yang berperan sebagai pengantar untuk memahami dua elemen utama ini. Beberapa konsep penting lainnya termasuk 'empat relasi', dan 'lima konsep universal'. Meskipun konsep-konsep ini dianggap sebagai bagian pendahuluan dalam logika, mereka tidak boleh diabaikan.
