Logika

Apa itu Logika:

Logika adalah kata benda feminin yang berasal dari istilah Yunani logiké, terkait dengan logo, alasan, kata atau ucapan, yang berarti ilmu penalaran .

Dalam arti kiasan, kata logika terkait dengan cara berpikir yang spesifik . Sebagai contoh: Ini tidak akan pernah berhasil! Rencana Anda tidak memiliki logika sama sekali!

Permasalahan atau permainan logika adalah kegiatan di mana seorang individu harus menggunakan penalaran logis untuk menyelesaikan masalah.

Logika Aristotelian

Menurut Aristoteles, logika memiliki sebagai objek studi pemikiran, serta hukum dan aturan yang mengendalikannya, sehingga pemikiran ini benar. Bagi filsuf Yunani, unsur-unsur penyusun logika adalah konsep, penilaian, dan penalaran . 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 Galenus, Porphyry, dan Alexander dari Aphrodysia mengklasifikasikan logika sebagai ilmu penilaian yang benar, yang memungkinkan untuk sampai pada penalaran yang benar dan sah 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 tautan logis untuk pengembangan ini. Langkah-langkah untuk pengembangan ini dikenal sebagai algoritma, yang terdiri dari urutan logis instruksi untuk fungsi yang akan dieksekusi.

Logika argumen

Logika argumentasi memungkinkan kita untuk memverifikasi validitas atau apakah suatu pernyataan itu benar atau tidak. Ini tidak dilakukan dengan konsep relatif atau subyektif, mereka adalah proposisi nyata yang validitasnya dapat diverifikasi. Dalam hal ini, logika bertujuan untuk mengevaluasi bentuk proposisi dan bukan konten. Silogisme (terdiri dari dua premis dan kesimpulan), adalah contoh logika argumentasi. Sebagai contoh:

The Fubá adalah seekor anjing.

Semua anjing adalah mamalia.

Oleh karena itu, Fubá adalah mamalia.

Logika Matematika

Logika matematika (atau logika formal) mempelajari logika sesuai dengan struktur atau bentuknya. Logika matematika terdiri dari sistem pernyataan deduktif yang bertujuan untuk membuat seperangkat hukum dan aturan untuk menentukan validitas penalaran. Dengan demikian suatu alasan dianggap sah jika memungkinkan untuk mencapai kesimpulan yang benar dari premis yang benar.

Logika matematika juga digunakan untuk membangun penalaran yang valid melalui penalaran lain. Penalarannya bisa bersifat deduktif (kesimpulannya tentu didapat dari kebenaran premis) dan induktif (probabilistik).

Logika formal dapat dibagi menjadi dua kelompok: logika proposisional dan logika predikat.

Leibniz dipandang oleh banyak orang sebagai pikiran yang memprakarsai konsep formal atau logika matematika, yang membahas masalah sentral matematika. Namun, hanya setelah 1890, dengan Peano, pertanyaan tentang konsistensi aksioma dimulai. Beberapa prinsip penting dari logika formal ditemukan dalam The Mathematical Analysis of Logic oleh George Boole (penulis Logic atau aljabar Boolean).

Logika Proposisional

Logika proposisional adalah bidang logika yang meneliti penalaran sesuai dengan hubungan antara kalimat (proposisi), unit minimal wacana, yang mungkin benar atau salah.