- Jenis logika yang paling relevan
- Logika formal
- Logika informal
- Logika non-klasik
- Logika simbolik
- Logika modal
- Logika komputasi
- Referensi
Ada beberapa jenis logika dan semua fokus objek studinya pada pemahaman penalaran dan mengidentifikasi kapan mereka benar atau salah. Studi tentang logika telah berkembang dari zaman filsuf Yunani Aristoteles hingga saat ini.
Etika telah menyesuaikan dengan maksud menjadi lebih spesifik dan, pada saat yang sama, lebih disesuaikan dengan kehidupan sehari-hari manusia, yang memungkinkan penerapan yang lebih nyata di berbagai bidang.

Aristoteles, diakui sebagai bapak logika.
Logika mencari studi sistematis tentang argumen dan proposisi, dan berbagai jenis logika memungkinkannya untuk mempelajari baik struktur formal semata dari pernyataan ini, serta apa yang harus dilakukan dengan konten, dan kekuatan konten tersebut.
Meskipun logika didasarkan pada studi tentang pernyataan, ia tidak fokus secara jelas pada bahasa alami (bahasa yang kita kenal), tetapi kegunaannya telah mencapai bidang yang berbeda dan dengan struktur yang berbeda, seperti matematika dan komputasi.
Jenis logika yang paling relevan
Logika formal
Logika formal, juga dikenal sebagai logika klasik atau logika Aristotelian, adalah studi tentang proposisi, argumen, pernyataan, atau kalimat dari sudut pandang struktural. Ini adalah metode penataan pikiran dan menentukan bentuk yang benar atau salah dari pendekatan tertentu.
Logika formal tidak memusatkan perhatian pada kebenaran atau kepalsuan isi argumen tertentu, tetapi lebih berkonsentrasi pada validitas atau tidak konstruksi bentuknya.
Artinya, objek studi logika formal bukanlah empiris, bagi ahli logika tidak relevan untuk menentukan apakah argumen yang dikemukakan itu nyata dan terbukti; Sebaliknya, studinya jelas terfokus pada struktur argumen tersebut.
Dalam logika formal terdapat dua klasifikasi yang sangat penting: logika deduktif dan logika induktif.
Logika deduktif mengacu pada pernyataan spesifik yang dihasilkan dari pengertian umum. Melalui logika jenis ini, kesimpulan dapat dibuat dari konsep atau teori yang sudah ada.
Misalnya dalam logika deduktif dapat dikatakan bahwa, jika manusia memiliki kaki dan Clara adalah manusia, maka Clara memiliki kaki.
Dalam kasus logika induktif, konstruksi argumen terjadi dengan cara yang berlawanan; artinya, konsep umum dibuat dari argumen khusus.
Misalnya, dalam logika induktif dapat dikatakan bahwa, jika seekor kucing menyukai ikan, dan kucing lainnya juga menyukainya, dan kucing lainnya juga, maka semua kucing menyukai ikan.
Logika informal
Logika informal adalah cabang studi yang berfokus pada bahasa dan pesan yang berasal dari konstruksi dan argumen semantik.
Logika ini berbeda dengan logika formal, di mana logika formal mempelajari struktur kalimat dan proposisi; dan logika informal berfokus pada substansi pesan yang disampaikan.
Objek studinya adalah cara berargumen untuk mendapatkan hasil yang diinginkan. Logika informal memberikan validitas pada argumentasi-argumentasi logis yang lebih koheren antara lain yang memiliki struktur argumentatif yang lebih lemah.
Logika non-klasik
Logika non-klasik, atau logika modern, berasal dari abad kesembilan belas dan muncul berlawanan dengan pernyataan logika klasik. Ini menetapkan bentuk analisis lain yang dapat mencakup lebih banyak aspek daripada yang dapat dicakup melalui pendekatan klasik terhadap logika.
Ini adalah bagaimana elemen matematika dan simbolik dimasukkan, pernyataan atau teorema baru yang datang untuk menutupi kekurangan sistem logika formal.
Dalam logika non klasik terdapat subtipe logika yang berbeda, seperti modal, matematis, trivalen, dan lain-lain.
Semua jenis logika ini berbeda sampai batas tertentu dari logika formal, atau menggabungkan elemen baru yang saling melengkapi, dan memungkinkan studi logis dari pernyataan tertentu menjadi lebih akurat dan disesuaikan dengan kegunaan dalam kehidupan sehari-hari.
Logika simbolik
Logika simbolik juga disebut logika orde pertama, atau logika matematika, dan dicirikan dengan menggunakan simbol yang membentuk bahasa baru yang melaluinya argumen "diterjemahkan".
Maksud dari logika simbolik adalah untuk mengubah pemikiran abstrak menjadi struktur yang lebih formal. Faktanya, ia tidak menggunakan bahasa alami (idiom), tetapi menggunakan bahasa teknis yang mengubah kalimat menjadi elemen yang rentan terhadap penerapan aturan yang lebih tepat daripada yang dapat diterapkan dalam bahasa alami.
Jadi, logika simbolik memungkinkan perlakuan proposisi melalui hukum kalkulus, untuk menghindari kebingungan atau ketidakakuratan.
Ini berusaha untuk memasukkan elemen matematika dalam analisis struktur logika formal. Dalam dunia matematika, logika digunakan untuk membuktikan teorema.
Singkatnya, logika simbolik atau matematis berusaha untuk mengungkapkan pemikiran manusia melalui bahasa matematika.
Penerapan logika matematika ini memungkinkan argumen dan konstruksi menjadi lebih tepat.
Logika modal
Logika modal berfokus pada studi argumen, tetapi menambahkan elemen yang terkait dengan kemungkinan bahwa pernyataan tersebut benar atau salah.
Logika modal berpura-pura lebih selaras dengan pemikiran manusia, oleh karena itu mencakup penggunaan konstruksi seperti "bisa", "mungkin", "kadang", "mungkin", "mungkin", "mungkin", "mungkin ", di antara yang lain.
Dalam logika modal, ini tentang mempertimbangkan skenario di mana ada kemungkinan, dan cenderung mempertimbangkan semua kemungkinan yang mungkin ada, dari sudut pandang logis.
Logika komputasi
Logika komputasi adalah jenis logika yang diturunkan dari logika simbolik atau matematika, hanya saja itu diterapkan di bidang komputasi.
Program komputer menggunakan bahasa pemrograman untuk pengembangannya dan, melalui logika, dimungkinkan untuk bekerja pada sistem bahasa tersebut, menetapkan tugas tertentu, dan menjalankan tindakan verifikasi.
Referensi
- "Logika" dalam Encyclopedia Britannica. Diperoleh pada 4 Agustus 2017 dari Encyclopedia Britannica: britannica.com
- "Logika formal" dalam Encyclopedia Britannica. Diperoleh pada 4 Agustus 2017 dari Encyclopedia Britannica: britannica.com
- Hernández, F. "Logika Komputasi" di National Autonomous University of Mexico. Diperoleh pada 4 Agustus 2017 dari National Autonomous University of Mexico: unam.mx
- Muñoz, C. "Logika Non-Klasik" di Complutense University of Madrid. Diperoleh pada 4 Agustus 2017 dari Complutense University of Madrid: ucm.es
- Julia, J. "Apa itu logika simbolik?" di eHow dalam bahasa Spanyol. Diperoleh pada 4 Agustus 2017 dari eHow dalam bahasa Spanyol: ehowenespanol.com
- Oller, C. "Logika dan argumentasi formal" (2006) di Universitas Nasional La Plata. Diperoleh pada 4 Agustus 2017 dari National University of La Plata: rfytp.fahce.unlp.edu.ar
- "Kesimpulan deduktif dan induktif" di Junta de Extremadura. Diperoleh pada 4 Agustus 2017 di Junta de Extremadura: educarex.es.
