- Apa itu logika?
- Logika filosofis
- Logika Aristoteles
- logika matematika
- logika komputasi
- Logika formal dan informal
Kami menjelaskan apa itu logika dan ciri-ciri logika filosofis, Aristotelian, matematika, komputasi, formal dan informal.
Apa itu logika?
Logika adalah ilmu formal, yang merupakan bagian dari filsafat dan dari matematika. Ini berfokus pada studi tentang prosedur yang valid dan tidak valid dari pikiran, yaitu, dalam proses seperti demonstrasi, inferensi atau deduksi, serta dalam konsep-konsep seperti kekeliruan, paradoks dan kebenaran.
Logika adalah disiplin sangat kuno, lahir secara independen di antara para pemikir besar peradaban klasik dan kuno, seperti Cina, Yunani atau India. Sejak awal, itu dipahami sebagai cara menilai pemikiran untuk memeriksa validitas formalnya, yaitu untuk mengenali apa prosedur ideal dari pemikiran, yang benar-benar menuntun pada kebenaran.
Namun, sejak abad ke-20, matematika dianggap sebagai bidang yang lebih mirip dengan matematika, karena penerapan matematika menjadi sangat penting dalam industri, sosial, dan teknologi.
Kata "logika" berasal dari suara Yunani logika ("Diberkahi dengan alasan"), dari istilah logo, setara dengan "kata" atau "pikiran".
Namun, dalam bahasa sehari-hari kita menggunakan kata ini sebagai sinonim untuk "akal sehat", yaitu, dalam cara berpikir yang berharga atau bernilai, dalam arti masing-masing. konteks mungkin. Ini juga digunakan sebagai sinonim dari "cara berpikir", seperti ketika mengacu pada "logika olahraga", "logika militer", dan seterusnya.
Logika filosofis
Dengan istilah ini kami menyebut bidang filsafat di mana metode logika untuk menyelesaikan atau memajukan dilema filosofis tertentu, mampu ditangani dalam logika tradisional yang dianggap atau, sebaliknya, logika non-klasik. Dengan kata lain, logika dalam kerangka filsafat.
Ini adalah disiplin yang sangat dekat dengan filosofi bahasa, dan pada dasarnya merupakan kelanjutan dari logika kuno, berpusat pada pemikiran dan bahasa alami. Kami biasa menggunakan nama ini untuk membedakannya dari logika matematika terbaru.
Logika Aristoteles
Dalam logika filosofis, tradisi pemikiran yang dimulai dengan karya filsuf Yunani Aristoteles de Estagira (384-322 SM), dianggap sebagai pendiri logika barat dan salah satu penulis terpenting, dikenal sebagai logika Aristotelian. tradisi filosofis dunia.
Karya-karya utama Aristoteles tentang logika dikumpulkan dalam karyanya Organ (dari bahasa Yunani "instrumen"), disusun oleh Andronicus dari Rhodes beberapa abad setelah menulis. Di dalamnya, seluruh sistem logis terungkap yang sangat berpengaruh dalam Eropa dan Timur Tengah sampai setelahnya Abad Pertengahan.
Dalam karya ini, apalagi, Aristoteles mendalilkan aksioma dasar logika:
- Prinsip non-kontradiksi. Menurutnya sesuatu tidak bisa dan tidak sekaligus (A dan A tidak bisa benar pada saat yang sama).
- Prinsip identitas. Menurutnya sesuatu selalu identik dengan dirinya sendiri (A selalu sama dengan A).
- Prinsip ketiga yang dikecualikan. Menurut mana sesuatu itu benar atau tidak, tanpa kemungkinan gradasi (A atau kemudian A).
logika matematika
Hal ini dikenal sebagai logika matematika, juga disebut logika simbolik, logika formal, logika teoretis atau logistik, untuk penerapan berpikir logis ke bidang matematika tertentu dan Sains.
Ini menyiratkan studi tentang proses inferensi, melalui sistem representasi formal, seperti logika proposisional, logika modal atau logika orde pertama, yang memungkinkan "menerjemahkan" bahasa alami ke dalam bahasa matematika untuk mengembangkan demonstrasi yang ketat.
Logika matematika mencakup empat bidang utama, yaitu:
- teori model. Yang mengusulkan studi teori aksiomatik dan logika matematika melalui struktur matematika yang dikenal sebagai kelompok, badan atau grafik, sehingga menghubungkan konten semantik dengan konstruksi logika yang murni formal.
- Teori demonstrasi. Juga disebut teori pembuktian, ia mengusulkan bukti melalui objek matematika dan teknik matematika sebagai cara untuk memeriksa masalah logika. Jadi, di mana teori model berkaitan dengan pemberian semantik (makna) untuk struktur formal logika, Teori Pembuktian lebih berkaitan dengan sintaksis (pemesannya).
- teori tentang set. Berfokus pada studi koleksi abstrak objek, dipahami dalam diri mereka sebagai objek, serta operasi dasar dan keterkaitannya. Cabang logika matematika ini adalah salah satu yang paling mendasar yang ada, sedemikian rupa sehingga merupakan alat dasar dari setiap teori matematika.
- Teori komputabilitas. Area bersama antara matematika dan komputasi atau komputasi, mempelajari masalah keputusan yang a algoritma (setara dengan mesin Turing) dapat mengatasinya. Untuk melakukan ini, ia menggunakan teori himpunan, memahaminya sebagai himpunan yang dapat dihitung atau tidak dapat dihitung.
logika komputasi
Logika komputasi menciptakan sistem komputasi yang cerdas.Logika komputasi adalah logika matematika yang sama tetapi diterapkan pada bidang komputasi, yaitu, pada berbagai tingkat dasar komputasi: sirkuit komputasi, pemrograman logika, dan algoritma manajemen. Kecerdasan buatan, bidang yang relatif baru di area tersebut, juga merupakan bagian darinya.
Dapat dikatakan bahwa, secara umum, logika komputasional bercita-cita untuk memberi makan sistem komputer melalui struktur logis yang mengekspresikan, dalam bahasa matematika, berbagai kemungkinan pemikiran manusia, sehingga menciptakan sistem komputer yang cerdas.
Logika formal dan informal
Perbedaan juga sering dibuat antara dua bidang logika yang terpisah: formal dan informal, berdasarkan pendekatan mereka terhadap bahasa di mana pernyataan diekspresikan.
- Logika formal. Ini adalah yang memperhatikan bahasa formal, yaitu cara mengungkapkan isinya, menggunakannya secara ketat, tanpa ambiguitas, sedemikian rupa sehingga jalur deduktif dapat dianalisis dari validitas isinya. bentuk (karena itu namanya).
- Logika tidak resmi. Sebagai gantinya, pelajari argumen a posteriori, membedakan bentuk yang sah dan tidak sah dari informasi yang diberikan, terlepas dari bentuk logisnya atau bahasa formalnya. Varian ini muncul pada pertengahan abad ke-20 sebagai disiplin dalam filsafat.