LOGIK FORMAL: OBJEK KAJIAN, CIRI DAN CONTOH - FALSAFAH - 2026

Yang logik rasmi , juga dikenali sebagai logik teori atau matematik logik, yang menentukan bentuk sah dan betul pemikiran berada. Melalui latihan ini kita berusaha untuk membezakan mana yang betul dari yang tidak betul.

Dalam logik formal, simbol digunakan dengan jelas dan dengan cara yang paling jelas, sehingga tidak dapat dimanipulasi. Berkat latihan ini, dapat mengembangkan idea anda sendiri.

Alfred North Whitehead adalah salah satu penyokong logik formal. Sumber: Wellcome Trust

Perkataan "logik" berasal dari bahasa λογικήlogik Yunani kuno ḗ, yang bermaksud "dikurniakan akal, dialektik, alasan berhujah." Logik adalah salah satu cabang falsafah dan matematik, dan dianggap sangat berguna untuk disiplin ilmu ini.

Secara umum, logik mengkaji bentuk pemikiran. Karya-karya pertama yang dilakukan berkaitan dengan logik dikaitkan dengan ahli falsafah Yunani, Aristotle, sebab itulah dia terkenal sebagai bapa pengasas bidang pemikiran ini.

Sepanjang sejarah, pelbagai ahli falsafah, ahli matematik, dan ahli logik mempertahankan logik formal. Antaranya kita boleh menamakan ahli matematik dan ahli logik Gereja Alonzo; ahli falsafah, ahli matematik dan ahli logik Gottlob Frege; dan juga ahli matematik dan ahli falsafah Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell dan Willard Van Orman Quine, antara lain, juga pernah menjadi pembela yang hebat.

Objek kajian

Logik formal menggunakan aspek seperti penaakulan, konsep, penilaian dan demonstrasi sebagai objek kajian. Dari unsur-unsur ini dia menganalisis dan mengkaji semua sumber bahasa dan semantik, untuk mencapai kesimpulan.

Dalam pengertian ini, didapati bahawa dalam logik formal penaakulan dikaji dari sudut tersusun, dari kesahan atau ketidaksahannya.

Logik formal bukanlah kajian empirikal mengenai proses penaakulan. Juga tidak harus dikelirukan dengan pujukan, kerana memerlukan struktur argumen untuk mendapatkan kesimpulan.

Logik ini juga dikenali sebagai logik teori atau murni, dan bertujuan untuk melakukan kajian abstrak mengenai isi atau bentuk logik dari hujah, pernyataan, cadangan dan ayat yang digunakan secara tegas.

Menjalankan kajian menyeluruh mengenai pola logik formal akan membolehkan setiap individu mengetahui dengan tepat prosedur yang berkaitan dengan pemikiran mereka.

ciri

Berikut adalah ciri khas yang membezakan logik formal daripada jenis logik lain:

-Ia adalah sains yang mengkaji bentuk premis, tidak seperti jenis logik lain yang hanya mengkaji bahan.

-Ia adalah struktur tanpa jirim.

-Didirikan di bawah subset sistem formal.

-Menerapkan kaedah yang cekap sehingga melalui logik formal anda dapat membezakan mana yang salah dari yang betul.

-Kesimpulan penaakulan atau kesahan yang betul timbul kerana struktur premis yang benar dianalisis.

-Mengkaji dan menganalisis orang untuk berfikir secara langsung, dan dengan demikian dapat membentuk corak baru dalam fikiran setiap individu.

-Ia dicirikan dengan simbolik.

-Dari sudut sains formal, ia memainkan peranan penting dalam matematik, falsafah, sains komputer dan statistik.

-Ini berkaitan dengan tatabahasa kerana kajian semantik.

-Struktur kajian, sebab itulah dibandingkan dengan matematik.

-Ia juga berkaitan dengan psikologi kerana menumpukan pada kajian pemikiran setiap individu.

Jenis-Jenis

Logik deontik

Ia berasal dari bahasa Yunani kuno yang diterima dan bermaksud "apa yang perlu" atau "apa yang perlu". Ahli logik Austria Alois Höffler adalah pelopor konsep ini, yang merujuk kepada kajian dan analisis norma.

Logik bivalen

Jenis logik inilah yang hanya menyokong nilai benar dan salah. Dia tidak mempercayai warna, semuanya berwarna hitam atau putih; skala kelabu adalah mustahil dalam logik seperti ini.

