1) Logika- Dalam buku: 1) batas universal dari pemberian benda-benda di dunia, yang dengan sendirinya tetap tidak terlihat; 2) suatu teknik untuk mengidentifikasi batas ini secara tidak langsung.

2) Logika- Aktivitas hanya dapat memberikan setengah dari kebijaksanaan; separuh lainnya bergantung pada ketidakaktifan perseptif. Pada akhirnya perdebatan antara mereka yang mendasarkan logika pada “kebenaran” dan mereka yang mendasarkan pada “penelitian” bermula dari perbedaan nilai dan pada titik tertentu menjadi tidak ada artinya. Secara logika, hanya membuang-buang waktu untuk mempertimbangkan kesimpulan mengenai kasus-kasus tertentu; kita selalu berurusan dengan implikasi yang sepenuhnya umum dan murni formal, meninggalkan ilmu-ilmu lain yang mempelajari kasus-kasus di mana asumsi-asumsi tersebut dikonfirmasi dan di mana asumsi-asumsi tersebut tidak dikonfirmasi. Meskipun kita tidak bisa lagi puas dengan mendefinisikan pernyataan-pernyataan logis sebagai sesuatu yang mengikuti hukum kontradiksi, kita dapat dan harus tetap mengakui bahwa pernyataan-pernyataan tersebut merupakan kelompok pernyataan yang sepenuhnya berbeda dari pernyataan-pernyataan yang kita ketahui secara empiris. Semuanya mempunyai sifat yang kami sepakati untuk disebut “tautologi” tepat di atas. Hal ini, dikombinasikan dengan fakta bahwa mereka hanya dapat dinyatakan dalam bentuk variabel dan konstanta logika (di mana konstanta logis adalah sesuatu yang tetap konstan dalam suatu pernyataan bahkan ketika semua konstituennya berubah), akan memberikan definisi logika atau matematika murni.

3) Logika - - doktrin tentang hubungan dan rangkaian pemikiran manusia, bentuk-bentuk perkembangannya, berbagai hubungan bentuk-bentuk mental dan transformasinya. L. mengkaji pertanyaan tentang sarana eksistensi berpikir, bahasa konsolidasi, reproduksi, dan penerjemahan proses berpikir. Dalam arti luas, filsafat adalah pemeriksaan terhadap hubungan tidak hanya pemikiran, tetapi juga keberadaan, yaitu sastra yang mengungkapkan “logika segala sesuatu”, “logika peristiwa”, dan “hubungan waktu”. Dalam aspek ini, L. mendekati ontologi. Dalam aspek substantifnya, filsafat dikaitkan dengan ajaran kognisi, perkembangannya, fungsi, dan pelestariannya serta termasuk langsung dalam epistemologi. Dengan demikian, filsafat adalah salah satu subdivisi utama filsafat dan terus-menerus memainkan peran utama dalam berfilsafat, karena filsafat selalu membahas masalah pemikiran dalam satu atau lain cara. Pada abad ke-19 Filsafat, sebagai ilmu khusus, terpisah dari filsafat dan, dengan demikian, berkaitan dengan analisis formal pemikiran dan bahasanya. Pertanyaan tentang perkembangan pemikiran, evolusi sarana, kondisionalitas budaya, sejarah dan sosialnya tetap berada dalam kompetensi filsafat. Filsafat itu sendiri, dalam bentuk sosio-historis dan budayanya yang spesifik, menjadi cabang penting penelitian filsafat. Dalam kerangka pendekatan ini, beberapa tahapan utama dalam evolusi cahaya dan pemahamannya dapat diidentifikasi. Di dunia kuno, perkembangan masalah logika dikaitkan dengan proses klasifikasi benda buatan dan alam, alat aktivitas manusia, dan tindakan interaksi manusia. L. mengembangkan konsep generalisasi dan teknik untuk mengoperasikannya. Sebagai bagian dari filsafat, ini adalah alat penting untuk menciptakan gambaran dunia dan menggunakannya dalam praktik masyarakat. Pada Abad Pertengahan, sastra difokuskan pada penelitian tentang bentuk-bentuk pemikiran dan hubungannya; kognisi yang bermakna dipertimbangkan dari perspektif korespondensinya dengan bentuk logis. Doktrin tentang struktur pemikiran manusia yang stabil (atau tak tergoyahkan) yang menjamin kebenarannya ternyata menjadi prasyarat penting bagi munculnya standar rasionalitas ilmiah. Ketika, mengikuti ilmu pengetahuan alam, filsafat formal dipisahkan dari filsafat, pertanyaan tentang rasionalitas pemikiran manusia menjadi pusat polemik filsafat. Di satu sisi, terungkap ketidakcukupan rasionalitas formal untuk kebutuhan ilmu pengetahuan modern, untuk pengembangan kepribadian manusia dan perluasan cakrawala spiritualnya. Di sisi lain, perlunya melestarikan rasionalitas dan filsafat dalam arti luas sebagai kondisi reproduksi budaya (Baden neo-Kantianisme). Pada abad ke-20, kritik filosofis terhadap rasionalitas (biasanya diartikan sebagai hubungan kaku antara bentuk-bentuk logis) semakin intensif dan dilakukan dari berbagai posisi (eksistensialisme, Marxisme, dekonstruksionisme). Pada saat yang sama, dalam filsafat terdapat kecenderungan yang semakin besar untuk memperlakukan sastra dari sudut pandang budaya dan sejarah, mempelajari berbagai hukum yang melekat pada berbagai budaya dan jenis aktivitas manusia. Mengingat pendekatan-pendekatan tersebut, maka penekanan dalam memahami isi L pun berubah. Jika sebelumnya kualitas ini dikaitkan terutama dengan memperjelas orientasi objektif berpikir, kini fokusnya adalah pada hubungan bentuk-bentuk mental yang muncul dalam interaksi manusia. subjek, interaksi ini berkonsolidasi dan bereproduksi. V.E.Kemerov

4) Logika- - ilmu tentang hukum dan cara berpikir yang benar. Menurut prinsip dasar logika, kebenaran penalaran hanya ditentukan oleh bentuk atau struktur logisnya dan tidak bergantung pada isi khusus pernyataan-pernyataan yang terkandung di dalamnya. Ciri khas dari penalaran yang benar adalah jika premis-premisnya benar, maka pemikiran logis akan menghasilkan kesimpulan yang benar (jawaban atas pertanyaan). Penalaran yang salah dapat membawa premis yang benar dan tidak benar menuju kesimpulan yang benar dan tidak benar (kebenaran kesimpulan adalah masalah kebetulan). Jadi, logikanya jelas - ini adalah aturan untuk menggunakan teknik mental tertentu saat memproses informasi. Ada logika formal, logika humanistik, logika perempuan, logika anak-anak, logika skizofrenia, logika dialektika, logika filosofis, dll. Namun selain logika, ada juga pemikiran itu sendiri yang bisa menuruti hukumnya (berpikir benar) dan tidak menurut (berpikir salah). ).pemikiran tidak logis). Blok asosiatif. Dari sudut pandang kami, logika adalah bagian dari teori pengetahuan yang mempelajari hubungan dan keberadaan segala sesuatu dalam arti sebenarnya.

5) Logika- (dari bahasa Yunani – logos): dalam arti luas – ilmu berpikir, doktrin hukum, bentuk dan sarana penalaran. Paling sering, istilah ini diidentikkan dengan istilah "logika formal", yang pendirinya adalah Aristoteles. Tujuan utama penelitian logis adalah untuk menganalisis kebenaran penalaran, rumusan hukum dan prinsip, yang ketaatannya merupakan syarat yang diperlukan untuk memperoleh kesimpulan yang benar dalam proses inferensi. Proses logis dipelajari dengan merepresentasikannya dalam bahasa formal. Masing-masing mencakup seperangkat ekspresi (rumus) yang ditafsirkan dengan tepat, serta metode untuk mengubah beberapa ekspresi menjadi ekspresi lain sesuai dengan aturan deduksi. Logika modern terdiri dari sejumlah besar sistem logika yang menggambarkan masing-masing fragmen (jenis) penalaran. Tergantung pada dasar (kriteria) klasifikasi, logika klasik dan non-klasik saat ini dibedakan. Dalam pengertian modern, logika adalah ilmu tentang bentuk-bentuk wacana.

6) Logika- - secara etimologis kembali ke kata Yunani kuno "logos", yang berarti "kata", "pemikiran", "konsep", "penalaran", "hukum". Inilah ilmu tentang hukum-hukum dan bentuk-bentuk pemikiran manusia. Dia mempelajari proses mental. Ada perbedaan antara logika tradisional, yang dimulai oleh Aristoteles, yang mempelajari kesimpulan, konsep, dan operasinya. Penggunaan metode formalisasi dan metode matematika menyebabkan terciptanya logika klasik (simbolis atau matematika). Logika non-klasik (modal atau filosofis), yang menggunakan metode formal untuk menganalisis realitas yang bermakna. Pemahaman logika yang disederhanakan - aliran penalaran, aturan penalaran.

7) Logika- - ilmu tentang bentuk-bentuk dan cara berpikir yang valid secara umum yang diperlukan untuk pengetahuan rasional tentang bidang realitas apa pun.

