Objek logik formal kajian, ciri dan contoh

The logik rasmi, Juga dipanggil logik teoritis atau logik matematik, ia menentukan apakah bentuk penalaran yang sah dan betul. Melalui amalan ini, ia bertujuan untuk membezakan kebenaran yang salah.

Dalam logik rasmi, simbol digunakan tanpa kekaburan dan dengan cara yang paling jelas, sehingga mereka tidak dapat dimanipulasi. Terima kasih kepada amalan ini, mereka mungkin mengembangkan idea mereka sendiri.

Alfred North Whitehead adalah salah seorang pembela logik rasmi. Sumber: Wellcom Trust [CC BY-SA 4.0 (https: // creativeCommons.Org/lesen/by-sa/4.0)]

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

Secara umum, logik mengkaji bentuk pemikiran. Kerja -kerja pertama yang dijalankan berhubung dengan logik adalah dikaitkan dengan ahli falsafah Yunani Aristotle, itulah sebabnya dia dikenali sebagai bapa pengasas bidang pemikiran ini.

Sepanjang sejarah beberapa ahli falsafah, matematik dan logik telah mempertahankan logik rasmi. Antaranya kita boleh menamakan Gereja Matematik dan Logik Alonzo; ahli falsafah, ahli matematik dan logik Gottlob Frege; Dan juga ahli matematik dan ahli falsafah Alfred North Whitehead.

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

[TOC]

Objek kajian

Logik rasmi menggunakan aspek seperti penalaran, konsep, penghakiman dan demonstrasi sebagai objek kajian. Dari unsur -unsur ini menganalisis dan mengkaji semua sumber bahasa dan semantik, untuk mencapai kesimpulan.

Dalam pengertian ini, didirikan bahawa logik rasmi dikaji dari titik berstruktur, dari kesahihan atau kecacatannya.

Logik rasmi bukan kajian empirikal mengenai proses penalaran. Dan tidak sepatutnya dikelirukan dengan pujukan, kerana ia memerlukan struktur argumen untuk mendapatkan kesimpulan.

Dapat melayani anda: asal falsafah: bagaimana dan kapan ia berlangsung?

Logik ini juga dikenali sebagai logik teori atau tulen, dan bertujuan untuk menjalankan kajian abstrak mengenai kandungan atau bentuk logik argumen deduktif, pernyataan, cadangan dan ayat yang digunakan secara tegas.

Menjalankan kajian lengkap mengenai corak logik formal akan membolehkan setiap individu mengetahui dengan tepat prosedur yang berkaitan.

Ciri -ciri

Berikut adalah ciri -ciri yang paling khusus yang membezakan logik rasmi dari jenis logik yang lain:

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

-Ia adalah struktur tanpa masalah.

-Ia ditubuhkan di bawah subset sistem formal.

-Menggunakan kaedah yang cekap yang melalui logik formal, ketetapan hak dapat dibezakan.

-Kesimpulan tentang penalaran yang betul atau kesahihan timbul kerana struktur premis sebenar dianalisis.

-Belajar dan menganalisis orang untuk terus berfikir, dan dengan itu dapat mewujudkan corak baru dalam fikiran setiap individu.

-Dicirikan dengan menjadi simbolik.

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

-Ia berkaitan dengan tatabahasa kerana kajian semantik.

-Mengkaji struktur, itulah sebabnya ia dibandingkan dengan matematik.

-Ia juga berkaitan dengan psikologi kerana ia memberi tumpuan kepada kajian pemikiran setiap individu.

Lelaki

Logik deontic

Ia datang dari bahasa Yunani kuno Δέον [τος] Donon [batuk] Dan ini bermaksud "yang sepatutnya" atau "yang diperlukan". Logik Austria Alois Höffler adalah percussor konsep ini, yang merujuk kepada kajian dan analisis norma -norma.

Boleh melayani anda: René Descartes: Biografi, Falsafah dan Sumbangan

Logik bivalent

Itu adalah jenis logik yang hanya mengakui nilai -nilai yang benar dan palsu. Dia tidak percaya pada nuansa, semuanya hitam atau putih; Skala kelabu tidak mungkin dalam logik jenis ini.

Prinsipnya berdasarkan logik Aristotelia, yang merupakan identiti, bukan kontradiksi dan yang ketiga dikecualikan.

Logik multivalen atau serba boleh

Jenis logik ini dilahirkan sebagai hasil kajian yang dijalankan oleh ahli falsafah Jan łukasiewicz dan Emil Post, di mana mereka menjelaskan bahawa nilai -nilai lain dapat diterima dari orang biasa "benar" dan "palsu", dan ini Nilai hampir dapat sampai ke tak terhingga.

Dalam pengertian ini ia berbeza dari logik bivalent, yang hanya mengakui dua nilai. Kajian menunjukkan bahawa logik multivalen atau serba boleh mengendalikan nilai seperti kemungkinan, keperluan, tidak perlu, kebenaran, kepalsuan dan kemustahilan.

Begitu juga, logik formal jenis ini juga bertanggungjawab untuk mengkaji aspek falsafah dan struktur yang ada argumen.

Contoh

Melalui logik formal, mungkin untuk menambahkan nilai kebenaran atau kepalsuan kepada penalaran tertentu.

Seperti yang telah kita jelaskan di atas, logik formal tidak memberi tumpuan kepada semua kemungkinan yang boleh diekstrak dari hujah; Ia hanya memberi tumpuan kepada perkara ini adalah benar atau salah. Dalam erti kata itu, maka kami menyenaraikan beberapa contoh berdasarkan logik formal:

-Buenos Aires adalah ibukota Argentina; Jadi, semua yang dilahirkan di Buenos Aires adalah Argentina.

-Joao bercakap bahasa Portugis. Joao dilahirkan di Portugal. Semua di Portugal bercakap bahasa Portugis.

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

-Pedro adalah Blanco dan María Morena, jadi ada orang putih dan si rambut coklat.

Boleh melayani anda: pemikir humanis

-Maria menyentuh orkestra batu. Pemuzik adalah mereka yang bermain di orkestra batu. Maria adalah pemuzik.

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

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

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

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

- José basah dengan air. Air basah.

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

- Bumi adalah sebahagian daripada alam semesta. Di alam semesta ada planet. Bumi adalah planet.

- Lampu elektrik menyala. Ada lampu elektrik di jalanan. Lampu elektrik menerangi jalan -jalan.

Rujukan

1. "Logik Formal" di New World Encyclopedia. Diperoleh pada 21 April 2019 dari New World Encyclopedia: Newworldyclopedia.org.
2. Morton l. Schagrin Ge Hughes "Logik Formal" dalam pulih pada 21 April 2019 dari Britannica: Britannica.com.
3. "Logik dan Klasifikasinya" di Akademia. Diperoleh pada 23 April 2019 dari Academia: Akademi.Edu.
4. "Logik rasmi" dalam Kamus Falsafah. Diperoleh pada 23 April 2019 Kamus Falsafah: Falsafah.org.
5. "Logik pelbagai guna" dalam Kamus Falsafah. Diperoleh pada 23 April 2019 Kamus Falsafah: Falsafah.org.
6. "Aspek Umum Logik" dalam Essayos Kelab (18 Ogos 2013). Diperoleh pada 23 April 2019 dari Essay Club: Clubansayos.com.
7. "Deontica Logic" di Wikipedia. Diperoleh pada 23 April 2019 dari Wikipedia: Ia adalah.Wikipedia.org.
8. "Logik pelbagai guna" di Wikipedia. Diperoleh pada 23 April 2019 dari Wikipedia: Ia adalah.Wikipedia.org.
9. "Logik Bivalent" di Wikipedia. Diperoleh pada 23 April 2019 dari Wikipedia: Ia adalah.Wikipedia.org