Pernyataan yang salah dan benar sering digunakan dalam latihan bahasa. Penilaian pertama dianggap sebagai penafian kebenaran (untruth). Pada realitinya, jenis penilaian lain juga digunakan: ketidakpastian, ketidakbolehbuktian (provability), tidak dapat diselesaikan. Berhujah tentang nombor x pernyataan yang benar, adalah perlu untuk mempertimbangkan hukum logik.
Kemunculan "logik berbilang" membawa kepada penggunaan penunjuk kebenaran yang tidak terhad. Situasi dengan unsur kebenaran adalah mengelirukan, rumit, jadi adalah penting untuk menjelaskannya.
Prinsip teori
Pernyataan yang benar ialah nilai harta (atribut), yang sentiasa dipertimbangkan untuk tindakan tertentu. Apakah kebenaran? Skemanya adalah seperti berikut: "Proposisi X mempunyai nilai kebenaran Y dalam kes apabila proposisi Z adalah benar."
Mari kita lihat contoh. Adalah perlu untuk memahami yang mana satu pernyataan yang diberikan pernyataan itu benar: "Objek a mempunyai tanda B". Pernyataan ini adalah palsu kerana objek mempunyai atribut B, dan palsu kerana a tidak mempunyai atribut B. Istilah "palsu" dalam kes ini digunakan sebagai penafian luaran.
Penentuan kebenaran
Bagaimanakah pernyataan yang benar ditentukan? Tidak kira struktur proposisi X, hanya definisi berikut dibenarkan: "Proposisi X adalah benar apabila terdapat X, hanya X."
Takrifan ini memungkinkan untuk memperkenalkan istilah "benar" ke dalam bahasa. Ia mentakrifkan tindakan bersetuju atau bercakap dengan apa yang dikatakan.
Perkataan mudah
Ia mengandungi pernyataan yang benar tanpa definisi. Seseorang boleh menghadkan dirinya kepada definisi umum dalam proposisi "Bukan-X" jika proposisi ini tidak benar. Kata hubung "X dan Y" adalah benar jika kedua-dua X dan Y adalah benar.
Contoh sebut
Bagaimana untuk memahami yang mana x pernyataan itu benar? Untuk menjawab soalan ini, kami menggunakan ungkapan: "Zarah a terletak di kawasan ruang b". Pertimbangkan kes berikut untuk pernyataan ini:
- mustahil untuk memerhati zarah;
- anda boleh memerhati zarah.
Pilihan kedua mencadangkan kemungkinan tertentu:
- zarah sebenarnya terletak di kawasan ruang tertentu;
- dia tidak berada di bahagian ruang yang dimaksudkan;
- zarah bergerak sedemikian rupa sehingga sukar untuk menentukan luas lokasinya.
Dalam kes ini, empat istilah nilai kebenaran boleh digunakan yang sepadan dengan kemungkinan yang diberikan.
Untuk struktur yang kompleks, lebih banyak istilah adalah sesuai. Ini adalahmenunjukkan nilai kebenaran yang tidak terhad. Untuk nombor yang manakah pernyataan itu benar bergantung pada kesesuaian praktikal.
Prinsip kekaburan
Menurutnya, sebarang pernyataan adalah sama ada palsu atau benar, iaitu, ia dicirikan oleh salah satu daripada dua nilai kebenaran yang mungkin - “palsu” dan “benar”.
Prinsip ini adalah asas logik klasik, yang dipanggil teori dua nilai. Prinsip kekaburan digunakan oleh Aristotle. Ahli falsafah ini, mempertikaikan nombor x pernyataan itu benar, menganggapnya tidak sesuai untuk pernyataan yang berkaitan dengan peristiwa rawak masa hadapan.
Dia mewujudkan hubungan logik antara fatalisme dan prinsip kekaburan, takdir bagi mana-mana tindakan manusia.
Dalam era sejarah berikutnya, sekatan yang dikenakan ke atas prinsip ini dijelaskan oleh fakta bahawa ia merumitkan analisis kenyataan tentang peristiwa yang dirancang, serta mengenai objek yang tidak wujud (tidak boleh diperhatikan).
Memikirkan pernyataan mana yang benar, tidak selalu mungkin untuk mencari jawapan yang jelas dengan kaedah ini.
Ragu-ragu yang timbul tentang sistem logik telah dihapuskan hanya selepas logik moden dibangunkan.
Untuk memahami yang mana antara nombor yang diberikan pernyataan itu benar, logik dua nilai adalah sesuai.
Prinsip kekaburan
Jika dirumus semulavarian pernyataan dua nilai untuk mendedahkan kebenaran, anda boleh mengubahnya menjadi kes polisemi khas: mana-mana pernyataan akan mempunyai satu n nilai kebenaran jika n sama ada lebih besar daripada 2 atau kurang daripada infiniti.
Sebagai pengecualian kepada nilai kebenaran tambahan (di atas "salah" dan "benar") adalah banyak sistem logik berdasarkan prinsip kekaburan. Logik klasik dua nilai mencirikan penggunaan tipikal beberapa tanda logik: “atau”, “dan”, “bukan”.
Logik berbilang nilai yang mendakwa dikonkritkan tidak seharusnya bercanggah dengan keputusan sistem dua nilai.
Kepercayaan bahawa prinsip kekaburan sentiasa membawa kepada pernyataan fatalisme dan determinisme dianggap salah. Juga tidak betul ialah idea bahawa logik berbilang dilihat sebagai cara yang diperlukan untuk melaksanakan penaakulan tidak tentu, bahawa penerimaannya sepadan dengan penolakan penggunaan determinisme yang ketat.
Semantik tanda logik
Untuk memahami nombor X pernyataan itu benar, anda boleh melengkapkan diri anda dengan jadual kebenaran. Semantik logik ialah bahagian metalogik yang mengkaji hubungan dengan objek yang ditetapkan, kandungannya daripada pelbagai ungkapan linguistik.
Masalah ini dianggap sudah berlaku di dunia purba, tetapi dalam bentuk disiplin bebas sepenuhnya ia dirumuskan hanya pada pergantian abad ke-19-20. Karya oleh G. Frege, C. Pierce, R. Carnap, S. Kripkememungkinkan untuk mendedahkan intipati teori ini, realisme dan kemanfaatannya.
Untuk jangka masa yang panjang, logik semantik bergantung terutamanya pada analisis bahasa formal. Hanya baru-baru ini majoriti penyelidikan ditumpukan kepada bahasa semula jadi.
Terdapat dua bidang utama dalam teknik ini:
- teori notasi (rujukan);
- teori makna.
Yang pertama melibatkan kajian hubungan pelbagai ungkapan linguistik dengan objek yang ditetapkan. Sebagai kategori utamanya, seseorang boleh membayangkan: "penamaan", "nama", "model", "tafsiran". Teori ini adalah asas bagi pembuktian dalam logik moden.
Teori makna berkaitan dengan pencarian jawapan kepada persoalan apakah maksud ungkapan linguistik. Dia menerangkan identiti mereka dalam makna.
Teori makna memainkan peranan penting dalam perbincangan paradoks semantik, dalam penyelesaian yang mana mana-mana kriteria penerimaan dianggap penting dan relevan.
Persamaan Logik
Istilah ini digunakan dalam bahasa metal. Di bawah persamaan logik, kita boleh mewakili rekod F1=F2, di mana F1 dan F2 ialah formula bagi bahasa lanjutan proposisi logik. Untuk menyelesaikan persamaan sedemikian bermakna menentukan set nilai sebenar pembolehubah yang akan dimasukkan dalam salah satu formula F1 atau F2, di mana kesamaan yang dicadangkan akan diperhatikan.
Tanda sama dalam matematik dalam beberapa situasimenunjukkan kesamaan objek asal, dan dalam beberapa kes ia ditetapkan untuk menunjukkan kesamaan nilai mereka. Entri F1=F2 mungkin menunjukkan bahawa kita bercakap tentang formula yang sama.
Dalam kesusasteraan selalunya di bawah logik formal bermaksud sinonim seperti "bahasa proposisi logik". "Perkataan yang betul" ialah formula yang berfungsi sebagai unit semantik yang digunakan untuk membina penaakulan dalam logik tidak formal (falsafah).
Pernyataan bertindak sebagai ayat yang menyatakan proposisi tertentu. Dalam erti kata lain, ia menyatakan idea tentang kehadiran beberapa keadaan.
Sebarang kenyataan boleh dianggap benar sekiranya keadaan hal ehwal yang diterangkan di dalamnya wujud dalam realiti. Jika tidak, pernyataan sedemikian akan menjadi pernyataan palsu.
Fakta ini menjadi asas logik proposisi. Terdapat pembahagian pernyataan kepada kumpulan mudah dan kompleks.
Apabila memformalkan varian ringkas pernyataan, formula bahasa urutan sifar asas digunakan. Perihalan pernyataan kompleks hanya boleh dilakukan dengan menggunakan rumus bahasa.
Penghubung logik diperlukan untuk menandakan kesatuan. Apabila digunakan, pernyataan mudah bertukar menjadi bentuk kompleks:
- "tidak",
- "tidak benar bahawa…",
- "atau".
Kesimpulan
Logik formal membantu untuk mengetahui nama pernyataan yang benar, melibatkan pembinaan dan analisis peraturan untuk mengubah ungkapan tertentu yang mengekalkannyanilai sebenar tanpa mengira kandungan. Sebagai bahagian sains falsafah yang berasingan, ia hanya muncul pada penghujung abad kesembilan belas. Arah kedua ialah logik tidak formal.
Tugas utama sains ini adalah untuk mensistematisasikan peraturan yang membolehkan anda memperoleh pernyataan baharu berdasarkan pernyataan yang terbukti.
Asas logik ialah kemungkinan memperoleh beberapa idea sebagai akibat logik daripada pernyataan lain.
Fakta ini memungkinkan untuk menerangkan dengan secukupnya bukan sahaja masalah tertentu dalam sains matematik, tetapi juga untuk memindahkan logik kepada kreativiti artistik.
Penyiasatan logik mengandaikan hubungan yang wujud antara premis dan kesimpulan yang dibuat daripadanya.
Ia boleh dikaitkan dengan bilangan awal, konsep asas logik moden, yang sering dipanggil sains "apa yang mengikuti daripadanya."
Sukar untuk membayangkan membuktikan teorem dalam geometri, menerangkan fenomena fizikal, menerangkan mekanisme tindak balas dalam kimia tanpa alasan sedemikian.