8) Logika - (logo Yunani - kata, penalaran, konsep, pikiran) - ilmu tentang bentuk, hukum dan metode aktivitas kognitif; kemampuan berpikir benar (logis). Sejak zaman kuno, sifat penting dari pemikiran kognitif manusia telah diperhatikan: jika pada awalnya beberapa pernyataan dibuat, maka pernyataan lain dapat dikenali, tetapi tidak semua pernyataan, tetapi hanya pernyataan yang didefinisikan secara ketat. Oleh karena itu, pemikiran kognitif tunduk pada kekuatan paksaan tertentu, hasil-hasilnya sangat ditentukan dan ditentukan sebelumnya oleh pengetahuan sebelumnya. Properti ini banyak digunakan oleh Socrates dalam dialognya. Dengan mengajukan pertanyaan secara terampil, dia mengarahkan lawan bicaranya untuk mengambil kesimpulan yang sangat spesifik. (Mencirikan metodenya, Socrates menjelaskan bahwa cara bicaranya mirip dengan apa yang dilakukan seorang bidan, yang tidak melahirkan sendiri, tetapi melahirkan. Jadi dia hanya bertanya kepada orang lain, berkontribusi pada lahirnya kebenaran, tetapi dia sendiri tidak ada hubungannya. katakanlah.) Oleh karena itu, Socrates menyebut metodenya maieutika - seni bidan.) Murid Socrates, Plato, kemudian Aristoteles menjadikan determinisme berpikir sebagai subjek kajian khusus. Hasil Aristoteles sangat mengesankan. Keberhasilannya disebabkan oleh fakta bahwa ia menghilangkan dari penalaran apa yang bisa disebut isinya, hanya mempertahankan bentuknya. Dia mencapai hal ini dengan mengganti huruf (variabel) dalam penilaian, bukan nama dengan isi tertentu. Misalnya, dalam argumen implikatif: “Jika semua B adalah Cs dan semua Aes adalah Bs, maka semua Aes adalah Bs.” Pendekatan Aristoteles menunjukkan fakta bahwa keandalan hasil penalaran dengan isi yang berbeda tidak hanya bergantung pada kebenaran posisi awal (premis), tetapi juga pada hubungan di antara mereka, metode hubungannya, yaitu. pada bentuk penalaran. Aristoteles merumuskan prinsip-prinsip terpenting untuk transisi dari premis-premis yang benar menuju kesimpulan-kesimpulan yang benar. Selanjutnya prinsip-prinsip tersebut mulai disebut hukum identitas, kontradiksi dan eksklusi tengah. Dia mengusulkan sistem teoretis pertama tentang bentuk-bentuk penalaran - yang disebut. silogistik asertorik, yang membahas proposisi-proposisi dalam bentuk “Semua A adalah B”, “Beberapa A adalah B”, “Tidak ada A adalah B”, “Beberapa A bukan B”. Dengan demikian, ia meletakkan dasar bagi ilmu pengetahuan tentang cara dan bentuk pemikiran yang berlaku secara umum, hukum-hukum pengetahuan rasional. Belakangan ilmu ini mulai disebut L.L. tidak membatasi diri pada klarifikasi kasus-kasus ketika kebenaran premis menjamin kebenaran kesimpulan. Jenis penalaran ini menjadi subjek salah satu cabangnya - deduktif L. Tetapi Democritus sudah membahas masalah inferensi induktif, yang melaluinya transisi dari pernyataan partikular ke ketentuan umum yang bersifat probabilistik dilakukan. Minat khusus terhadap induksi muncul pada abad ke-17 dan ke-18. ketika ilmu-ilmu eksperimental mulai berkembang pesat. Filsuf Inggris F. Bacon melakukan upaya pertama pada pemahaman teoretis tentang induksi, yang menurutnya dapat berfungsi sebagai satu-satunya metode untuk memahami fenomena alam agar dapat digunakan demi kepentingan manusia. Deduktivisme dan induktivisme merupakan arah utama perkembangan sastra hingga abad ke-19. Perwakilan filsafat rasionalis (Descartes, Spinoza, Malebranche, Leibniz) lebih menyukai deduksi, sedangkan perwakilan filsafat empiris (sensualistik) (mengikuti F. Bacon - Hobbes, Locke, Condillac, Berkeley, Hume) adalah induktivis. Wolf, yang menurut pendapatnya mengusulkan sistem pengetahuan filosofis yang komprehensif sebagai “ilmu tentang semua objek yang mungkin, sejauh mungkin,” mencoba mendamaikan arah ini. Secara umum, sebagai seorang rasionalis, ia dengan penuh semangat menekankan pentingnya induksi dan pengetahuan eksperimental dalam disiplin ilmu tertentu (misalnya, dalam fisika). Namun, gagasan Wolffian tentang bentuk dan hukum pemikiran serta metode kognisi, yang telah berkembang di Leningrad pada abad ke-19, tidak mampu memenuhi kebutuhan ilmu pengetahuan dan praktik sosial yang berkembang pesat. Kant dan khususnya Hegel mengkritik keterbatasan metode rasionalistik-metafisik. L. dihadapkan pada tugas mengembangkan sarana yang memungkinkan pendekatan sadar terhadap studi tentang hubungan-hubungan esensial. Upaya serius untuk memecahkan masalah ini dilakukan oleh Hegel. Kelebihannya yang luar biasa adalah pengenalan gagasan pembangunan dan interkoneksi ke dalam sastra. Hal ini memungkinkannya untuk meletakkan dasar-dasar sastra dialektis sebagai teori pergerakan pemikiran manusia dari fenomena ke esensi, dari kebenaran relatif ke kebenaran absolut, dari pengetahuan abstrak ke pengetahuan konkret. Berdasarkan kategori, prinsip, dan hukum sastra dialektis, dikembangkan pedoman metodologis untuk mempelajari isi objek dengan segala keragaman dan inkonsistensinya. Saat ini sastra merupakan disiplin ilmu yang cukup luas. Bagian yang paling penting dan paling matang adalah sastra formal, yang mendapat namanya dari subjek yang telah dibahas sejak zaman kuno - bentuk pemikiran dan penalaran yang menjamin diterimanya kebenaran baru berdasarkan kebenaran yang sudah mapan, dan, pertama. yang terpenting, kriteria kebenaran dan keabsahan formulir-formulir ini. Untuk waktu yang lama, sastra formal dikenal terutama dalam bentuk yang diberikan oleh Aristoteles dan para komentatornya. Oleh karena itu nama yang sesuai dengan tahap ini adalah Aristotelian L. Tradisi yang berasal dari Aristoteles juga memunculkan istilah lain yang setara - filsafat tradisional... Kekekalan masalah dan metode penyelesaiannya dalam kerangka filsafat Aristotelian selama berabad-abad memberi dasar bagi Kant, yang pertama kali menggunakan istilah "filsafat formal". ,” untuk percaya bahwa selama dua ribu tahun yang telah berlalu Sejak zaman Aristoteles, L. ini belum mengambil satu langkah pun maju dan pada dasarnya memiliki karakter yang lengkap. Kant bahkan tidak membayangkan bahwa hanya setengah abad setelah kematiannya, “angin kedua” akan dimulai dalam perkembangan logika formal. Tahap yang secara kualitatif baru ini disebabkan oleh fakta bahwa masalah yang ditimbulkan oleh studi tentang landasan logis matematika dapat tidak dapat diselesaikan melalui logika Aristotelian Hampir bersamaan Proses logisisasi matematika dan matematisasi L sedang berlangsung.Saat memecahkan masalah logika, metode matematika digunakan secara aktif, kalkulus logika dibuat. Langkah-langkah konkrit sedang diambil untuk mengimplementasikan ide Leibniz tentang penggunaan metode komputasi dalam ilmu apapun. J. Boole mengembangkan sistem aljabar pertama L. Berkat karya O. de Morgan, W. Jevons, E. Schroeder, P.S. Poretsky, Peirce, Frege, J. Peano, dan Russell menciptakan bagian utama matematika matematika, yang menjadi cabang terpenting matematika formal.Pada abad ke-20, khususnya pada tahun 20-an dan 30-an, dalam karya J. Lukasiewicz, E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. Kolmogorov, G.Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff, dan lain-lain meletakkan dasar-dasar bagian linguistik formal non-klasik: linguistik multinilai, modal, probabilistik, intuisionistik, konstruktivis, dan lain-lain. lebih besar dari dua (“benar” ", dan "salah"), merupakan salah satu ciri khas logika non-klasik, atau sering disebut, logika non-Chrysippian. Pada tahun 1930-an, perkembangan logika formal dikaitkan dengan solusi dari banyak masalah metalogi (Yunani meta - setelah, selesai), mempelajari prinsip-prinsip konstruksi dan sifat-sifat umum sistem formal, misalnya, masalah konsistensi, kelengkapan, independensi sistem aksioma, solvabilitas, kemampuan dari sistem ini untuk mengekspresikan teori yang bermakna, dll. Fondasi dari apa yang disebut. "pemikiran mesin" Kajian terhadap masalah-masalah tersebut ditandai dengan penemuan-penemuan luar biasa yang memiliki makna ideologis dan metodologis yang penting dan dikaitkan dengan nama Tarski, K. Gödel, A. Church. Yang paling terkenal adalah teorema K. Gödel tentang ketidaklengkapan sistem formal, termasuk. aritmatika bilangan asli dan teori himpunan aksiomatik. Sesuai dengan teorema ini, dalam masing-masing sistem terdapat proposisi yang dalam kerangkanya tidak dapat dibuktikan atau disangkal. Dengan demikian, terbukti bahwa tidak ada satu pun teori ilmiah valid yang dapat dimasukkan ke dalam kerangka formalisme. A. Church membuktikan teorema yang menyatakan bahwa tidak ada algoritma untuk menyelesaikan banyak kelas masalah, belum lagi algoritma yang memungkinkan penyelesaian masalah apa pun (banyak ahli logika dan matematikawan terkemuka bermimpi untuk menemukan algoritma seperti itu). Saat ini perkembangan logika formal berlangsung dalam dua arah utama: 1) pengembangan sistem baru logika non klasik (logika imperatif, evaluasi, soal, temporal, logika induktif, teori implikasi logis, dan lain-lain) , studi tentang sifat-sifat sistem ini dan hubungan di antara mereka, penciptaan teori umum; 2) perluasan cakupan penerapan L. formal. Hasil akhir terpenting yang diperoleh dalam arah ini adalah bahwa L. formal tidak hanya menjadi instrumen pemikiran presisi, tetapi juga “pemikiran” instrumen presisi pertama - komputer. , secara langsung berperan sebagai mitra yang diikutsertakan seseorang dalam lingkup pemecahan masalah yang dihadapinya. L. (secara keseluruhan) telah menjadi bagian integral dari kebudayaan manusia. Prestasinya digunakan dalam berbagai bidang aktivitas manusia. Ini banyak digunakan dalam psikologi dan linguistik, teori manajemen dan pedagogi, hukum dan etika. Bagian formalnya adalah dasar asli sibernetika, matematika dan teknologi komputasi, dan teori informasi. Tanpa prinsip dan hukum sastra, metodologi kognisi dan komunikasi modern tidak akan terpikirkan. Studi tentang L. selalu dianggap sangat penting. Parmenides telah mengajari Socrates, yang masih belum berpengalaman dalam filsafat: “Semangat Anda untuk berpikir, yakinlah, luar biasa dan ilahi, tetapi ketika Anda masih muda, cobalah untuk berlatih lebih banyak dalam apa yang dianggap sebagai omong kosong (yaitu, beroperasi dengan konsep-konsep abstrak). - V.B.) jika tidak, kebenaran akan luput dari perhatianmu." Seperti yang bisa kita lihat, pada zaman dahulu sudah dipahami bahwa disiplin, yang kemudian diberi nama L., pertama-tama memainkan peran metodologis yang besar - sebagai sarana untuk menemukan kebenaran. V.F. Berkov

9) Logika- - dalam arti luas - ini adalah ilmu filosofis tentang hukum pemikiran yang benar; dalam arti sempit - serangkaian kebutuhan yang dibangun dalam pencarian kebenaran.

10) Logika - (dari bahasa Yunani logos - logos) 1) kemampuan untuk melakukan dengan benar, yaitu. secara logis, pikirkan; 2) doktrin identitas dan negasinya (G. Jacobi), doktrin konsistensi dan metode kognisi (ilmu logika). Sebagai "logika formal dasar" ia berhubungan dengan sifat-sifat paling umum yang melekat pada semua konsep (yang ada). Dasar sifat-sifat konsep dinyatakan dalam aksioma logis (lihat Aksioma). Pertama, doktrin konsep dipertimbangkan, kemudian muncul doktrin penghakiman dan terakhir inferensi. Doktrin aksioma logis, konsep, penilaian dan kesimpulan, jika digabungkan, membentuk logika murni. Logika terapan dalam logika tradisional mencakup doktrin definisi, pembuktian, dan metode. Hal ini sering kali didahului bukan oleh ajaran ilmiah-logis, tetapi oleh ajaran psikologis teoritis-kognitif tentang pengalaman, deskripsi dan rumusan (terutama dengan bantuan bahasa khusus, terminologi) dan pembentukan konsep. Terkadang doktrin sistem ditambahkan ke dalamnya. Logika (sebagai ilmu) hanyalah doktrin berpikir dalam konsep, tetapi bukan pengetahuan melalui konsep; ini berfungsi untuk meningkatkan keakuratan formal kesadaran dan objektivitas isi pemikiran dan kognisi. Pendiri logika Eropa Barat (sebagai ilmu pengetahuan) adalah Aristoteles, “bapak logika”. Kata "logika" pertama kali muncul di kalangan Stoa; mereka dan kaum Neoplatonis memperjelas aspek-aspek tertentu darinya, dan pada Abad Pertengahan, skolastisisme mengembangkannya dalam detail terkecil, dalam kehalusan. Humanisme mengeluarkan skolastisisme dari logika, tetapi tidak dapat memperbaharuinya. Reformasi mengadopsi logika Melanchthon, Kontra-Reformasi mengadopsi logika Suarez. Setelah secara prinsip melampaui skolastisisme, Johannes Sturm dari Strasbourg mengembangkan logika; Pierre Ramet menjadi lebih terkenal. Dari abad ke-17 Pengaruh bidang pemikiran yang terkait dengan matematika terhadap logika menjadi nyata, dan dalam metode geometri Spinoza pengaruhnya lebih kecil dibandingkan dengan Leibniz, yang menggunakan metode ilmu pengetahuan alam yang lebih baik dalam logika. Dari Leibniz dan matematika, serta dari neo-skolastisisme, muncullah logika aliran Wolf. "Logika transendental" Kant pada kenyataannya adalah teori pengetahuan kritis, logika Jerman. idealisme (terutama logika Hegel) - metafisika spekulatif. Schopenhauer, Nietzsche, Bergson dan para pendukung filsafat kehidupan menolak logika tradisional. Saat ini logika telah terpecah menjadi banyak arah: 1) logika metafisik (Hegelianisme); 2) logika psikologis (T. Lipps, sebagian W. Wundt); 3) logika epistemologis, atau transendental (neo-Kantianisme); 4) logika semantik (Aristoteles, Kulpe, nominalisme modern); 5) logika mata pelajaran (Remke, Meinong, Drish); 6) logika neo-skolastik; 7) logika fenomenologis; 8) logika sebagai metodologi (neo-Kantianisme) dan logistik, yang menjadi pusat perdebatan tentang logika.

11) Logika- - melihat Logika dialektis. Logika matematika, Logika formal.

Logika

Dalam buku: 1) batas universal dari pemberian segala sesuatu di dunia, yang dengan sendirinya tetap tidak terlihat; 2) suatu teknik untuk mengidentifikasi batas ini secara tidak langsung.

Aktivitas hanya dapat memberikan separuh kebijaksanaan; separuh lainnya bergantung pada ketidakaktifan perseptif. Pada akhirnya perdebatan antara mereka yang mendasarkan logika pada “kebenaran” dan mereka yang mendasarkan pada “penelitian” bermula dari perbedaan nilai dan pada titik tertentu menjadi tidak ada artinya. Secara logika, hanya membuang-buang waktu untuk mempertimbangkan kesimpulan mengenai kasus-kasus tertentu; kita selalu berurusan dengan implikasi yang sepenuhnya umum dan murni formal, meninggalkan ilmu-ilmu lain yang mempelajari kasus-kasus di mana asumsi-asumsi tersebut dikonfirmasi dan di mana asumsi-asumsi tersebut tidak dikonfirmasi. Meskipun kita tidak bisa lagi puas dengan mendefinisikan pernyataan-pernyataan logis sebagai sesuatu yang mengikuti hukum kontradiksi, kita dapat dan harus tetap mengakui bahwa pernyataan-pernyataan tersebut merupakan kelompok pernyataan yang sepenuhnya berbeda dari pernyataan-pernyataan yang kita ketahui secara empiris. Semuanya mempunyai sifat yang kami sepakati untuk disebut “tautologi” tepat di atas. Hal ini, dikombinasikan dengan fakta bahwa mereka hanya dapat dinyatakan dalam bentuk variabel dan konstanta logika (di mana konstanta logis adalah sesuatu yang tetap konstan dalam suatu pernyataan bahkan ketika semua konstituennya berubah), akan memberikan definisi logika atau matematika murni.

Doktrin tentang hubungan dan rangkaian pemikiran manusia, bentuk-bentuk perkembangannya, berbagai hubungan bentuk-bentuk mental dan transformasinya. L. mengkaji pertanyaan tentang sarana eksistensi berpikir, bahasa konsolidasi, reproduksi, dan penerjemahan proses berpikir. Dalam arti luas, filsafat adalah pemeriksaan terhadap hubungan tidak hanya pemikiran, tetapi juga keberadaan, yaitu sastra yang mengungkapkan “logika segala sesuatu”, “logika peristiwa”, dan “hubungan waktu”. Dalam aspek ini, L. mendekati ontologi. Dalam aspek substantifnya, filsafat dikaitkan dengan ajaran kognisi, perkembangannya, fungsi, dan pelestariannya serta termasuk langsung dalam epistemologi. Dengan demikian, filsafat adalah salah satu subdivisi utama filsafat dan terus-menerus memainkan peran utama dalam berfilsafat, karena filsafat selalu membahas masalah pemikiran dalam satu atau lain cara. Pada abad ke-19 Filsafat, sebagai ilmu khusus, terpisah dari filsafat dan, dengan demikian, berkaitan dengan analisis formal pemikiran dan bahasanya. Pertanyaan tentang perkembangan pemikiran, evolusi sarana, kondisionalitas budaya, sejarah dan sosialnya tetap berada dalam kompetensi filsafat. Filsafat itu sendiri, dalam bentuk sosio-historis dan budayanya yang spesifik, menjadi cabang penting penelitian filsafat. Dalam kerangka pendekatan ini, beberapa tahapan utama dalam evolusi cahaya dan pemahamannya dapat diidentifikasi. Di dunia kuno, perkembangan masalah logika dikaitkan dengan proses klasifikasi benda buatan dan alam, alat aktivitas manusia, dan tindakan interaksi manusia. L. mengembangkan konsep generalisasi dan teknik untuk mengoperasikannya. Sebagai bagian dari filsafat, ini adalah alat penting untuk menciptakan gambaran dunia dan menggunakannya dalam praktik masyarakat. Pada Abad Pertengahan, sastra difokuskan pada penelitian tentang bentuk-bentuk pemikiran dan hubungannya; kognisi yang bermakna dipertimbangkan dari perspektif korespondensinya dengan bentuk logis. Doktrin tentang struktur pemikiran manusia yang stabil (atau tak tergoyahkan) yang menjamin kebenarannya ternyata menjadi prasyarat penting bagi munculnya standar rasionalitas ilmiah. Ketika, mengikuti ilmu pengetahuan alam, filsafat formal dipisahkan dari filsafat, pertanyaan tentang rasionalitas pemikiran manusia menjadi pusat polemik filsafat. Di satu sisi, terungkap ketidakcukupan rasionalitas formal untuk kebutuhan ilmu pengetahuan modern, untuk pengembangan kepribadian manusia dan perluasan cakrawala spiritualnya. Di sisi lain, perlunya melestarikan rasionalitas dan filsafat dalam arti luas sebagai kondisi reproduksi budaya (Baden neo-Kantianisme). Pada abad ke-20, kritik filosofis terhadap rasionalitas (biasanya diartikan sebagai hubungan kaku antara bentuk-bentuk logis) semakin intensif dan dilakukan dari berbagai posisi (eksistensialisme, Marxisme, dekonstruksionisme). Pada saat yang sama, dalam filsafat terdapat kecenderungan yang semakin besar untuk memperlakukan sastra dari sudut pandang budaya dan sejarah, mempelajari berbagai hukum yang melekat pada berbagai budaya dan jenis aktivitas manusia. Mengingat pendekatan-pendekatan tersebut, maka penekanan dalam memahami isi L pun berubah. Jika sebelumnya kualitas ini dikaitkan terutama dengan memperjelas orientasi objektif berpikir, kini fokusnya adalah pada hubungan bentuk-bentuk mental yang muncul dalam interaksi manusia. subjek, interaksi ini berkonsolidasi dan bereproduksi. V.E.Kemerov

