Dengan kata sederhana, logika adalah “studi tentang penalaran yang benar, terutama tentang membuat kesimpulan.” Logika dimulai sebagai istilah filosofis dan sekarang digunakan dalam disiplin ilmu lain seperti matematika dan ilmu komputer. Meskipun definisinya terdengar cukup sederhana, memahami logika sedikit lebih rumit. Gunakan contoh logika untuk membantu Anda belajar menggunakan logika dengan benar.
Contoh Logika Formal
Definisi Logika
Logika dapat mencakup tindakan penalaran oleh manusia untuk membentuk pikiran dan pendapat, serta klasifikasi dan penilaian. Beberapa bentuk logika juga dapat dilakukan oleh komputer dan bahkan hewan.
Logika dapat didefinisikan sebagai :
“Studi tentang kebenaran berdasarkan sepenuhnya pada arti dari istilah-istilah yang dikandungnya.”
Logika adalah proses untuk membuat kesimpulan dan alat yang dapat Anda gunakan.
- Dasar dari argumen logis adalah proposisi, atau pernyataannya.
- Proposisi itu bisa akurat (benar) atau tidak akurat (salah).
- Premis adalah proposisi yang digunakan untuk membangun argumen.
- Argumen kemudian dibangun di tempat.
- Kemudian kesimpulan dibuat dari premis.
- Akhirnya, sebuah kesimpulan ditarik.
Pengertian Logika dalam Filsafat
Logika adalah salah satu cabang filsafat. Ada berbagai aliran pemikiran tentang logika dalam filsafat, tetapi versi tipikalnya disebut logika dasar klasik atau logika orde pertama klasik. Dalam disiplin ini, para filsuf mencoba membedakan penalaran yang baik dari penalaran yang buruk.
Definisi Logika dalam Matematika
Logika juga merupakan bidang matematika. Logika matematika menggunakan variabel proposisional, yang sering berupa huruf, untuk mewakili proposisi.
Jenis Logika Dengan Contoh
Secara umum, ada empat jenis logika.
Logika Informal
Logika informal adalah apa yang biasanya digunakan dalam penalaran sehari-hari. Ini adalah alasan dan argumen yang Anda buat dalam pertukaran pribadi Anda dengan orang lain.
- Tempat: Nikki melihat seekor kucing hitam dalam perjalanannya ke tempat kerja. Di tempat kerja, Nikki dipecat.
Kesimpulan: Kucing hitam adalah pembawa sial.
Penjelasan: Ini adalah generalisasi besar dan tidak dapat diverifikasi.
- Tempat: Tidak ada bukti bahwa penisilin buruk untuk Anda. Saya menggunakan penisilin tanpa masalah.
Kesimpulan: Penisilin aman untuk semua orang.
Penjelasan: Pengalaman pribadi di sini atau kurangnya pengetahuan tidak dapat diverifikasi.
- Tempat: Ibuku adalah seorang selebriti. Aku tinggal dengan ibuku.
Kesimpulan: Saya seorang selebriti.
Penjelasan: Ada lebih banyak untuk membuktikan ketenaran bahwa dengan asumsi itu akan menular.
Logika Formal
Dalam logika formal, Anda menggunakan penalaran deduktif dan premisnya harus benar. Anda mengikuti premis untuk mencapai kesimpulan formal.
- Tempat: Setiap orang yang tinggal di Quebec tinggal di Kanada. Semua orang di Kanada tinggal di Amerika Utara.
Kesimpulan: Setiap orang yang tinggal di Quebec tinggal di Amerika Utara.
Penjelasan: Hanya fakta yang benar yang disajikan di sini.
- Tempat: Semua laba-laba memiliki delapan kaki. Black Widows adalah sejenis laba-laba.
Kesimpulan: Janda Hitam memiliki delapan kaki.
Penjelasan: Argumen ini tidak kontroversial.
- Tempat: Sepeda memiliki dua roda. Jan sedang mengendarai sepeda.
Kesimpulan: Jan mengendarai dua roda.
Penjelasan: Premisnya benar dan kesimpulannya juga benar.
Logika Simbolik
Logika simbolik berkaitan dengan bagaimana simbol berhubungan satu sama lain. Ini memberikan simbol untuk penalaran verbal untuk dapat memeriksa kebenaran pernyataan melalui proses matematika. Anda biasanya melihat jenis logika ini digunakan dalam kalkulus.
Contoh logika simbolik:
- Proposisi: Jika semua mamalia memberi susu bayinya dari ibu (A). Jika semua kucing menyusui bayinya dengan ASI (B). Semua kucing adalah mamalia (C). berarti “dan”, dan simbol berarti “menyiratkan”.
- Kesimpulan: A B C
- Penjelasan: Proposisi A dan proposisi B mengarah pada kesimpulan, C. Jika semua mamalia memberi makan bayinya susu dari ibu dan semua kucing menyusui bayinya dari susu ibu, itu berarti semua kucing adalah mamalia.
Logika Matematika
Dalam logika matematika, Anda menerapkan logika formal ke matematika. Logika jenis ini merupakan bagian dari dasar logika yang digunakan dalam ilmu komputer. Logika matematika dan logika simbolik sering digunakan secara bergantian.
Jenis Penalaran Dengan Contoh
Setiap jenis logika dapat mencakup penalaran deduktif, penalaran induktif, atau keduanya.
Contoh Penalaran Deduktif
Penalaran deduktif memberikan bukti yang lengkap tentang kebenaran kesimpulannya. Ini menggunakan premis spesifik dan akurat yang mengarah pada kesimpulan yang spesifik dan akurat. Dengan premis yang benar, kesimpulan untuk jenis argumen ini dapat diverifikasi dan benar.
- Premis: Semua persegi adalah persegi panjang. Semua persegi panjang memiliki empat sisi.
Kesimpulan: Semua persegi memiliki empat sisi.
- Premis: Semua orang fana. Anda adalah orang.
Kesimpulan: Anda fana.
- Tempat: Semua pohon memiliki batang. Pohon ek adalah pohon.
Kesimpulan: Pohon ek memiliki batang.
Contoh Logika Induktif
Penalaran induktif adalah “bottom up”, yang berarti mengambil informasi spesifik dan membuat generalisasi luas yang dianggap mungkin, memungkinkan fakta bahwa kesimpulannya mungkin tidak akurat. Jenis penalaran ini biasanya melibatkan aturan yang ditetapkan berdasarkan serangkaian pengalaman berulang.
- Tempat: Payung mencegah Anda basah karena hujan. Ashley mengambil payungnya, dan dia tidak basah.
Kesimpulan: Dalam hal ini, Anda dapat menggunakan penalaran induktif untuk memberikan pendapat bahwa mungkin hujan.
Penjelasan: Kesimpulan Anda, bagaimanapun, belum tentu akurat karena Ashley akan tetap kering apakah hujan dan dia memiliki payung, atau tidak hujan sama sekali.
- Tempat: Setiap anak berusia tiga tahun yang Anda lihat di taman setiap sore menghabiskan sebagian besar waktunya untuk menangis dan menjerit.
Kesimpulan: Semua anak berusia tiga tahun harus menghabiskan sore mereka dengan berteriak.
Penjelasan: Ini belum tentu benar, karena Anda belum melihat setiap anak beru
sia tiga tahun di dunia pada sore hari untuk memverifikasinya.
- Tempat: Dua belas dari 20 rumah di blok itu terbakar habis. Setiap kebakaran disebabkan oleh kabel yang rusak.
Kesimpulan: Jika lebih dari separuh rumah memiliki kabel yang rusak, semua rumah di blok tersebut memiliki kabel yang rusak.
Penjelasan: Anda tidak tahu bahwa kesimpulan ini benar-benar dapat diverifikasi, tetapi itu mungkin.
- Tempat: Lampu merah mencegah kecelakaan. Mike tidak mengalami kecelakaan saat mengemudi hari ini.
Kesimpulan: Mike pasti berhenti di lampu merah.
Penjelasan: Mike mungkin tidak menemukan sinyal lalu lintas sama sekali. Karena itu, dia mungkin bisa menghindari kecelakaan bahkan tanpa berhenti di lampu merah.
Ikuti Logikanya
Seperti yang ditunjukkan oleh contoh-contoh ini, Anda dapat menggunakan logika untuk memecahkan masalah dan menarik kesimpulan. Terkadang kesimpulan itu adalah kesimpulan yang benar, dan terkadang tidak akurat. Ketika Anda menggunakan penalaran deduktif, Anda sampai pada argumen logis yang benar sementara penalaran induktif mungkin atau mungkin tidak memberi Anda hasil yang benar. Lihat contoh kesalahan logis untuk melihat seperti apa penalaran logis yang salah.
