4 jenis logika yang paling penting (dan fitur)

Logika adalah studi tentang penalaran dan kesimpulan. Ini adalah serangkaian pertanyaan dan analisis yang memungkinkan kami untuk memahami bagaimana argumen yang valid berbeda dari fallacy dan bagaimana kami sampai pada ini.

Untuk ini telah sangat diperlukan pengembangan berbagai sistem dan bentuk studi, yang telah menyebabkan empat jenis utama logika. Kita akan melihat di bawah ini tentang masing-masing dari mereka.

• Artikel yang direkomendasikan: ["10 jenis fallacy logis dan argumentatif"] (10 tipe fallacy logis dan argumentatif)

Apa itu logika??

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

Penelitian ini bertujuan untuk memahami berbagai kriteria kesimpulan dan bagaimana kita sampai pada demonstrasi yang valid, berbeda dengan demonstrasi yang tidak valid. Jadi, pertanyaan mendasar dari logika adalah apa pemikiran yang benar dan bagaimana kita bisa membedakan antara argumen yang valid dan yang salah??

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

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

• Konsistensi (tidak ada kontradiksi antara teorema yang membentuk sistem)
• Kekuatan (sistem pengujian tidak termasuk inferensi palsu)
• Completud (semua kalimat yang benar harus dapat dibuktikan)

4 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 logika utama dikenali, masing-masing dengan beberapa subtipe dan kekhususan. Kita akan melihat di bawah ini tentang masing-masing.

1. Logika formal

Juga dikenal sebagai logika tradisional atau logika filosofis, ini adalah tentang studi inferensi dengan konten yang murni formal dan eksplisit. Ini adalah tentang menganalisis pernyataan formal (logis atau matematis), yang maknanya tidak intrinsik tetapi simbol-simbolnya masuk akal oleh aplikasi yang bermanfaat yang diberikan. Tradisi filosofis dari mana yang disebut belakangan ini disebut tepat "formalisme".

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

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 dapat 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 untuk debat politik, argumen hukum atau premis yang disebarluaskan oleh media seperti koran, televisi, internet, dll..

3. Logika simbolik

Seperti namanya, logika simbolik menganalisis hubungan antara simbol. Terkadang ia menggunakan bahasa matematika yang rumit, karena ia bertanggung jawab untuk mempelajari masalah-masalah yang sulit atau sulit ditangani oleh logika formal tradisional. Biasanya dibagi menjadi dua subtipe:

• Logika predikatif atau urutan pertama: itu adalah sistem formal yang terdiri dari formula dan variabel terukur
• Proposisional: itu adalah sistem formal yang terdiri dari proposisi, yang dapat membuat proposisi lain melalui konektor yang disebut "penghubung logis". Dalam hal ini hampir tidak ada variabel terukur.

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 umum, penerapan bahasa matematika dalam pembangunan sistem logis 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 dari jenis ini adalah teori pengujian, teori model, teori set dan teori rekursi.
• Intuitionism: berpendapat bahwa baik logika dan matematika adalah metode yang penerapannya konsisten untuk melakukan konstruksi mental yang kompleks. Namun, ia mengatakan bahwa dalam diri mereka sendiri, logika dan matematika tidak dapat menjelaskan sifat mendalam dari elemen yang mereka analisis.

Penalaran induktif, deduktif dan modal

Di sisi lain, Ada tiga jenis penalaran yang juga bisa dianggap sistem logis. Ini adalah mekanisme yang memungkinkan kita mengambil kesimpulan dari tempat. Penalaran deduktif membuat ekstraksi seperti itu dari premis umum ke premis tertentu. Contoh klasiknya adalah yang diajukan oleh Aristoteles: Semua manusia fana (ini adalah premis umum); Socrates adalah manusia (itu adalah premis utama), dan akhirnya, Socrates fana (ini kesimpulannya).

Di sisi lain, penalaran induktif adalah proses dengan mana kesimpulan ditarik ke arah yang berlawanan: dari yang khusus ke yang umum. Contohnya adalah "Semua gagak yang saya lihat berwarna hitam" (premis tertentu); lalu, semua 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 seperti "bisa", "bisa", "harus", "akhirnya".

Referensi bibliografi:

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