Hukum logika paling dasar (dari Aristotle) adalah:

Hukum Identitas
Ketiga kalimat ini pasti benar:
O enar adalah enar, Salah adalah Salah.
O Setiap hal adalah hal itu sendiri.
O
Hukum Non Kontradiksi
Ketiga kalimat ini juga pasti benar:
O enar bukanlah Salah, Salah bukanlah enar.
O Setiap hal bukanlah yang bukan hal itu.
Hukum Excluded Middle
Selain enar dan Salah tidak ada kemungkinan lain.


engert|an Log|ka
kaLa loglka menuruL kamus berarLl cabang llmu pengeLahuan yang mengamaLl LenLang prlnslpprlnslp
pemlklran dedukLlf dan lndukLlf kaLa loglka menuruL lsLllahnya berarLl suaLu meLode aLau Leknlk yang
dlclpLakan unLuk menellLl keLepaLan penalaran Maka unLuk memahaml apakah loglka lLu haruslah
mempunyal pengerLlan yang [elas LenLang penalaran penalaran adalah suaLu benLuk pemlklrann yang
mellpuLl Llga unsur yalLu konsep pernyaLaan dan penalaran

Loglka adalah bahasa LaLln berasala darl kaLa logos" yang berarLl perkaLaan aLau sabda lsLllah laln
dlgunakan sebagal ganLlnya adalah manLlq" kaLa Arab yang dlambll darl kaLa ker[a naLhaqa" yang
beraraLl berkaLa aLau berucap ualam bahasa seharlharl klLa serlng mendengar ungkapan serupa
'alasannya Lldak logls' 'argumenLasl logls' 'kabar lLu Lldak logls' ?ang dlmaksud dengan logls adalah
masuk akal dan Lldak logls adalah seballknya

ualam buku Loglcand Language of LducaLlon manLlq dlsebuL sebagal penyelldlkan LenLang dasardasar
dan meLodemeLode berflklr benar sedangkan dalam kamus Mun[ld dlsebuL sebagal hukum yang
memellhara haLl nuranl darl kersalahan dalam berflklr Sedangkan lrvlng M Copl menyaLakan loglka
adalah llmu yang mempela[arl meLode dan hukumhukum yang dlgunakan unLuk membedakan
penalaran yang beLul darl penalaran yang salah"

ualam keLerangan laln dlsebuLkan bahwa perkaLaan loglka adalah berasal darl kaLa slfaL loglke" (bahasa
?unanl) yang berhubungan dengan kaLa benda logos yang arLlnya plklran aLau kaLa sebagal pernyaLaan
darl plklran lLu Pal lnl menun[ukkan adanya hubungan yang eraL anLara plklran dan kaLa yang
merupakan pernyaLaannya dalam bahasa !adl loglka adalah llmu yang mempela[arl plklran yang
dlnyaLakan dalam bahasa

uarl uralan dl aLas dapaL dlslmpulkan bahwa llmu manLlq aLau loglka adalah llmu LenLang kaldahkaldah
yang dapaL memblmblng manusla ke arah berflklr secara benar yang menghasllkan keslmpulan yang
benar sehlngga la Lerhlndar darl berflklr secara kellru yang menghasllkan kselmpulan salah Pal lnl
LenLunya dlsebabakan bahwa dalam berflklr manusla Lldak selalu benar serLa acapkall Ler[erumus
dalam slkap skepLls dan Ler[ebak dalam kesalahan berflklr dengan Lanpa Lerasa 8ahkan akal saLu
saLunya benLuk yang lndah karena akal pallng penLlng dalam pandangan lslam Cleh karena lLu Allah
swL selalu memu[l orangorang yang berakal sebagalmana flrmannya dalm suraL al8aqarah ayaL 164
dan suraL Ar8a'd ayaL 34

ALau sederhananya llmu lnl blsa dlsebuL pula sebagal sLudl slsLemaLlk LenLang sLrukLur proposlsl dan
syaraLsyaraL umum mengenal penalaran yang shahlh dengan menggunakan meLode yang
mengesamplngkan lsl aLau bahan proposlsl dan hanya membahas benLuk loglsnya sa[a

uengan demlklan maka Lak heran [lka Allarabl men[ulukl llmu loglka aLau manLlq lnl dengan dasar
llmullmu (ralsul uluum) lbnu slna men[uluklnya sebagal khadlm aluluum dan sebaglan yang laln
men[uluklnya sebagal llmu akal
embag|an |og|ka
Loglka menuruL 1he Llang Cle (1980) Lerbagl men[adl llma baglan
1loqlko mokoo loos Joo loqlko mokoo semplt
ualam arLl semplL lsLllah LersebuL dlpakal searLl dengan dedukLlf aLau loglka formal Sedangkan dalam
arLl yang leblh luas pemakalannya mencakup keslmpulankeslmpulan darl berbagal bukLl dan LenLang
bagalmana slsLem pen[elasan dl susun dalam llmu alam serLa mellpuLl pula pembahasan mengenal
loglka lLu sendlrl

2loqlko ueJoktlf Joo loJoktlf
Loglka dedukLlf adalah suaLu ragam loglka yang mempela[arl asasasas pela[aran yang berslfaL dedukLlf
yaknl suaLu penalaran yang menurunkan suaLu keslmpulan sebagal kemesLlan darl pangkal plklrnya
sehlngga berslfaL beLul menuruL benLuknya sa[a Loglka lndukLlf merupakan suaLu ragam loglka yang
mempela[arl asasasas penalaran yang beLul darl se[umlah hal khusus sampal pada suaLu keslmpulan
umum yang berslfaL boleh [adl

Jloqlko lotmol Joo Motetlol
Loglka formal adalah mempela[arl asas aLuran aLau hukumhukum berflklr yang harus dlLaaLl agar orang
dapaL berflklr dengan benar mencapal kebenaran Loglka maLerlal mempela[arl langsung peker[aan akal
serLa menllal hasllhasll loglka formal dan mengu[lnya dengan kenyaLaan prakLls sesungguhnya Loglka
maLerlal mempela[arl sumbersumber dan asalnya pengeLahuan proses Ler[adlnya pengeLahuan dan
akhlrnya merumuskan meLode llmu pengeLahuan lLu uan sekarang loglka formal adalah llmu yang
mengandung kumpulan kaldah cara berflklr unLuk mencapal kebenaran

loqlko Motol Joo 1etopoo
Loglka murnl adalah merupakan suaLu pengeLahuan mengenal asas dan aLuran loglka yang berlaku
umum pada semua segl dan baglan darl pernyaLaanpernyaLaan dengan Lanpa mempersoalkan arLl
khusus dalam suaLu cabang llmu darl slLllah yang dlpakal dalam pernyaLaan dlmaksud Loglka Lerapan
adalah pengeLahuan loglka yang dlLerapkan dalam seLlap cabang llmu bldangbldang fllsafaL dan [uga
dalam pemblcaraan yang menggunakan bahasa seharlharl

5loqlko lolsofotl Joo Motemotlk
Loglka falsafaLl dapaL dlgolongkan sebagal suaLu ragam aLau baglan loglka yang maslh berhubungan
sangaL eraL dengan pembahasan dalam bldang fllsafaL seperLl loglka kewa[lban dengan eLlka aLau loglka
arLl dengan meLaflslka Adapun loglka maLemaLlk serLa benLuk lambang yang khusus dan cermaL unLuk
menghlndarkan makna ganda aLau kekaburan yang LerdapaL dalam bahasa blasa