Ilmu tentang hukum dan cara berpikir yang benar. Menurut prinsip dasar logika, kebenaran penalaran hanya ditentukan oleh bentuk atau struktur logisnya dan tidak bergantung pada isi khusus pernyataan-pernyataan yang terkandung di dalamnya. Ciri khas dari penalaran yang benar adalah jika premis-premisnya benar, maka pemikiran logis akan menghasilkan kesimpulan yang benar (jawaban atas pertanyaan). Penalaran yang salah dapat membawa premis yang benar dan tidak benar menuju kesimpulan yang benar dan tidak benar (kebenaran kesimpulan adalah masalah kebetulan). Jadi, logikanya jelas - ini adalah aturan untuk menggunakan teknik mental tertentu saat memproses informasi. Ada logika formal, logika humanistik, logika perempuan, logika anak-anak, logika skizofrenia, logika dialektika, logika filosofis, dll. Namun selain logika, ada juga pemikiran itu sendiri yang bisa menuruti hukumnya (berpikir benar) dan tidak menurut (berpikir salah). ).pemikiran tidak logis). Blok asosiatif. Dari sudut pandang kami, logika adalah bagian dari teori pengetahuan yang mempelajari hubungan dan keberadaan segala sesuatu dalam arti sebenarnya.

(dari bahasa Yunani - logos): dalam arti luas - ilmu berpikir, doktrin hukum, bentuk dan sarana penalaran. Paling sering, istilah ini diidentikkan dengan istilah "logika formal", yang pendirinya adalah Aristoteles. Tujuan utama penelitian logis adalah untuk menganalisis kebenaran penalaran, rumusan hukum dan prinsip, yang ketaatannya merupakan syarat yang diperlukan untuk memperoleh kesimpulan yang benar dalam proses inferensi. Proses logis dipelajari dengan merepresentasikannya dalam bahasa formal. Masing-masing mencakup seperangkat ekspresi (rumus) yang ditafsirkan dengan tepat, serta metode untuk mengubah beberapa ekspresi menjadi ekspresi lain sesuai dengan aturan deduksi. Logika modern terdiri dari sejumlah besar sistem logika yang menggambarkan masing-masing fragmen (jenis) penalaran. Tergantung pada dasar (kriteria) klasifikasi, logika klasik dan non-klasik saat ini dibedakan. Dalam pengertian modern, logika adalah ilmu tentang bentuk-bentuk wacana.

Secara etimologis, kata ini berasal dari kata Yunani kuno “logos”, yang berarti “kata”, “pemikiran”, “konsep”, “penalaran”, “hukum”. Inilah ilmu tentang hukum-hukum dan bentuk-bentuk pemikiran manusia. Dia mempelajari prosedur mental. Ada perbedaan antara logika tradisional, yang dimulai oleh Aristoteles, yang mempelajari kesimpulan, konsep, dan operasinya. Penggunaan metode formalisasi dan metode matematika menyebabkan terciptanya logika klasik (simbolis atau matematika). Logika non-klasik (modal atau filosofis), yang menggunakan metode formal untuk menganalisis realitas yang bermakna. Pemahaman logika yang disederhanakan - aliran penalaran, aturan penalaran.

Ilmu tentang bentuk-bentuk dan sarana berpikir yang valid secara umum yang diperlukan untuk pengetahuan rasional tentang bidang realitas apa pun.

(Logo Yunani - kata, penalaran, konsep, pikiran) - ilmu tentang bentuk, hukum dan metode aktivitas kognitif; kemampuan berpikir benar (logis). Sejak zaman kuno, sifat penting dari pemikiran kognitif manusia telah diperhatikan: jika beberapa pernyataan pertama kali dibuat, maka pernyataan lain dapat dikenali, tetapi tidak semua pernyataan, tetapi hanya pernyataan yang didefinisikan secara ketat. Oleh karena itu, pemikiran kognitif tunduk pada kekuatan paksaan tertentu, hasil-hasilnya sangat ditentukan dan ditentukan sebelumnya oleh pengetahuan sebelumnya. Properti ini banyak digunakan oleh Socrates dalam dialognya. Dengan mengajukan pertanyaan secara terampil, dia mengarahkan lawan bicaranya untuk mengambil kesimpulan yang sangat spesifik. (Mencirikan metodenya, Socrates menjelaskan bahwa cara bicaranya mirip dengan apa yang dilakukan seorang bidan, yang tidak melahirkan sendiri, tetapi melahirkan. Jadi dia hanya bertanya kepada orang lain, berkontribusi pada lahirnya kebenaran, tetapi dia sendiri tidak ada hubungannya. katakanlah.) Oleh karena itu, Socrates menyebut metodenya maieutika - seni bidan.) Murid Socrates, Plato, kemudian Aristoteles menjadikan determinisme berpikir sebagai subjek kajian khusus. Hasil Aristoteles sangat mengesankan. Keberhasilannya disebabkan oleh fakta bahwa ia menghilangkan dari penalaran apa yang bisa disebut isinya, hanya mempertahankan bentuknya. Dia mencapai hal ini dengan mengganti huruf (variabel) dalam penilaian, bukan nama dengan isi tertentu. Misalnya, dalam argumen implikatif: “Jika semua B adalah Cs dan semua Aes adalah Bs, maka semua Aes adalah Bs.” Pendekatan Aristoteles menunjukkan fakta bahwa keandalan hasil penalaran dengan isi yang berbeda tidak hanya bergantung pada kebenaran posisi awal (premis), tetapi juga pada hubungan di antara mereka, metode hubungannya, yaitu. pada bentuk penalaran. Aristoteles merumuskan prinsip-prinsip terpenting untuk transisi dari premis-premis yang benar menuju kesimpulan-kesimpulan yang benar. Selanjutnya prinsip-prinsip tersebut mulai disebut hukum identitas, kontradiksi dan eksklusi tengah. Dia mengusulkan sistem teoretis pertama tentang bentuk-bentuk penalaran - yang disebut. silogistik asertorik, yang membahas proposisi-proposisi dalam bentuk “Semua A adalah B”, “Beberapa A adalah B”, “Tidak ada A adalah B”, “Beberapa A bukan B”. Dengan demikian, ia meletakkan dasar bagi ilmu pengetahuan tentang cara dan bentuk pemikiran yang berlaku secara umum, hukum-hukum pengetahuan rasional. Belakangan ilmu ini mulai disebut L.L. tidak membatasi diri pada klarifikasi kasus-kasus ketika kebenaran premis menjamin kebenaran kesimpulan. Jenis penalaran ini menjadi subjek dari salah satu cabangnya - deduktif L. Tetapi Democritus sudah membahas masalah inferensi induktif, yang melaluinya transisi dari pernyataan partikular ke ketentuan umum yang bersifat probabilistik dilakukan. Minat khusus terhadap induksi muncul pada abad ke-17 dan ke-18. ketika ilmu-ilmu eksperimental mulai berkembang pesat. Filsuf Inggris F. Bacon melakukan upaya pertama pada pemahaman teoretis tentang induksi, yang menurutnya dapat berfungsi sebagai satu-satunya metode untuk memahami fenomena alam agar dapat digunakan demi kepentingan manusia. Deduktivisme dan induktivisme merupakan arah utama perkembangan sastra hingga abad ke-19. Perwakilan filsafat rasionalis (Descartes, Spinoza, Malebranche, Leibniz) lebih menyukai deduksi, sedangkan perwakilan filsafat empiris (sensualistik) (mengikuti F. Bacon - Hobbes, Locke, Condillac, Berkeley, Hume) adalah induktivis. Wolf, yang menurut pendapatnya mengusulkan sistem pengetahuan filosofis yang komprehensif sebagai “ilmu tentang semua objek yang mungkin, sejauh mungkin,” mencoba mendamaikan arah ini. Secara umum, sebagai seorang rasionalis, ia dengan penuh semangat menekankan pentingnya induksi dan pengetahuan eksperimental dalam disiplin ilmu tertentu (misalnya, dalam fisika). Namun, gagasan Wolffian tentang bentuk dan hukum pemikiran serta metode kognisi, yang telah berkembang di Leningrad pada abad ke-19, tidak mampu memenuhi kebutuhan ilmu pengetahuan dan praktik sosial yang berkembang pesat. Kant dan khususnya Hegel mengkritik keterbatasan metode rasionalistik-metafisik. L. dihadapkan pada tugas mengembangkan sarana yang memungkinkan pendekatan sadar terhadap studi tentang hubungan-hubungan esensial. Upaya serius untuk memecahkan masalah ini dilakukan oleh Hegel. Kelebihannya yang luar biasa adalah pengenalan gagasan pembangunan dan interkoneksi ke dalam sastra. Hal ini memungkinkannya untuk meletakkan dasar-dasar sastra dialektis sebagai teori pergerakan pemikiran manusia dari fenomena ke esensi, dari kebenaran relatif ke kebenaran absolut, dari pengetahuan abstrak ke pengetahuan konkret. Berdasarkan kategori, prinsip, dan hukum sastra dialektis, dikembangkan pedoman metodologis untuk mempelajari isi objek dengan segala keragaman dan inkonsistensinya. Saat ini sastra merupakan disiplin ilmu yang cukup luas. Bagian yang paling penting dan paling matang adalah sastra formal, yang mendapat namanya dari subjek yang telah dibahas sejak zaman kuno - bentuk pemikiran dan penalaran yang menjamin diterimanya kebenaran baru berdasarkan kebenaran yang sudah mapan, dan, pertama. yang terpenting, kriteria kebenaran dan keabsahan formulir-formulir ini. Untuk waktu yang lama, sastra formal dikenal terutama dalam bentuk yang diberikan oleh Aristoteles dan para komentatornya. Oleh karena itu nama yang sesuai dengan tahap ini adalah Aristotelian L. Tradisi yang berasal dari Aristoteles juga memunculkan istilah lain yang setara - filsafat tradisional... Kekekalan masalah dan metode penyelesaiannya dalam kerangka filsafat Aristotelian selama berabad-abad memberi dasar bagi Kant, yang pertama kali menggunakan istilah "filsafat formal". ,” untuk percaya bahwa selama dua ribu tahun yang telah berlalu Sejak zaman Aristoteles, L. ini belum mengambil satu langkah pun maju dan pada dasarnya memiliki karakter yang lengkap. Kant bahkan tidak membayangkan bahwa hanya setengah abad setelah kematiannya, “angin kedua” akan dimulai dalam perkembangan logika formal. Tahap yang secara kualitatif baru ini disebabkan oleh fakta bahwa masalah yang ditimbulkan oleh studi tentang landasan logis matematika dapat tidak dapat diselesaikan melalui logika Aristotelian Hampir bersamaan Proses logisisasi matematika dan matematisasi L sedang berlangsung.Saat memecahkan masalah logika, metode matematika digunakan secara aktif, kalkulus logika dibuat. Langkah-langkah konkrit sedang diambil untuk mengimplementasikan ide Leibniz tentang penggunaan metode komputasi dalam ilmu apapun. J. Boole mengembangkan sistem aljabar pertama L. Berkat karya O. de Morgan, W. Jevons, E. Schroeder, P.S. Poretsky, Peirce, Frege, J. Peano, dan Russell menciptakan bagian utama matematika matematika, yang menjadi cabang terpenting matematika formal.Pada abad ke-20, khususnya pada tahun 20-an dan 30-an, dalam karya J. Lukasiewicz, E. Post, K Lewis, S. Yaskovsky, D. Webb, L. Brouwer, A. Heyting, A.A. Markova, A.N. Kolmogorov, G.Reichenbach, S.K. Kleene, P. Detouches-Fevrier, G. Birkhoff, dan lain-lain meletakkan dasar-dasar bagian linguistik formal non-klasik: linguistik multinilai, modal, probabilistik, intuisionistik, konstruktivis, dan lain-lain. lebih besar dari dua (“benar” ", dan "salah"), merupakan salah satu ciri khas logika non-klasik, atau sering disebut, logika non-Chrysippian. Pada tahun 1930-an, perkembangan logika formal dikaitkan dengan solusi dari banyak masalah metalogi (Yunani meta - setelah, selesai), mempelajari prinsip-prinsip konstruksi dan sifat-sifat umum sistem formal, misalnya, masalah konsistensi, kelengkapan, independensi sistem aksioma, solvabilitas, kemampuan dari sistem ini untuk mengekspresikan teori yang bermakna, dll. Fondasi dari apa yang disebut. "pemikiran mesin" Kajian terhadap masalah-masalah tersebut ditandai dengan penemuan-penemuan luar biasa yang memiliki makna ideologis dan metodologis yang penting dan dikaitkan dengan nama Tarski, K. Gödel, A. Church. Yang paling terkenal adalah teorema K. Gödel tentang ketidaklengkapan sistem formal, termasuk. aritmatika bilangan asli dan teori himpunan aksiomatik. Sesuai dengan teorema ini, dalam masing-masing sistem terdapat proposisi yang dalam kerangkanya tidak dapat dibuktikan atau disangkal. Dengan demikian, terbukti bahwa tidak ada satu pun teori ilmiah valid yang dapat dimasukkan ke dalam kerangka formalisme. A. Church membuktikan teorema yang menyatakan bahwa tidak ada algoritma untuk menyelesaikan banyak kelas masalah, belum lagi algoritma yang memungkinkan penyelesaian masalah apa pun (banyak ahli logika dan matematikawan terkemuka bermimpi untuk menemukan algoritma seperti itu). Saat ini perkembangan logika formal berlangsung dalam dua arah utama: 1) pengembangan sistem baru logika non klasik (logika imperatif, evaluasi, soal, temporal, logika induktif, teori implikasi logis, dan lain-lain) , studi tentang sifat-sifat sistem ini dan hubungan di antara mereka, penciptaan teori umum; 2) perluasan cakupan penerapan L. formal. Hasil akhir terpenting yang diperoleh dalam arah ini adalah bahwa L. formal tidak hanya menjadi instrumen pemikiran presisi, tetapi juga “pemikiran” instrumen presisi pertama - komputer. , secara langsung berperan sebagai mitra yang diikutsertakan seseorang dalam lingkup pemecahan masalah yang dihadapinya. L. (secara keseluruhan) telah menjadi bagian integral dari kebudayaan manusia. Prestasinya digunakan dalam berbagai bidang aktivitas manusia. Ini banyak digunakan dalam psikologi dan linguistik, teori manajemen dan pedagogi, hukum dan etika. Bagian formalnya adalah dasar asli sibernetika, matematika dan teknologi komputasi, dan teori informasi. Tanpa prinsip dan hukum sastra, metodologi kognisi dan komunikasi modern tidak akan terpikirkan. Studi tentang L. selalu dianggap sangat penting. Parmenides telah mengajari Socrates, yang masih belum berpengalaman dalam filsafat: “Semangat Anda untuk berpikir, yakinlah, luar biasa dan ilahi, tetapi ketika Anda masih muda, cobalah untuk berlatih lebih banyak dalam apa yang dianggap sebagai omong kosong (yaitu, beroperasi dengan konsep-konsep abstrak). - V.B.) jika tidak, kebenaran akan luput dari perhatianmu." Seperti yang bisa kita lihat, pada zaman dahulu sudah dipahami bahwa disiplin, yang kemudian diberi nama L., pertama-tama memainkan peran metodologis yang besar - sebagai sarana untuk menemukan kebenaran. V.F. Berkov

Dalam arti luas, ini adalah ilmu filosofis tentang hukum-hukum berpikir yang benar; dalam arti sempit - serangkaian kebutuhan yang dibangun dalam pencarian kebenaran.

(dari bahasa Yunani logos - logos) 1) kemampuan untuk melakukan dengan benar, yaitu. secara logis, pikirkan; 2) doktrin identitas dan negasinya (G. Jacobi), doktrin konsistensi dan metode kognisi (ilmu logika). Sebagai "logika formal dasar" ia berhubungan dengan sifat-sifat paling umum yang melekat pada semua konsep (yang ada). Dasar sifat-sifat konsep dinyatakan dalam aksioma logis (lihat Aksioma). Pertama, doktrin konsep dipertimbangkan, kemudian muncul doktrin penghakiman dan terakhir inferensi. Doktrin aksioma logis, konsep, penilaian dan kesimpulan, jika digabungkan, membentuk logika murni. Logika terapan dalam logika tradisional mencakup doktrin definisi, pembuktian, dan metode. Hal ini sering kali didahului bukan oleh ajaran ilmiah-logis, tetapi oleh ajaran psikologis teoritis-kognitif tentang pengalaman, deskripsi dan rumusan (terutama dengan bantuan bahasa khusus, terminologi) dan pembentukan konsep. Terkadang doktrin sistem ditambahkan ke dalamnya. Logika (sebagai ilmu) hanyalah doktrin berpikir dalam konsep, tetapi bukan pengetahuan melalui konsep; ini berfungsi untuk meningkatkan keakuratan formal kesadaran dan objektivitas isi pemikiran dan kognisi. Pendiri logika Eropa Barat (sebagai ilmu pengetahuan) adalah Aristoteles, “bapak logika”. Kata "logika" pertama kali muncul di kalangan Stoa; mereka dan kaum Neoplatonis memperjelas aspek-aspek tertentu darinya, dan pada Abad Pertengahan, skolastisisme mengembangkannya dalam detail terkecil, dalam kehalusan. Humanisme mengeluarkan skolastisisme dari logika, tetapi tidak dapat memperbaharuinya. Reformasi mengadopsi logika Melanchthon, Kontra-Reformasi mengadopsi logika Suarez. Setelah secara prinsip melampaui skolastisisme, Johannes Sturm dari Strasbourg mengembangkan logika; Pierre Ramet menjadi lebih terkenal. Dari abad ke-17 Pengaruh bidang pemikiran yang terkait dengan matematika terhadap logika menjadi nyata, dan dalam metode geometri Spinoza pengaruhnya lebih kecil dibandingkan dengan Leibniz, yang menggunakan metode ilmu pengetahuan alam yang lebih baik dalam logika. Dari Leibniz dan matematika, serta dari neo-skolastisisme, muncullah logika aliran Wolf. "Logika transendental" Kant pada kenyataannya adalah teori pengetahuan kritis, logika Jerman. idealisme (terutama logika Hegel) - metafisika spekulatif. Schopenhauer, Nietzsche, Bergson dan para pendukung filsafat kehidupan menolak logika tradisional. Saat ini logika telah terpecah menjadi banyak arah: 1) logika metafisik (Hegelianisme); 2) logika psikologis (T. Lipps, sebagian W. Wundt); 3) logika epistemologis, atau transendental (neo-Kantianisme); 4) logika semantik (Aristoteles, Kulpe, nominalisme modern); 5) logika mata pelajaran (Remke, Meinong, Drish); 6) logika neo-skolastik; 7) logika fenomenologis; 8) logika sebagai metodologi (neo-Kantianisme) dan logistik, yang menjadi pusat perdebatan tentang logika.

