4 jenis logik yang paling penting (dan ciri-ciri)

Logik adalah kajian tentang penalaran dan kesimpulan . Ini adalah satu set soalan dan analisis yang membolehkan kita memahami bagaimana argumen yang sah berbeza dari kesalahan dan bagaimana kita sampai kepada mereka.

Untuk ini, perkembangan sistem dan bentuk pengajaran yang berbeza sangat diperlukan, yang telah membawa kepada empat jenis utama logik. Kita akan lihat di bawah apa yang mereka masing-masing.

• Artikel yang disyorkan: ["10 jenis kesalahan logik dan argumentatif"] (10 jenis kesalahan logik dan argumentatif)

Apakah logik?

Perkataan "logik" berasal dari bahasa Yunani "logos" yang boleh diterjemahkan dengan cara yang berbeza: perkataan, pemikiran, hujah, prinsip atau sebab adalah antara yang utama. Dalam pengertian ini, logik adalah kajian prinsip dan alasan.

Kajian ini mempunyai tujuan untuk memahami kriteria kesimpulan yang berbeza dan bagaimana kita mencapai demonstrasi yang sah, berbeza dengan demonstrasi tidak sah. Oleh itu, soalan asas logik ialah pemikiran yang betul dan bagaimanakah kita dapat membezakan antara hujah yang sah dan kesalahan?

Untuk menjawab soalan ini, logik mencadangkan cara yang berbeza untuk mengklasifikasikan pernyataan dan hujah, sama ada ia berlaku dalam sistem formal atau dalam bahasa semula jadi. Khususnya, ia menganalisis proposisi (kalimat deklaratif) yang boleh benar atau palsu, serta kesalahan, paradoks, argumen yang melibatkan kausalitas dan, secara umum, teori argumentasi.

Secara umum, untuk mempertimbangkan sistem sebagai logik, mereka mesti memenuhi tiga kriteria:

• Ketekalan (tidak ada percanggahan antara teorema yang membentuk sistem)
• Ketumpatan (sistem ujian tidak termasuk kesimpulan palsu)
• Completud (semua ayat yang benar mestilah dapat dibuktikan)

4 jenis logik

Seperti yang telah kita lihat, logik menggunakan alat yang berbeza untuk memahami pemikiran yang kami gunakan untuk membenarkan sesuatu. Secara tradisinya, empat jenis utama logik diiktiraf, masing-masing mempunyai beberapa subtipe dan spesifikasinya. Kita akan lihat di bawah apa yang setiap orang ada.

1. Logik rasmi

Juga dikenali sebagai logik tradisional atau logik falsafah, ia adalah mengenai kajian kesimpulan dengan kandungan yang sememangnya formal dan eksplisit . Ini adalah tentang menganalisis kenyataan rasmi (logik atau matematik), yang bermaksud tidak intrinsik tetapi simbolnya mempunyai arti kerana aplikasi berguna diberikan. Tradisi falsafah yang berasal dari yang terakhir disebut dengan tepat "formalisme".

Pada gilirannya, sistem formal adalah salah satu yang digunakan untuk mengambil kesimpulan dari satu atau lebih premis. Yang terakhir ini boleh menjadi aksiom (proposisi yang jelas-nyata) atau teorema (kesimpulan dari satu set tetap peraturan kesimpulan dan aksioma).

2. Logik tidak formal

Untuk sebahagiannya, logik tidak rasmi adalah disiplin yang lebih baru, yang mana belajar, menilai dan menganalisis hujah-hujah yang dipaparkan dalam bahasa semulajadi atau sehari-hari . Oleh itu, ia menerima kategori "tidak rasmi". Ia boleh menjadi bahasa lisan atau bertulis atau, apa-apa jenis mekanisme dan interaksi yang digunakan untuk berkomunikasi sesuatu. Tidak seperti logik rasmi, yang mana contohnya akan digunakan untuk kajian dan perkembangan bahasa komputer; bahasa formal merujuk kepada bahasa dan bahasa.

Oleh itu, logik informal boleh menganalisis dari penalaran peribadi dan argumen kepada perdebatan politik, hujah undang-undang atau premis yang disebarkan oleh media, seperti surat khabar, televisyen, Internet, dan sebagainya.

