6 jenis logik dan maknanya

Terdapat beberapa Jenis logik dan semua menumpukan objek kajian mereka untuk memahami pemikiran dan mengenal pasti ketika mereka betul atau tidak betul. Kajian logik telah berkembang sejak zaman ahli falsafah Yunani Aristotle hingga sekarang.

Etika telah diselaraskan dengan niat untuk menjadi lebih spesifik dan, pada masa yang sama, lebih disesuaikan dengan kehidupan seharian manusia, yang membolehkan aplikasi yang lebih ketara di kawasan yang berbeza.

Aristotle, diiktiraf sebagai bapa logik.

Logik mencari kajian sistematik argumen dan proposisi, dan pelbagai jenis logik membolehkan ia dapat mengkaji kedua -dua struktur formal semata -mata dari pernyataan ini, dan apa yang berkaitan dengan kandungan, dan kuasa kandungan tersebut.

Walaupun logik berdasarkan kajian pernyataan, ia tidak memberi tumpuan dengan jelas pada bahasa semulajadi (bahasa seperti yang kita tahu), tetapi kegunaannya telah mencapai pelbagai bidang dan dengan struktur yang berbeza, seperti matematik dan pengkomputeran.

Jenis logik yang paling relevan

Logik rasmi

Logik rasmi, yang juga dikenali sebagai logik Aristotelian klasik atau logik, adalah kajian cadangan, hujah, pernyataan atau ayat dari sudut pandangan struktur. Ini adalah kaedah untuk menyusun pemikiran dan menentukan cara yang betul atau salah dari pendekatan tertentu.

Logik rasmi tidak memberi tumpuan kepada kebenaran atau kepalsuan kandungan hujah tertentu, tetapi tertumpu dalam kesahihan atau bukan dari pembinaan bentuknya.

Iaitu, objek kajian logik formal tidak empirikal, untuk logik ia tidak relevan untuk menentukan sama ada hujah yang dibentangkan adalah nyata dan terbukti; Tetapi kajian anda jelas memberi tumpuan kepada struktur hujah tersebut.

Boleh melayani anda: Empedocles

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

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

Dalam hal logik induktif, pembinaan argumen berlaku bertentangan; iaitu, konsep umum dibuat dari hujah tertentu.

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

Logik tidak rasmi

Logik tidak rasmi adalah cabang pengajian yang memberi tumpuan kepada bahasa dan mesej yang berasal dari pembinaan dan argumen semantik.

Logik ini berbeza daripada logik rasmi, dalam kajian logik rasmi struktur doa dan proposisi; Dan logik tidak rasmi memberi tumpuan kepada bahagian bawah mesej yang dihantar.

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

Logik bukan klasik

Logik bukan klasik, atau logik moden, berasal dari abad ke -19 dan timbul berbeza dengan pernyataan logik klasik. Ia menetapkan bentuk analisis lain yang dapat meliputi lebih banyak aspek yang mungkin untuk merangkumi pendekatan logik klasik.

Boleh melayani anda: subjek moral

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

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

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

Logik simbolik

Dalam permainan ini, anda perlu mencari setiap bahagian dataran tengah dalam angka yang berbeza di sekitar

Logik simbolik juga dipanggil logik pertama, atau logik matematik, dan dicirikan dengan menggunakan simbol yang membentuk bahasa baru di mana mereka "menterjemahkan" argumen.

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 ke dalam unsur -unsur yang mudah terdedah kepada penerapan peraturan yang lebih tepat yang boleh digunakan dalam bahasa semula jadi.

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

Bertujuan untuk menggabungkan unsur -unsur matematik dalam analisis struktur logik formal. Dalam bidang matematik, logik digunakan untuk menunjukkan teorem.

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

Aplikasi logik matematik ini membolehkan hujah dan pembinaan lebih tepat.

Logik modal

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

Boleh melayani anda: utilitarianisme

Logik modal bertujuan untuk lebih konsisten dengan pemikiran manusia, oleh itu ia meliputi penggunaan pembinaan seperti "boleh", "mungkin", "kadang -kadang", "mungkin", "mungkin", "mungkin", "mungkin", antara yang lain.

Dalam logik modal, ia adalah mengenai mempertimbangkan senario di mana terdapat kemungkinan, dan semua kemungkinan yang mungkin wujud, dari sudut pandangan logik,.

Logik komputasi

Logik pengiraan adalah sejenis logik yang diperolehi daripada logik simbolik atau matematik, hanya yang digunakan dalam bidang pengkomputeran.

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

Rujukan

1. "Logik" di Britannica Encyclopedia. Diperolehi di Britannica.com
2. "Logik rasmi" di Britannica Encyclopedia. Diperolehi di Britannica.com
3. Hernández, f. "Logik Komputasi" di Universiti Autonomi Negara Mexico. Diperolehi dalam UNAM.mx
4. Muñoz, c. "Logik bukan klasik" di Universiti Madrid. Diperolehi dalam UCM.adalah
5. "Kesimpulan Deduktif dan Induktif" di Lembaga Extremadura. Diperolehi dalam Educarex.adalah.