Prinsipnya berdasarkan logik Aristotelian, iaitu identiti, tidak bertentangan dan pihak ketiga yang dikecualikan.

Logik pelbagai guna atau pelbagai guna

Jenis logik ini lahir sebagai hasil kajian yang dilakukan oleh para ahli falsafah Jan Łukasiewicz dan Emil Post, di mana mereka menyatakan bahawa nilai-nilai selain dari "benar" dan "palsu" yang sudah biasa dapat diterima, dan bahawa nilai-nilai ini dapat dicapai secara praktikal ke Infiniti.

Dalam pengertian ini, ia berbeza dengan logik bivalen, yang hanya mengakui dua nilai. Kajian menunjukkan bahawa logik multivalen atau polivalen menangani nilai-nilai seperti kemungkinan, keperluan, bukan keperluan, kebenaran, kepalsuan dan kemustahilan.

Begitu juga, logik formal jenis ini juga berperanan mengkaji aspek falsafah dan struktur hujah.

Contoh

Melalui logik formal adalah mungkin untuk menambahkan nilai kebenaran atau kepalsuan pada alasan tertentu.

Seperti yang telah kita jelaskan sebelumnya, logik formal tidak memusatkan perhatian pada semua kemungkinan yang dapat diambil dari argumen; ia hanya menumpukan pada apakah ini benar atau salah. Dalam pengertian itu, di bawah ini kami senaraikan beberapa contoh berdasarkan logik formal:

-Buenos Aires adalah ibu negara Argentina; maka, semua yang dilahirkan di Buenos Aires adalah orang Argentina.

-Joao berbahasa Portugis. Joao dilahirkan di Portugal. Semua orang di Portugal bertutur dalam bahasa Portugis.

- Lembu memberi susu. Lembu adalah mamalia. Semua mamalia memberi susu.

-Pedro berwarna putih dan María berwarna coklat, jadi ada orang putih dan coklat.

-María bermain di orkestra batu. Para pemuzik adalah mereka yang bermain di orkestra rock. Maria adalah seorang pemuzik.

-José mempunyai rambut hitam. Elena mempunyai rambut coklat. Anak perempuan mereka boleh dilahirkan dengan rambut hitam atau coklat.

-Kaki mempunyai lima jari kaki. Manusia mempunyai kaki kanan dan kaki kiri. Setiap orang mempunyai sepuluh jari kaki.

-Spanyol adalah sebuah negara. Sepanyol kekal di Eropah. Semua orang Sepanyol adalah orang Eropah.

- Ana adalah makhluk hidup. Ana adalah fana. Semua makhluk hidup adalah fana.

- José basah dengan air. Air menjadi basah.

- Maria memakan makanan panasnya. Maria terbakar memakan makanan panasnya. Makanan panas terbakar.

- Bumi adalah bahagian dari alam semesta. Di alam semesta terdapat planet. Bumi adalah planet.

- Lampu elektrik menyala. Terdapat lampu elektrik di jalan-jalan. Lampu elektrik menerangi jalan-jalan.

Rujukan

1. "Logik formal" dalam ensiklopedia dunia baru. Diperoleh pada 21 April 2019 dari ensiklopedia Dunia baru: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes "Logik formal" dalam Diperoleh pada 21 April 2019 dari Britannica: britannica.com.
3. "Logik dan pengkelasannya" di Academy. Diakses pada 23 April 2019 dari Academia: academia.edu.
4. "Logik Formal" dalam Kamus Falsafah. Diakses pada 23 April 2019 dari Kamus Falsafah: falsafah.org.
5. "Logik polyvalent" dalam Kamus Falsafah. Diakses pada 23 April 2019 dari Kamus Falsafah: falsafah.org.
6. "Aspek logik umum" dalam Club Essays (18 Ogos 2013). Diakses pada 23 April 2019 dari percubaan Club: clubensayos.com.
7. "Logik Deontik" di wikipedia . Diakses pada 23 April 2019 dari Wikipedia: es.wikipedia.org.
8. "Logik pelbagai guna" di wikipedia . Diakses pada 23 April 2019 dari Wikipedia: es.wikipedia.org.
9. "Logik bivalen" di wikipedia . Diakses pada 23 April 2019 dari Wikipedia: es.wikipedia.org