Tentang Logika

Logika adalah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran serta mengkaji prinsipprinsip penalaran yang benar dan penarikan kesimpulan yang absah. 

Ilmu logika berhubungan dengan kalimat-kalimat (argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. 

Tujuannya adalah memberikan aturan-aturan sehingga orang dapat menentukan apakah suatu kalimat bernilai benar. Kalimat yang dipelajari dalam logika bersifat umum, baik bahasa sehari-hari maupun bukti matematika yang didasarkan atas hipotesa-hipotesa. 

Oleh karena itu aturan-aturan yang berlaku di dalamnya haruslah bersifat umum dan tidak tergantung pada kalimat atau disiplin ilmu tertentu. Ilmu logika lebih mengarah dalam bentuk sintaks-sintaks daripada arti dari kalimat itu sendiri.

Logika disebut juga “the calculus of computer science” karena logika memegang peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu kimia, dan sebagainya.

Logika Informatika berasal dari bahasa Yunani yang berarti “Logos”. Dalam bahasa Inggris biasa diartikan dengan “Word”, “Speech” atau bisa juga dengan “What is Spoken” lebih biasa kita kenal lagi dengan istilah “Thought” atau “Reason”.

Sejarah Logika.

Manusia belajar logika sejak jaman Yunani Kuno. Aristoteles (384-322 SM) adalah seorang filsuf yang mengembangkan logika pada jaman itu, yang pada waktu itu dikenal dengan sebutan logika tradisional.

Terdapat 5 aliran besar dalam logika, yaitu :

1. Aliran Logika Tradisional. Logika ditafsirkan sebagai suatu kumpulan aturan praktis yang menjadi petunjuk pemikiran.
2. Aliran Logika Metafisis. Susunan pikiran itu dianggap kenyataan, sehingga logika dianggap seperti metafisika. Tugas pokok logika adalah menafsirkan pikiran sebagai suatu tahap dari struktur kenyataan. Sebab itu untuk mengetahui kenyataan, orang harus belajar logika lebih dahulu.
3. Aliran Logika Epistemologis. Dipelopori oleh Francis Herbert Bradley (1846 - 1924) dan Bernard Bosanquet (1848 - 1923). Untuk dapat mencapai pengetahuan yang memadai, pikiran logis dan perasaan harus digabung. Demikian juga untuk mencapai kebenaran, logika harus dihubungkan dengan seluruh pengetahuan lainnya.
4. Aliran Logika Instrumentalis (Aliran Logika Pragmatis) Dipelopori oleh John Dewey (1859 - 1952). Logika dianggap sebagai alat (instrumen) untuk memecahkan masalah.
5. Aliran Logika Simbolis Dipelopori oleh Leibniz, Boole dan De Morgan. Aliran ini sangat menekankan penggunaan bahasa simbol untuk mempelajari secara terinci, bagaimana akal harus bekerja. Metode-metode dalam mengembangkan matematika banyak digunakan oleh aliran ini, sehingga aliran ini berkembang sangat teknis dan ilmiah serta bercorak matematika, yang kemudian disebut Logika Matematika (Mathematical Logic). G.W. Leibniz (1646 - 1716) dianggap sebagai matematikawan pertama yang mempelajari Logika Simbolik.

Pada abad kesembilan belas, George Boole (1815 - 1864) berhasil mengembangkan Logika Simbolik. Bukunya yang berjudul Low of Though mengembangkan logika sebagai sistem matematika yang abstrak. Logika Simbolik ini merupakan logika formal yang semata-mata menelaah bentuk dan bukan isi dari apa yang dibicarakan. 

Studi tentang logika berkembang terus dan sekarang logika menjadi ilmu pengetahuan yang luas dan yang cenderung mempunyai sifat teknis dan ilmiah. Aljabar Boole, salah satu topik yang merupakan perluasan logika (dan teori himpunan), sekarang ini digunakan secara luas dalam mendesain komputer. Penggunaan simbol-simbol Boole dapat mengurangi banyak kesalahan dalam penalaran.

Logika.

• Logika Alamiah atau juga disebut sebagai Kinerja akal budi manusia yang berfikir secara tepat dan lurus sebelum dipengaruhi oleh keinginan-keinginan dan kecenderungan-kecenderungan yang subjektif. Kemampuan Logika alamiah manusia itu ada sejak lahir pengetahuan yang mengkaji tentang gejala-gejala alam semesta, termasuk dimuka bumi ini sehingga terbentuk konsep dan prinsip. 
• Logika Ilmiah merupakan logika yang memperhalus dan mempertajam pikiran manusia serta akal budi manusia. Logika ilmiah menjadi ilmu khusus yang merumuskan azas-azas yang harus ditepati dalam Setiap pemikiran. Berkat pertolongan logika ilmiah inilah akal budi dapat bekerja dengan lebih tepat, lebih teliti, lebih mudah dan lebih aman. Logika ilmiah dimaksudkan untuk Menghindarkan kesesatan atau paling tidak dapat dikurangi. Logika ilmiah dapat dikatakan rasional atau masuk akal karena dalam logika ilmiah telah Adanya akal sehat yang mendalami penelitian ilmiah dengan berbagai alasan.

Istilah-Istilah Logika.

• Premis: Pernyataan
• Argumen: Usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari suatu kumpulan pernyataan.
• Konklusi: Kesimpulan