Kebalikan asimetris dari yang absolut, ditandai dengan perluasan negatif, anti-substansial, merusak diri sendiri...

Logika formal mengeksplorasi struktur pemikiran manusia yang invarian, dan meskipun ada perbedaan antara konten yang diidealkan dan bentuk material dari ekspresi pemikiran, kebenaran penalaran perlu dipastikan dengan bantuan hukum dan aturan formal.

Logika sebagai ilmu meliputi logika tradisional dan logika modern (klasik dan non klasik). Berdasarkan isinya, mereka mewakili kronologi tahapan perkembangan ilmu logika. Mereka dibedakan berdasarkan konsep dasar dan metode apa yang mereka gunakan untuk membangun teori formal dan masalah apa yang mereka pecahkan: logika tradisional metode formalisasi digunakan dalam bentuk semi formal, dan modern- dalam keadaan bersih; V logika tradisional kategori utamanya adalah "konsep", "penilaian" dan "inferensi", dan masuk modern- pernyataan dan istilah; logika tradisional membentuk budaya berpikir, yaitu adalah metode pembuktian dan sanggahan, dasar berbagai jenis wacana, dan lain-lain, dan modern mengeksplorasi fungsi berpikir dalam bahasa sains, yaitu. menganalisis prinsip-prinsip konstruksi, transformasi dan pembenaran teori-teori ilmiah.

Dalam hal ini, kami akan membatasi diri pada analisis logika tradisional dan, sejauh diperlukan, mempertimbangkan beberapa aspek logika proposisional (logika klasik) dan logika modal (logika non-klasik).

Logika (Yunani λογιχή - ilmu berpikir, dari λόγος - pikiran, perkataan, pengajaran) - adalah ilmu filsafat tentang hukum-hukum dan bentuk-bentuk berpikir teoritis, tentang hubungan antara bentuk-bentuk tersebut dan tentang kesalahan-kesalahan dalam proses berpikir serta cara mengatasinya.

Status dan peran ilmu apa pun dicirikan, pertama-tama, oleh bidang objek-subjeknya. Objek sains mewakili bidang realitas tertentu yang menjadi tujuan upaya penelitian. Mata pelajaran sains- ini adalah sisi tertentu dari suatu objek yang berkontribusi pada klarifikasi kualitatif dan kuantitatifnya.

Objek logika - ini adalah pemikiran manusia. Namun logika mempelajari pemikiran manusia bukan dalam rangka mempertimbangkan segala bentuknya, dengan memperhatikan pembentukan dan perkembangannya, seperti yang dilakukan dalam kerangka tersebut filsafat(khususnya - di epistemologi), tetapi hanya mengambil bentuk-bentuk pemikiran teoretis yang ada dalam bentuk yang sudah jadi, tidak berubah, tidak bergerak, identik dengan dirinya sendiri dalam keadaan sosio-historis dan budaya apa pun; logika mengeksplorasi pemikiran bukan dengan penekanan pada aspek isinya dan pengkondisiannya oleh faktor fisiologis dan sosial budaya, yang merupakan ciri khasnya psikologi, tetapi dalam pemikiran teoritis hanya menyoroti aspek formal-strukturalnya, dll. Inti dari analisis logis adalah reduksi pemikiran ke dalam struktur dan bentuknya melalui abstraksi isi. Perlu diingat bahwa, meskipun analisis pemikiran mengenai benar atau tidaknya isinya, pemahamannya, dll. dan melampaui batas-batas subjek logika, tetapi tanpanya pemikiran logis dan keberadaan logika sebagai ilmu tidak mungkin terjadi. Oleh karena itu, bagi logika, penting untuk tidak hanya menentukan Kanan, tetapi juga kebenaran bentuk pemikiran logis (penilaian dan kesimpulan). Logika tidak dimaksudkan untuk memperoleh pengetahuan yang jelas-jelas tidak benar. Subyek logika - ini adalah sistem kompleks yang menyatukan kondisi universal yang menjamin kebenaran pemikiran, yang harus dipatuhi terlepas dari isi pemikiran.

Subyek logika adalah:

- bentuk pemikiran teoritis: konsep, penilaian, kesimpulan;

- hukum berpikir umum: identitas, kontradiksi, alasan ketiga yang dikecualikan dan cukup;

- metode sains universal, pemikiran teoretis secara umum: analisis, sintesis, abstraksi, generalisasi, formalisasi, dll;

- hukum struktural dan kaidah bentuk pemikiran individu: hukum hubungan terbalik antara volume dan isi suatu konsep, kaidah premis dan istilah, kaidah khusus figur silogisme kategoris sederhana, dan sebagainya;

- bahasa logika sebagai suatu sistem simbol-simbol khusus untuk menunjukkan bentuk-bentuk pemikiran dan hubungannya;

- ketentuan dan definisi, dibenarkan secara logika;

- kesalahan logis, mungkin dalam proses berpikir.

Pemikiran (abstrak)- ini tidak langsung(itu. berdasarkan pengetahuan yang diperoleh sebelumnya)dan digeneralisasikan(itu. menangkap fitur-fitur penting)refleksi realitas di otak manusia, direkam dan ditransmisikan olehnya dalam bahasa(pemikiran praktis)dalam proses kegiatan spiritual dan praktis mereka.

Sifat-sifat berpikir yang benar:

- kepastian- akurasi dan ketelitian;

- selanjutnya- tanpa kontradiksi internal;

- keabsahan- fokus pada alasan mengapa pemikiran tersebut harus diakui sebagai kebenaran.

Dalam berpikir mereka membedakan isi dan bentuk pemikiran:

Bentuk pemikiran - inilah struktur pemikiran, cara menghubungkan bagian-bagian yang bermakna(konsep menjadi penilaian, penilaian satu sama lain menjadi penilaian kompleks, penilaian sebagai bagian dari kesimpulan).

Pemikiran manusia berkaitan dengan proses pemikiran. Pemikiran - ini adalah perbandingan pemikiran dan penyatuannya untuk memperoleh pengetahuan baru berdasarkan pengetahuan yang sudah ada.

Alasan terjadi Benar dan salah.

Penalaran yang Benar - ini adalah alasan di mana hanya ada pemikiran(kesimpulan)tentu mengikuti dari pemikiran lain(parsel).

Contoh:“Semua bintang adalah bola gas panas raksasa yang bersinar. Matahari adalah bintang. Oleh karena itu, Matahari adalah bola gas panas raksasa yang bercahaya." Dalam argumen ini, dua pemikiran awal membenarkan argumen ketiga: “Jika suatu kelas suatu benda mempunyai suatu sifat tertentu dan suatu benda tertentu termasuk dalam kelas tersebut, maka sifat tersebut juga melekat di dalamnya”. Atau: “Jika suatu benda mempunyai suatu sifat tertentu dan segala sesuatu yang mempunyai sifat tersebut juga mempunyai sifat lain, maka benda tersebut juga mempunyai sifat lain ini”:“Matahari adalah bola gas panas raksasa yang bercahaya. Semua bola gas panas raksasa yang bersinar menghasilkan energi yang sangat besar. Akibatnya, Matahari menghasilkan energi dalam jumlah besar.”

Penalaran yang Salah - ini adalah penalaran di mana kesalahan logis terjadi sebagai akibat dari ketidakpatuhan terhadap hukum dan aturan logika.

Contoh:“Obat-obatan yang diminum pasien bagus. Semakin banyak kebaikan yang Anda lakukan, semakin baik. Artinya, obat-obatan harus diminum sebanyak mungkin.” Kekeliruan kesimpulan tersebut berasal dari identifikasi tidak berdasar atas konsep-konsep non-identik yang digunakan dalam dua pemikiran awal: di bagian pertama konsep “baik” diberikan dari sudut pandang kegunaan praktis suatu zat tertentu dan kebenaran penggunaannya, di detik- dalam istilah etika umum, sebagai kebalikan dari konsep “jahat”.

Sama seperti pemikirannya penalaran memiliki konten itu. informasi tentang dunia, dan bentuk logis, yaitu konstruksi, cara menghubungkan elemen-elemen penyusunnya. Perlu dicatat bahwa bentuk logis bukan bagian dari isi yang memuat pemikiran atau alasan tertentu. Bentuk logis hanyalah sarana yang menghubungkan bagian-bagian pokok isi dalam pikiran atau penalaran satu sama lain. Untuk mengidentifikasi komponen-komponen tersebut logika mengabstraksi dari isi pemikiran atau penalaran tertentu dan berkaitan dengan analisis, dan pertama-tama, bentuk logisnya, yaitu. berfokus pada komponen-komponen yang mewakili aspek formal pemikiran atau penalaran.

Misalnya, dalam pengertian “logika adalah ilmu filsafat”, di satu sisi terdapat isi (pemikiran) yang spesifik, tidak bergantung pada bentuk pemikiran (“sesuatu ditegaskan tentang sesuatu”), di sisi lain, informasi tentang metode menghubungkan unsur-unsur struktural pemikiran (subyek pemikiran dan tanda dari subjek pemikiran), itulah yang menarik minat logika sebagai suatu ilmu.

Oleh karena itu perlu dibedakan Kanan Dan kebenaran pemikiran atau penalaran. Konsep kebenaran berpikir formal hanya mengacu pada tindakan logis dan operasi berpikir. Pemikiran yang benar- inilah ciri khasnya dari sisi bentuk. Dari segi bentuk, secara logika bisa benar atau salah. Benar pikiran atau penalaran adalah kepatuhan terhadap kaidah dan hukum logika. Jika di antara premis suatu kesimpulan terdapat premis yang tidak benar, maka dengan tunduk pada kaidah logika, dalam kesimpulan dapat diperoleh kebenaran dan ketidakbenaran.

Contoh:“Semua logam berbentuk padat. Merkuri bukanlah benda padat. Oleh karena itu, merkuri bukanlah logam.” Dalam hal ini salah satu kaidah logika dilanggar, karena salah satu premis (1) tidak benar. Namun meskipun dua premis tersebut benar, Anda bisa mendapatkan kesimpulan yang benar dan salah: “Semua laptop memiliki layar. Perangkat teknis ini memiliki layar. Oleh karena itu, perangkat teknis ini adalah laptop.” Salah satu aturan logika juga dilanggar di sini. Oleh karena itu, kesimpulannya tidak serta merta mengikuti premis-premis tersebut. Kesimpulan diambil menurut gambar II dengan dua premis afirmatif, dan menurut aturan gambar ini, salah satu premis dan kesimpulan harus berupa penilaian negatif.

Konsep kebenaran berpikir hanya mengacu pada isi pemikiran tertentu. Kebenaran ada kesesuaian pemikiran atau penalaran dengan isi realitas yang spesifik. Dan jika penalaran yang sama dengan benar mencerminkan apa yang terjadi dalam kenyataan, maka itu benar, jika tidak, maka tidak benar.

