Pernyataan salah dan benar sering digunakan dalam praktik bahasa. Penilaian pertama dipersepsikan sebagai pengingkaran terhadap kebenaran (untruth). Pada kenyataannya, jenis penilaian lain juga digunakan: ketidakpastian, tidak dapat dibuktikan (provabilitas), tidak dapat dipecahkan. Berdebat untuk berapa nomor x pernyataan itu benar, perlu untuk mempertimbangkan hukum logika.
Munculnya "logika multinilai" menyebabkan penggunaan indikator kebenaran dalam jumlah yang tidak terbatas. Situasi dengan unsur kebenaran membingungkan, rumit, sehingga penting untuk mengklarifikasinya.
Prinsip teori
Pernyataan yang benar adalah nilai properti (atribut), yang selalu dipertimbangkan untuk tindakan tertentu. Apa itu kebenaran? Skemanya adalah sebagai berikut: "Proposisi X memiliki nilai kebenaran Y jika proposisi Z benar."
Mari kita lihat sebuah contoh. Penting untuk memahami yang mana dari pernyataan yang diberikan pernyataan itu benar: "Objek a memiliki tanda B". Pernyataan ini salah karena objek memiliki atribut B, dan salah jika a tidak memiliki atribut B. Istilah "salah" dalam hal ini digunakan sebagai negasi eksternal.
Penentuan Kebenaran
Bagaimana cara menentukan pernyataan yang benar? Terlepas dari struktur proposisi X, hanya definisi berikut yang diperbolehkan: “Proposisi X benar jika ada X, hanya X.”
Definisi ini memungkinkan untuk memperkenalkan istilah "benar" ke dalam bahasa. Ini mendefinisikan tindakan menyetujui atau berbicara dengan apa yang dikatakannya.
Kata-kata sederhana
Mereka berisi pernyataan yang benar tanpa definisi. Seseorang dapat membatasi diri pada definisi umum dalam proposisi "Tidak-X" jika proposisi ini tidak benar. Konjungsi "X dan Y" benar jika X dan Y keduanya benar.
Mengucapkan contoh
Bagaimana memahami x mana pernyataan yang benar? Untuk menjawab pertanyaan ini, kami menggunakan ungkapan: "Partikel a terletak di wilayah ruang b". Perhatikan kasus berikut untuk pernyataan ini:
- tidak mungkin mengamati partikel;
- Anda dapat mengamati partikelnya.
Opsi kedua menyarankan kemungkinan tertentu:
- partikel sebenarnya terletak di wilayah ruang tertentu;
- dia tidak berada di bagian ruang yang dimaksud;
- partikel bergerak sedemikian rupa sehingga sulit untuk menentukan luas lokasinya.
Dalam hal ini, empat suku nilai kebenaran dapat digunakan yang sesuai dengan kemungkinan yang diberikan.
Untuk struktur kompleks, lebih banyak istilah yang sesuai. Inimenunjukkan nilai kebenaran yang tidak terbatas. Untuk nomor berapa pernyataan itu benar tergantung pada kemanfaatan praktis.
Prinsip ambiguitas
Menurutnya, setiap pernyataan salah atau benar, yaitu, ditandai oleh salah satu dari dua kemungkinan nilai kebenaran - "salah" dan "benar".
Prinsip ini adalah dasar dari logika klasik, yang disebut teori dua nilai. Prinsip ambiguitas digunakan oleh Aristoteles. Filsuf ini, yang memperdebatkan bilangan x berapa pernyataan itu benar, menganggapnya tidak cocok untuk pernyataan-pernyataan yang berhubungan dengan kejadian acak di masa depan.
Dia membangun hubungan logis antara fatalisme dan prinsip ambiguitas, takdir dari setiap tindakan manusia.
Di era sejarah berikutnya, pembatasan yang dikenakan pada prinsip ini dijelaskan oleh fakta bahwa hal itu secara signifikan memperumit analisis pernyataan tentang peristiwa yang direncanakan, serta tentang objek yang tidak ada (tidak dapat diamati).
Memikirkan pernyataan mana yang benar, tidak selalu mungkin untuk menemukan jawaban yang jelas dengan metode ini.
Keraguan yang muncul tentang sistem logis dihilangkan hanya setelah logika modern dikembangkan.
Untuk memahami bilangan mana yang pernyataannya benar, logika dua nilai cocok.
Prinsip ambiguitas
Jika dirumuskan kembalivarian dari pernyataan bernilai dua untuk mengungkapkan kebenaran, Anda dapat mengubahnya menjadi kasus khusus polisemi: pernyataan apa pun akan memiliki satu nilai kebenaran n jika n lebih besar dari 2 atau kurang dari tak terhingga.
Sebagai pengecualian untuk nilai kebenaran tambahan (di atas "salah" dan "benar") banyak sistem logis berdasarkan prinsip ambiguitas. Logika klasik bernilai dua mencirikan penggunaan khas dari beberapa tanda logis: “atau”, “dan”, “tidak”.
Logika multinilai yang mengklaim dikonkretkan tidak boleh bertentangan dengan hasil sistem dua nilai.
Keyakinan bahwa prinsip ambiguitas selalu mengarah pada pernyataan fatalisme dan determinisme dianggap keliru. Juga salah adalah gagasan bahwa logika ganda dipandang sebagai sarana yang diperlukan untuk melakukan penalaran indeterministik, bahwa penerimaannya sesuai dengan penolakan penggunaan determinisme ketat.
Semantik tanda logis
Untuk memahami untuk nomor X apa pernyataan itu benar, Anda dapat mempersenjatai diri dengan tabel kebenaran. Semantik logis adalah bagian dari metalogi yang mempelajari hubungan dengan objek yang ditunjuk, isinya dari berbagai ekspresi linguistik.
Masalah ini dianggap sudah ada di dunia kuno, tetapi dalam bentuk disiplin independen penuh, itu dirumuskan hanya pada pergantian abad ke-19-20. Karya G. Frege, C. Pierce, R. Carnap, S. Kripkememungkinkan untuk mengungkapkan esensi dari teori ini, realisme dan kemanfaatannya.
Untuk jangka waktu yang lama, logika semantik terutama mengandalkan analisis bahasa formal. Baru-baru ini sebagian besar penelitian dikhususkan untuk bahasa alami.
Ada dua area utama dalam teknik ini:
- teori notasi (referensi);
- teori makna.
Yang pertama melibatkan studi tentang hubungan berbagai ekspresi linguistik dengan objek yang ditunjuk. Sebagai kategori utamanya, orang dapat membayangkan: "penunjukan", "nama", "model", "interpretasi". Teori ini adalah dasar pembuktian dalam logika modern.
Teori makna berkaitan dengan pencarian jawaban atas pertanyaan tentang apa makna ekspresi linguistik. Dia menjelaskan identitas mereka dalam arti.
Teori makna memainkan peran penting dalam diskusi paradoks semantik, di mana solusi dari setiap kriteria penerimaan dianggap penting dan relevan.
Persamaan Logika
Istilah ini digunakan dalam bahasa meta. Di bawah persamaan logis, kita dapat mewakili catatan F1=F2, di mana F1 dan F2 adalah rumus dari bahasa proposisi logis yang diperluas. Memecahkan persamaan seperti itu berarti menentukan himpunan nilai sebenarnya dari variabel yang akan dimasukkan dalam salah satu rumus F1 atau F2, di mana persamaan yang diusulkan akan diamati.
Tanda sama dengan dalam matematika dalam beberapa situasimenunjukkan kesetaraan objek asli, dan dalam beberapa kasus diatur untuk menunjukkan kesetaraan nilai-nilai mereka. Entri F1=F2 mungkin menunjukkan bahwa kita berbicara tentang rumus yang sama.
Dalam literatur cukup sering di bawah logika formal berarti sinonim seperti "bahasa proposisi logis". "Kata-kata yang benar" adalah formula yang berfungsi sebagai unit semantik yang digunakan untuk membangun penalaran dalam logika informal (filosofis).
Pernyataan bertindak sebagai kalimat yang mengungkapkan proposisi tertentu. Dengan kata lain, itu mengungkapkan gagasan tentang keberadaan beberapa keadaan.
Pernyataan apa pun dapat dianggap benar jika keadaan yang dijelaskan di dalamnya benar-benar ada. Jika tidak, pernyataan seperti itu akan menjadi pernyataan yang salah.
Fakta ini menjadi dasar logika proposisional. Ada pembagian pernyataan menjadi kelompok sederhana dan kompleks.
Saat memformalkan varian sederhana dari pernyataan, rumus bahasa tingkat nol dasar digunakan. Deskripsi pernyataan kompleks hanya mungkin dengan penggunaan rumus bahasa.
Konektivitas logis diperlukan untuk menyatakan serikat pekerja. Saat diterapkan, pernyataan sederhana berubah menjadi bentuk kompleks:
- "tidak",
- "tidak benar bahwa…",
- "atau".
Kesimpulan
Logika formal membantu untuk mengetahui nama mana dari sebuah pernyataan yang benar, melibatkan konstruksi dan analisis aturan untuk mengubah ekspresi tertentu yang mempertahankannyanilai sebenarnya terlepas dari konten. Sebagai bagian terpisah dari ilmu filsafat, ia baru muncul pada akhir abad kesembilan belas. Arah kedua adalah logika informal.
Tugas utama dari sains ini adalah mensistematisasikan aturan yang memungkinkan Anda memperoleh pernyataan baru berdasarkan pernyataan yang terbukti.
Dasar logika adalah kemungkinan memperoleh beberapa ide sebagai konsekuensi logis dari pernyataan lain.
Fakta ini memungkinkan untuk menggambarkan tidak hanya masalah tertentu dalam ilmu matematika, tetapi juga untuk mentransfer logika ke kreativitas artistik.
Penyelidikan logis mengandaikan hubungan yang ada antara premis dan kesimpulan yang ditarik darinya.
Hal ini dapat dikaitkan dengan sejumlah konsep awal dan fundamental logika modern, yang sering disebut ilmu "apa yang mengikutinya."
Sulit membayangkan membuktikan teorema dalam geometri, menjelaskan fenomena fisik, menjelaskan mekanisme reaksi dalam kimia tanpa alasan seperti itu.
