Logika Hukum

Dalam terminologi hukum atau bahasa hukum dikenal tiga bahasa yang lazim digunakan yakni  law of reasoning (hukum penalaran), legal reasoning (penalaran hukum), dan law and logic (hukum dan logika.
Defenisi hukum yang lengkap dapat mengakomodasi semua aliran dalam hukum penalaran adalah defenisi hukum yang dikemukakan oleh Mochtar Kusumaatmadja. Menurut Kusumaatmadja Hukum adalah seperangkat aturan, kaidah-kaidah, asas-asas dan institusi-instutsi serta proses yang mengikat daya keberlakuannya. Sementara logika berasal dari kata logos yng berarti kata, pertimbangan akal, dan percakapan. Atau dengan bahasa yag sederhana logika_logos diartikan suatu pertimbangan perkataan berdasarkan akal yang sehat atau sesuai dengan standar yang normal.
Contoh penggunaan logika hukum: dalam Pasal 362 KUHP menegaskan barang siapa mengambil barang baik sebagian maupun secara keseluruhan secara melawan hukum dengan maksud untuk memiliki diancam dengan pida penjara selama lima tahun atau pidana denda sebanyak sembilan ratus rupiah.
Unsur dari pasal tersebut:
1.    Barang siapa yang dartikan setiap orang.
2.    Mengambil barang.
3.    Secara melawan hukum.
4.    Maksud untuk memiliki.
Jika saja pasal di atas diterapkan pada pencurian barang seperti kendaraan bermotor. Misalnya si A membawa motor si B tanpa sepengatahuan si B, dan kemudian dalam beberapa jam kemudian Motor itu dikembalikan ditempatnya, dan baru si B mengetahuinya. Dengan menerapakan ketentuan Pasal 362 berarti salah satu unsurnya tidak terpenuhi yakni si A tidak memenuhi unsur perbuataannya “dengan maksud memilki Itu”. Maka bukan dalam kategori pencurian.
Namun sebenarnya kalau ditinjau lebih jauh, dari pemakaian kendaraan bermotor tersebut oleh si A, ada barang yang hilang yakni bensin kendaraan bermotor. Berarti pencurian yang terjadi adalah pencurian bensin.
Dengan demikian logika hukum berfungsi untuk menalar hukum, menalar ketentuan pasal-pasal terhadap peristiwa hukum (seperti peristiwa pidana) sehingga penalaran tersebut sesuai dengan alur  berpikir sistematis, metodik untuk  menghasilkan preposisi hukum yang benar serta imperatif.