- Jenis logik yang paling relevan
- Logik formal
- Logik tidak formal
- Logik bukan klasik
- Logik simbolik
- Logik modal
- Logik pengkomputeran
- Rujukan
Terdapat beberapa jenis logik dan semuanya memfokuskan objek kajian mereka untuk memahami penaakulan dan mengenal pasti kapan ia betul atau tidak. Kajian logik telah berkembang dari zaman ahli falsafah Yunani Aristoteles hingga sekarang.
Etika telah disesuaikan dengan tujuan untuk menjadi lebih spesifik dan, pada masa yang sama, lebih disesuaikan dengan kehidupan seharian manusia, yang memungkinkan penerapan yang lebih nyata di berbagai bidang.
Aristoteles, diakui sebagai bapa logik.
Logik mencari kajian sistematik mengenai hujah dan proposisi, dan jenis logik yang berlainan memungkinkan untuk mengkaji struktur struktur pernyataan ini semata-mata, serta apa yang berkaitan dengan kandungan, dan kekuatan isi tersebut.
Walaupun logik didasarkan pada kajian pernyataan, ia tidak memfokuskan dengan jelas pada bahasa semula jadi (bahasa seperti yang kita ketahui), tetapi kegunaannya telah mencapai berbagai bidang dan dengan struktur yang berbeza, seperti matematik dan pengkomputeran.
Jenis logik yang paling relevan
Logik formal
Logik formal, juga dikenali sebagai logik klasik atau logik Aristotelian, adalah kajian mengenai proposisi, hujah, pernyataan, atau kalimat dari sudut struktur. Ini adalah kaedah untuk menyusun pemikiran dan menentukan bentuk-bentuk pendekatan yang betul atau salah.
Logik formal tidak menumpukan pada kebenaran atau kepalsuan isi hujah tertentu, tetapi lebih tertumpu pada kesahan atau tidaknya pembinaan bentuknya.
Maksudnya, objek kajian logik formal tidak empirikal, bagi ahli logik tidak relevan untuk menentukan apakah hujah yang dikemukakan itu nyata dan terbukti; Sebaliknya, kajiannya jelas tertumpu pada struktur hujah tersebut.
Dalam logik formal terdapat dua klasifikasi yang sangat penting: logik deduktif dan logik induktif.
Logik deduktif merujuk kepada pernyataan khusus yang dihasilkan dari tanggapan umum. Melalui logik jenis ini, kesimpulan dapat dibuat dari konsep atau teori yang sudah ada.
Sebagai contoh, dalam logik deduktif dapat dikatakan bahawa, jika manusia mempunyai kaki dan Clara adalah manusia, maka Clara mempunyai kaki.
Sekiranya logik induktif, pembinaan hujah berlaku dengan cara yang bertentangan; iaitu, konsep umum dibuat dari hujah-hujah tertentu.
Sebagai contoh, dalam logik induktif dapat dikatakan bahawa, jika satu kucing menyukai ikan, dan yang lain juga menyukainya, dan yang lain juga, maka semua kucing menyukai ikan.
Logik tidak formal
Logik tidak formal adalah cabang kajian yang memfokuskan pada bahasa dan mesej yang berpunca dari konstruksi dan hujah semantik.
Logik ini berbeza dengan logik formal, kerana logik formal mengkaji struktur ayat dan cadangan; dan logik tidak formal menumpukan pada isi mesej yang disampaikan.
Objektif kajiannya adalah cara berhujah untuk mendapatkan hasil yang diinginkan. Logik tidak formal memberi kesahan kepada hujah logik yang lebih koheren antara lain yang mempunyai struktur hujah yang lebih lemah.
Logik bukan klasik
Logik bukan klasik, atau logik moden, berasal dari abad kesembilan belas dan timbul bertentangan dengan penyataan logik klasik. Ini menetapkan bentuk analisis lain yang dapat merangkumi lebih banyak aspek daripada yang dapat dimasukkan melalui pendekatan klasik untuk logik.
Ini adalah bagaimana elemen matematik dan simbolik disertakan, pernyataan baru atau teorema yang muncul untuk menebus kekurangan sistem logik formal.
Dalam logik bukan klasik terdapat subtipe logik yang berbeza, seperti modal, matematik, sepele, antara lain.
Semua jenis logik ini berbeza dari sudut logika formal, atau memasukkan unsur-unsur baru yang saling melengkapi, dan memungkinkan kajian logik pernyataan tertentu lebih tepat dan disesuaikan dengan utiliti dalam kehidupan seharian.
Logik simbolik
Logik simbolik juga disebut logik orde pertama, atau logik matematik, dan dicirikan dengan menggunakan simbol yang membentuk bahasa baru di mana argumen "diterjemahkan".
Tujuan logik simbolik adalah untuk mengubah pemikiran abstrak menjadi struktur yang lebih formal. Sebenarnya, ia tidak menggunakan bahasa semula jadi (simpulan bahasa), tetapi menggunakan bahasa teknikal yang mengubah ayat menjadi unsur-unsur yang rentan terhadap penerapan peraturan yang lebih tepat daripada yang dapat diterapkan dalam bahasa semula jadi.
Jadi, logik simbolik membenarkan perlakuan proposisi melalui undang-undang kalkulus, untuk mengelakkan kekeliruan atau ketidaktepatan.
Ini bertujuan untuk memasukkan unsur-unsur matematik dalam analisis struktur logik formal. Dalam bidang matematik, logik digunakan untuk membuktikan teorema.
Pendek kata, logik simbolik atau matematik bertujuan untuk mengekspresikan pemikiran manusia melalui bahasa matematik.
Aplikasi logik matematik ini membolehkan hujah dan konstruksi menjadi lebih tepat.
Logik modal
Logik modal menumpukan pada kajian hujah, tetapi menambahkan unsur-unsur yang berkaitan dengan kemungkinan bahawa pernyataan yang dimaksudkan itu benar atau salah.
Logik modal cuba lebih selaras dengan pemikiran manusia, oleh itu merangkumi penggunaan pembinaan seperti "boleh", "mungkin", "kadang-kadang", "mungkin", "mungkin", "mungkin", "mungkin ", antara lain.
Dalam logika modal, ini adalah untuk mempertimbangkan senario di mana ada kemungkinan, dan cenderung mempertimbangkan semua kemungkinan yang mungkin ada, dari sudut pandang logik.
Logik pengkomputeran
Logik komputasi adalah sejenis logik yang berasal dari logik simbolik atau matematik, hanya ia diterapkan dalam bidang pengkomputeran.
Program komputer menggunakan bahasa pengaturcaraan untuk pengembangannya dan, melalui logik, adalah mungkin untuk mengerjakan sistem bahasa tersebut, menetapkan tugas-tugas tertentu, dan melakukan tindakan verifikasi.
Rujukan
- "Logik" dalam Ensiklopedia Britannica. Diakses pada 4 Ogos 2017 dari Encyclopedia Britannica: britannica.com
- "Logik formal" dalam Ensiklopedia Britannica. Diakses pada 4 Ogos 2017 dari Encyclopedia Britannica: britannica.com
- Hernández, F. "Logik Komputasi" di Universiti Autonomi Nasional Mexico. Diakses pada 4 Ogos 2017 dari Universiti Autonomi Nasional Mexico: unam.mx
- Muñoz, C. "Logik Bukan Klasik" di Universiti Complutense Madrid. Diperoleh pada 4 Ogos 2017 dari Complutense University of Madrid: ucm.es
- Julia, J. "Apa itu logik simbolik?" dalam eHow dalam bahasa Sepanyol. Diakses pada 4 Ogos 2017 dari eHow dalam bahasa Sepanyol: ehowenespanol.com
- Oller, C. "Logik dan hujah formal" (2006) di Universiti Nasional La Plata. Diakses pada 4 Ogos 2017 dari Universiti Nasional La Plata: rfytp.fahce.unlp.edu.ar
- "Kesimpulan deduktif dan induktif" di Junta de Extremadura. Diakses pada 4 Ogos 2017 di Junta de Extremadura: educarex.es.