EMPATPAGI.COM- Filsafat logika, kajian, dari perspektif filosofis, tentang hakikat dan jenis logika, termasuk masalah di lapangan dan hubungan logika dengan matematika dan disiplin ilmu lainnya.
Berasal dari Yunani
Istilah logika berasal dari kata Yunani logos. Variasi indra yang dimiliki logo mungkin menunjukkan kesulitan yang harus dihadapi dalam mengkarakterisasi sifat dan ruang lingkup logika. Di antara terjemahan parsial logo, ada "kalimat", "wacana", "alasan", "aturan", "rasio", "akun" (terutama penjelasan arti sebuah ekspresi), "prinsip rasional", dan "definisi."
Sifat Logika
Relatif mudah untuk melihat beberapa urutan dalam penjelasan yang memalukan di atas. Beberapa penokohan tersebut ternyata sangat erat kaitannya satu sama lain. Ketika logika dikatakan, misalnya, sebagai studi tentang hukum-hukum pemikiran, hukum-hukum ini tidak dapat menjadi keteraturan empiris (atau dapat diamati) dari pemikiran manusia yang sebenarnya seperti yang dipelajari dalam psikologi;mereka harus hukum penalaran yang benar, yang independen dari keanehan psikologis pemikir.
Selain itu, ada paralelisme antara pemikiran yang benar dan argumentasi yang valid: argumentasi yang valid dapat dianggap sebagai ekspresi pemikiran yang benar, dan yang terakhir sebagai internalisasi yang pertama. Dalam pengertian paralelisme ini, hukum pemikiran yang benar akan cocok dengan argumentasi yang benar. Ciri khas dari yang terakhir adalah, pada gilirannya, bahwa mereka tidak bergantung pada hal-hal fakta tertentu.
Setiap kali argumen yang mengambil alasan dari p ke q adalah valid, itu harus memegang secara independen dari apa yang dia ketahui atau yakini tentang pokok bahasan p dan q. Satu-satunya sumber lain dari kepastian hubungan antara p dan q, bagaimanapun, mungkin dibentuk oleh arti dari istilah-istilah yang terkandung dalam proposisi p dan q. Makna yang sama ini kemudian akan membuat kalimat "Jika p, maka q" menjadi benar terlepas dari semua fakta yang bergantung pada fakta. Secara lebih umum, seseorang dapat secara valid berargumen dari p ke q jika dan hanya jika implikasi "Jika p, maka q" secara logis benar —yaitu, benar berdasarkan makna kata yang muncul dalam p dan q, terlepas dari masalah fakta apa pun.
Logika Adalah Persepsi
Proposisi berikut (dari Aristoteles), misalnya, adalah kebenaran logika yang sederhana: "Jika penglihatan adalah persepsi, objek penglihatan adalah objek persepsi." Kebenarannya dapat dipahami tanpa memiliki pendapat apa pun tentang apa sebenarnya hubungan penglihatan dengan persepsi itu. Yang dibutuhkan hanyalah pemahaman tentang apa yang dimaksud dengan istilah-istilah seperti "jika-maka", "adalah," dan "adalah," dan pemahaman bahwa "objek" mengungkapkan semacam hubungan.
Kebenaran logis dari contoh proposisi Aristoteles direfleksikan oleh fakta bahwa "Objek penglihatan adalah objek persepsi" dapat disimpulkan secara valid dari "Penglihatan adalah persepsi."
