Logika

Filsafat
Plato Kant Nietzsche Buddha Kong Hu Cu Ibnu Sina
Cabang
Epistemologi Estetika Etika Hukum Logika Metafisika Politik Sosial
Tradisi
Afrika Analitis Aristoteles Barat Buddha Eksistensialisme Hindu Islam Jainisme Kontinental Kristen Plato Pragmatisme Timur Tiongkok Yahudi
Zaman
Klasik Pertengahan Modern Kontemporer
Kepustakaan
Epistemologi Estetika Etika Filsafat politik Logika Metafisika
Filsuf
Epistemologi Estetika Etika Filsuf politik dan sosial Logika Metafisika
Daftar
Filsuf Garis besar Glosarium Indeks Masalah Tahun Teori
Portal Filsafat
l b s

Bagian dari seri
Ilmu Pengetahuan
Formal Logika Matematika Logika matematika Statistika matematika Ilmu komputer teoretis Teori permainan Teori keputusan Ilmu aktuaria Teori informasi Teori sistem
Fisikal Fisika Fisika klasik Fisika modern Fisika terapan Fisika komputasi Fisika atom Fisika nuklir Fisika partikel Fisika eksperimental Fisika teori Fisika benda terkondensasi Mekanika Mekanika klasik Mekanika kuantum Mekanika kontinuum Rheologi Mekanika benda padat Mekanika fluida Fisika plasma Termodinamika Relativitas umum Relativitas khusus Teori dawai Teori medan kuantum Kimia Reaksi asam basa Alkimia Kimia analitik Astrokimia Biokimia Kristalografi Kimia lingkungan Kimia pangan Geokimia Kimia hijau Kimia anorganik Ilmu bahan Fisika molekuler Kimia nuklir Kimia organik Fotokimia Kimia fisik Radiokimia Kimia benda padat Stereokimia Kimia supramolekul Ilmu permukaan Kimia teori Astronomi Astrofisika Kosmologi Astronomi galaksi Geologi planet Ilmu keplanetan Astronomi bintang Astronomi radio Instrumentasi astronomi Astrobiologi Astrogeologi Astrometri Arkeoastronomi Astroarkeologi Ilmu bumi Meteorologi Klimatologi Ekologi Ilmu lingkungan Geodesi Geologi Geomorfologi Geofisika Glasiologi Hidrologi Limnologi Oseanografi Paleoklimatologi Paleoekologi Palinologi Pedologi Edafologi Geografi fisik Ilmu luar angkasa
Hayati Biologi Anatomi Astrobiologi Biofisika Biogeografi Biokimia Biologi evolusioner Biologi kelautan Biologi konservasi Biologi molekuler Biologi perkembangan Biologi sel Biologi tanah Biopsikologi Bioteknologi Botani Ekologi Etnobiologi Etologi Fisiologi Genetika Gerontologi Imunologi Kriobiologi Limnologi Mikrobiologi Ilmu syaraf Paleontologi Parasitologi Radiobiologi Sistematika Sosiobiologi Teknik biologis Toksikologi Zoologi
Sosial Antropologi Arkeologi Kriminologi Demografi Ekonomi Pendidikan Geografi manusia Hubungan internasional Hukum Linguistik Ilmu politik Psikologi Sosiologi
Terapan Teknik dan rekayasa Biomedis Dirgantara Genetika Ilmu komputer Industri Kimia Komputer Listrik Mesin Militer Nuklir Perangkat lunak Perlindungan kebakaran Pertambangan Pertanian Riset operasi Robotika Sipil Ilmu kesehatan Epidemiologi Farmasi Kedokteran Kedokteran gigi Kedokteran hewan Keperawatan Perawatan kesehatan Teknik biologis
Antardisiplin Fisika terapan Kecerdasan buatan Bioetika Bioinformatika Teknik biomedis Biostatistika Ilmu kognitif Sistem kompleks Linguistik komputasi Studi budaya Sibernetika Ilmu lingkungan Ilmu sosial lingkungan Studi lingkungan Studi etnik Psikologi evolusioner Kehutanan Kesehatan Ilmu perpustakaan Biologi matematika dan teori Fisika matematika Ilmu militer Ilmu jaringan Teknik syaraf Ilmu syaraf Kajian ilmu Ilmu, teknologi, dan masyarakat Permodelan ilmiah Semiotika Sosiobiologi Statistika Ilmu sistem Transdisiplineritas Perencanaan kota Ilmu web
Filosofi • Sejarah Penelitian murni Ilmu masyarakat Fringe science Sejarah ilmu Filosofi ilmu Protosains Pseudosains Kebebasan akademik Sains (Kebijakan Pendanaan Metode) Sosiologi Teknosains
Portal Ilmu  Kategori
l b s

Logika (Belanda: logicacode: nl is deprecated ) 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. Tidak semua ujaran dan pikiran mengandung argumen.^[1] 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.

Sebuah argumen bisa bersifat wajar dan tidak wajar. Sebuah argumen wajar mesti mengandung setidaknya satu premis yang mendukung satu kesimpulan. Sebuah argumen yang tidak wajar disebut sesat pikir.

Sebagai ilmu, logika disebut dengan logike episteme (bahasa Latin: logica scientia) atau ilmu logika yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur.^[2] Ilmu logika telah dipelajari sejak zaman kuno dengan pendekatan-pendekatan seperti Pendekatan Nyaya di India, Pendekatan Mohisme di Tiongkok, dan Pendekatan Aristoteles di Yunani Kuno. Kini, logika terbagi menjadi logika klasik (atau logika baku) dan logika alternatif dengan logika klasik yang paling umum dipelajari. Logika klasik terdiri dari logika pernyataan dan logika predikat.

1. ^ Hurley, Patrick J.; Watson, Lori (2018). A Concise Introduction to Logic. Cengage Learning. hlm. 14. ISBN 9781305958098.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)
2. ^ Jan Hendrik Rapar. 1996. Pengantar Logika. Asas-asas penalaran sistematis. Diarsipkan 2017-07-05 di Wayback Machine. Yogyakarta: Penerbit Kanisius. ISBN 979-497-676-8