Logika adalah kata benda feminin dari istilah Yunani logo, terkait dengan logo, alasan, kata atau pidato, yang berarti ilmu penalaran.
Dalam arti kiasan, kata logika berhubungan dengan a cara berpikir tertentu, benar. Sebagai contoh: Ini tidak akan pernah berhasil! Rencana Anda tidak memiliki logika!
Kamu masalah atau permainan logika adalah kegiatan di mana seorang individu harus menggunakan penalaran logis untuk memecahkan masalah.
Logika Aristoteles
Menurut Aristoteles, logika memiliki sebagai objek studinya pikir, serta hukum dan aturan yang mengaturnya, agar pemikiran itu benar. Bagi filosof Yunani, unsur-unsur penyusun logika adalah konsep, pertimbangan dan pemikiran. Hukum logika sesuai dengan koneksi dan hubungan yang ada di antara elemen-elemen ini.
Beberapa penerus Aristoteles bertanggung jawab atas dasar-dasar logika abad pertengahan, yang berlangsung hingga abad ketiga belas. Pemikir abad pertengahan seperti Galen, Porphyry dan Alexander dari Aphrodisia mengklasifikasikan logika sebagai ilmu menilai dengan benar, yang memungkinkan untuk mencapai penalaran yang benar dan valid secara formal.
logika pemrograman
Logika pemrograman adalah bahasa yang digunakan untuk membuat program komputer. Logika pemrograman sangat penting untuk mengembangkan program dan sistem komputer, karena ia mendefinisikan rantai logis untuk pengembangan itu. Langkah-langkah untuk pengembangan ini dikenal sebagai algoritma, yang terdiri dari urutan logis dari instruksi untuk fungsi yang akan dieksekusi.
Logika argumentasi
Logika argumentasi memungkinkan pengecekan validitas atau apakah suatu pernyataan benar atau tidak. Itu tidak dibuat dengan konsep relatif atau subyektif. Mereka adalah proposisi nyata yang validitasnya dapat diverifikasi. Dalam hal ini, logika bertujuan untuk mengevaluasi bentuk proposisi dan bukan isinya. Silogisme (terdiri dari dua premis dan kesimpulan) adalah contoh logika argumentasi. Sebagai contoh:
Tepung jagung adalah seekor anjing.
Semua anjing adalah mamalia.
Karena itu, tepung jagung adalah mamalia.
logika matematika
Logika matematika (atau logika formal) mempelajari logika menurut struktur atau bentuknya. Logika matematika terdiri dari consists sistem deduktif pernyataan yang bertujuan untuk membuat sekelompok hukum dan aturan untuk menentukan validitas penalaran. Dengan demikian, suatu penalaran dianggap valid jika memungkinkan untuk mencapai kesimpulan yang benar dari premis-premis yang benar.
Logika matematika juga digunakan untuk membangun penalaran yang valid melalui penalaran lainnya. Alasan bisa deduktif (kesimpulan wajib diperoleh dari kebenaran premis) dan induktif (probabilistik).
Logika formal dapat dibagi menjadi dua kelompok: logika proposisional dan logika predikat.
Leibniz dilihat oleh banyak orang sebagai pikiran yang memprakarsai konsep logika formal atau matematika, yang membahas masalah inti matematika. Namun, baru setelah tahun 1890, dengan Peano, pertanyaan tentang konsistensi aksioma dimulai. Beberapa prinsip penting logika formal ditemukan dalam The Mathematical Analysis of Logic oleh George Boole (penulis logika atau aljabar Boole).
logika proposisional
Logika proposisional adalah bidang logika yang mengkaji penalaran menurut hubungan antar klausa (proposisi), satuan minimal wacana, yang dapat bernilai benar atau salah.
