Logika berasal dari Bahasa Yunani Klasik λόγος (logos), awalnya berarti kata , atau apa yang diucapkan , (tetapi berarti pemikiran atau alasan atau penjelasan atau pembenaran atau kunci ) paling sering dikatakan sebagai studi kriteria untuk evaluasi argumen, meskipun definisi yang tepat dari logika adalah masalah kontroversi di antara para filsuf.

Logika berupaya menyelidiki dan mengklasifikasikan struktur pernyataan dan argumen, baik melalui studi sistem inferensi formal dan melalui studi argumen dalam bahasa alami.

Logika hanya berurusan dengan proposisi (kalimat deklaratif, digunakan untuk membuat pernyataan, sebagai lawan dari pertanyaan, perintah atau kalimat yang mengungkapkan keinginan) yang mampu menjadi benar dan salah.

Logika tidak peduli dengan proses psikologis yang berhubungan dengan pikiran, atau dengan emosi , gambaran dan sejenisnya.

Mencakup topik inti seperti studi tentang kesalahandan paradoks , serta analisis khusus dari penalaran menggunakan probabilitas dan argumen yang melibatkan teori kausalitas dan argumentasi.

Hakikat logika telah menjadi objek perdebatan yang intens; tidak mungkin secara jelas untuk menggambarkan batas-batas logika dalam istilah yang dapat diterima oleh semua sudut pandang saingan. Studi tentang logika sangat koheren dan beralasan secara teknis.

Logika filosofis berhubungan dengan deskripsi formal dari bahasa alami. Kebanyakan filsuf berasumsi bahwa sebagian besar penalaran yang “normal” dapat ditangkap oleh logika, jika seseorang dapat menemukan metode yang tepat untuk menerjemahkan bahasa biasa ke dalam logika itu.

Logika filosofis pada dasarnya adalah kelanjutan dari disiplin tradisional yang disebut “Logika” sebelum digantikan oleh penemuan logika matematika.

Logika filosofis memiliki perhatian yang jauh lebih besar dengan hubungan antara bahasa alami dan logika. Akibatnya, ahli logika filosofis telah memberikan kontribusi besar pada pengembangan logika non-standar (misalnya, logika bebas, logika tegang) serta berbagai ekstensi logika klasik (misalnya, logika modal), dan semantik non-standar untuk itu.

Semantik Logika  adalah studi tentang hubunganekspresi linguistik ke struktur di mana mereka dapat ditafsirkan dan yang kemudian dapat menyampaikan informasi.

Semantik Logika memungkinkan ahli logika untuk mengkarakterisasi gagasan kebenaran logis terlepas dari pasokan konstanta nonlogis yang kebetulan tersedia untuk menggantikan variabel, meskipun penawaran ini harus digunakan dalam karakterisasi yang menghidupkan gagasan bentuk logis. Ini juga memungkinkan dia untuk mengidentifikasi kalimat yang benar secara logis dengan yang benar dalam setiap interpretasi.

Logika dan Komputasi adalah fungsi  atau hukum yang mengatur numerik atau hubungan satu-ke-satu atau banyak-ke-satu yang tepat  dipelajari sehubungan dengan kemungkinan penghitungannya; yaitu, menjadi secara efektif  atau secara mekanis dapat dihitung . Fungsi yang dapat dihitung disebut rekursif.

1. Intuisionisme
2. Logisisme
3. Positivisme Logis