6 Jenis Logika Utama

Ada beberapa jenis logika dan semuanya memfokuskan objek studi mereka dalam memahami alasan dan mengidentifikasi kapan mereka benar atau salah.

Studi logika telah berkembang dari zaman filsuf Yunani Aristoteles hingga saat ini, 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.

Pencarian logika untuk studi sistematis argumen dan proposisi, dan berbagai jenis logika memungkinkan untuk mempelajari struktur formal pernyataan ini, dan apa yang berkaitan dengan konten, dan kekuatan 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 konstruksi dari bentuknya.

Artinya, objek studi logika formal tidak empiris, bagi ahli logika tidak relevan untuk menentukan apakah argumen yang disajikan adalah nyata dan terbukti; tetapi studinya difokuskan dengan jelas pada struktur argumen.

Dalam logika formal ada dua klasifikasi yang sangat penting: logika deduktif dan logika induktif.

Logika deduktif mengacu pada pernyataan spesifik yang dihasilkan dari gagasan umum. Melalui jenis logika ini, kesimpulan dapat dibuat dari konsep atau teori yang sudah ada.

Misalnya, 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, yang lain juga menyukainya, 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 memberikan validitas pada argumen logis yang lebih masuk akal di antara yang lain yang memiliki struktur argumentatif yang lebih lemah.

Bukan klasik

Logika non-klasik, atau logika modern, berasal dari abad ke-19 dan muncul sebagai oposisi terhadap pengucapan logika klasik.

Ini membangun bentuk-bentuk analisis lain yang dapat mencakup lebih banyak aspek daripada yang dapat dicakup 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 jenis logika ini berbeda sampai batas tertentu dari logika formal, atau memasukkan elemen-elemen baru yang saling melengkapi, dan memungkinkan studi logis dari pernyataan tertentu lebih akurat dan disesuaikan dengan kegunaan 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 dengannya "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 sesuai dengan pemikiran manusia, oleh karena itu termasuk penggunaan konstruksi seperti "bisa", "mungkin", "kadang-kadang", "mungkin", "mungkin", "kemungkinan", "mungkin" ", Antara lain.

Dalam logika modal, ini tentang 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 itu 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.