Bagikan:
6 Jenis Logika Utama
Ada beberapa jenis logika dan semua memfokuskan objek studi mereka dalam memahami alasan dan mengidentifikasi kapan mereka benar atau salah.
Studi tentang logika telah berkembang dari zaman filsuf Yunani Aristoteles ke masa kini, dan ini telah disesuaikan dengan maksud menjadi lebih spesifik dan, pada saat yang sama, lebih disesuaikan dengan kehidupan sehari-hari manusia, yang memungkinkannya untuk aplikasi yang lebih nyata di berbagai bidang.
Logika mencari studi sistematis dari argumen dan proposisi, dan berbagai jenis logika memungkinkan untuk mempelajari struktur formal murni dari pernyataan ini, seperti apa yang ada hubungannya dengan konten, dan kekuatan dari konten tersebut..
Meskipun logika didasarkan pada studi pernyataan, itu tidak fokus dengan jelas pada bahasa alami (bahasa seperti yang kita kenal), tetapi kegunaannya telah mencapai berbagai bidang dan dengan struktur yang berbeda, seperti matematika dan komputasi.
Jenis logika yang paling relevan
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 untuk menyusun pemikiran dan menentukan bentuk pendekatan tertentu yang benar atau salah.
Logika formal tidak berfokus pada kebenaran atau kepalsuan dari isi argumen tertentu, tetapi berfokus pada validitas atau sebaliknya dari konstruksi bentuknya..
Artinya, objek studi logika formal tidak empiris, untuk ahli logika tidak relevan untuk menentukan apakah argumen yang disajikan adalah nyata dan terbukti; tetapi bahwa studinya difokuskan dengan jelas pada struktur argumen tersebut.
Dalam logika formal ada dua klasifikasi yang sangat penting: logika deduktif dan logika induktif.
Logika deduktif mengacu pada pernyataan spesifik yang dihasilkan dari pengertian umum. Melalui inferensi logika jenis ini dapat dibuat dari konsep atau teori yang sudah ada.
Sebagai contoh, dalam logika deduktif seseorang dapat mengatakan bahwa, jika manusia memiliki kaki dan Clara adalah manusia, maka Clara memiliki kaki.
Dalam kasus logika induktif, konstruksi argumen terjadi secara sebaliknya; yaitu, konsep umum dibuat dari argumen tertentu.
Sebagai contoh, dalam logika induktif seseorang dapat mengatakan bahwa, jika satu kucing suka ikan, dan yang lain juga suka, dan yang lain juga, maka semua kucing suka ikan.
Informal
Logika informal adalah cabang studi yang berfokus pada bahasa dan pesan yang berasal dari konstruksi dan argumen semantik.
Logika ini berbeda dari logika formal, dalam logika formal itu mempelajari struktur kalimat dan proposisi; dan logika informal berfokus pada latar belakang pesan yang dikirimkan.
Objek penelitiannya adalah cara berdebat untuk mendapatkan hasil yang diinginkan. Logika informal memvalidasi argumen logis yang lebih masuk akal antara lain yang memiliki struktur argumentatif yang lebih lemah.
Bukan klasik
Logika non-klasik, atau logika modern, berasal dari abad kesembilan belas dan muncul bertentangan dengan pernyataan logika klasik..
Ini menetapkan bentuk-bentuk analisis lain yang dapat mencakup lebih banyak aspek daripada yang mungkin untuk mencakup melalui pendekatan logika klasik.
Ini adalah bagaimana unsur-unsur matematika dan simbolik dimasukkan, pernyataan atau teorema baru yang datang untuk menebus kekurangan sistem logika formal.
Dalam logika non-klasik ada beberapa subtipe logika yang berbeda, seperti modal, matematika, trivalen, dan lainnya..
Semua tipe logika ini berbeda sampai batas tertentu dari logika formal, atau menggabungkan elemen-elemen baru yang saling melengkapi, dan memungkinkan studi logis dari pernyataan tertentu menjadi lebih akurat dan disesuaikan dengan utilitas dalam kehidupan sehari-hari..
Simbolik
Logika simbolik juga disebut logika urutan pertama, atau logika matematika, dan ditandai dengan menggunakan simbol-simbol yang membentuk bahasa baru yang digunakan untuk "menerjemahkan" argumen..
Tujuan dari logika simbolik adalah untuk mengubah pemikiran abstrak menjadi struktur yang lebih formal.
Bahkan, ia tidak menggunakan bahasa alami (bahasa), tetapi menggunakan bahasa teknis yang mengubah kalimat menjadi elemen yang rentan terhadap penerapan aturan yang lebih tepat daripada yang dapat diterapkan dalam bahasa alami..
Kemudian, logika simbolik memungkinkan perlakuan proposisi melalui hukum perhitungan, untuk menghindari kebingungan atau ketidaktepatan.
Ini berusaha untuk memasukkan unsur-unsur matematika dalam analisis struktur logika formal. Di bidang matematika, logika digunakan untuk membuktikan teorema.
Singkatnya, logika simbolik atau matematika berusaha untuk mengekspresikan pemikiran manusia melalui bahasa matematika.
Aplikasi logika matematika ini memungkinkan argumen dan konstruksi menjadi lebih akurat.
Modal
Modal logika berfokus pada studi argumen, tetapi menambahkan unsur-unsur yang terkait dengan kemungkinan bahwa pernyataan tersebut benar atau salah.
Modal logika berpura-pura lebih konsonan dengan pemikiran manusia, oleh karena itu termasuk penggunaan konstruksi seperti "bisa", "mungkin", "kadang-kadang", "mungkin", "mungkin", "mungkin", "mungkin" ", Antara lain.
Dalam logika modal, itu adalah masalah mempertimbangkan skenario di mana ada kemungkinan, dan seseorang cenderung mempertimbangkan semua kemungkinan yang bisa ada, dari sudut pandang logis.
Komputasi
Logika komputasi adalah jenis logika yang berasal dari logika simbolik atau matematika, hanya diterapkan di bidang komputasi.
Program komputer menggunakan bahasa pemrograman untuk pengembangannya dan, melalui logika, dimungkinkan untuk bekerja pada sistem bahasa itu, menetapkan tugas-tugas khusus 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 Universitas Otonomi Nasional Meksiko. Diperoleh pada 4 Agustus 2017 dari National Autonomous University of Mexico: unam.mx
- Muñoz, C. "Logika Non-Klasik" di Universitas Complutense Madrid. Diperoleh pada 4 Agustus 2017 dari Universidad Complutense de Madrid: ucm.es
- Julia, J. "Apa itu logika simbolik?" Dalam eHow dan Español. Diperoleh pada 4 Agustus 2017 dari eHow en Español: ehowenespanol.com
- Oller, C. "Logika dan argumentasi formal" (2006) di Universitas Nasional La Plata. Diperoleh pada 4 Agustus 2017 dari Universitas Nasional La Plata: rfytp.fahce.unlp.edu.ar
- "Inferensi deduktif dan induktif" di Junta de Extremadura. Diperoleh pada 4 Agustus 2017 di Junta de Extremadura: educarex.es.