3. Logik simbolik

Seperti namanya, logik simbolik menganalisis hubungan antara simbol. Kadang-kadang ia menggunakan bahasa matematik yang kompleks, kerana ia bertanggungjawab untuk mengkaji masalah-masalah yang logik formal tradisional rumit atau sukar untuk ditangani. Ia biasanya dibahagikan kepada dua subtipe:

• Logik predicatif atau pesanan pertama : ia adalah sistem rasmi yang terdiri daripada pembolehubah formula dan pembolehubah yang boleh diukur
• Propositional : ia merupakan sistem formal yang terdiri daripada proposisi, yang dapat mencipta proposisi lain melalui penyambung yang disebut "penghubung logik". Dalam hal ini hampir tidak ada pembolehubah yang boleh diukur.

4. Logik matematik

Bergantung pada pengarang yang menerangkannya, logik matematik boleh dianggap sebagai jenis logik formal. Orang lain menganggap bahawa logik matematik merangkumi kedua-dua penerapan logik formal kepada matematik, dan penerapan penalaran matematik kepada logik formal.

Secara umum, penerapan bahasa matematik dalam pembinaan sistem logik memungkinkan untuk menghasilkan semula minda manusia. Sebagai contoh, ini sangat hadir dalam perkembangan kecerdasan buatan dan dalam paradigma komputasi kajian kognisi.

Ia biasanya dibahagikan kepada dua subtipe:

• Logik : ini adalah tentang penerapan logik dalam matematik. Contoh-contoh jenis ini adalah teori bukti, teori model, teori set dan teori rekursi.
• Intuisi : berpendapat bahawa kedua-dua logik dan matematik adalah kaedah yang aplikasinya konsisten untuk melaksanakan pembinaan mental yang rumit. Tetapi, dia mengatakan bahawa dalam diri mereka, logik dan matematik tidak dapat menjelaskan sifat-sifat dalam unsur-unsur yang mereka analisis.

Penalaran induktif, deduktif dan modal

Sebaliknya, Terdapat tiga jenis penaakulan yang juga boleh dianggap sebagai sistem logik . Ini adalah mekanisme yang membolehkan kita membuat kesimpulan dari premis. Penalaran deduktif menjadikan pengekstrakan tersebut dari premis umum ke premis tertentu. Contoh klasik adalah yang dicadangkan oleh Aristotle: Semua manusia adalah manusia (ini adalah premis umum); Socrates adalah manusia (ia adalah premis utama), dan akhirnya, Socrates adalah fana (inilah kesimpulan).

Untuk tujuannya, penalaran induktif adalah proses yang mana kesimpulan ditarik ke arah yang bertentangan: dari yang tertentu kepada umum. Contohnya ialah "Semua gagak yang saya dapat lihat adalah hitam" (premis tertentu); maka semua gagak hitam (kesimpulan).

Akhirnya, logik pemikiran atau modal berdasarkan argumen probabilistik, iaitu, mereka menyatakan kemungkinan (modaliti). Ia adalah sistem logik formal yang merangkumi istilah seperti "boleh", "boleh", "harus", "akhirnya".

Rujukan bibliografi:

• Groarke, L. (2017). Logik tidak rasmi. Stanford Encyclopedia of Philosophy. Diperoleh pada 2 Oktober 2018. Boleh didapati di //plato.stanford.edu/entries/logic-informal/
• Logik (2018). Asas falsafah. Diperoleh pada 2 Oktober 2018. Boleh didapati di //www.philosophybasics.com/branch_logic.html
• Shapiro, S. dan Kouri, S. (2018). Logik Klasik. Diperoleh pada 2 Oktober 2018. Boleh didapati dalam Logik (2018). Asas falsafah. Diperoleh pada 2 Oktober 2018. Boleh didapati di //www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logik Modal. Stanford Encyclopedia of Philosophy. Diperoleh pada 2 Oktober 2018. Boleh didapati di //plato.stanford.edu/entries/logic-modal/

10 TIPE KECERDASAN MANUSIA #YtCrash (April 2024).