Logika Informatika

Logika berasal dari bahasa Yunani, yaitu logos yang artinya kata, ucapan atau alasan. Jadi, logika ialah ilmu untuk berfikir dan menalar dengan benar.

Logika berhubungan dengan daypikir (reasoning). Perhatian utamanya tertuju pada upaya untuk membedakan argumen-argumen yang baik dari yang buruk.

Salah satu orang pertama yang meletakkan beberapa hukum wacana daypikir ialah Aristoteles, sang filsuf terkemuka dari Yunani kuno.

“Logika" bagi Aristoteles dan para pengikutnya tidak dikategorikan sebagai satu ilmu di antara ilmu-ilmu yang lain. Menurut Aristoteles “logika” ialah persiapan yang mendahului ilmu-ilmu.

Atau sanggup dikatakan bahwa “logika” ialah alat (organon) untuk mempraktikkan ilmu pengetahuan. Selama hampir dua ribu tahun sesudahnya, logika nyaris tetap sama sebagaimana yang ia wariskan.

Orang pertama yang memakai istilah “logika” ialah Cicero (abad pertama  sebelum Masehi) tetapi dalam pengertian “seni berdebat’. Di lalu hari, yakni pada permulaan periode ketiga masehi, Alexander Aphrodisias menggunakan istilah “logika” dengan arti yang dikenal sekarang.

Sampai berabad-abad lamanya pembicaraan mengenai logika tidak mengalami perkembangan melainkan masih tetap sama ibarat pada waktu Aristoteles. Immanuel Kant (Abad XVIII) menyampaikan logika tidak mengalami perkembangan. 

Akan tetapi pada pertengahan periode XIX logika mengalami perkembangan alasannya ialah ada perjuangan dari beberapa tokoh yang mencoba menerapkan matematika ke dalam logika.

Gejala itu kini dikenal sebagai ketika munculnya logika modern. Sejak ketika itu logika dibedakan menjadi logika tradisional/klasik dan logika modern yang lazim dikenal sebagai logika matematika/simbolik.

Logika tradisional/klasik ialah sistem ciptaan Aristoteles yang berfungsi untuk menganalisa bahasa. Sedangkan logika modern berusaha menerapkan prinsip-prinsip matematik terhadap logika tradisional dengan memakai lambang-lambang non-bahasa.

Dengan demikian keduanya berkaitan bersahabat satu dengan yang lain. Oleh alasannya ialah itu memahami kedua macam logika dengan baik merupakan derma yang sangat besar dalam berpikir yang teratur, tepat, dan teliti.

Logika dijuluki sebagai “kalkulusnya ilmu komputer.” Argumen ini didasarkan pada fakta bahwa logika memainkan tugas mendasar dalam ilmu komputer, sejajar dengan tugas kalkulus dalam ilmu-ilmu eksakta dan rekayasa.

Kita mempunyai bidang-bidang dalam ilmu komputer yang berpijak pada logika, ibarat arsitektur komputer (gerbang logika), rekayasa perangkat lunak (spesifikasi dan verifikasi), bahasa-bahasa pemrograman (semantik, pemrograman logika), basis data (aljabar relasional dan SQL), kecerdasan buatan (teorema pembuktian otomatik), algoritma (kompleksitas), dan teori komputasi (gagasan-gagasan umum wacana komputabilitas).

Sebagai citra sederhana, memakai pemahaman wacana aljabar logika yang nantinya akan pelajari, penulisan perintah kondisional atau query yang panjang di dalam sebuah pemrograman, contohnya :

if A = 1 and (A <> 1 or B = 2) then … append from X where (nil = “B” or prak = “C”) and ((prak = “C” or  nil =”B”) and mangkir > 70)) … 

note : slide ke kiri atau kanan, untuk melihat code lebih lengkap

sanggup diringkas, dan oleh kesannya lebih gampang dimengerti, sebagai berikut.

if A = 1 or B = 2 then …  append from X where (nil = “B” or prak = “C”) and mangkir > 70 … 

note : slide ke kiri atau kanan, untuk melihat code lebih lengkap

Logika modern saat ini telah menjelma kajian ilmiah dan matematis, tidak lagi sekedar bergelut di tataran filosofis. Berangkat dari simbolisme Boolean, dan pengembangannya berupa aljabar Boolean, para andal terus berupaya membuatkan ilmu logika beserta variasi-variasinya termasuk di antaranya logika proposisional (propositional logic), logika orde pertama (first order logic), dan yang paling trakhir, logika fuzzy (fuzzy logic).

Secara singkat manfaat logika sanggup dikategorikan sebagai berikut.

1. Logika menyatakan, menjelaskan, dan mempergunakan prinsip-prinsip abnormal yang sanggup digunakan dalam semua lapangan ilmu pengetahuan (bahkan seluruh lapangan kehidupan).
2. Logika menambah daya berpikir abnormal dan dengan demikian melatih dan membuatkan daya anutan dan menjadikan disiplin intelektual.
3. Logika mencegah kita tersesat oleh segala sesuatu kita peroleh menurut autoritas, emosi, dan prasangka.
4. Logika di masa yang kini dikenal sebagai "era of reason", membantu kita untuk bisa berpikir sendiri dan tahu memberakan yang benar dari yang palsu.
5. Logika membantu orang untuk sanggup berpikir lurus, sempurna dan teratur alasannya ialah dengan berpikir demikian ia sanggup memperoleh kebenaran dan menghindari kesehatan.

Sekian artikel kali ini.

Mudah-mudahan bermanfaat.