6 Jenis Logik Utama

Terdapat beberapa jenis logik dan semuanya menumpukan objek pembelajaran mereka dalam memahami pemikiran dan mengenalpasti apabila mereka betul atau salah.

Kajian logik telah berkembang dari zaman ahli falsafah Yunani Aristotle hingga kini, dan ini telah disesuaikan dengan tujuan menjadi lebih spesifik dan, pada masa yang sama, lebih banyak disesuaikan dengan kehidupan harian manusia, yang membolehkannya untuk lebih banyak aplikasi ketara dalam bidang yang berbeza.

Logik mencari kajian sistematik tentang argumen dan proposisi, dan jenis logik yang berlainan membolehkannya untuk mempelajari kedua struktur formal dari pernyataan-pernyataan ini, seperti apa yang ada kaitannya dengan kandungan, dan kekuatan kandungan tersebut.

Walaupun logiknya berdasarkan kajian pernyataan, ia tidak menumpukan perhatian secara jelas pada bahasa semula jadi (bahasa seperti yang kita ketahui), tetapi utilitinya telah mencapai pelbagai bidang dan dengan struktur yang berbeza, seperti matematik dan pengkomputeran.

Jenis logik yang paling sesuai

Formal

Logik formal, yang juga dikenali sebagai logik klasik atau logik Aristotelia, adalah kajian tentang propositions, arguments, statements atau sentences dari sudut pandangan struktur.

Ia adalah kaedah untuk menyusun pemikiran dan menentukan bentuk atau pendekatan yang betul atau salah.

Logik formal tidak menumpukan kepada kebenaran atau kepalsuan kandungan hujah tertentu, tetapi menumpukan pada kesahihan atau sebaliknya pembinaan bentuknya.

Maksudnya, objek kajian logik formal tidak empirikal, bagi ahli logik itu tidak relevan untuk menentukan sama ada hujah yang dibentangkan itu nyata dan terbukti; tetapi kajiannya difokuskan dengan jelas mengenai struktur hujah tersebut.

Dalam logik formal terdapat dua klasifikasi yang sangat penting: logik deduktif dan logik induktif.

Logik deduktif merujuk kepada kenyataan-kenyataan tertentu yang dihasilkan daripada tanggapan umum. Melalui jenis ini kesimpulan logik dapat dibuat dari konsep atau teori yang sudah ada.

Sebagai contoh, dalam logik deduktif seseorang boleh mengatakan bahawa, jika manusia mempunyai kaki dan Clara adalah manusia, maka Clara mempunyai kaki.

Dalam hal logik induktif, pembinaan hujah berlaku secara berlawanan; iaitu konsep umum dicipta daripada hujah tertentu.

Sebagai contoh, di dalam logik induktif boleh dikatakan bahawa, jika satu kucing suka ikan, dan yang lain juga suka, dan yang lain juga, maka semua kucing seperti ikan.

Tidak rasmi

Logik tidak rasmi adalah cabang kajian yang memfokuskan pada bahasa dan mesej yang berasal dari pembinaan dan argumen semantik.

Logik ini berbeza dari logik formal, dalam kajian logik formal struktur ayat dan proposisi; dan logik tidak formal memfokuskan pada latar belakang mesej yang dihantar.

Objek kajiannya adalah cara untuk berhujah untuk mendapatkan hasil yang diinginkan. Logik tidak rasmi mengesahkan hujah-hujah logik yang lebih koheren antara lain yang mempunyai struktur argumentatif yang lebih lemah.

Bukan klasik

Logik bukan klasik, atau logik moden, berasal dari abad kesembilan belas dan timbul bertentangan dengan pernyataan logik klasik.

Ia mewujudkan bentuk analisis lain yang boleh meliputi lebih banyak aspek daripada yang mungkin untuk merangkumi melalui pendekatan logik klasik.

Ini adalah bagaimana unsur-unsur matematik dan simbolik dimasukkan, pernyataan baru atau teorema yang datang untuk membuat kekurangan sistem logik formal.

