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 (bahasa Belanda: logica) atau mantik adalah ilmu tentang penalaran yang tepat dan valid. 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. Tidak semua ujaran dan pikiran mengandung argumen.^[1]

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. Sesat pikir adalah argumen yang tidak wajar.

Ilmu logika (bahasa Latin: logica scientia) 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; logika klasik adalah yang 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