4 jenis logika (dan karakteristik) yang paling penting

Logika adalah studi tentang penalaran dan kesimpulan. Ini adalah serangkaian pertanyaan dan analisis yang memungkinkan untuk memahami bagaimana argumen yang valid berbeda dari kekeliruan dan bagaimana kita sampai pada mereka.

Untuk ini, pengembangan sistem dan bentuk studi yang berbeda sangat penting, yang telah menghasilkan empat jenis logika utama. Kita akan melihat di bawah tentang apa masing-masing dari mereka.

• Artikel yang direkomendasikan: "10 jenis kesalahan logis dan argumentatif"

Apa itu logika?

Kata "logika" berasal dari bahasa Yunani "logos" yang dapat diterjemahkan dengan berbagai cara: kata, pemikiran, argumen, prinsip atau alasan adalah beberapa yang utama. Dalam pengertian ini, logika adalah studi tentang prinsip dan penalaran.

Penelitian ini bertujuan untuk memahami kriteria inferensi yang berbeda dan bagaimana kita sampai pada bukti yang valid, berbeda dengan bukti yang tidak valid. Jadi pertanyaan dasar logika adalah apa itu pemikiran yang benar dan bagaimana kita bisa membedakan antara argumen yang valid dan fallacy?

Untuk menjawab pertanyaan ini, logika mengusulkan cara yang berbeda untuk mengklasifikasikan pernyataan dan argumen, apakah itu terjadi dalam sistem formal atau dalam bahasa alami. Secara khusus, menganalisis proposisi (kalimat deklaratif) yang bisa benar atau salah, serta kekeliruan, paradoks, argumen yang melibatkan kausalitas dan, secara umum, teori argumentasi.

Secara umum, untuk mempertimbangkan suatu sistem sebagai logis, mereka harus memenuhi tiga kriteria:

• Konsistensi (tidak ada kontradiksi antara teorema yang membentuk sistem)
• Kepadatan (sistem pengujian tidak menyertakan kesimpulan palsu)
• Kelengkapan (semua kalimat yang benar harus dapat diuji)

4 jenis logika

Seperti yang telah kita lihat, logika menggunakan alat yang berbeda untuk memahami alasan yang kita gunakan untuk membenarkan sesuatu. Empat jenis logika utama secara tradisional diakui, masing-masing dengan beberapa subtipe dan kekhususan. Kita akan melihat di bawah ini tentang apa masing-masing.

1. Logika formal

Juga dikenal sebagai logika tradisional atau logika filosofis, itu adalah studi tentang kesimpulan dengan konten yang murni formal dan eksplisit. Ini tentang menganalisis pernyataan formal (logis atau matematis), yang maknanya tidak intrinsik melainkan simbolnya masuk akal karena aplikasi yang berguna yang diberikan. Tradisi filosofis dari mana yang terakhir ini berasal justru disebut "formalisme."

Pada gilirannya, sistem formal adalah sistem yang digunakan untuk menarik kesimpulan dari satu atau lebih premis. Yang terakhir dapat berupa aksioma (proposisi yang terbukti dengan sendirinya) atau teorema (kesimpulan dari seperangkat aturan inferensi dan aksioma yang tetap).

Kesimpulan yang kami capai melalui logika formal, jika mereka didasarkan pada premis yang valid dan tidak ada kegagalan dalam operasi logis, mereka benar dalam dirinya sendiri. Bahkan, ini mengarah pada perdebatan terbuka tentang apakah logika formal milik dunia sains. atau mereka milik bidang pengetahuan lain, karena mereka tidak menggambarkan realitas melainkan aturan mereka sendiri berfungsi.

2. Logika informal

Untuk bagiannya, logika informal adalah disiplin yang lebih baru, yang mempelajari, mengevaluasi, dan menganalisis argumen yang digunakan dalam bahasa alami atau sehari-hari. Oleh karena itu, ia menerima kategori "informal". Itu bisa berupa bahasa lisan dan tulisan, atau jenis mekanisme dan interaksi apa pun yang digunakan untuk mengomunikasikan sesuatu. Tidak seperti logika formal, yang misalnya akan diterapkan pada studi dan pengembangan bahasa komputer; bahasa formal mengacu pada bahasa dan bahasa.