Dalam logik bukan klasik terdapat subtipe logik yang berbeza, seperti modal, matematik, trivalen, antara lain..

Semua logik jenis ini berbeza sedikit dari logik formal, atau menggabungkan unsur-unsur baru yang melengkapi, dan membolehkan kajian logik pernyataan tertentu lebih tepat dan disesuaikan dengan utiliti dalam kehidupan seharian.

Simbolik

Logik simbolik juga dipanggil logik urutan pertama, atau logik matematik, dan dicirikan dengan menggunakan simbol yang membentuk bahasa baru yang mana "untuk menterjemahkan" hujah-hujah.

Tujuan logik simbolik adalah untuk mengubah pemikiran abstrak ke dalam struktur yang lebih formal.

Malah, ia tidak menggunakan bahasa semula jadi (bahasa), tetapi menggunakan bahasa teknikal yang menukarkan ayat-ayat menjadi unsur-unsur yang terdedah kepada penggunaan peraturan yang lebih tepat daripada yang boleh digunakan dalam bahasa semulajadi..

Kemudian, logik simbolik membolehkan rawatan cadangan melalui undang-undang pengiraan, untuk mengelakkan kekeliruan atau ketidaktepatan.

Ia bertujuan untuk memasukkan unsur-unsur matematik dalam analisis struktur logik formal. Dalam bidang matematik, logik digunakan untuk membuktikan teorem.

Ringkasnya, logik simbolik atau matematik bertujuan untuk menyatakan pemikiran manusia melalui bahasa matematik.

Aplikasi logik matematik ini membolehkan argumen dan pembinaan menjadi lebih tepat.

Modal

Logik modal memberi tumpuan kepada kajian hujah, tetapi menambah elemen yang berkaitan dengan kemungkinan bahawa pernyataan yang dimaksudkan adalah benar atau palsu.

Logik modal berpura-pura menjadi lebih konsisten dengan pemikiran manusia, oleh itu ia termasuk penggunaan pembinaan seperti "boleh", "mungkin", "kadang-kadang", "mungkin", "mungkin", "mungkin" ", Antara lain.

Dalam logik modal, ia adalah satu perkara yang mengingati senario di mana terdapat kemungkinan, dan satu cenderung untuk mempertimbangkan semua kemungkinan yang boleh wujud, dari sudut pandangan logik.

Pengiraan

Logik komputasi adalah jenis logik yang diperolehi daripada logik simbolik atau matematik, hanya digunakan di kawasan pengkomputeran.

Program komputer menggunakan bahasa pengaturcaraan untuk pembangunan mereka dan, melalui logik, adalah mungkin untuk mengendalikan sistem bahasa tersebut, menetapkan tugasan tertentu dan melaksanakan tindakan pengesahan..

Rujukan

1. "Logik" dalam Encyclopedia Britannica. Diperoleh pada 4 Ogos 2017 dari Encyclopedia Britannica: britannica.com
2. "Logik rasmi" dalam Encyclopedia Britannica. Diperoleh pada 4 Ogos 2017 dari Encyclopedia Britannica: britannica.com
3. Hernández, F. "Logik Komputasi" di Universiti Autonomi Nasional Mexico. Diperoleh pada 4 Ogos 2017 dari Universiti Autonomi Nasional Mexico: unam.mx
4. Muñoz, C. "Logik Bukan Klasik" di Universiti Complutense Madrid. Diperoleh pada 4 Ogos 2017 dari Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Apakah logik simbolik?" Di eHow en Español. Diperoleh pada 4 Ogos 2017 dari eHow en Español: ehowenespanol.com
6. Oller, C. "Logik dan argumentasi rasmi" (2006) di Universiti Nasional La Plata. Diperoleh pada 4 Ogos 2017 dari Universiti Kebangsaan La Plata: rfytp.fahce.unlp.edu.ar
7. "Kesimpulan deduktif dan induktif" di Junta de Extremadura. Diperoleh pada 4 Ogos 2017 di Junta de Extremadura: educarex.es.