Logika: Perbedaan antara revisi

{{sainsIlmu}}

Logika merupakan sebuah ilmu pengetahuan di manayang obyekobjek materialnya adalah berpikir (khususnyadengan penalaran/proses penalaran), dan obyekobjek formal logika adalah berpikir/penalaran yang ditinjau dari segi ketepatannya. Sebagai ilmu pengetahuan, logika fokus pada analisis dan evaluasi atas cara berfikir yang tepat dan konsisten dalam mencapai kesimpulan argumentasi yang benar. Objek material logika adalah proses berfikir sendiri yang mana logika mengidentifikasi dan menganalisis berbagai jenis penalaran, baik deduktif maupun induktif. Logika meneliti penalaran dari segi ketepatannya, termasuk kesesuaian antara premis-premis yang dijelakan dan kesimpulan yang ditarik berdasarkan premis-premis tersebut.

Logika adalah sebuah cabang filsafat yang praktis. Praktis di sini berarti logika dapat dipraktekkandipraktikkan dalam kehidupan sehari-hari.

Logika lahir bersama-sama dengan lahirnya [[filsafat]] di [[Yunani]]. Dalam usaha untuk memasarkanmenaruh pikiran-pikirannya serta pendapat-pendapatnya, filsuf-filsuf Yunani kuno tidak jarang mencoba membantah pikiran yang lain dengan menunjukkan [[kesesatan|kesesatan penalarannya]].

Logika digunakan untuk melakukan [[pembuktian]]. Logika mengatakan yang bentuk [[inferensi]] yang berlaku dan yang tidak. Secara tradisional, logika dipelajari sebagai cabang [[filosofi]], tetapi juga bisa dianggap sebagai cabang [[matematika]]. logikaLogika tidak bisa dihindarkan dalam proses hidup mencari kebenaran.

== Dasar-dasar Logikalogika ==

Dasar penalaran dalam logika ada dua, yakni deduktif dan induktif.

===[[ Penalaran deduktif]] ===

Penalaran deduktif, kadang disebut logika deduktif, adalah [[penalaran]] yang membangun atau mengevaluasi argumen deduktif. Argumen dinyatakan deduktif jika kebenaran dari kesimpulan ditarik atau merupakan konsekuensi logis dari premis-premisnya. Argumen deduktif dinyatakan valid atau tidak valid, bukan benar atau salah. Sebuah argumen deduktif dinyatakan valid jika dan hanya jika kesimpulannya merupakan konsekuensi logis dari premis-premisnya.

# ∴∴ Setiap kuda punya sebuah jantung

===[[ Penalaran induktif]] ===

Penalaran induktif, kadang disebut logika induktif—adalahinduktif, adalah penalaran yang berangkat dari serangkaian fakta-fakta khusus untuk mencapai kesimpulan umum.

# ∴∴ Setiap kuda punya sebuah jantung

| Jika semua premis benar maka kesimpulan pasti benar.

| Jika premis benar, kesimpulan mungkin benar, tapitetapi tak pasti benar.

== Sejarah Logikalogika ==

Logika dimulai sejak [[Thales]] ([[624 SM]] - [[548 SM]]), [[filsuf Yunani]] pertama yang meninggalkan segala [[dongeng]], [[takhayul]], dan cerita-cerita isapan jempol dan berpaling kepada akal budi untuk memecahkan rahasia alam semesta.

Thales mengatakan bahwa air adalah arkhe (Yunani) yang berarti prinsip atau asas utama alam semesta. Saat itu Thales telah mengenalkan [[logika induktif]].

[[Aristoteles]] kemudian mengenalkan logika sebagai ilmu, yang kemudian disebut ''logica scientica''. Aristoteles mengatakan bahwa Thales menarik kesimpulan bahwa air adalah ''arkhe'' alam semesta dengan alasan bahwa air adalah ''[[jiwa]]'' segala sesuatu.

Dalam logika Thales, air adalah arkhe alam semesta, yang menurut Aristoteles disimpulkan dari:

Jadi, air adalah jiwa dari segala sesuatu, yang berarti, air adalah ''arkhe'' alam semesta.

Sejak saat Thales sang filsuf mengenalkan pernyataannya, logika telah mulai dikembangkan. Kaum Sofis beserta Plato ([[427 SM]]-[[347 SM]]) juga telah merintis dan memberikan saran-saran dalam bidang ini.

Pada masa Aristoteles logika masih disebut dengan ''' ''analitica'' ''', yang secara khusus meneliti berbagai [[argumentasi]] yang berangkat dari [[proposisi]] yang benar, dan ''' ''dialektika'' ''' yang secara khusus meneliti argumentasi yang berangkat dari proposisi yang masih diragukan kebenarannya. Inti dari logika Aristoteles adalah [[silogisme]].

