• Apakah logik?
• Logik falsafah
• Logik Aristotelian
• Logik matematik
• Logik pengiraan
• Logik formal dan tidak formal

Kami menerangkan apa itu logik dan ciri-ciri logik falsafah, Aristotelian, matematik, pengiraan, formal dan tidak formal.

Logik digunakan dalam pelbagai proses seperti pembuktian, inferens, atau deduksi.

Apakah logik?

Logik ialah a sains formal, yang merupakan sebahagian daripada falsafah dan daripada matematik. Ia memberi tumpuan kepada kajian prosedur yang sah dan tidak sah bagi terfikir, iaitu, dalam proses seperti demonstrasi, inferens atau deduksi, serta dalam konsep seperti falasi, paradoks dan juga kebenaran.

Logik ialah a disiplin sangat kuno, lahir secara bebas di kalangan pemikir yang hebat tamadun klasik dan kuno, seperti orang Cina, Yunani atau India. Dari permulaannya, ia difahami sebagai cara menilai pemikiran untuk menyemak kesahihan formalnya, iaitu, untuk mengenali apakah prosedur yang ideal untuk penaakulan, yang benar-benar membawa kepada kebenaran.

Walau bagaimanapun, sejak abad ke-20, ia telah dianggap sebagai bidang yang lebih mirip dengan matematik, kerana aplikasi yang terakhir mendapat kepentingan industri, sosial dan teknologi yang besar.

Perkataan "logik" berasal dari bahasa Yunani logiké ("Dikurniakan akal"), daripada istilah logo, bersamaan dengan "perkataan" atau "fikiran" sama.

Walau bagaimanapun, dalam bahasa seharian kita menggunakan perkataan ini sebagai sinonim untuk "akal sehat", iaitu, dalam cara berfikir yang bernilai atau bernilai, dalam masing-masing. konteks mungkin. Ia juga digunakan sebagai a sinonim "cara berfikir", seperti apabila merujuk kepada "logik sukan", "logik tentera", dan sebagainya.

Logik falsafah

Dengan istilah ini kita panggil bidang falsafah di mana kaedah logik untuk menyelesaikan atau memajukan dilema falsafah tertentu, boleh dikendalikan dalam logik tradisional yang dianggap atau, sebaliknya, logik bukan klasik. Dengan kata lain, logik dalam kerangka falsafah.

Ia adalah satu disiplin yang sangat dekat dengan falsafah bahasa, dan pada asasnya merupakan kesinambungan logik zaman dahulu, berpaksikan pemikiran dan bahasa semula jadi. Kami biasanya menggunakan nama ini untuk membezakannya daripada logik matematik terkini.

Logik Aristotelian

Dalam logik falsafah, tradisi pemikiran yang bermula dengan karya ahli falsafah Yunani Aristotle de Estagira (384-322 SM), dianggap sebagai pengasas logik barat dan salah seorang pengarang terpenting, dikenali sebagai logik Aristotelian. tradisi falsafah dunia.

Karya-karya utama Aristotle tentang logik dikumpulkan dalam karyanya organ (dari bahasa Yunani "alat"), disusun oleh Andronicus dari Rhodes beberapa abad selepas menulis. Di dalamnya terbentang seluruh sistem logik yang sangat berpengaruh Eropah dan Timur Tengah sehingga selepas itu Pertengahan umur.

Dalam karya ini, lebih-lebih lagi, Aristotle mengemukakan aksiom asas logik:

• Prinsip tidak bercanggah. Menurutnya sesuatu tidak boleh dan tidak pada masa yang sama (A dan ¬A tidak boleh benar pada masa yang sama).
• Prinsip identiti. Menurutnya sesuatu sentiasa sama dengan dirinya sendiri (A sentiasa sama dengan A).
• Prinsip ketiga yang dikecualikan. Mengikut mana sesuatu itu benar atau tidak, tanpa sebarang kemungkinan penggredan (A atau kemudian ¬A).

Logik matematik

Ia dikenali sebagai logik matematik, juga dipanggil logik simbolik, logik formal, logik teori atau logistik, kepada aplikasi pemikiran logik kepada bidang tertentu matematik dan sains.

Ini membayangkan kajian proses inferens, melalui sistem perwakilan formal, seperti logik proposisi, logik modal atau logik urutan pertama, yang membenarkan "menterjemah" bahasa semula jadi ke dalam bahasa matematik untuk membangunkan demonstrasi yang ketat.

Logik matematik merangkumi empat bidang utama, iaitu:

• Teori model. Yang mencadangkan kajian teori aksiomatik dan logik matematik melalui struktur matematik yang dikenali sebagai kumpulan, badan atau graf, dengan itu mengaitkan kandungan semantik kepada pembinaan logik yang formal semata-mata.
• Teori tunjuk cara. Juga dipanggil teori bukti, ia mencadangkan bukti melalui objek matematik dan teknik matematik sebagai cara untuk menyemak masalah logik. Oleh itu, di mana teori model berkaitan dengan pemberian a semantik (makna) kepada struktur logik formal, Teori Pembuktian lebih berkaitan dengan mereka sintaks (pesanannya).
• Teori tentang set. Memberi tumpuan kepada kajian koleksi abstrak objek, difahami dalam diri mereka sebagai objek, serta operasi asas dan saling hubungan. Cabang logik matematik ini adalah salah satu yang paling asas yang wujud, sehingga ia merupakan alat asas bagi mana-mana teori matematik.
• Teori kebolehkiraan. Bidang yang dikongsi antara matematik dan pengkomputeran atau pengkomputeran, mengkaji masalah keputusan yang a algoritma (bersamaan dengan mesin Turing) boleh mengatasinya. Untuk melakukan ini, dia menggunakan teori set, memahaminya sebagai set boleh dikira atau tidak boleh dikira.

Logik pengiraan

Logik pengiraan mencipta sistem pengkomputeran pintar.

Logik pengiraan ialah logik matematik yang sama tetapi digunakan dalam bidang pengkomputeran, iaitu, pada pelbagai peringkat asas pengkomputeran: litar pengiraan, pengaturcaraan logik, dan algoritma pengurusan. Kecerdasan buatan, bidang yang agak baru di kawasan itu, juga merupakan sebahagian daripadanya.

Boleh dikatakan bahawa, secara umum, logik pengiraan bercita-cita untuk memberi makan kepada sistem komputer melalui struktur logik yang menyatakan, dalam bahasa matematik, kemungkinan berbeza pemikiran manusia, sekali gus mewujudkan sistem komputer pintar.

Logik formal dan tidak formal

Perbezaan juga sering dibuat antara dua bidang logik yang berasingan: formal dan tidak formal, berdasarkan pendekatan mereka terhadap bahasa di mana pernyataan dinyatakan.

• Logik formal. Ia adalah yang memperhatikan bahasa formal, iaitu, cara menyatakan kandungannya, menggunakannya dengan ketat, tanpa kekaburan, sedemikian rupa sehingga jalan deduktif dapat dianalisis dari kesahihan kandungannya. bentuk (maka namanya).
• Logik tidak formal. Sebaliknya, kaji mereka hujah posteriori, membezakan bentuk yang sah dan tidak sah daripada maklumat yang diberikan, tanpa mengira bentuk logiknya atau bahasa formalnya. Varian ini muncul pada pertengahan abad ke-20 sebagai disiplin dalam falsafah.