logika - ilmu metode, hukum dan bentuk-bentuk pemikiran.Logika formal telah dikembangkan oleh orang Yunani kuno jauh sebelum era kita.Itu orang-orang Yunani pertama untuk membangun masyarakat yang demokratis di mana undang-undang dan keputusan yang diambil di Majelis Nasional.Mereka telah menciptakan ilmu primitif litigasi.Sebuah hobi favorit pemuda aristokrat berdiskusi dengan filsuf.Oleh karena itu cinta universal untuk pengembangan ilmu pengetahuan teoritis.Yunani hanya memiliki doktrin bagaimana menjadi bukti ilmiah.
pertama tentu saja dasar-dasar logika yang dikembangkan oleh Aristoteles.Dia menarik perhatian pada fakta bahwa semua argumen didasarkan pada hukum umum, pelanggaran yang mengarah ke kesimpulan yang salah.Logika formal Aristoteles didasarkan pada hukum-hukum:
- Jika penilaian yang afirmatif, apa yang membuat mereka kesimpulan tidak bisa negatif.
- Jika salah satu dari pernyataan negatif, dan kesimpulan umum akan selalu negatif.
Tampaknya logika formal - pengetahuan tentang prinsip-prinsip dan hukum secara efektif, konstruksi yang tepat dari penalaran berkaitan dengan bentuk konstruksi mereka (cara untuk menghubungkan bagian-bagian dari pertimbangan umum).
Semua fenomena dan objek memiliki hubungan.Link bisa objektif atau subjektif, bersama atau pribadi, perlu atau tidak disengaja.Yang paling signifikan dari obligasi ini disebut hukum.Mereka semua mencerminkan realitas yang sama, oleh karena itu, tidak dapat bertentangan satu sama lain.Semua hukum pemikiran manusia terkait dengan hukum-hukum alam.
hukum pemikiran yang hubungan batin stabil antara pikiran.Jika seseorang tidak bisa mengikat pikirannya, ia tidak sampai pada kesimpulan yang tepat dan tidak akan mampu membawanya ke orang lain.
hukum dasar logika formal - hukum konsistensi, identitas, tengah dikecualikan dan hukum alasan yang cukup.Perkembangan tiga pertama milik Aristoteles dan Plato, yang terakhir - Leibniz.Pelanggaran hukum-hukum (terutama yang pertama tiga) mengarah ke kontradiksi, sehingga mustahil untuk membedakan kebenaran dari kepalsuan.Peraturan lalu kurang dan hukum berlaku yang lebih terbatas.
Non-core hukum logika - adalah aturan konsep operasi dan penilaian, memperoleh kesimpulan yang benar dalam silogisme, meningkatkan kemungkinan penalaran induktif dan kesimpulan traduktivnogo karakter.
UU konsistensi berarti bahwa berpikir tidak boleh kontroversial, dan harus mencerminkan kualitas hal-hal tertentu.Hukum
dari tengah dikecualikan membutuhkan tidak terlihat antara dua bertentangan tapi benar pernyataan hal ketiga, dan untuk mengakui kebenaran hanya satu dari mereka.Salah satu komponen dari konflik - memang benar.Hukum
logika formal memperlakukan identitas sebagai persyaratan pemikiran presisi, yaitu dari setiap istilah yang Anda perlu memahami definisi dan arti persis.Inti dari konsep dan penilaian tidak dapat mendistorsi di akan.Hukum
dari alasan yang cukup adalah bahwa setiap pikiran yang benar diperlukan untuk membenarkan pikiran sejati orang lain, dan ide-ide palsu tidak dapat dibenarkan.Dalam pengembangan penilaian harus mencerminkan hubungan sebab akibat.Hanya dalam hal ini dapat dibuktikan kehandalan.
bentuk logis pemikiran dan cara-cara mendefinisikan bentuk pikiran diungkapkan oleh istilah logis, yang meliputi kata "dan", "atau", "jika ... maka ..." penolakan "Tidak benar bahwa"(" tidak "), kata" beberapa "," semua "(" tidak "), sekelompok" esensi "(dalam arti dari" adalah "), dllMengidentifikasi bentuk logis dari keputusan dapat terganggu dari arti dari hal logis yang ekspresi verbal dari penilaian ini.Dengan kata lain, logika formal menyatakan struktur pemikiran.Bentuk logis selalu informatif dan bermakna.
Tergantung pada bentuk pemikiran mereka dibagi ke dalam kelas: konsep, penalaran dan penilaian.Konsep - ide generalisasi benda atas dasar karakteristik dasar mereka.Penghakiman - ide, menegaskan kehadiran (absensi) situasi.Inferensi - pikir, mencerminkan akuisisi pengetahuan seperti yang diungkapkan dalam penilaian pengetahuan lainnya.