Contoh:“Semua ahli teknologi adalah spesialis dalam teknologi pada cabang produksi tertentu” adalah benar; “Semua pelamar adalah calon mahasiswa” tidaklah benar.

Semua contoh ini menunjukkan pentingnya pengetahuan dan penerapan dua aturan: resmi Dan berarti.

Aturan formal - ini adalah aturan yang hanya menyediakan formulir(tanpa mengacu pada konten)apa yang diubah menurut aturan ini. Di sini kebenaran pernyataan dan hubungan semantiknya tidak penting. Penerapan suatu aturan formal hanya dilakukan atas dasar pengetahuan akan bentuk pernyataannya. Proses berpikir atau menalar yang dilakukan menurut kaidah logika formal, benar secara formal dan logis.

Misalnya, Mari kita ambil proposisi “Kyiv adalah ibu kota Perancis” dan “Jika Kyiv adalah ibu kota Perancis, maka 22=5”, dimana proposisi pertama adalah proposisi sederhana, dan proposisi kedua adalah proposisi kompleks, yang dibentuk oleh konjungsi “jika , Kemudian". Mari kita terapkan salah satu aturan logika formal pada penilaian berikut: x, x→y╞pada, Di mana X Dan pada- menunjukkan proposisi sederhana, → - menunjukkan konjungsi bahasa alami “jika, maka”, ╞ - menunjukkan hubungan konsekuensi. Saat kita menetapkan penghakiman pertama X, Kedua - x→y, maka sesuai di sini kamu - 22=5. Dan tidak masalah apakah penilaian ini benar atau masuk akal. Tentu saja, proposisi pertama tidak benar, dan proposisi kedua juga tidak benar, dan jika proposisi itu benar (“22 = 4”), maka proposisi tersebut tidak masuk akal dalam pengertian biasanya. Namun, ini menunjukkan hal itu untuk penerapan aturan formal, kebenaran penilaian dan hubungannya dalam makna tidak penting. Dan jika demikian, maka tentukan proposisi pertama “Kyiv adalah ibu kota Perancis” sebagai A, dan penilaian “22=5” - DI DALAM, maka kita mendapatkan rumus penilaian kompleks “Jika Kyiv adalah ibu kota Perancis, maka 22 = 5” berupa ungkapan “jika A, Itu DI DALAM" Setelah mengidentifikasi bentuk penilaian, kita dapat menerapkan aturan formal kepada mereka “ x, x→y╞pada", tidak mengetahui baik arti maupun arti dari penilaian" A" dan jika A, Itu DI DALAM" Oleh karena itu, ketika dari penghakiman " A" dan jika A, Itu DI DALAM"kesimpulannya sudah diambil" DI DALAM", maka alasannya benar secara formal dan logis. Konsekuensinya, penalaran logis formal terjadi di sini, karena tunduk pada kaidah logika formal. Dan ketika penghakiman " A" dan proposisi "jika A, Itu DI DALAM" akan benar, maka pasti akan benar dan " DI DALAM" Jika itu tidak benar, kebenarannya" DI DALAM" tidak dijamin.

Namun dalam proses penalaran, selain aturan formal, aturan konten(aturan induksi tidak lengkap, aturan analogi, dll). Aturan konten - ini adalah aturan yang secara tepat memberikan isi dari apa yang diubah sesuai dengannya.

Misalnya, mari kita ambil aturan analogi properti, yang berbentuk rumus:

◊[(P, P, P (X))(P, P (kamu))→(P (kamu))],

yang dapat dibaca sebagai berikut: “Elemen X memiliki properti P,P,P, dan elemennya pada- properti P, P. Oleh karena itu elemennya pada, mungkin memiliki properti itu P».

Ketergantungan aturan ini pada konten ditentukan oleh fakta bahwa penerapannya pada satu (1) konten masuk akal, tetapi pada (2) konten lainnya mengarah pada kesimpulan yang tidak benar.

(1) "Bumi ( X) adalah sebuah planet P, mengorbit Matahari P, bersinar dengan cahaya yang dipantulkan P. Venus ( pada) adalah sebuah planet P, mengorbit Matahari P. Oleh karena itu, Venus ( pada), mungkin bersinar dengan cahaya yang dipantulkan P" (2) "Bumi ( X) adalah sebuah planet P, mengorbit Matahari P, memiliki satelit P. Venus ( pada) adalah sebuah planet P, mengorbit Matahari P. Oleh karena itu, Venus ( pada), mungkin memiliki satelit P", yang seperti kita ketahui, tidak dimiliki Venus.

2. Logika dan bahasa.

Sebuah alat yang memungkinkan Anda menampilkan struktur pemikiran logis dalam bentuk simbolis yang ringkas dan singkat sehingga memungkinkan formalisasi(lat. formalis - disusun menurut bentuk) operasi logis selanjutnya (tindakan dengan bentuk pemikiran rasional) adalah bahasa logika. Bahasa inilah yang memastikan derivasi beberapa bentuk logis dari bentuk logis lainnya sesuai dengan aturan dan hukum yang ditetapkan dalam logika. Dan kesimpulan inilah yang menentukan kebenaran pemikiran teoretis. Artinya kebenaran berpikir teoretis dalam logika sangat ditentukan oleh bahasanya. Sama seperti tidak ada bahasa logis di luar tindakan logis, demikian pula Tanpa bahasa yang logis, tidak ada tindakan logis, dan pada akhirnya, pemikiran yang benar, yang mustahil.

Bahasa - adalah bentuk sosial yang mewakili alam material(bahasa bunyi, plastisitas tubuh manusia: pose, gerak tubuh, ekspresi wajah) dan buatan(bahasa matematika, logika, lukisan, musik, rambu jalan, dll.)sistem tanda-simbolis yang dengannya manusia berkomunikasi, memahami dunia dan mengenal diri sendiri, menyimpan dan mengirimkan informasi, serta mengendalikan perilaku satu sama lain.

Bahasa memberikan korelasi antara isi pemikiran manusia dan dunia objektif yang dipahaminya. Bahasa menggantikan objek material yang dikuasainya dalam tindakan berpikir. Dengan melakukan hal ini, hal ini memungkinkan pemikiran untuk memainkan peran aktif, menetapkan esensi dan pola objek-objek ini, dan atas dasar ini menciptakan model dan cara untuk mengubahnya dengan tepat.

Bahasa apa pun terdiri dari tanda-tanda . Tanda - merupakan unsur bahasa yang menggantikan dan merepresentasikan objek beserta tanda-tandanya dalam proses berpikir dan kognisi.

Tandanya ditandai ketersediaan arti dan makna(Latin sensus - artinya) . Arti (ekstensional , lat. ekstensio - volume )tanda adalah objek dunia material yang diwakili oleh tanda ini. Arti (kehebatan , lat. intensio - ketegangan )tanda - ini adalah informasi yang dikirimkan melalui suatu tanda tentang keberadaan atau karakteristik objek yang ditunjuk. Itulah sebutannya secara harfiah, Berbeda arti kiasan(menunjukkan kesamaan suatu benda dengan benda lain: “Batubara adalah roti industri”) dan etimologis(menjelaskan arti harfiah dari kata tersebut: “Kejadian adalah doktrin keberadaan”).

Tanda-tanda tampil mewakili fungsi (Representatio Latin - representasi, gambar visual), mis. menunjukkan benda dan tanda-tandanya(properti dan hubungan). Dengan menafsirkan tanda-tanda, mengungkapkan makna dan signifikansinya, seseorang mempelajari dunia objektif. Lagi pula, dunia itu sendiri, isinya tidak terlibat langsung dalam aktivitas berpikir.

Tergantung pada ekstensinya (nilai-nilai) tanda-tandanya bisa khayalan atau nyata.

