Mengenal lebih dalam tentang Logika Informatika

Apa itu Logika Informatika

Logika Informatika berasal dari bahasa “Yunani” yang berarti “Logos” Dalambbahasa Inggris biasa diartikan dengan “Word”,”Speech” atau bisa juga dengan “What is Spoken” lebih biasa kita kenal lagi dengan istilah “thought” atau “reason”.Oleh karena itu definisi Logika ialah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument

yang valid.

Para ahli setuju bahwa Logika adalah studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan menentukan mana argumen yang valid dan membedakan antara argumen yang baik dan argumen yang tidak baik.

Semula Logika dipelajari sebagai salah satu cabang filosofi atau ilmu filsafat. Namun sejak tahun 1800-an logika dipelajari dibidang matematika dan sekarang ini juga dibidang ilmu komputer,karena logika juga mempengaruhi ilmu komputer dibidang perangkat keras (Hardwere) maupun perangkat lunak (Softwere).

Logika disini disebut logika symbol karena ia mempelajari usaha-usahamensimbolisasikan usaha-usaha secara formal.Oleh karena itu Logika jugadisebut dengan logika formal ( Formal Logic ).

Aristotoles adalah orang pertama yang mengobservasi,meneliti dan mencatat hukum-hukum dari logika formal,khususnya bentuk penalaran yang disebut Silogisme yang terdiri dari beberapa permis dan satu konsklusi. Logika yangbdikembangkan oleh Aristoteles ini disebut juga Logika klasik atau Logika Aristoteles.

Share this post