Dengan demikian, logika informal dapat menganalisis segala sesuatu mulai dari penalaran dan argumen pribadi hingga debat politik, argumen hukum atau premis yang disebarluaskan oleh media seperti surat kabar, televisi, internet, dll.

3. Logika simbolik

Sesuai dengan namanya, logika simbolik menganalisis hubungan antar simbol. Kadang-kadang menggunakan bahasa matematika yang kompleks, karena bertugas mempelajari masalah yang dianggap rumit atau sulit untuk ditangani oleh logika formal tradisional. Biasanya dibagi menjadi dua subtipe:

• Logika predikatif atau orde pertama: itu adalah sistem formal yang terdiri dari rumus dan variabel terukur
• proposisional: itu adalah sistem formal yang terdiri dari proposisi, yang mampu menciptakan proposisi lain melalui penghubung yang disebut "penghubung logis". Dalam hal ini hampir tidak ada variabel yang dapat diukur.

4. logika matematika

Tergantung pada penulis yang menggambarkannya, logika matematika dapat dianggap sebagai jenis logika formal. Yang lain menganggap bahwa logika matematika mencakup penerapan logika formal pada matematika, dan penerapan penalaran matematika pada logika formal.

Secara garis besar, ini adalah tentang penerapan bahasa matematika dalam konstruksi sistem logis yang memungkinkan untuk mereproduksi pikiran manusia. Sebagai contoh, ini telah sangat hadir dalam pengembangan kecerdasan buatan dan dalam paradigma komputasi studi kognisi.

Biasanya dibagi menjadi dua subtipe:

• Logika: ini tentang penerapan logika dalam matematika. Contoh jenis ini adalah teori pembuktian, teori model, teori himpunan, dan teori rekursi.
• Intuisionisme: berpendapat bahwa logika dan matematika adalah metode yang penerapannya konsisten untuk melakukan konstruksi mental yang kompleks. Namun, dia mengatakan bahwa logika dan matematika sendiri tidak dapat menjelaskan sifat mendalam dari elemen yang mereka analisis.

Penalaran induktif, deduktif, dan modal

Di samping itu, ada tiga jenis penalaran yang juga dapat dianggap sebagai sistem logis. Ini adalah mekanisme yang memungkinkan kita untuk menarik kesimpulan dari premis. Penalaran deduktif membuat ekstraksi ini dari premis umum ke premis tertentu. Sebuah contoh klasik adalah yang diusulkan oleh Aristoteles: Semua manusia adalah fana (ini adalah premis umum); Socrates adalah manusia (itu adalah premis utama), dan akhirnya, Socrates adalah fana (ini adalah kesimpulannya).

Untuk bagiannya, penalaran induktif adalah proses di mana kesimpulan ditarik ke arah yang berlawanan: dari yang khusus ke yang umum. Contohnya adalah "Semua gagak yang bisa saya lihat berwarna hitam" (premis tertentu); jadi semua gagak berwarna hitam (kesimpulan).

Terakhir, penalaran atau logika modal didasarkan pada argumen-argumen probabilistik, yaitu menyatakan suatu kemungkinan (a modality). Ini adalah sistem logika formal yang mencakup istilah-istilah seperti "bisa", "mungkin", "harus", "akhirnya".

Referensi bibliografi:

• Groarke, L. (2017). Logika Informal. Stanford Ensiklopedia Filsafat. Diakses pada 2 Oktober 2018. Tersedia di https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Dasar-dasar filsafat. Diakses pada 2 Oktober 2018. Tersedia di https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Penculikan, Alasan, dan Sains: Proses Penemuan dan Penjelasan. New York: Penerbit Pleno Akademik Kluwer.
• McGin, C. (2000). Sifat Logis: Identitas, Keberadaan, Predikasi, Kebutuhan, Kebenaran. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filsafat Logika. Cambridge, MA.: Harvard University Press.
• Shapiro, S. dan Kouri, S. (2018). Logika Klasik. Diakses pada 2 Oktober 2018. Tersedia dalam Logika (2018). Dasar-dasar filsafat. Diakses pada 2 Oktober 2018. Tersedia di https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logika Modal. Stanford Ensiklopedia Filsafat. Diakses pada 2 Oktober 2018. Tersedia di https://plato.stanford.edu/entries/logic-modal/