Logika berasal dari dari
bahasa Yunani Kuno: λογική (Logikḗ ),[1] yang
berarti “kata” (the word) atau “apa yang diucapkan” (what is
spoken), tetapi kemudian diartikan “pikiran” atau “alasan” (thought or
reason), adalah subjek yang berkaitan dengan hal yang paling umum atau
acuan dasar dalam hukum atau teori kebenaran, masih dalam bahasa
Yunani, Logika disebut juga λόγος (logos) yang berarti
hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam
bahasa. Logika adalah salah satu cabang filsafat.
Secara umum Logika itu terdiri dari
studi sistematis yang merupakan bentuk dari inferensi yang valid (valid inference).
Inferensi yang valid (valid inference) adalah salah satu
teknik berpikir dimana adanya hubungan spesifik dukungan logis antara asumsi inferensi
dan kesimpulannya. (Baik dalam wacana biasa, penarikan kesimpulan yang dapat
ditandai dengan kata-kata seperti itu, ...karenanya, ..ergo, dan
sebagainya.)
Sebagai ilmu, logika disebut
dengan logike episteme (bahasa Latin: logica scientia)
atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan untuk
berpikir secara lurus, tepat, dan teratur.[2] Ilmu
di sini mengacu pada kemampuan rasional untuk mengetahui dan
kecakapan mengacu pada kesanggupan akal budi untuk mewujudkan pengetahuan ke
dalam tindakan. Kata logis yang dipergunakan tersebut bisa diartikan dengan
masuk akal.
Tidak ada kesepakatan universal
mengenai ruang lingkup yang pasti dan materi ilmu dari logika, tetapi secara
tradisional termasuk klasifikasi argumen, eksposisi sistematis dari ‘bentuk
logis’ umum untuk semua argumen yang valid, studi inferensi, termasuk
kesalahan, dan studi semantik, termasuk paradoks. Secara historis, logika telah
dipelajari dalam filsafat (sejak zaman kuno) dan matematika (sejak pertengahan
abad ke-19), dan baru-baru ini logika telah dipelajari dalam ilmu komputer,
linguistik, psikologi, dan bidang lainnya.
Di dalam filsafat abad pertengahan,
kita melihat berkembangnya suatu cara berpikir yang nantinya akan mempengaruhi
perkembangan pengetahuan manusia secara signifikan, yakni metode berpikir
deduktif.
Secara literal metode deduktif, atau
yang banyak juga dikenal sebagai prinsip deduktif (deductive principle),
adalah kemampuan orang untuk mengembangkan pengetahuannya dengan menarik
kesimpulan dari pengetahuan-pengetahuan yang sebelumnya telah ia ketahui.[3]
Dalam filsafat skolastik periodik,
logika didominasi oleh Aristotelian. Dengan mengikuti kemerosotannya
skolastisisme, logika dianggap sebagai urusan ide atau bentuk abstraksi yang
pengalaman skemata oleh para filsuf modern awal seperti Locke dan Hume
(1711-1716). Immanuel Kant mengambil satu langkah lebih jauh. Dia mulai dengan
asumsi para filosof empirisis, bahwa semua pengetahuan adalah internal pikiran,
dan bahwa kita tidak memiliki pengetahuan asli tentang ‘hal-hal dalam diri
mereka sendiri’.
Lebih jauh lagi, (ide yang sepertinya
didapatnya dari Hume) materi pengetahuan adalah suksesi ide-ide terpisah yang
tidak memiliki hubungan intrinsik dan dengan demikian tidak ada persatuan yang
nyata. Agar sensasi yang berbeda ini dibawa ke dalam semacam keteraturan dan
koherensi, harus ada mekanisme internal dalam pikiran yang menyediakan
bentuk-bentuk yang kita pikirkan, rasakan dan alasan.
Kant menyebut bentuk-bentuk ini sebagai
Kategori (dalam arti yang agak berbeda dari yang digunakan oleh para ahli
logika seperti Aristotelelian), yang ia klaim ada dua belas:
- Kuantitas (Quantity): tunggal,
Khusus, Universal (Singular, Particular, Universal);
- Kualitas (Quality): Afirmatif,
Negatif, Tak Terbatas (Affirmative, Negative, Infinite);
- Relasi (Relation): Kategoris,
Hipotesis, Disjungtif (Categorical, Hypothetical, Disjunctive);
- Modalitas (Modality): Bermasalah,
Assertor, Apodiktik, (Problematic, Assertoric, Apodictic).
Namun, ini tampaknya merupakan
pengaturan yang sewenang-wenang, didorong oleh keinginan untuk menghadirkan
penampilan atau pikiran yang harmonis daripada dari metode atau sistem yang
mendasarinya.
Misalnya, sifat triple dari setiap
divisi memaksanya untuk menambahkan kategori buatan seperti penilaian yang tak
terbatas. Konsepsi logika ini akhirnya berkembang menjadi bentuk
ekstrim psychologism yang dianut pada abad ke-19 oleh Benno
Erdmann dan lain-lain. Pandangan sejarawan logika ini muncul karena pengaruh
Kant yang dinilai memberi efek yang negatif.
Pandangan lain tentang logika yang
dianut oleh Hegel dan yang lain dari sekolahnya (seperti Lotze, Bradley,
Bosanquet dan lain-lain), adalah 'Logic of the Pure Idea'.
Ciri utama dari pandangan ini adalah
identifikasi Logika dan Metafisika. Alam Semesta berasal dari kategori
pemikiran. Pikiran dalam perkembangan penuhnya menjadi Ide Mutlak, pikiran
ilahi yang berkembang sendiri dalam perkembangan Alam Semesta.
Dalam periode modern, Gottlob Frege
mengatakan “Sama seperti ‘cantik’ menunjukkan jalan untuk estetika dan “baik”
untuk etika, begitu juga kata-kata seperti ‘benar’ untuk logika”, dan terus
mengkarakterisasi tugas khas logika “untuk membedakan hukum kebenaran.”[4]
Kemudian, WV Quine (1940, pp. 2–3)
mendefinisikan logika dalam hal kosakata logis, yang pada gilirannya
diidentifikasi oleh argumen bahwa banyak kosakata tertentu —Qual menyebutkan
kosa kata geologis— digunakan dalam wacana khusus mereka bersama-sama dengan
kernel yang umum dan bebas topik. Istilah-istilah ini, kemudian, merupakan
kosa kata logis, dan kebenaran logis adalah kebenaran yang umum untuk semua
topik tertentu.
Hofweber (2004) mendaftar beberapa
definisi logika, dan terus mengklaim bahwa semua definisi logika adalah salah
satu dari empat jenis. Ini adalah bahwa logika adalah studi tentang: (i)
struktur formal buatan, (ii) inferensi suara (misalnya, Poinsot), (iii)
tautologi (misalnya, Watts), atau (iv) gambaran umum pemikiran (misalnya,
Frege).
Dia kemudian berpendapat bahwa
definisi-definisi ini saling terkait satu sama lain, tetapi tidak saling
melengkapi satu sama lain, dan bahwa pemeriksaan ontologi formal menunjukkan
bahwa ketidakcocokan antara definisi saingan adalah karena masalah rumit dalam
ontologi. Dari pikiran-pikiran yang diatas maka dari sinilah muncul
istilah istilah Rival Conceptions of Logic.
[1] “possessed of reason, intellectual, dialectical, argumentative", also related to λόγος (logos), "word, thought, idea, argument, account, reason, or principle” (Liddell & Scott 1999; Online Etymology Dictionary 2001)
[2] Jan Hendrik Rapar, 1996, “Pengantar
Logika, Asas-asas penalaran sistematis”, (Yogyakarta, Penerbit
Kanisius)
[3] Anthony Brueckner, Routledge Encyclopedia
of Philosophy.
[4] 'Der Gedanke', 1997, Beitraege zur Philosophie
des deutschen Idealismus I, 1918, pp.58--77, translated as
'Thought' in Beaney.
.png)