Tanda-tanda imajiner - ini adalah tanda-tanda yang perluasannya tidak sesuai dengan objek yang ada. Tanda-tanda imajiner mencerminkan objek-objek fantastis (“putri duyung Danube”, “negara ideal”), dan objek-objek yang mungkin ada, tetapi tidak ada secara tepat di area subjek yang ditunjukkan oleh tanda ini (“pemilihan demokratis Presiden Ukraina yang bebas di 2004."). Tanda-tanda nyata - ini adalah tanda-tanda yang perluasannya sesuai dengan objek atau fitur tertentu(“konstitusi”, “inflasi”, “oligarki Ukraina”).

Tergantung pada intensitasnya (nalar) tanda-tanda dapat bersifat deskriptif atau non-deskriptif. Tanda deskriptif - ini adalah tanda-tanda yang intensinya berisi informasi tentang karakteristik objek yang ditunjuk - sifat-sifat dan hubungannya(“pemilihan umum yang bebas”, “inflasi yang melonjak”, “kebenaran obyektif”). Tanda non-deskriptif - ini adalah tanda-tanda yang intensitasnya tidak menjadi ciri suatu objek, tetapi hanya menunjuk padanya(“negara”, “properti”, “demokrasi”).

Semua tanda-tandanya terbagi lagi pada tanda-tanda linguistik Dan tanda-tanda non-linguistik. Jenis-jenis tanda nonlinguistik mengalokasikan Oleh sifat hubungan antara tanda dan benda serta ciri-cirinya: tanda-gambar - mempunyai kemiripan tertentu dengan objek yang bersangkutan(peta, denah kawasan, gambar, foto); tanda indeks (lat.indeks - indikator) - mempunyai hubungan langsung dengan obyek yang ditunjuknya(asap tanda kebakaran, perubahan ketinggian kolom air raksa tanda perubahan tekanan atmosfer, indikator angka atau huruf: X, X...X, dimana 1, 2, n adalah tanda indeks); tanda-simbol - menunjuk ke objek tetapi tidak terhubung secara fisik dengannya(rambu-rambu jalan sebagai lambang informasi tentang penyelenggaraan lalu lintas yang tepat; lambang, bendera, lagu kebangsaan sebagai lambang kenegaraan suatu negara)... Tanda-tanda bahasa mewakili objek.

Tanda-tanda yang mewakili suatu benda adalah nama benda ( atau istilah). Nama (lat. nama - nama) - adalah ekspresi bahasa formal alami atau buatan yang menunjukkan objek atau kelas objek yang terpisah. Dengan kata lain, nama barang perbaikan "apa yang dikatakan" . Pada tataran teoritis, menunjuk suatu benda dengan nama merupakan syarat tidak hanya untuk komunikasi, tetapi juga untuk berpikir. Barang(lat. res - subjek, benda) dipahami di sini dalam arti luas: ini adalah benda, fenomena, proses, properti, koneksi, hubungan, dll. baik alam maupun masyarakat, segala produk keberadaannya.

Klasifikasi nama pada lajang Dan adalah hal yang umum. Lajang menunjukkan satu objek dan diwakili dalam bahasa dengan kata benda(“G.S. Skovoroda”, “Dnepr”). Jika nama diri tidak disampaikan secara eksplisit, maka itulah yang digunakan operator sedikit pun - "orang yang"(“Mereka yang mengembangkan metode induksi ilmiah”). Biasa saja menunjukkan suatu himpunan(kelas homogen)objek dan diwakili dalam bahasa dengan kata benda umum(“buku”, “planet tata surya”). Di antara nama-nama umum bisa dibedakan sederhana, yang di dalamnya tidak ada bagian yang mempunyai arti tersendiri (“buku”) dan kompleks, atau deskriptif, terdiri dari bagian-bagian yang mempunyai arti tersendiri (“planet tata surya”: “planet”, “sistem”, “tata surya”).

Nama (seperti tandanya) punya arti Dan arti. Arti nama ada objek yang ditunjuk olehnya. Arti nama ditelepon denotasi (lat. denotatus - ditunjuk; penunjukan , lat. penunjukan - penunjukan). Arti nama- ini adalah cara nama menunjuk suatu objek, mis. informasi tertentu tentang objek yang ditunjuk. Arti nama ditelepon konsep. Arti dan signifikansi dandan isi nama.

Misalnya, bentuk ekspresi linguistik seperti “negara terkecil adalah negara-kota”, “negara-kota di ibu kota Italia - Roma”, “negara yang luasnya 44 hektar dengan jumlah penduduk sekitar. 1.000 orang", "pusat Gereja Katolik Roma, kediaman kepalanya, Paus Roma" miliki arti yang sama(Vatikan), Tetapi arti yang berbeda, Karena mewakili negara tertentu menggunakan berbagai properti, mis. memberikan informasi yang berbeda tentang hal itu.

Jika sebuah nama disajikan di luar konteks, tidak mudah untuk menentukan maknanya. Dalam hal ini, diperlukan analisis tambahan.

Misalnya, Makna kata “Dnepr” bisa berupa sungai, sepeda motor, klub sepak bola, dan lain-lain.

Jika menunjukkan(arti)nama juga merupakan nama, maka nama aslinya yang digunakan pengertian antonim (“keberadaan” adalah “kategori keberadaan”, “penghakiman” adalah “konsep penilaian”, di mana setiap contoh kedua menggambarkan penggunaan istilah yang bersifat antonim).

Dalam bahasa alami yang disebut "antinomi hubungan penamaan" , yang mana apabila suatu nama diganti dengan nama lain yang sama isinya tetapi berbeda bentuknya, maka makna kalimatnya berubah.

Misalnya, mustahil dalam pengajaran bahasa Prancis. filsuf R. Descartes untuk menggantikan pergerakan sebagai atribut universal dari substansi material dan unsur-unsurnya mengubah sebagai atribut universal zat material dan unsur-unsurnya, sejak abad ke-17. perubahan tidak dianggap sebagai atribut materi. Materi, yang terdiri dari banyak unsur, menurut R. Descartes, hanya mampu bergerak (mekanis), tetapi unsur-unsur itu sendiri - seperti materi secara keseluruhan - tidak berubah.

Itu sebabnya antinomi dari hubungan penamaan tidak dapat diterima dalam pengetahuan ilmiah memerlukan ketaatan pada prinsip-prinsip tersebut ketidakjelasan(yaitu penggunaan ekspresi (sebagai nama) hanya dalam konteks tertentu - sebagai nama suatu objek atau kelas objek, dan dalam arti yang sama), objektivitas(yaitu mengidentifikasi hubungan yang diungkapkan oleh nama kompleks sebagai hubungan bukan antar nama, tetapi antara objek yang dilambangkan dengan nama sederhana yang termasuk dalam kompleks), kemampuan dipertukarkan(di mana mengganti nama sederhana (dengan denotasi yang sama) dengan nama kompleks akan mempertahankan makna (denotasi) kompleks tersebut).

Tanda yang mewakili atribut - properti dan hubungan, disebut predikator (“putih”, “lebih”, “tolong”, “bangga”, “pendahulu”, “antara”). Dengan kata lain, predikator perbaikan "apa yang dibicarakan" .

Predikator dikarakterisasi medan, area penerapan, dan area kebenaran.

Jumlah nama predikator ditelepon medan. Ada predikator tunggal dan multi-kursi(dua, tiga, empat... tempat duduk).Jika predikator mencirikan suatu objek(properti suatu objek), kemudian dia lajang (“stabilitas makroekonomi”, “anggaran defisit”). Jika suatu predikator mencirikan hubungan antara dua objek atau lebih, maka itu adalah predikator multi-kursi (“Ukraina bergabung dengan WTO”, dimana predikatornya "masuk" adalah dobel).

Kelas(Latin classis - kelompok) subjek yang masuk akal untuk menggunakan predikator tertentu, ditelepon ruang lingkup prediktor.

Jadi, ruang lingkup penerapan prediktor "menjual" akan ada sekelompok orang, dan "meniru"- kelas hewan atau kelas tumbuhan.

Tersedia Fitur bidang penerapan prediktor satu tempat dan banyak tempat: wilayah lajang bertindak sebagai salah satu properti yang mungkin dari sekumpulan objek, dan multi-kursi- hubungan suatu objek yang dibangun dengan kelas objek yang berbeda.

Misalnya, predikator "cinta" dapat merekam hubungan seseorang dengan orang lain, dengan suatu jenis aktivitas, dengan suatu hal tertentu, dan sebagainya.

Volume properti atau hubungan yang diwakili oleh predikator ditelepon domain kebenaran predikator.

Misalnya, menurut ciri-ciri yang ditentukan, domain kebenaran predikator "Cantik" bisa berupa orang, tarian, bunga, dsb., "keturunan"- paleoanthrope dan archanthrope, Black Sea Cossack dan Cossack, dll.

Ekspresi yang menunjukkan berbagai tindakan, operasi dengan objek, sebagai akibat dari munculnya objek baru, disebut tanda-tanda fungsional (ekspresi fungsional domain, atau fungsi domain , yaitu nama fungsi subjek: dalam matematika: “√”, “+”, “ ctg A" dan sebagainya.; dalam bahasa alami: “usia”, “tinggi”, “massa”, “kecepatan”, “jarak”, “profesi”, dll.).

Fungsi barang (seperti prediktor) ada lajang (“berat”) dan multi-kursi (“jarak”), dan juga memiliki bidang aplikasi , yaitu kelas objek yang disarankan untuk menggunakan fungsi tertentu (“massa” dalam fisika, “log” dalam matematika). Namun penerapan suatu fungsi (misalnya, “usia” pada Samarin S.M.) akan mengarah pada pembentukan objek baru (dalam hal ini, ke nomor bernama, misalnya 20). Dalam hal ini, kita dapat mengatakan bukan tentang bidang kebenaran, dan tentang domain dari suatu fungsi objek .

Pemandian Air Panas (nama barang), predikator dan fungsi(tanda-tanda fungsional) , mewakili objek tertentu, ada ekspresi konstan: suku konstan, predikator konstan, fungsi konstan. Bahasa logika menggunakan dan ekspresi variabel , atau ekspresi dengan nilai variabel: variabel subjek(untuk item), variabel prediktor(untuk properti dan relasi), variabel proposisional(untuk penilaian), variabel fungsi(untuk fungsi subjek). Fitur karakter variabel adalah bahwa mereka memperoleh makna hanya dengan indikasi bidang subjek tertentu.

Umumnya nama barang (yaitu kata dan frasa yang menunjukkan objek individu dan kelas objek homogen), prediktor (yaitu kata dan frasa yang menunjukkan sifat benda atau hubungan antar benda), dan tanda-tanda fungsional (yaitu ekspresi yang menunjukkan fungsi tujuan, operasi: “√”, “+”, “ ctg A") adalah deskriptif (dari bahasa Latin descriptio - deskripsi, deskriptif )ketentuan (lat . terminal - perbatasan).

Bahasanya juga punya istilah logis (konstanta logis, atau konstanta logis). Istilah logis mengungkapkan kata-kata dan frasa tersebut dalam bahasa alami, Bagaimana "Dan" , "atau" , "jika kemudian" , "Bukan" , "jika dan hanya jika, maka" dll., "Semua" ,"beberapa" dan seterusnya., "Itu" ,"yang" ,"seperti yang" dan sebagainya.

Istilah logis "dan" , "atau" , "jika kemudian" , "Bukan" , “jika dan hanya jika, maka”... menangkap hubungan antara istilah deskriptif di tengah pernyataan, di antara pernyataan .

Kata-kata yang menggambarkan hubungan ditelepon penghubung logis . Di antara kelompok penghubung logis, tidak hanya penghubung proposisional ("Dan" , "atau" , "jika kemudian" , "Bukan" , "jika dan hanya jika, maka" ), tetapi juga penghubung logis, ditetapkan sebagai kehadiran antar objek pemikiran hubungan("Plato adalah guru Aristoteles), dan adanya pemikiran dalam mata pelajaran properti(“Donetsk Ada pusat regional"): "Ada" ("tidak makan" ), "adalah" ("tidak" ), bentuk jamaknya adalah "esensi" ("bukan itu intinya" ). Jika ligamen "Ada" ("tidak makan" ), "adalah" ("tidak" ) diungkapkan dalam sebuah pernyataan properti, mereka disebut atributif , Jika hubungan - relatif . Ligamen dapat berekspresi adanya benda dan/atau ciri-cirinya dan oleh karena itu menjadi eksistensial. Selain itu, ligamen ini bisa seperti setuju ("Ada" ), Dan negatif ("tidak makan" ).

Kata-kata "Dan" , "atau" , "jika kemudian" dan seterusnya. dalam bahasa biasa atau sastra adalah konjungsi gramatikal. Mereka menghubungkan kalimat sederhana menjadi kalimat kompleks. Mereka penting di sini isi dan makna.

Kata-kata "Dan" , "atau" , "jika kemudian" dan seterusnya. adalah dan kesatuan yang logis. Mereka tidak lagi mencatat hubungan antar kalimat, melainkan antar pernyataan, di mana saja nilai boolean(benar dan tidak benar) pernyataan sederhana yang membentuk pernyataan kompleks.

Secara logika memang ada nama khusus dan simbol konjungsi logis: « Dan» - konjungsi(), « atau» - pemisahan(), « jika kemudian» - implikasi(→), « jika dan hanya jika, maka» - persamaan derajatnya- (≡), dll. Sifatnya dipelajari dengan logika proposisional. Dengan bantuan mereka, pernyataan (penilaian) sederhana dibentuk menjadi pernyataan kompleks yang menyandang nama konjungsi yang sesuai: konjungsi, disjungsi dll. Mereka sama konjungsi proposisional, atau penghubung proposisional(Latin propositio - proposal, pernyataan).

Istilah logis "semua" ,"beberapa"... memberikan karakteristik kuantitatif dalam pernyataan sederhana. Istilah logika ini mewakili operator logika, yang meliputi bilangan (dari bahasa Latin guatum - berapa): pengukur umum (-"Semua" ) Dan pengukur keberadaan (-"beberapa" ). Mereka memiliki analogi lain dari bahasa alami dan notasi lainnya.

Istilah logis "itu" ,"yang" , "seperti yang..." mencerminkan ekspresi deskriptif objek pemikiran dalam pernyataan sederhana.

Struktur pernyataan juga mencakup kata-kata tambahan yang memberikan pernyataan status logis baru - operator modal: “wajib”, “mungkin”, “acak”, “sah”, “boleh”, “dilarang”, “wajib” dll, yang digunakan secara tertentu jenis modalitas. Mereka juga memiliki simbol (di bawah) untuk menunjukkannya.

Properti formal pernyataan (terlepas dari korespondensinya dengan data faktual) yang diperoleh nilai kebenaran juga memiliki ekspresi simbolis: 1 (BENAR), 0 (tidak benar). Suatu pernyataan secara formal tidak hanya mempunyai dua nilai kebenaran, yaitu menjadi dua digit, tetapi juga ambigu.

Istilah logis dalam bahasa logika ungkapkan hal berikut karakter:

1. 1) A, B, C- simbol nama tunggal, atau variabel subjek;
2. 2) X, kamu, z- simbol nama umum, atau variabel subjek;
3. 3) P, Q, R, … P, Q, R- simbol predikator yang menunjukkan lokasinya, atau variabel prediktor;
4. 4) P, Q, R- simbol pernyataan, atau variabel proposisional;
5. 5) - simbol pengukur keumuman (“semua”, “tidak ada”, “setiap”, “setiap”, “masing-masing”, dll.);
6. 6) - simbol pengukur keberadaan (“tidak semua”, “beberapa”, “ada”, “mayoritas”, “minoritas”, “sebagian”, “kadang-kadang”, dll.);
7. 7) S, P- lambang subjek dan predikat suatu putusan;
8. 8) M- simbol suku tengah inferensi (umum untuk dua premis);
9. 9) A- simbol penilaian yang umumnya afirmatif (“SemuanyaS Ada R»);
10. 10) E- simbol penilaian yang umumnya negatif (“SemuaS tidak makan R»);
11. 11) SAYA - simbol penilaian afirmatif pribadi (“BeberapaS Ada R»);
12. 12) TENTANG- simbol penilaian sebagian negatif (“BeberapaS tidak makan R»);
13. 13) () - tanda teknis tanda kurung kiri dan kanan, digunakan untuk menulis, misalnya, istilah penilaian yang rumit;
14. 14) < >- tanda kurung untuk menunjukkan konjungsi dan disjungsi tertutup atau lengkap;
15. 15) ¬а, ~а, ā, - simbol negasi (“bukan-a”, “tidak benar bahwa a”);
16. 16) , & - simbol konjungsi (“dan”);
17. 17) - simbol konjungsi disjungsi lemah (tidak ketat) (“atau”);
18. 18), - simbol konjungsi disjungsi kuat (ketat) (“salah satu, atau”);
19. 19) →, - simbol konjungsi implikasi (“jika, maka”);
20. 20) ↔, ≡ - simbol konjungsi kesetaraan (“jika dan hanya jika, maka”);
21. 21) - - simbol penghubung logis dari suatu penilaian (“adalah”, “bukan”, “esensi”, “bukan esensi”, “adalah”, “bukan”);
22. 22) - simbol operasi logika penambahan konsep (kelas);
23. 23) - simbol operasi logika perkalian atau perpotongan konsep;
24. 24) - simbol subordinasi, penyertaan kelas di dalam kelas;
25. 25) \ - simbol operasi logika pengurangan konsep;
26. 26)  - simbol operator modal “perlu”;
27. 27) ◊ - simbol operator modal “mungkin”;
28. 28) - simbol operator modal "acak";
29. 29) i - simbol operator modal “benar-benar”;
30. 30) R- simbol operator modal “diizinkan”;
31. 31) F- simbol operator modal “terlarang”;
32. 32) TENTANG- simbol operator modal “wajib”;
33. 33) KE- simbol operator modal “tahu”;
34. 34) DI DALAM- simbol operator modal “percaya” (menghitung);
35. 35) 1, Saya, T- simbol “benar”;
36. 36) 0, X, F- simbol “tidak benar”;
37. 37) R- simbol hubungan;
38. 38) A, DI DALAM, DENGAN- simbol pernyataan;
39. 39) Df- simbol definisi (definisi).

Bahasa simbol - ini adalah sarana bahasa formal untuk memperbaiki struktur logis(bentuk komunikasi)pemikiran dan studi tentang sifat logis dan hubungannya dengan aturan yang ditetapkan secara ketat.

Ciri-ciri bahasa simbol(atau bahasa yang diformalkan- bahasa logika) adalah ketidaksesuaian antara struktur berpikir logis yang direfleksikan dengan bantuannya dan struktur leksiko-gramatikal bahasa biasa atau bahasa sastra yang menyampaikan pemikiran yang sama. Bahasa logika, Di satu sisi, sesuai dengan sifat dan esensi sistem bahasa apa pun, yang ditentukan oleh idealitas pemikiran manusia dan sifat material dari tanda-tanda bahasa yang menjalankan fungsi perwakilan dan substitusi dalam proses kognisi. Di sisi lain, bahasa logika dirancang untuk memastikan keakuratan dan keringkasan pemikiran yang maksimal, stabilitas dan objektivitas kesimpulan yang diperoleh dalam aktivitas kognitif, yang dicapai dalam proses formalisasi dengan mengabstraksi isi, inkonsistensi dan ambiguitas ekspresi linguistik yang terkandung di dalamnya, amorfismenya dan kontradiksi lainnya melekat dalam bahasa biasa. Penting untuk dicatat bahwa aspek-aspek penting dari isi dalam bahasa yang logis tidak diabaikan, tetapi diungkapkan melalui bentuk dengan bantuan simbol-simbol. Hal ini memungkinkan mengidentifikasi secara optimal dan jelas, mencatat dan mengevaluasi secara efektif objek-objek pemikiran, sifat-sifat dan hubungannya, serta melakukan operasi dengannya.

Misalnya:"Autochthons adalah penduduk asli negara ini." Dalam penilaian ini, dua istilah yang diungkapkan dengan jelas dapat diidentifikasi: subjek (S) - "autochthons" dan predikat (P) - “penduduk asli negara”. Istilah dasar penghakiman yang ketiga adalah penghubung logis "adalah"- hilang, tetapi dapat juga dinyatakan secara eksplisit: “Autochthons Ada penduduk asli negara tersebut." Melewatkan dan pengukur umum () - "Semua", tapi keputusan itu menyiratkan Semua penduduk asli negara tersebut. Oleh karena itu, struktur logis dari penilaian kategoris atributif, yang diungkapkan oleh kalimat naratif tertentu, atau kalimat lain yang lebih kompleks, tetapi anggotanya memiliki unsur-unsur yang sesuai dalam bahasa logis, secara simbolis ditulis sebagai berikut: S- R. Rumus ini dibaca menurut kaidah bahasa simbolik: “Semuanya S Ada R" Isi dan fitur tata bahasa dalam kalimat terkait dihilangkan sepenuhnya. Selain itu, pembacaan seperti itu menggantikan kerumitan frasa bahasa alami tentang penilaian afirmatif umum: “Dalam penilaian afirmatif umum, setiap objek dari himpunan tertentu, yang mencerminkan konsep subjek, memiliki properti yang tercermin dalam konsep tersebut. dari sebuah predikat.”

Seperangkat sarana simbolis yang menangkap struktur logis penalaran dan hubungan logis dari unsur-unsur struktur tersebut adalah bahasa subjek , atau bahasa objek: "Semua S Ada R" A analisis logis tentang struktur penalaran, hubungan sarana tanda dari struktur ini dan prosedur korelasinya dengan makna terjadi atas dasar bahasa meta: S menunjukkan subjek pemikiran, R- tanda pokok pikiran, "Ada" mendefinisikan hubungan di antara mereka, "Semua"- sekumpulan objek tertentu dengan karakteristik bawaannya, tercermin dalam S(subjek) dan R(predikat).

