Logika adalah cabang filsafat yang mempelajari prinsip-prinsip penalaran yang benar dan valid. Berikut adalah beberapa dasar-dasar logika:
- Pernyataan (Proposisi):
- Pernyataan adalah kalimat yang dapat bernilai benar atau salah, tetapi tidak keduanya. Contoh: “Hujan turun hari ini.”
- Hukum-Hukum Dasar Logika:
- Hukum Identitas: Sesuatu adalah dirinya sendiri. (A adalah A)
- Hukum Non-Kontradiksi: Sesuatu tidak bisa sekaligus benar dan salah pada saat yang sama dan dalam konteks yang sama. (A tidak mungkin A dan non-A)
- Hukum Eksklusi Tengah: Setiap pernyataan benar atau salah. Tidak ada kemungkinan ketiga. (A atau non-A)
- Operasi Logika:
- Konjungsi (AND): Pernyataan majemuk yang benar jika kedua pernyataan penyusunnya benar. Dilambangkan dengan (∧).
- Disjungsi (OR): Pernyataan majemuk yang benar jika salah satu atau kedua pernyataan penyusunnya benar. Dilambangkan dengan (∨).
- Implikasi (IF…THEN): Pernyataan majemuk yang benar kecuali jika premis pertama benar dan premis kedua salah. Dilambangkan dengan (→).
- Ekuivalensi (IF AND ONLY IF): Pernyataan majemuk yang benar jika kedua pernyataan penyusunnya memiliki nilai kebenaran yang sama. Dilambangkan dengan (↔).
- Negasi (NOT): Pernyataan yang benar jika pernyataan asli salah, dan sebaliknya. Dilambangkan dengan (¬).
- Argumen dan Validitas:
- Argumen: Serangkaian pernyataan yang terdiri dari satu atau lebih premis dan satu kesimpulan.
- Validitas: Sebuah argumen dikatakan valid jika kesimpulan logis mengikuti dari premis-premisnya. Validitas berhubungan dengan struktur argumen, bukan dengan kebenaran pernyataan individu.
- Silogisme:
- Silogisme Kategorial: Argumen logis yang terdiri dari dua premis dan satu kesimpulan. Contoh:
- Premis 1: Semua manusia adalah makhluk hidup.
- Premis 2: Socrates adalah manusia.
- Kesimpulan: Socrates adalah makhluk hidup.
- Silogisme Kategorial: Argumen logis yang terdiri dari dua premis dan satu kesimpulan. Contoh:
- Logika Formal vs. Logika Informal:
- Logika Formal: Berfokus pada struktur argumen dan menggunakan simbol-simbol formal untuk merepresentasikan pernyataan.
- Logika Informal: Berfokus pada isi argumen dalam konteks sehari-hari dan bagaimana argumen tersebut digunakan dalam percakapan biasa.

Dengan memahami dasar-dasar ini, kita dapat menganalisis dan membangun argumen yang lebih kuat dan rasional.
