Logika: Perbedaan antara revisi

'''Logika''' atau '''mantik''' ({{lang-nl|logica}}) atau '''mantik''' adalah ilmu yang bertujuan untuk meraih [[penalaran]] yang tepat dan sah. Ilmu logika, menurut objek studinya, dibagi menjadi dua, yakni [[logika formal]] dan [[logika informal]]. Logika informal adalah ilmu yang berkenaan dengan pengaplikasian logika pada [[bahasa sehari-hari]]. Sebaliknya, logika formal adalah ilmu yang berkenaan dengan pengaplikasian logika pada [[bahasa formal]]. Sebagai instrumen berpikir, logika memiliki peran penting pada berbagai bidang seperti misalnya [[filsafat]], [[matematika]], [[linguistik]], dan lain sebagainya.

Tugas logika adalah meneliti [[argumen]] (disebut juga sebagai proposisi) yang terdiri dari setidaknya satu pernyataan pendukung (yang disebut [[premis]]) yang menyokong sebuah [[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 hari ini hari Minggu. Oleh karena itu, hari ini sekolah libur." Terlihat kalimat pertama adalah premis yang mempunyai kesimpulan "Hari ini sekolah libur" di kalimat kedua.

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 lagikalogika 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.