Struktur bahasa alami disajikan tiga bagian semiotika (Yunani σημειωτικόν - studi tentang tanda, dari bahasa Yunani σημεϊον - tanda) - ilmu tentang tanda dan bahasa sebagai sistem tanda: sintaksis (Yunani σύνταζις - struktur, kombinasi; di mana tanda-tanda itu sendiri dianalisis, yaitu prinsip-prinsip membangun tanda, aturan hubungan dan penempatan tanda-tanda linguistik dalam sistem tanda tertentu ditentukan), semantik (Yunani σημαντικός - artinya; di mana hubungan antara tanda dan makna terungkap, makna dan makna ekspresi linguistik dipelajari, bahasa dianalisis sebagai sistem tanda menurut fungsi definisi dan penunjukan) dan pragmatis (dari bahasa Yunani πραγμα - bisnis, tindakan; di mana hubungan antara sistem tanda dan pembawanya, cara penggunaan tanda dan bahasa sebagai sistem tanda dalam situasi praktis tertentu dipertimbangkan).

Struktur bahasa formal hanya mencakup sintaksis (bahasa objek) Dan semantik (bahasa metal) bagian. Bahasa sintaksis menggunakan istilah-istilah seperti mengikuti, menyimpulkan, membuktikan, dll. Semantik- kelas, pernyataan, properti, hubungan, benar dan tidak benar, nilai kebenaran suatu pernyataan, interpretasi. Bahasa objek sebagai suatu sistem tanda berarti seperangkat rumusan yang menetapkan dalam bentuk tanda struktur logis penalaran, sifat-sifat logis unsur-unsur penyusun penalaran, dan hubungan antar unsur-unsur penalaran. Bahasa logam mengungkapkan sifat-sifat dan hubungan sarana tanda suatu bahasa objek, fungsi kombinasi dan bentukan sarana tanda suatu bahasa objek. Dalam metabahasa itu sendiri, sintaksis dan semantik dibedakan. Sintaks metabahasa terdiri dari aturan-aturan yang menggambarkan fitur-fitur sistem tanda suatu bahasa objek. Semantik menggambarkan jenis-jenis makna yang dapat diterima oleh tanda-tanda suatu bahasa objek, dan aturan-aturan yang dengannya makna-makna tersebut diberikan pada tanda-tanda yang sesuai dari suatu bahasa objek.

Pentingnya Mempelajari Logika adalah hal itu memungkinkannya Pertama, mengenal hukum, kaidah, dan cara berpikir yang bersifat objektif; Kedua, berdasarkan pengetahuan tentang hukum dan kaidah berpikir, secara sadar mendekati proses berpikir, membantu meningkatkan kejelasan tindakan dalam melakukan pembuktian dan sanggahan, analogi, dan lain-lain; Ketiga, secara sadar membangun argumen tidak hanya dari sudut pandang kebenaran formalnya, tetapi juga kebenarannya; keempat, menetapkan secara akurat esensi kata-kata yang digunakan dalam bahasa, bentuk dan struktur penilaian dan kesimpulan; kelima, menghindari ambiguitas dan kontradiksi dalam proses berpikir dan bernalar; Di urutan keenam, temukan dan hilangkan kesalahan baik dalam alasan Anda sendiri maupun lawan Anda; ketujuh, mengenal hasil-hasil terkini baik di bidang pencapaian logis maupun di bidang aktivitas manusia lainnya; kedelapan, meningkatkan tingkat efisiensi tidak hanya pengetahuan ilmiah, tetapi juga implementasi hasilnya di berbagai bidang praktik sosial.

Logika adalah konsep beragam yang telah tertanam kuat dalam kehidupan dan budaya bicara kita. Pada artikel ini kita akan melihat apa itu logika dari sudut pandang ilmiah. Pengertian, jenis, hukum logika dan latar belakang sejarah akan membantu kita dalam hal ini.

karakteristik umum

Jadi apa itu logika? Definisi logika sangat beragam. Diterjemahkan dari bahasa Yunani, artinya "pikiran", "pikiran", "kata" dan "hukum". Dalam interpretasi modern, konsep ini digunakan dalam tiga kasus:

1. Penunjukan hubungan dan pola yang menyatukan tindakan orang atau peristiwa dalam dunia objektif. Dalam pengertian ini, konsep-konsep seperti “rantai logis”, “logika fakta”, “logika sesuatu” dan sebagainya sering digunakan.
2. Penunjukan urutan yang ketat dan keteraturan proses berpikir. Dalam hal ini digunakan ungkapan seperti: “logika penalaran”, “logika berpikir”, “logika ucapan” dan seterusnya.
3. Sebutan ilmu khusus yang mempelajari bentuk-bentuk dan operasi logika, serta hukum-hukum berpikir yang terkait dengannya.

Masalah logika

Seperti yang Anda lihat, dalam setiap situasi tertentu mungkin terdapat setidaknya satu dari beberapa jawaban atas pertanyaan: “Apa itu logika?” Definisi masalah logika kurang luas. Tugas utamanya adalah mengambil kesimpulan berdasarkan premis-premis dan memperoleh pengetahuan tentang pokok penalaran guna memperoleh pemahaman yang lebih mendalam tentang hubungannya dengan aspek-aspek lain dari fenomena yang sedang dipertimbangkan. Dalam ilmu pengetahuan apa pun, salah satu alat utamanya adalah logika. Ini tidak hanya merupakan subbagian penting dari filsafat, tetapi juga mempengaruhi beberapa ajaran matematika. "Aljabar logika" adalah definisi yang terkenal di kalangan matematika. Kadang-kadang bingung dengan apa yang menjadi dasar ilmu komputer, namun hal ini tidak sepenuhnya benar.

Logika informal

Logika terutama diklasifikasikan menjadi:

1. tidak resmi.
2. Resmi.
3. Simbolis.
4. Dialektis.

Logika informal adalah ilmu yang mempelajari argumentasi dalam bahasa aslinya. Istilah ini paling umum dalam sastra Inggris. Jadi, tugas utama logika informal adalah mempelajari kesalahan logika dalam ucapan. Suatu kesimpulan yang dibuat dalam bahasa alami mungkin memiliki isi formal murni jika dapat ditunjukkan bahwa kesimpulan tersebut tidak lebih dari penerapan tertentu dari aturan universal.

Logika formal dan simbolik

Analisis inferensi yang mengungkapkan isi yang sangat formal disebut logika formal. Adapun mengeksplorasi abstraksi simbolik yang membenahi komposisi formal inferensi logis.

Logika dialektis

Logika dialektis adalah ilmu berpikir yang memberikan pengetahuan tentang cara berpikir yang memperluas kemungkinan inferensi formal. Dalam hal ini konsep logika dapat digunakan baik dalam arti logisnya sendiri maupun dalam bentuk metafora tertentu.

Penalaran dialektis sebagian didasarkan pada hukum logika formal. Pada saat yang sama, dengan menganalisis dinamika transisi konsep-konsep menjadi kebalikannya, hal ini memungkinkan terjadinya kebetulan yang berlawanan, dan oleh karena itu dipandu oleh hukum dialektis.

Objek logika

Definisi logika sebagai ilmu menyiratkan bahwa objeknya adalah manusia, suatu proses multilateral yang kompleks yang melibatkan refleksi umum seseorang terhadap berbagai hal dan hubungan di dunia sekitarnya. Proses ini dipelajari oleh berbagai ilmu: filsafat, psikologi, genetika, linguistik, dan sibernetika. Filsafat mengkaji asal usul dan esensi pemikiran, serta identifikasinya dengan dunia material dan pengetahuan. Psikologi mengontrol kondisi berfungsinya pemikiran secara normal dan perkembangannya, serta pengaruh lingkungan terhadapnya. Genetika berupaya mempelajari mekanisme pewarisan kemampuan berpikir. Linguistik mencari hubungan antara pemikiran dan ucapan. Nah, sibernetika mencoba membangun model teknis otak dan pemikiran manusia. Logika sendiri memandang proses berpikir dari sudut struktur pemikiran, serta benar atau salahnya penalaran, sambil mengabstraksikan isi dan perkembangan pemikiran.

Subyek logika

Subyek bidang pengetahuan ini adalah bentuk logika, operasi yang terkait dengannya, dan hukum berpikir. Yang terbaik adalah mempertimbangkan subjek mempelajari logika melalui proses kognisi manusia terhadap dunia sekitarnya. Kognisi adalah proses di mana seseorang memperoleh pengetahuan tentang dunia. Ada dua cara untuk memperoleh ilmu:

1. Kognisi sensorik. Itu dilakukan dengan menggunakan organ atau instrumen indera.
2. Kognisi rasional. Itu dilakukan dengan menggunakan pemikiran abstrak.

Kognisi didasarkan pada teori refleksi. Menurut teori ini, penilaian, hal-hal dan fenomena dunia objektif dapat mempengaruhi indera manusia dan mengaktifkan sistem transmisi informasi ke otak, serta mengaktifkan otak itu sendiri, sebagai akibatnya gambaran dari hal-hal tersebut dan fenomena tercipta dalam pemikiran manusia.

Kognisi sensorik

Citra sensorik mengacu pada pengetahuan tentang sifat-sifat eksternal dari benda dan fenomena tertentu. Kognisi sensorik dapat terjadi dalam tiga bentuk:

1. Merasa. Mencerminkan properti individu suatu objek.
2. Persepsi. Mencerminkan objek secara keseluruhan, mewakili gambaran holistiknya.
3. Pertunjukan. Ini adalah gambar dari suatu objek yang disimpan dalam memori.

Pada tahap kognisi sensorik, esensi benda dan proses, sifat internalnya, tidak selalu dapat diakses oleh seseorang. Pangeran Kecil dari kisah Exupery dengan judul yang sama berkata: "Anda tidak dapat melihat hal yang paling penting dengan mata Anda." Dalam kasus seperti itu, akal atau pemikiran abstrak membantu indra.

Kognisi rasional

Pemikiran abstrak mencerminkan realitas ditinjau dari sifat-sifat dasar dan hubungan-hubungannya. Pengetahuan tentang dunia melalui pemikiran abstrak terjadi secara tidak langsung, dan tidak secara eksplisit. Ini tidak melibatkan penggunaan observasi dan praktik, tetapi dibangun atas dasar penalaran yang lebih dalam tentang sifat-sifat dan hubungan objek dan fenomena. Misalnya, dengan menggunakan jejak kaki seorang penjahat, Anda dapat membuat ulang gambaran kejadian tersebut; dengan menggunakan termometer, Anda dapat mengetahui seperti apa cuaca di luar, dan sebagainya.

Ciri penting dari berpikir abstrak adalah hubungannya yang erat dengan bahasa. Setiap pemikiran diformalkan dengan menggunakan kata-kata dan frasa, diucapkan melalui ucapan internal atau eksternal. Berpikir tidak hanya membantu seseorang menggambarkan dunia di sekitarnya, tetapi juga memungkinkannya merumuskan ide-ide baru, abstraksi, perkiraan dan prediksi, yaitu memecahkan banyak masalah logis. Definisi “logika” dan “berpikir” dalam hal ini berkaitan erat satu sama lain. Berpikir, terlepas dari apakah itu abstrak atau rasional, dapat terjadi dalam tiga bentuk utama: konsep, penilaian, dan inferensi. Mari kita pertimbangkan secara terpisah.

Konsep

Ini adalah suatu bentuk pemikiran yang dengannya seseorang menciptakan gambaran mental tentang objek, karakteristik dan hubungannya. Sebuah konsep tidak mungkin terjadi tanpa definisi. Namun kita akan melihat aturan definisi dalam logika di bawah ini. Dalam proses pembentukan konsep, seorang individu terlibat dalam menganalisis suatu objek yang diminatinya, membandingkannya dengan objek lain, menonjolkan ciri-ciri pembeda utamanya, mengabstraksi dari ciri-ciri yang tidak penting dan menggeneralisasikan objek-objek yang berbeda berdasarkan ciri-ciri tersebut. Akibatnya, gambaran mental objek, properti dan hubungannya tercipta.

Konsep memainkan peran penting dalam aktivitas kognitif manusia. Berkat mereka, dimungkinkan untuk menggeneralisasi apa yang sebenarnya ada secara terpisah. Di dunia obyektif tidak ada konsep seperti pelajar, magang, juru tulis, atlet, dll; semuanya adalah gambaran umum yang hanya bisa ada di dunia ideal, yaitu di kepala seseorang.

Membuka kemungkinan memperoleh pengetahuan tentang objek dan fenomena berdasarkan sifat-sifat dasar suatu kelas objek atau fenomena yang sejenis. Jonathan Swift berbicara tentang apa jadinya dunia jika orang tidak menggunakan konsep ketika berkomunikasi satu sama lain dalam ceritanya tentang perjalanan Gulliver. Menurut cerita, suatu hari seorang bijak menasehati orang-orang dalam percakapan untuk tidak menggunakan konsep tentang benda, melainkan benda itu sendiri. Banyak yang mengikuti rekomendasinya, tetapi untuk melakukan percakapan normal dengan lawan bicaranya, mereka harus membawa tas dengan berbagai barang di pundak mereka. Tentu saja, perbincangan dengan demonstrasi benda-benda bahkan di kalangan pemilik tas terbesar pun sangat langka.

Sebuah konsep tidak bisa ada tanpa definisi. Dalam ilmu yang berbeda, definisi tersebut dapat ditafsirkan dengan beberapa perbedaan. Definisi konsep dalam logika adalah proses pemberian makna tertentu pada suatu istilah linguistik tertentu. Pada intinya, konsep ini tidak terbatas, karena dikembangkan oleh pikiran universal. Definisi tersebut terbatas karena merupakan hasil kegiatan rasional (logis). Menurut Hegel, definisi tidak sesuai dengan Yang Mutlak dan sesuai dengan representasi. adalah menerjemahkan konsep menjadi representasi, menghilangkan definisi yang terbatas.

Konsep mengandung makna. Dan pengertian konsep dalam logika adalah suatu tindakan yang bertujuan untuk mengidentifikasi makna tersebut. Dengan demikian, suatu konsep dapat disebut suatu kata yang telah mendapat definisi melalui kesimpulan yang logis. Oleh karena itu, tanpa definisi, suatu kata bukanlah suatu konsep, meskipun mempunyai distribusi. Mendefinisikan suatu konsep berarti mendeskripsikan maknanya, memperjelas semua nuansa utama. Selain itu, jika Anda melakukan ini di luar sistem pengetahuan tertentu, maka kesalahan definisi dapat terjadi. Setiap orang memiliki logikanya masing-masing, sama seperti pemahamannya terhadap suatu kata tertentu. Oleh karena itu, ketika berbicara tentang topik filosofis, penting untuk mendefinisikan konsep.

Jenis-jenis definisi dalam logika disajikan dengan sangat luas. Pengertiannya adalah: intensional, nyata, aksiomatik, nominal, eksplisit, implisit, genetik, kontekstual, induktif dan ostensive.

Pertimbangan

