Logika Informatika : Definisi serta Hubungan Logika dengan Matematika dan Komputer

Logika 

Etimologi logika berasal dari perkataan Yunani yaitu logike (kata sifat) dan logos (kata benda), yang berarti “pikiran atau perkataan sebagai pernyataan dari pikiran, alasan atau uraian”. Dengan demikian, logika merupakan pekerjaan akal pikiran manusia dalam bernalar untuk menghasilkan kebenaran atau penyimpulan yang benar. 

Sebagai ilmu, disebut logica scientia yang berarti ilmu logika, namun sekarang ini hanya lazim disebut dengan logika saja. Jadi, logika adalah suatu ilmu pengetahuan tentang prinsip-prinsip dan norma-norma penyimpulan yang dipandang dari aspek yang benar (sahih). Ada yang berpendapat bahwa logika adalah ilmu dalam lingkungan filsafat yang membahas prinsip-prinsip dan hukum-hukum penalaran yang tepat. Ada juga yang menandaskan bahwa logika adalah ilmu pengetahuan (science) tetapi sekaligus merupakan kecakapan atau keterampilan yang merupakan seni (art) untuk berpikir secara lurus, tepat, dan teratur. 

Dalam hal ini, ilmu mengacu pada kemampuan rasional untuk mengetahui, sedangkan kecakapan atau keterampilan mengacu pada kesanggupan akal budi untuk mewujudkan pengetahuan ke dalam tindakan. Selain itu, ada juga ahli yang berpendapat bahwa logika adalah teknik atau metode untuk meneliti ketepatan berpikir. Jadi logika tidak terlihat selaku ilmu, tetapi hanyalah merupakan metode. Ada pula yang mengatakan bahwa logika adalah ilmu yang mempersoalkan prinsip-prinsip dan aturan-aturan penalaran yang sahih (valid). 

Berdasar dari pengertian logika yang diuraikan di atas, dapat dikatakan bahwa logika merupakan cabang filsafat yang mempelajari, menyusun, mengembangkan, dan membahas asas-asas, aturan-aturan formal, prosedur-prosedur, serta kriteria yang sahih bagi penalaran dan penyimpulan demi pencapaian kebenaran yang dapat dipertanggungjawabkan secara rasional.

Definisi Pengertian Logika Menurut Para Ahli

Menurut William Alston, logika adalah studi tentang penyimpulan, secara lebih cermat usaha untuk menetapkan ukuran-ukuran guna memisahkan penyimpulan yang sah dan yang tidak sah

Menurut Sheldon Lachman, logika adalah cabang ilmu yang sistematis mengenai penyusunan dan pengembangan dari aturan formal, prosedur normatif, dan ukuran-ukuran bagi penyimpulan yang sah

Menurut Jan Hedrik Rapar, logika adalah cabang filsafat yang mempelajari, menyusun, mengembangkan, dan membahas asas-asas, aturan-aturan formal, prosedur-prosedur serta kriteria yang sahih bagi penalaran dan penyimpulan demi mencapai kebenaran yang dapat dipertanggungjawabkan secara rasional

Menurut Baktiar, logika adalah sarana untuk berpikir sistematik, valid dan dapat dipertanggungjawabkan. Karena itu, berpikir logis adalah berpikir sesuai dengan aturan-aturan berpikir, seperti setengah tidak boleh lebih besar daripada satu. Berdasar dari pengertian logika yang diuraikan di atas, dapat dikatakan bahwa logika merupakan cabang filsafat yang mempelajari, menyusun, mengembangkan, dan membahas asas-asas, aturan-aturan formal, prosedur-prosedur, serta kriteria yang sahih bagi penalaran dan penyimpulan demi pencapaian kebenaran yang dapat dipertanggungjawabkan secara rasional

Menurut Louis O. Kattsoff, logika ialah ilmu pengetahuan mengenai penyimpulan yang lurus. Ilmu pengetahuan ini menguraikan tentang aturan-aturan serta cara-cara untuk mencapai kesimpulan, setelah didahului oleh suatu perangkat premis.

Menurut Sumaryono, Logika adalah ilmu pengetahuan dan keterampilan untuk berpikir lurus.

Menurut Poedjawijatna, logika adalah filsafat budi (manusia) yang mempelajari teknik berpikir untuk mengetahui bagaimana manusia berpikir dengan semestinya.

Menurut Hasbullah Bakry, logika adalah ilmu pengetahuan yang mengatur penelitian hukum-hukum akal manusia sehingga menyebabkan pikirannya dapat mencapai kebenaran

Korelasi Hubungan Logika dengan Matematika

Menurut Rudolf Carnap mengungkapkan bahwa hubungan logika dan matematika :

• Konsep matematika dapat diturunkan dari konsep-konsep logika dengan melalui batasan-batasan yang jelas.
• Dalil-dalil matematika dapat diturunkan dari aksioma-aksioma logika dengan perantara deduksi logis secara murni. 

Menurut Betrand Russel menjelaskan bahwa Logika adalah masa muda matematika dan matematika adalah masa dewasa logika.

Korelasi Hubungan Logika dengan Komputer

Arsitektur sistem komputer tersusun atas rangkaian logika 1 (true) dan 0 (false) yang dikombinasikan dengan sejumlah gerbang logika AND, OR, NOT, XOR, dan NAND.

Program komputer berjalan di atas struktur penalaran yang baik dari suatu solusi terhadap suatu permasalahan dengan bantuan komponen program IF…THEN…ELSE, FOR…TO…DO, WHILE, CASE…OF.

Seperti yang telah diketahui bahwa komputer memerlukan instruksi yang berupa langkah-langkah pengurutan sehingga sebuah prosedur dapat dijalankan. Nah, prosedur yang berisi langkah-langkah penyelesaian masalah inilah yang disebut dengan Algoritma. Algoritma itu sendiri dibentuk berdasarkan konsep logika informatika.

Ketahui juga hubungan Algoritma dengan Flowchart melalui artikel berikut ini Hubungan Algoritma dengan Flowchart. Ketika pembentujab suatu algoritma secara garis besar ada 3 teknik notasi algoritma yaitu pseude code, deskripsi dan flowchart.