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.

Untuk ini, perkembangan sistem dan bentuk pengajaran yang amat diperlukan adalah penting, yang 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)

Apa logik?

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

Kajian ini bertujuan untuk memahami kriteria kesimpulan yang berbeza dan bagaimana kita mencapai demonstrasi yang sah, berbeza dengan demonstrasi tidak sah. Oleh itu, soalan asas logik adalah pemikiran yang betul dan bagaimana kita boleh 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 (ayat 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)
• Kekuatan (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 formal

Juga dikenali sebagai logik tradisional atau logik falsafah, ia adalah mengenai kajian kesimpulan dengan kandungan yang semata-mata formal dan eksplisit. Ini adalah tentang menganalisis kenyataan rasmi (logik atau matematik), yang makna tidak intrinsik tetapi simbolnya masuk akal oleh aplikasi berguna yang diberikan. Tradisi falsafah yang berasal dari yang disebut namanya adalah "formalisme".

Sebaliknya, sistem formal adalah salah satu yang digunakan untuk membuat kesimpulan dari satu atau lebih premis. Yang terakhir ini boleh menjadi aksiom (proposisi nyata yang jelas) atau teorema (kesimpulan set peraturan aturan dan aksioma yang ditetapkan).

2. Logik tidak formal

Untuk sebahagiannya, logik informal adalah disiplin yang lebih baru, yang mana belajar, menilai dan menganalisis 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 rasmi 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, dll..

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 sulit atau sulit untuk ditangani. Ia biasanya dibahagikan kepada dua subtipe:

• Logik Predicative atau urutan pertama: ia adalah sistem rasmi yang terdiri daripada pembolehubah formula dan pembolehubah yang boleh diukur
• Propositional: ia merupakan sistem rasmi yang terdiri daripada proposisi, yang dapat membuat cadangan 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:

• Logika: ini adalah tentang penerapan logik dalam matematik. Contoh-contoh jenis ini adalah teori ujian, teori model, teori set dan teori rekursi.
• Intuitionism: 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 (ini adalah kesimpulan).

Sebaliknya, penalaran induktif adalah proses dengan cara 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 rasmi 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 https://plato.stanford.edu/entries/logic-informal/
• Logik (2018). Asas falsafah. Diperoleh pada 2 Oktober 2018. Boleh didapati di https://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 https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logik Modal. Stanford Encyclopedia of Philosophy. Diperoleh pada 2 Oktober 2018. Boleh didapati di https://plato.stanford.edu/entries/logic-modal/