Berdasarkan konsep tentang objek, seseorang dapat membuat penilaian tentang objek tersebut dan menarik kesimpulan. Penilaian adalah suatu bentuk pemikiran yang di dalamnya sesuatu ditegaskan atau disangkal mengenai objek pemikiran. Dari satu penilaian Anda bisa mendapatkan penilaian lainnya. Misalnya, berdasarkan kenyataan bahwa semua manusia adalah makhluk fana, kita dapat menyimpulkan bahwa yang meninggal adalah manusia. Selama konstruksi konsep, penilaian dan kesimpulan, setiap orang dapat melakukan kesalahan, baik disadari maupun tidak. Untuk menghindarinya, Anda perlu mengetahui dasar-dasar berpikir yang benar.

Pemikiran yang benar adalah pemikiran yang memperoleh pengetahuan baru yang benar dari pengetahuan yang benar. Pemikiran yang salah juga bisa menghasilkan pengetahuan yang salah. Misalnya, ada dua proposisi: “Jika Ivan melakukan perampokan, dia adalah penjahat” dan “Ivan tidak melakukan perampokan.” Penilaian “Ivan bukan penjahat”, yang diperoleh berdasarkan informasi ini, mungkin salah, karena fakta bahwa dia tidak melakukan perampokan tidak menunjukkan bahwa dia tidak melakukan kejahatan lain.

Kesimpulan

Ketika berbicara tentang kebenaran kesimpulan, para ilmuwan berarti kepatuhan terhadap aturan konstruksi dan keterkaitannya. Hal inilah yang mendasari pengertian hukum-hukum logika sebagai ilmu berpikir. Logika formal mengabstraksi dari isi spesifik dan perkembangan pemikiran. Pada saat yang sama, dia menekankan kebenaran dan kepalsuan pemikiran ini. Sering disebut logis, dengan penekanan pada nama ilmu yang mempelajari aspek berpikir tertentu.

Pertanyaan tentang benar atau salahnya penilaian dan kesimpulan adalah pertanyaan tentang kesesuaian atau ketidaksesuaian antara apa yang dikatakan dengan dunia objektif. Penilaian yang benar secara objektif mencerminkan keadaan dalam realitas objektif. Sebaliknya, penilaian yang salah tidak sesuai dengan kenyataan. Pertanyaan tentang apa itu kebenaran dan bagaimana pengetahuan indrawi berhubungan dengan pemikiran abstrak tidak lagi ditangani oleh logika, tetapi oleh filsafat.

Kesimpulan

Hari ini kita belajar apa itu logika. Definisi konsep ini sangat luas dan beragam, mencakup bidang pengetahuan yang luas. Keberagaman manifestasi logika tersebut menggambarkan keterkaitannya dengan ilmu-ilmu lain, yang sebagian di antaranya cukup materialistis. Artikel ini juga mengkaji aspek-aspek utama pemikiran manusia: kesimpulan, penilaian, konsep dan definisi (dalam logika). Contoh kehidupan nyata membantu kami memahami materi ini dengan lebih mudah.

Seseorang dalam kehidupan sehari-hari dan dalam aktivitas profesional senantiasa belajar tentang dunia di sekitarnya, dirinya sendiri dan orang-orang di sekitarnya, memperoleh berbagai jenis pengetahuan.

Pengetahuan - Ini adalah informasi yang diterima oleh subjek, diproses olehnya berdasarkan pengalaman pribadi atau praktik sosial dan berfungsi sebagai pengatur aktivitas kognitif-transformatifnya.

Subjek melakukan ini melalui kognisi sensorik dan pemikiran abstrak. Melalui refleksi sensorik (sensasi, persepsi, gagasan), berdasarkan proses mental, seseorang mengetahui objek individu dan sifat-sifatnya.

Merasa - proses mental paling sederhana yang mencerminkan sifat-sifat individu dari objek dan keadaan internal tubuh yang timbul dari dampak langsung rangsangan material pada indera.

Tentang “Topik”, “Kategori”, “Tentang sanggahan argumen-argumen canggih”, “Tentang interpretasi”. Ahli logika Bizantium menyatukan semua karya Aristoteles yang terdaftar dengan nama umum “Organon” (Instrumen Pengetahuan). - Cm.: Aristoteles. Op. T.2.M., 1978.

Persepsi - Ini adalah proses merefleksikan objek dan fenomena dunia objektif yang saat ini mempengaruhi penganalisis manusia.

Pertunjukan - Ini adalah proses refleksi visual dan umum dari objek dan fenomena (atau sifat individualnya) yang saat ini tidak mempengaruhi indera kita.

Refleksi sensorik adalah dasar pemikiran abstrak, yang memungkinkan kita mengetahui hukum dunia dan esensi objek. Pemikiran abstrak, atau rasional, mencerminkan dunia dan prosesnya lebih dalam dan lebih lengkap daripada pemikiran sensorik.

Orang selalu bernalar, berusaha menggali pengetahuan baru dari pengetahuan yang dimilikinya. Pengetahuan yang diperoleh dengan cara ini disebut inferensial. Proses menghasilkan pengetahuan inferensial secara alami mematuhi hukum logika tertentu.

Tujuan utama logika justru untuk mengeksplorasi hukum mental tertentu dan mengembangkan aturan untuk memperoleh pengetahuan inferensial.

Oleh karena itu, objek logika sebagai ilmu adalah pemikiran manusia.

Tetapi berpikir adalah proses yang kompleks dan memiliki banyak segi, bentuk pengetahuan tertinggi di dunia, yang hanya dimiliki oleh manusia. Dan tidak semua orang tertarik dengan logika di sini. Hakikat berpikir, asal usulnya, hubungannya dengan dunia dan kemampuan kognitifnya dipelajari oleh filsafat. Fisiologi tertarik pada bagaimana berpikir bergantung pada keadaan otak, material substrat pemikiran. Psikologi mempelajari kondisi perkembangan dan fungsi berpikir yang optimal, pengaruh lingkungan sosio-psikologis dan perasaan terhadapnya. Genetika berusaha mengungkap rahasia anak yang mewarisi kemampuan aktivitas apa pun dari orang tuanya. Ilmuwan sibernetika sedang mempelajari kemungkinan teknis memodelkan pemikiran manusia di komputer dengan umpan balik yang fleksibel.

Logika tidak mendalami isi pemikiran, karena terlihat jelas bahwa dalam parameter ini pemikiran seorang ahli matematika berbeda dengan pemikiran seorang ahli biologi, seorang musisi memikirkan sesuatu yang sama sekali berbeda dari seorang hakim, seorang ilmuwan menggunakan konsep dan istilah dalam penelitian. yang sama sekali tidak digunakan dalam pemikiran dan bahasa sehari-hari. Dan apa yang bisa dibicarakan seseorang!

Namun, dalam banyak pemikiran yang isinya sangat berbeda, seseorang dapat menemukan sesuatu yang pada dasarnya sama. Ini adalah struktur atau bentuknya. Logika, mempelajari struktur pemikiran dalam abstraksi dari konten spesifiknya, menetapkan hukum dan aturan penalaran yang mengarahkan dari satu pernyataan benar ke pernyataan benar lainnya. Tipe utama formulir, di mana pemikiran diungkapkan, adalah: konsep, penilaian, teori dll. Jenis utama bentuk di mana pengembangan pengetahuan terjadi adalah: inferensi, hipotesis, larutan, Versi: kapan, tugas, masalah dan sebagainya.

Ciri-ciri berpikir adalah kenyataan bahwa pengetahuan tentang realitas dan pengembangan pengetahuan dilakukan secara umum dan tidak langsung.

Digeneralisasikan, karena dalam pemikiran dan konsep seseorang mencerminkan aspek objek dan fenomena yang menarik baginya, mengabstraksi dari yang lain, dan konsep kita mencerminkan tanda-tanda tidak hanya dari objek dan fenomena individu tertentu, tetapi juga tanda-tanda isi yang melekat pada banyak hal. objek dan fenomena dari kelas tertentu. Jadi, ketika kita menggunakan konsep “hakim”, yang kita maksud adalah seluruh kelompok perwakilan lembaga peradilan. Misalnya, tidak hanya ketua khusus Mahkamah Konstitusi Federasi Rusia, tetapi juga ciri-ciri umum hakim di masa lalu, sekarang dan masa depan.

Secara tidak langsung, karena berpikir memungkinkan kita memperoleh pengetahuan baru tentang dunia, tidak setiap saat langsung mengacu pada pengalaman, melainkan mengandalkan pengetahuan sebelumnya. Jika kita mengetahui dengan pasti bahwa peradilan selalu melindungi hak-hak warga negara, maka dengan menggunakan pemikiran ini sebagai penilaian awal, kita dapat memperoleh pernyataan baru yang benar: “Pengadilan di Federasi Rusia juga melindungi hak-hak warga negara Rusia.”

Tujuan utama logika justru untuk mempelajari hukum-hukum berpikir tertentu, untuk mengembangkan tidak hanya aturan-aturan untuk mencapai pengetahuan inferensial yang sebenarnya, tetapi juga untuk menentukan cara, sarana dan bentuk pelaksanaan proses ini.

Dengan demikian, kita dapat mendefinisikan logika sebagai ilmu.

Logika(dari bahasa Yunani Aouo

Pokok bahasan logika sebagai ilmu adalah ini adalah bentuk dan cara berpikir, hukum berpikir yang benar dan memperoleh pengetahuan yang dapat disimpulkan, serta metode penalaran dan merumuskan kesimpulan, generalisasi, rekomendasi, dan keputusan yang benar.

Logika kadang-kadang disebut ilmu berpikir yang benar. Definisi logika ini, meskipun memiliki beberapa ketidakjelasan, memiliki dasar. Memang, ketika mereka ingin memeriksa kebenaran suatu penalaran, mereka beralih ke hukum dan aturan logika. Logika membantu kita berpikir sedemikian rupa hingga mencapai kesimpulan yang benar.

Karena logika dalam arti sempit tertarik pada membentuk mengkonstruksi pikiran dan teralihkan dari informasi spesifik yang terkandung di dalamnya, disebut resmi logika.

Mengabaikan isi pemikiran yang spesifik, logika tidak mengabaikan pertanyaan apakah pernyataan yang kita gunakan dalam berpikir itu benar atau salah. Bergantung pada apakah pernyataan awal benar atau salah, keluarannya bisa benar atau salah. Oleh karena itu, logika, agar dapat menjadi sarana untuk menemukan kebenaran, harus didasarkan pada kajian struktur berpikir formal, menetapkan hukum ketergantungan antara penilaian yang benar dan yang salah.

Misalnya dua proposisi berikut:

“Cato the Elder berbicara tentang perlunya menghancurkan Kartago” dan “Plevako - seorang pengacara yang licik” - tidak memiliki konten yang sama, tetapi keduanya memiliki struktur logis yang sama. Pada penilaian pertama dan kedua, objek pemikiran diatribusikan semacam suatu properti tertentu. Secara skematis akan tampak seperti ini: S adalah P, dimana: S adalah pokok pikiran; (dari lat. subjek- subjek, dalam pernyataan-penilaian - subjek logis); P - properti yang dikaitkan dengan objek ini; (dari lat. proedicatum - apa yang dinyatakan dalam pernyataan-penilaian adalah predikat).

Untuk memperkuat kesimpulan kami, pertimbangkan dua argumen lagi: “Semua astronot adalah orang-orang pemberani. G. Titov - kosmonot. Oleh karena itu, G. Titov adalah orang yang pemberani” dan “Semua siswa tahun pertama Akademi Kehakiman Rusia mempelajari logika. Tanya Petrova adalah mahasiswa tahun pertama di Akademi Kehakiman Rusia. Karena itu,

Tanya Petrova mempelajari logika." Isi argumentasi tersebut berbeda-beda, namun struktur logika (bentuk)nya sama. Secara logika sering ditulis seperti ini:

Proposisi “M adalah P” dan “S adalah M” dihubungkan satu sama lain dengan istilah umum “M” (huruf “M” menunjukkan suatu konsep yang mempunyai isi yang sama pada pernyataan pertama dan kedua. Ini disebut dengan jangka menengah (dari lat. sedang- rata-rata)) dan berkat ini kesimpulannya mungkin: “S adalah P.”

Ternyata itu logika formal atau logika dalam arti sempit adalah ilmu tentang koneksi, timbul antara benar dan salahnya suatu kalimat ditinjau dari bentuknya, struktur, terutama tentang keterkaitan antara beberapa kalimat berikut dengan kalimat lainnya.

Sejarah logika memiliki sejarah lebih dari 2,5 ribu tahun dan dibagi menjadi dua tahap utama. Yang pertama dimulai dengan karya Aristoteles dan berlanjut hingga awal abad ke-20. Yang kedua adalah sejak saat itu hingga saat ini. Hampir mustahil untuk menyebutkan semua pemikir terkemuka yang mengembangkan logika. Kursus khusus harus dikhususkan untuk masalah ini. Pada saat yang sama, perlu dicatat bahwa di Yunani Kuno, perwakilan dari aliran “Stoic” (Chrinsii) menaruh perhatian besar pada logika. Salah satu tokoh paling menonjol dalam budaya logis Abad Pertengahan adalah I. D. Scot. F. Bacon memberikan kontribusi yang signifikan terhadap perkembangan logika formal sebagai ilmu. Ia meletakkan dasar bagi doktrin logis induksi, yang tujuannya adalah untuk menemukan hubungan sebab akibat antara fenomena di dunia sekitar melalui observasi dan eksperimen. J. S. Mill mengembangkan metode induksi ilmiah berdasarkan pembentukan hubungan sebab akibat. G. Leibniz memperkuat gagasan tentang kemungkinan menyajikan bukti sebagai perhitungan matematis. D. Boole mengartikan inferensi sebagai hasil penyelesaian persamaan logika. G. Frege menggunakan logika untuk mempelajari dasar-dasar matematika. Kontribusi signifikan terhadap perkembangan logika kemudian diberikan oleh B. Bolzano, O. De Morgan, W. S. Jevons, C. S. Pierce, E. Schroeder dan lain-lain.

Awal abad ke-20 menandai semacam revolusi dalam logika. Hasil mendasar diperoleh oleh K. Gödel, D. Gilbert, B. Racel, A. Tarski, A. N. Whitehead, A. Church dan lain-lain.

Rekan-rekan kita juga memberikan kontribusi yang besar terhadap perkembangan logika. Evolusi ide-ide logis di Rusia dikaitkan dengan konstelasi nama yang cemerlang: ini adalah Likhud bersaudara, M.V. Lomonosov, P.S. Poretsky, N.A. Vasiliev, A.A. Markov-son, dll. Dalam beberapa dekade terakhir, banyak yang telah dilakukan untuk A.P. Alekseev, L. B. Bazhenov, V. A. Bocharov, E. K. Voishvillo, A. D. Getmanova, D. P. Gorsky, A. A. Ivin, Yu. V. Ivlev, V. I. Kirillov, S. A. Lebedev, V. I. Markin, A. L. Nikiforov, S. I. Povarnin, G.I. Starchenko, M.K.Treushnikov, A.I.Uemov, dan lainnya.

• Berbeda dengan logika dialektis yang dalam arti tertentu berhimpitan dengan teori pengetahuan.