Keempat jenis logika yang paling penting (dan fitur)

April 19, 2024

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

Untuk ini, pengembangan sistem dan bentuk penelitian yang berbeda sangat diperlukan, yang telah menyebabkan empat jenis utama logika. Kita akan melihat di bawah ini apa yang masing-masing tentang.

Artikel yang disarankan: ["10 jenis kesalahan logis dan argumentatif"] (10 jenis kesalahan logis dan argumentatif)

Apa itu logika?

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

Studi ini memiliki tujuan untuk memahami kriteria yang berbeda dari kesimpulan dan bagaimana kita sampai pada demonstrasi yang valid, berbeda dengan demonstrasi yang tidak valid. Jadi, pertanyaan dasar logika adalah apa pemikiran yang benar dan bagaimana kita membedakan antara argumen yang valid dan kesalahan?

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

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

Konsistensi (Tidak ada kontradiksi antara teorema yang membentuk sistem)
Soliditas (sistem pengujian tidak memasukkan kesimpulan palsu)
Completud (semua kalimat yang benar harus dapat dibuktikan)

Keempat jenis logika

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

1. Logika formal

Juga dikenal sebagai logika tradisional atau logika filosofis, ini adalah tentang studi tentang kesimpulan dengan konten yang murni formal dan eksplisit . Ini adalah tentang menganalisis pernyataan formal (logis atau matematis), yang artinya tidak intrinsik tetapi simbolnya memiliki makna karena aplikasi yang berguna yang diberikan. Tradisi filosofis yang darinya diturunkan disebut "formalisme".

Pada gilirannya, sistem formal adalah salah satu yang digunakan untuk mengekstraksi kesimpulan dari satu atau lebih tempat. Yang terakhir ini mungkin aksioma (proposisi jelas) atau teorema (kesimpulan dari seperangkat aturan yang tetap dari inferensi dan aksioma).

2. Logika informal

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

Dengan demikian, logika informal dapat menganalisis dari penalaran pribadi dan argumen ke perdebatan politik, argumen hukum atau tempat yang disebarkan oleh media, seperti surat kabar, televisi, internet, dan sebagainya.

3. Logika simbolis

Seperti namanya, logika simbolis menganalisa hubungan antar simbol. Kadang-kadang menggunakan bahasa matematika yang rumit, karena ia bertanggung jawab untuk mempelajari masalah-masalah yang menurut logika formal tradisional rumit atau sulit untuk ditangani. Biasanya dibagi menjadi dua subtipe:

Logika predikatif atau urutan pertama : ini adalah sistem formal yang terdiri dari rumus dan variabel yang dapat dihitung
Proposisional : itu adalah sistem formal yang terdiri dari proposisi, yang mampu menciptakan proposisi lain melalui konektor yang disebut "logika ikat". Dalam hal ini hampir tidak ada variabel terukur.

4. Logika matematika

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

Secara garis besar, penerapan bahasa matematika dalam pembangunan sistem logis memungkinkan untuk mereproduksi pikiran manusia. Sebagai contoh, ini sudah sangat hadir dalam pengembangan kecerdasan buatan dan dalam paradigma komputasi dari studi kognisi.

Biasanya dibagi menjadi dua subtipe:

Logika : ini adalah tentang penerapan logika dalam matematika. Contoh dari tipe ini adalah teori pembuktian, teori model, teori himpunan dan teori rekursi.
Intuisi : berpendapat bahwa baik logika dan matematika adalah metode yang aplikasinya konsisten untuk melakukan konstruksi mental yang kompleks. Namun, ia mengatakan bahwa dalam diri mereka sendiri, logika dan matematika tidak dapat menjelaskan sifat-sifat mendalam dari elemen-elemen yang mereka analisis.

Induktif, deduktif, dan penalaran modal

Di sisi lain, Ada tiga jenis penalaran yang juga bisa dianggap sistem logis . Ini adalah mekanisme yang memungkinkan kita untuk menarik kesimpulan dari premis. Alasan deduktif membuat ekstraksi semacam itu dari premis umum menjadi premis tertentu. Contoh klasik adalah yang diusulkan oleh Aristoteles: Semua manusia adalah makhluk hidup (ini adalah premis umum); Socrates adalah manusia (itu adalah premis utama), dan akhirnya, Socrates adalah makhluk fana (ini adalah kesimpulan).

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

Akhirnya, logika penalaran atau modal didasarkan pada argumen probabilistik, yaitu, mereka mengungkapkan kemungkinan (modalitas). Ini adalah sistem logika formal yang mencakup istilah-istilah seperti "bisa", "dapat", "harus", "akhirnya".

Referensi bibliografi:

Groarke, L. (2017). Logika Informal. Stanford Encyclopedia of Philosophy. Diakses 2 Oktober 2018. Tersedia di //plato.stanford.edu/entries/logic-informal/
Logika (2018). Dasar-dasar filsafat. Diakses 2 Oktober 2018. Tersedia di //www.philosophybasics.com/branch_logic.html
Shapiro, S. dan Kouri, S. (2018). Logika Klasik. Diakses 2 Oktober 2018. Tersedia dalam Logika (2018). Dasar-dasar filsafat. Diakses 2 Oktober 2018. Tersedia di //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Modal Logika. Stanford Encyclopedia of Philosophy. Diakses 2 Oktober 2018. Tersedia di //plato.stanford.edu/entries/logic-modal/