Kami terus-menerus dihadapkan dengan hukum logis dalam kehidupan sehari-hari. Tetapi, sayangnya, studi sains ini sepenuhnya terjadi hanya di beberapa fakultas di lembaga pendidikan tinggi.
Ada berbagai jenis konsep, yang logikanya dapat ditelusuri kembali ke zaman kuno. Semuanya dimulai dengan Aristoteles Organon (ini adalah nama tradisional dari enam risalah tentang pemikiran yang diajukan oleh Andronnik dari Rhodes - penerbit karya-karya filsuf ini).
Selanjutnya, ide-ide Aristoteles dimodifikasi oleh pemikir Renaissance Francis Bacon, salah satu ahli empiris pertama di masanya. Filsuf itu memberi risalahnya nama "New Organon". Dia bereaksi terhadap pemikiran Aristoteles dengan tingkat skeptisisme, percaya bahwa tugas sains adalah membangun metode kognisi baru dan bermanfaat bagi semua orang. Bacon mengkritik logika lama, yang, menurut pendapatnya, hanya menambah kebingungan pada sistem pengetahuan umum tentang berpikir. Dia menempatkan di atas semua pengalaman dan metode induktif.
Perlu dicatat bahwa logika dikembangkan terutama secara intensif di abad ke-20, berubah menjadi sistem probabilistik, matematis, jelas dan koheren. Namun sejauh ini, hukum logis formal memiliki signifikansi metodologi yang besar untuk semua ilmu.
Logika formal
Hukumnya meliputi jenis konsep. Logika membangun skema presentasi, yang merupakan rantai "konsep - penilaian (atau pernyataan) - kesimpulan." Konsep yang paling sederhana, tetapi sekaligus mendasar, adalah. Sebelum Anda membuat pernyataan dan menarik kesimpulan atas dasar (inferensi), Anda harus memiliki konsep subjek, untuk memahami fitur-fitur dasarnya. Ini bukan gambar terisolasi dari persepsi indrawi, di mana pemikiran kreatif paling sering dibangun. Berbicara tentang tanda-tanda, mereka berarti ciri khas perbedaan atau kesamaan. Fitur khusus adalah properti yang hanya melekat pada subjek khusus ini.
Suatu konsep adalah refleksi yang dapat dibayangkan dalam bentuk totalitas umum (atau kesatuan) atribut esensial dan umum suatu objek.
Logika mempertimbangkan jenis konsep, contoh yang sangat mudah ditemukan. Berbicara kata "kucing", kita membayangkan serangkaian tanda khusus: cakar, rambut, kumis, mengeong, menangkap tikus. Totalitas ini sendiri merupakan konsep yang terpisah, sehingga kita dapat mengatakan bahwa konsep "kucing" itu kompleks. Ini mencakup konsep-konsep lain yang telah disebutkan di atas.
Jenis konsep
Konsepnya mungkin sebagai berikut:
1. Pendaftaran (jawab pertanyaan "individu seperti apa?", "Kapan?", "Di mana?"). Contoh konsep tersebut: "orang yang hidup hari ini di Ivanovo", "pulau Madagaskar", "Fedor Dostoevsky". Mereka, pada gilirannya, dibagi menjadi lajang (yang berarti satu subjek spesifik - "Jack London") dan umum ("penulis", "negara").
2. Non-pendaftar ("kata", "hewan", "manusia"). Mereka dapat didefinisikan hanya secara kualitatif, memiliki jumlah konsep yang tak terbatas termasuk di dalamnya, sebagai akibatnya banyak elemen mereka tidak dapat diperhitungkan. Logika kadang-kadang juga membagi jenis-jenis konsep menjadi yang terbuka (non-mendaftar) dan tertutup (mendaftar).
3. Tidak kosong dan kosong berdasarkan korespondensi atau inkonsistensi konsep tertentu dengan sesuatu di dunia nyata.
4. Abstrak dan spesifik. Yang pertama adalah konsep tentang hubungan atau sifat suatu objek ("kehormatan", "martabat", "keberanian"), dan yang terakhir berbicara tentang objek tertentu ("pilar", "sarang").
5. Negatif (menunjukkan tidak adanya properti dari subjek tertentu, misalnya, "bukan laki-laki", "bukan kucing") dan positif ("kucing", "laki-laki").
6. Relatif dan non-relasional. Logika mencirikan jenis konsep ini sebagai saling bergantung dan independen. Misalnya, konsep "anggur" dan "kaki" sama sekali tidak bergantung satu sama lain, oleh karena itu mereka dapat dianggap tidak relevan.