# ''Categoriae'' menguraikan pengertian-pengertian

[[Porohyus]] ([[232]] - [[305]]) membuat suatu pengantar (''eisagoge'') pada ''Categoriae'', salah satu buku Aristoteles.

[[Boethius]] ([[480]]-[[524]]) menerjemahkan ''Eisagoge'' [[Porphyrius]] ke dalam bahasa Latin dan menambahkan komentar- komentarnya.

Johanes[[Santo|St.]] Damascenus[[Yohanes dari Damaskus]] ([[674]] - [[749]]) menerbitkan ''Fons Scienteae''.

=== Abad pertengahan dan logika modern <ref>Logika Selayang Pandang. Oleh Alex Lanur OFM. Penerbit Kanisius 1983. ISBN 979-413-124-5</ref> ===

Pada abad 9 hingga abad 15, buku-buku Aristoteles seperti ''De Interpretatione'', ''Eisagoge'' oleh Porphyus dan karya Boethius masih digunakan.

Lahirlah [[logika modern]] dengan tokoh-tokoh seperti:

* [[Petrus Hispanus]] ([[1210]] - [[1278]])

* [[Roger Bacon]] ([[1214]]-[[1292]])

* [[Raymundus Lullus]] ([[1232]] -[[1315]]) yang menemukan metode logika baru yang dinamakan '''Ars Magna''', yang merupakan semacam [[aljabar]] pengertian.

* [[William Ocham]] ([[1295]] - [[1349]])

Pengembangan dan penggunaan logika Aristoteles secara murni diteruskan oleh Thomas Hobbes ([[1588]] - [[1679]]) dengan karyanya '''Leviatan''' dan [[John Locke]] ([[1632]]-[[1704]]) dalam ''An Essay Concerning Human Understanding''

[[Francis Bacon]] ([[1561]] - [[1626]]) mengembangkan logika induktif yang diperkenalkan dalam bukunya ''Novum Organum Scientiarum''.

[[J.S. Mills]] ([[1806]] - [[1873]]) melanjutkan logika yang menekankan pada pemikiran induksi dalam bukunya ''System of Logic''

* [[Gottfried Wilhelm Leibniz|Gottfried Leibniz]] ([[1646]]-[[1716]]) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakan pekerjaan akal budi dan lebih mempertajam kepastian.

* [[George Boole]] ([[1815]]-[[1864]])

* [[John Venn]] ([[1834]]-[[1923]])

* [[Gottlob Frege]] ([[1848]] - [[1925]])

Lalu [[Chares Sanders Peirce]] ([[1839]]-[[1914]]), seorang filsuf Amerika Serikat yang pernah mengajar di [[JohnJohns Hopkins University]],melengkapi logika simbolik dengan karya-karya tulisnya. Ia memperkenalkan dalil Peirce (''Peirce's Law'') yang menafsirkan logika selaku teori umum mengenai tanda (''general theory of signs).

Logika simbolik lalu diteruskan oleh [[Ludwig Wittgenstein]] ([[1889]]-[[1951]]), [[Rudolf Carnap]] ([[1891]]-[[1970]]), [[Kurt Godel]] ([[1906]]-[[1978]]), dan lain-lain.

Logika masuk ke dalam kategori matematika murni karena matematika adalah logika yang tersistematisasi. Matematika adalah pendekatan logika kepada metode ilmu ukur yang menggunakan tanda-tanda atau simbol-simbol matematik ([[logika modern|logika simbolik]]). Logika tersistematisasi dikenalkan oleh dua orang dokter medis, [[Galenus]] (130-201 M) dan [[Sextus Empiricus]] (sekitar 200 M) yang mengembangkan logika dengan menerapkan metode geometri.

Puncak [[logika modern|logika simbolik]] terjadi pada tahun [[1910]]-[[1913]] dengan terbitnya ''Principia Mathematica '' tiga jilid yang merupakan karya bersama [[Alfred North Whitehead]] ([[1861]] - [[1914]]) dan [[Bertrand Arthur William Russel]] ([[1872]] - [[1970]]).

Logika alamiah adalah kinerja akal budi manusia yang berpikir secara tepat dan lurus sebelum dipengaruhi oleh keinginan-keinginan dan kecenderungan-kecenderungan yang subyektifsubjektif. Kemampuan logika alamiah manusia ada sejak lahir. Logika ini bisa dipelajari dengan memberi contoh penerapan dalam kehidupan nyata.