6 jenis logika dan artinya

Ada beberapa Jenis logika dan semua memfokuskan objek studi mereka pada pemahaman pemahaman dan mengidentifikasi kapan mereka benar atau salah. Studi logika telah berkembang sejak masa filsuf Yunani Aristoteles hingga saat ini.

Etika telah disesuaikan dengan maksud menjadi lebih spesifik dan, pada saat yang sama, lebih beradaptasi dengan kehidupan sehari -hari manusia, yang memungkinkan aplikasi yang lebih nyata di berbagai daerah.

Aristoteles, diakui sebagai bapak logika.

Logika mencari studi sistematis argumen dan proposisi, dan berbagai jenis logika memungkinkannya untuk mempelajari kedua struktur formal dari pernyataan ini, dan apa hubungannya dengan konten, dan kekuatan konten tersebut.

Meskipun logika didasarkan pada studi tentang pernyataan, ia tidak fokus dengan jelas pada bahasa alami (bahasa seperti yang kita ketahui), tetapi kegunaannya telah mencapai berbagai bidang dan dengan struktur yang berbeda, seperti matematika dan komputasi.

Jenis logika yang paling relevan

Logika formal

Logika formal, juga dikenal sebagai logika Aristotelian klasik atau logis, adalah studi proposisi, argumen, pernyataan atau kalimat dari sudut pandang struktural. Ini adalah metode untuk menyusun pemikiran dan menentukan cara yang benar atau salah dari pendekatan tertentu.

Logika formal tidak fokus pada kebenaran atau kepalsuan dari konten argumen tertentu, tetapi terkonsentrasi dalam validitas atau tidak dari konstruksi bentuknya.

Artinya, objek studi logika formal tidak empiris, untuk logika tidak relevan untuk menentukan apakah argumen yang disajikan adalah nyata dan terbukti; Tetapi studi Anda jelas berfokus pada struktur argumen tersebut.

Dapat melayani Anda: Empedocles

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, mereka dapat menjadi kesimpulan dari konsep atau teori yang sudah ada.

Misalnya, dalam logika deduktif orang dapat mengatakan bahwa, jika manusia memiliki kaki dan jernih adalah manusia, maka jernih memiliki kaki.

Dalam kasus logika induktif, pembangunan argumen terjadi bertentangan; yaitu, konsep umum dibuat dari argumen tertentu.

Misalnya, dalam logika induktif orang bisa mengatakan bahwa, jika kucing menyukai ikan, dan yang lain juga suka, dan yang lain 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 dari logika formal, dalam hal logika formal mempelajari struktur doa dan proposisi; Dan logika informal berfokus pada bagian bawah pesan yang dikirimkan.

Objek studi adalah cara untuk berdebat untuk mendapatkan hasil yang diinginkan. Logika informal memberikan validitas pada argumen 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 ke -19 dan muncul berbeda dengan pernyataan logika klasik. Ini menetapkan bentuk analisis lain yang dapat mencakup lebih banyak aspek yang dimungkinkan untuk mencakup melalui pendekatan logika klasik.

Dapat melayani Anda: subjek moral

Inilah bagaimana elemen matematika dan simbolik, pernyataan atau teorema baru yang datang untuk memasok kekurangan sistem logika formal disertakan.

Dalam logika non -klasik ada subtipe logika yang berbeda, seperti modal, matematika, trivalen, antara 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 lebih akurat dan disesuaikan dengan utilitas dalam kehidupan sehari -hari.

Logika simbolik

Dalam game ini Anda harus menemukan setiap bagian dari kotak pusat di berbagai angka di sekitar

Logika simbolik juga disebut logika urutan pertama, atau logika matematika, dan ditandai dengan menggunakan simbol yang merupakan bahasa baru yang melaluinya mereka "menerjemahkan" argumen.

Tujuan logika simbolik adalah untuk mengubah pikiran abstrak menjadi struktur yang lebih formal. Faktanya, itu tidak menggunakan bahasa alami (bahasa), tetapi menggunakan bahasa teknis yang mengubah kalimat menjadi elemen yang rentan terhadap penerapan aturan yang lebih tepat yang dapat diterapkan dalam bahasa alami.

Kemudian, logika simbolik memungkinkan perlakuan proposisi melalui hukum perhitungan, untuk menghindari kebingungan atau ketidakakuratan.

Berupaya memasukkan elemen matematika dalam analisis struktur logika formal. Di bidang matematika, logika digunakan untuk menunjukkan teorema.

Singkatnya, logika simbolik atau matematika berupaya mengekspresikan pemikiran manusia melalui bahasa matematika.

Aplikasi 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.

Dapat melayani Anda: utilitarianisme

Modal Logic bertujuan untuk lebih konsisten dengan pemikiran manusia, oleh karena itu mencakup penggunaan konstruksi seperti "bisa", "mungkin", "kadang -kadang", "mungkin", "mungkin", "mungkin", "mungkin", di antara lainnya.

Dalam logika modal ini tentang mempertimbangkan skenario di mana ada kemungkinan, dan semua kemungkinan yang mungkin ada, dari sudut pandang logis,.

Logika Komputasi

Logika komputasi adalah jenis logika yang berasal dari logika simbolik atau matematika, hanya saja yang diterapkan di bidang komputasi.

Program komputer menggunakan bahasa pemrograman untuk pengembangan mereka dan, melalui logika, dimungkinkan untuk mengerjakan sistem bahasa tersebut, menetapkan tugas tertentu dan melaksanakan tindakan verifikasi.

Referensi

1. "Logika" di ensiklopedia Britannica. Diperoleh di Britannica.com
2. "Logika Formal" di Britannica Encyclopedia. Diperoleh di Britannica.com
3. Hernández, f. "Logika Komputasi" di Universitas Otonomi Nasional Meksiko. Diperoleh di unam.MX
4. Muñoz, c. “Logika non-klasik” di University of Madrid Complutense. Diperoleh dalam UCM.adalah
5. "Kesimpulan Deduktif dan Induktif" di dewan Extremadura. Diperoleh di Educarex.adalah.