Logika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Bagian ini tidak usah di buat Tag: Dikembalikan VisualEditor Suntingan perangkat seluler Suntingan peramban seluler |
Tidak ada ringkasan suntingan Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
||
| (50 revisi perantara oleh 33 pengguna tidak ditampilkan) | |||
Baris 1:
{{filsafat}}
{{Ilmu}}
'''Logika''' ({{lang-nl|logica}}) atau '''mantik''' adalah studi tentang [[penalaran]] yang tepat. Logika, menurut objek studinya, dibagi menjadi dua, yakni [[logika formal]] dan [[logika informal]]. Logika informal adalah ilmu yang berkenaan dengan penerapan logika pada [[bahasa sehari-hari]]. Sebaliknya, logika formal adalah ilmu yang berkenaan dengan penerapan logika pada [[bahasa formal]]. Sebagai instrumen berpikir, logika memiliki peran penting pada berbagai bidang, seperti [[filsafat]], [[matematika]], dan [[linguistik]].
Logika meneliti [[argumen]] (atau [[proposisi]]) yang terdiri dari pernyataan pendukung (atau [[premis]]) yang mendasari [[Kesimpulan (logika)|kesimpulan]]. Tidak semua ujaran dan pikiran mengandung argumen.<ref>{{Cite book|last=Hurley|first=Patrick J.|last2=Watson|first2=Lori|date=2018|title=A Concise Introduction to Logic|url=https://archive.org/details/conciseintroduct0013hurl|publisher=Cengage Learning|isbn=9781305958098|pages=[https://archive.org/details/conciseintroduct0013hurl/page/14 14]|url-status=live}}</ref>
Contoh sebuah argumen, misalnya: "Hari Minggu sekolah libur, dan sekarang hari Minggu. Maka, hari ini sekolah libur." Kalimat pertama adalah premis, yang mendasari kesimpulan "Hari ini sekolah libur" pada kalimat kedua.
Sebuah argumen bisa bersifat wajar dan tidak wajar. Sebuah argumen wajar mesti mengandung setidaknya satu premis yang mendukung kesimpulan. [[Kesesatan|Sesat pikir]] adalah argumen yang tidak wajar.
Ilmu logika ({{lang-la|logica scientia}}) mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur.<ref>Jan Hendrik Rapar. 1996. [http://www.kanisiusmedia.com/product/detail/027248 ''Pengantar Logika. Asas-asas penalaran sistematis.''] {{Webarchive|url=https://web.archive.org/web/20170705164612/http://www.kanisiusmedia.com/product/detail/027248|date=2017-07-05}} Yogyakarta: Penerbit Kanisius. ISBN 979-497-676-8</ref> Ilmu logika telah dipelajari sejak [[Sejarah kuno|zaman kuno]], dengan pendekatan-pendekatan, seperti Pendekatan [[Nyaya]] di India, Pendekatan [[Mo Tzu|Mohisme]] di Tiongkok, dan [[Logika Aristotelian|Pendekatan Aristoteles]] di [[Yunani Kuno]]. Kini, logika terbagi menjadi [[logika klasik]] (atau logika baku) dan [[logika alternatif]]; logika klasik adalah yang umum dipelajari. Logika klasik terdiri dari [[Kalkulus proposisional|logika pernyataan]] dan [[Logika predikat tingkat pertama|logika predikat]].
== Etimologi ==
[[Berkas:Zeno of Citium pushkin.jpg|jmpl|Patung Zeno yang menjadi orang pertama yang menyatakan kata ''logic'']]
Kata logika merupakan kata serapan dari kata ''logic'' yang pertama kali diucapkan oleh [[Zeno dari Citium]] yang juga merupakan kata serapan dari kata [[wiktionary:λογική#Ancient_Greek|λογική]] (''logike)'' [[Bahasa Yunani]] yang memiliki makna perihal masalah terkait fikiran manusia.<ref>{{Cite book|last=Ramos|first=Christine Carmela R|date=2004|url=https://books.google.com/books?id=y2XkGpGBzbsC&newbks=0&printsec=frontcover&pg=PA13&dq=zeno+coined+term+logic&hl=en|title=Introduction to Philosophy' 2004 Ed.- Ramos|location=Manila|publisher=Rex Bookstore, Inc.|isbn=978-971-23-3955-4|pages=13|language=en|url-status=live}}</ref> Berdasarkan sumber lain, kata logika merupakan kata turunan dari kata ''logica'' yang merupakan
== Logika sebagai ilmu pengetahuan ==
Logika merupakan sebuah ilmu pengetahuan yang objek materialnya adalah berpikir dengan penalaran, dan objek formal logika adalah 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 sebagai cabang filsafat ==
Baris 26 ⟶ 33:
=== Penalaran deduktif ===
{{main|Pembuktian melalui deduksi}}
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.
Contoh argumen deduktif:
Baris 61 ⟶ 68:
=== Masa Yunani Kuno ===
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]].
Baris 90 ⟶ 97:
Istilah logika untuk pertama kalinya dikenalkan oleh Zeno dari Citium [[334 SM]] - [[226 SM]] pelopor [[Kaum Stoa]]. Sistematisasi logika terjadi pada masa Galenus ([[130 M]] - [[201 M]]) dan Sextus Empiricus [[200 M]], dua orang dokter medis yang mengembangkan logika dengan menerapkan metode geometri.
[[Porohyus]] ([[232]] - [[305]]) membuat suatu pengantar
[[Boethius]] ([[480]]-[[524]]) menerjemahkan ''Eisagoge'' [[Porphyrius]] ke dalam bahasa Latin dan menambahkan komentar- komentarnya.
Baris 105 ⟶ 112:
* [[Petrus Hispanus]] ([[1210]] - [[1278]])
* [[Roger Bacon]] ([[1214]]-[[1292]])
* [[Raymundus Lullus]] ([[1232]] -[[1315]]) yang menemukan metode logika baru yang dinamakan
* [[William Ocham]] ([[1295]] - [[1349]])
Pengembangan dan penggunaan logika Aristoteles secara murni diteruskan oleh Thomas Hobbes ([[1588]] - [[1679]]) dengan karyanya
[[Francis Bacon]] ([[1561]] - [[1626]]) mengembangkan logika induktif yang diperkenalkan dalam bukunya ''Novum Organum Scientiarum''.
Baris 120 ⟶ 127:
* [[Gottlob Frege]] ([[1848]] - [[1925]])
Lalu [[Chares Sanders Peirce]] ([[1839]]-[[1914]]), seorang filsuf Amerika Serikat yang pernah mengajar di [[Johns Hopkins University]],melengkapi logika simbolik dengan karya-karya tulisnya. Ia memperkenalkan dalil Peirce
Puncak kejayaan 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]]).
Baris 130 ⟶ 137:
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]]).
== Macam-macam logika ==
Baris 147 ⟶ 145:
=== Logika ilmiah ===
Logika ilmiah memperhalus, mempertajam pikiran serta [[akal budi]]. Logika ilmiah menjadi ilmu khusus yang merumuskan asas-asas yang harus ditepati dalam setiap pemikiran. Berkat pertolongan logika ilmiah inilah akal budi dapat bekerja dengan lebih tepat, lebih teliti, lebih mudah, dan lebih aman. Logika ilmiah dimaksudkan untuk menghindarkan kesesatan atau
=== Logika Deduktif ===
Logika deduktif adalah metode berpikir yang menggunakan premis-premis umum untuk mencapai kesimpulan yang khusus. Dalam logika deduktif, kita mengambil premis yang telah dianggap benar dan melalui proses penalaran yang tepat, kita sampai pada kesimpulan yang dapat dianggap pasti atau logis.
=== Logika Murni ===
Logika Murni adalah pengetahuan mengenai prinsip-prinsip dan aturan logika yang berlaku secara umum untuk semua pernyataan, tanpa mempertimbangkan makna khusus dari istilah atau konsep dalam suatu bidang ilmu tertentu. Dengan kata lain, logika murni membahas struktur dan pola berpikir yang dapat diterapkan di berbagai konteks tanpa memperdulikan konten spesifik dari pernyataan tersebut.
== Lihat pula ==
Baris 156 ⟶ 160:
== Pranala luar ==
* {{en}} [http://www.education.com/study-help/article/critical-thinking-reasoning-skills/ Critical Thinking and Reasoning Skills Help] {{Webarchive|url=https://web.archive.org/web/20140513011207/http://www.education.com/study-help/article/critical-thinking-reasoning-skills/ |date=2014-05-13 }}
* {{en}} [http://education.purduecal.edu/Vockell/EdPsyBook/Edpsy7/edpsy7_reasoning.htm Basic Reasoning Skills] {{Webarchive|url=https://web.archive.org/web/20140522005912/http://education.purduecal.edu/Vockell/EdPsyBook/Edpsy7/edpsy7_reasoning.htm |date=2014-05-22 }}
* {{en}} [http://www.csun.edu/~vceed002/ref/reasoning/index.htm Reasoning Skills]
* {{en}} [http://www.wikihow.com/Improve-Reasoning-Skills How to Improve Reasoning Skills]
[[Kategori:Logika| ]]
[[Kategori:Pikiran]]
[[Kategori:Abstraksi]]
[[Kategori:Pemikiran kritis]]
[[Kategori:Ilmu formal]]
[[Kategori:logika filosofis]]
[[Kategori:Filsafat logika]]
[[Kategori:Penalaran]]
| |||