Til amaliyotida notoʻgʻri va toʻgʻri gaplar koʻp qoʻllaniladi. Birinchi baho haqiqatni inkor etish (haqiqatsizlik) sifatida qabul qilinadi. Haqiqatda, baholashning boshqa turlari ham qo'llaniladi: noaniqlik, isbotlanmaslik (isbotlanmaslik), hal qilinmaslik. Qaysi x soni haqida gap to'g'ri ekanligi haqida bahslashar ekan, mantiq qonunlarini hisobga olish kerak.
"Ko'p qiymatli mantiq"ning paydo bo'lishi haqiqat ko'rsatkichlarining cheksiz sonidan foydalanishga olib keldi. Haqiqat elementlari bilan bog'liq vaziyat chalkash, murakkab, shuning uchun unga aniqlik kiritish zarur.
Nazariya tamoyillari
Haqiqiy bayonot - bu har doim ma'lum bir harakat uchun hisobga olinadigan xususiyat (atribut) qiymati. Haqiqat nima? Sxema quyidagicha: "Z taklifi to'g'ri bo'lsa, X taklifi Y haqiqat qiymatiga ega."
Bir misolni ko'rib chiqaylik. Berilgan mulohazalarning qaysi biri uchun to'g'ri ekanligini tushunish kerak: "a ob'ekt B belgisiga ega". Ushbu bayonot ob'ekt B atributiga ega bo'lganligi sababli noto'g'ri, a ning B atributi yo'qligi bilan noto'g'ri. Bu holatda "noto'g'ri" atamasi tashqi inkor sifatida ishlatiladi.
Haqiqatni aniqlash
Haqiqiy bayonot qanday aniqlanadi? X taklifning tuzilishidan qat'i nazar, faqat quyidagi ta'rifga ruxsat beriladi: "X taklifi X mavjud bo'lganda to'g'ri bo'ladi, faqat X."
Bu ta'rif tilga "haqiqiy" atamasini kiritish imkonini beradi. U aytilgan narsaga rozi bo'lish yoki gapirish harakatini belgilaydi.
Oddiy gaplar
Ularda ta'rifsiz haqiqiy bayonot mavjud. Agar bu taklif to'g'ri bo'lmasa, "X emas" taklifidagi umumiy ta'rif bilan cheklanishi mumkin. "X va Y" birikmasi, agar X va Y to'g'ri bo'lsa, to'g'ri bo'ladi.
Misol aytish
Qaysi x uchun gap to'g'ri ekanligini qanday tushunish mumkin? Bu savolga javob berish uchun biz quyidagi iboradan foydalanamiz: "a zarrasi b fazo hududida joylashgan". Ushbu bayonot uchun quyidagi holatlarni ko'rib chiqing:
- zarrachani kuzatish mumkin emas;
- zarrachani kuzatishingiz mumkin.
Ikkinchi variant muayyan imkoniyatlarni taklif qiladi:
- zarra haqiqatda fazoning ma'lum bir hududida joylashgan;
- u kosmosning belgilangan qismida emas;
- zarracha shunday harakat qiladiki, uning joylashuv maydonini aniqlash qiyin.
Bu holda, berilgan imkoniyatlarga mos keladigan toʻrtta haqiqat qiymati atamasi ishlatilishi mumkin.
Murakkab tuzilmalar uchun koʻproq atamalar mos keladi. Bucheksiz haqiqat qiymatlarini bildiradi. Qaysi raqam uchun bayonot to'g'ri ekanligi amaliy maqsadga muvofiqligiga bog'liq.
Noaniqlik printsipi
Unga ko'ra, har qanday bayonot yolg'on yoki haqiqatdir, ya'ni u ikkita mumkin bo'lgan haqiqat qiymatlaridan biri - "noto'g'ri" va "to'g'ri" bilan tavsiflanadi.
Bu tamoyil klassik mantiqning asosi boʻlib, u ikki qiymatli nazariya deb ataladi. Noaniqlik printsipi Aristotel tomonidan qo'llanilgan. Bu faylasuf qaysi x soni toʻgʻriligi haqida bahslashar ekan, uni kelajakdagi tasodifiy hodisalar bilan bogʻliq boʻlgan gaplar uchun mos emas deb hisobladi.
U fatalizm va noaniqlik printsipi, insonning har qanday harakatini oldindan belgilash o'rtasida mantiqiy munosabatni o'rnatdi.
Keyingi tarixiy davrlarda bu tamoyilga qoʻyilgan cheklovlar rejalashtirilgan voqealar, shuningdek, mavjud boʻlmagan (kuzatib boʻlmaydigan) obʼyektlar toʻgʻrisidagi bayonotlarni tahlil qilishni sezilarli darajada murakkablashtirishi bilan izohlangan.
Qaysi gaplar toʻgʻri ekanligi haqida oʻylab, bu usul yordamida har doim ham aniq javob topishning imkoni boʻlmagan.
Mantiqiy tizimlar haqidagi shubhalar zamonaviy mantiq ishlab chiqilgandan keyingina yo'q qilindi.
Berilgan raqamlarning qaysi biri uchun gap toʻgʻri ekanligini tushunish uchun ikki qiymatli mantiq mos keladi.
Noaniqlik printsipi
Agar qayta tuzilgan boʻlsahaqiqatni ochish uchun ikki qiymatli gapning varianti boʻlsa, uni polisemiyaning maxsus holiga aylantira olasiz: har qanday bayonot bitta n haqiqat qiymatiga ega boʻladi, agar n 2 dan katta yoki cheksizlikdan kichik boʻlsa.
Qo'shimcha haqiqat qiymatlari ("noto'g'ri" va "to'g'ri" dan yuqori) istisno sifatida noaniqlik printsipiga asoslangan ko'plab mantiqiy tizimlar mavjud. Ikki qiymatli klassik mantiq ba'zi mantiqiy belgilarning odatiy qo'llanilishini tavsiflaydi: "yoki", "va", "yo'q".
Konkretlashtirilgan deb da'vo qilingan ko'p qiymatli mantiq ikki qiymatli tizim natijalariga zid kelmasligi kerak.
Noaniqlik printsipi har doim fatalizm va determinizm bayonotiga olib keladi, degan ishonch noto'g'ri hisoblanadi. Bundan tashqari, ko'p mantiq noaniq mulohaza yuritishning zaruriy vositasi sifatida qaralishi, uni qabul qilish qat'iy determinizmdan foydalanishni rad etishga to'g'ri keladi, degan fikr ham noto'g'ri.
Mantiqiy belgilar semantikasi
Qaysi X raqami uchun bayonot haqiqat ekanligini tushunish uchun siz haqiqat jadvallari bilan qurollanishingiz mumkin. Mantiqiy semantika - metallogikaning belgilangan ob'ektlarga munosabatini, ularning turli lingvistik iboralar mazmunini o'rganadigan bo'limi.
Bu muammo qadimgi dunyoda allaqachon ko'rib chiqilgan, ammo to'liq mustaqil intizom shaklida u faqat 19-20-asrlar oxirida shakllantirilgan. G. Frege, C. Pirs, R. Karnap, S. Kripke asarlaribu nazariyaning mohiyatini, realizmi va maqsadga muvofiqligini ochib berishga imkon berdi.
Uzoq vaqt davomida semantik mantiq asosan rasmiylashtirilgan tillar tahliliga tayangan. Yaqinda tadqiqotning aksariyat qismi tabiiy tilga bag'ishlangan.
Ushbu texnikada ikkita asosiy yoʻnalish mavjud:
- notatsiya nazariyasi (ma'lumotnoma);
- ma'no nazariyasi.
Birinchisi turli lingvistik iboralarning belgilangan ob'ektlarga munosabatini o'rganishni o'z ichiga oladi. Uning asosiy toifalari sifatida tasavvur qilish mumkin: "belgilash", "nom", "model", "talqin qilish". Bu nazariya zamonaviy mantiqda isbotlar uchun asosdir.
Maʼno nazariyasi lingvistik ifodaning maʼnosi nima degan savolga javob izlash bilan shugʻullanadi. U ularning shaxsini maʼnoda tushuntiradi.
Ma'no nazariyasi semantik paradokslarni muhokama qilishda muhim rol o'ynaydi, ularni hal qilishda maqbullikning har qanday mezoni muhim va dolzarb hisoblanadi.
Mantiqiy tenglama
Bu atama metall tilda qoʻllaniladi. Mantiqiy tenglama ostida biz F1=F2 yozuvini ifodalashimiz mumkin, bunda F1 va F2 mantiqiy takliflarning kengaytirilgan tilining formulalaridir. Bunday tenglamani yechish F1 yoki F2 formulalaridan biriga kiritiladigan, taklif qilingan tenglik kuzatiladigan oʻzgaruvchilarning haqiqiy qiymatlari toʻplamini aniqlashni anglatadi.
Ba'zi holatlarda matematikada tenglik belgisiasl ob'ektlarning tengligini ko'rsatadi va ba'zi hollarda ularning qiymatlarining tengligini ko'rsatish uchun o'rnatiladi. F1=F2 yozuvi biz bir xil formula haqida gapirayotganimizni bildirishi mumkin.
Adabiyotda ko'pincha formal mantiq ostida "mantiqiy takliflar tili" kabi sinonimlar tushuniladi. "To'g'ri so'zlar" norasmiy (falsafiy) mantiqda fikr yuritish uchun semantik birliklar bo'lib xizmat qiladigan formulalardir.
Izoh muayyan taklifni ifodalovchi jumla vazifasini bajaradi. Boshqacha qilib aytganda, u qandaydir vaziyat mavjudligi haqidagi fikrni ifodalaydi.
Har qanday bayonot, agar unda tasvirlangan vaziyat haqiqatda mavjud bo'lsa, uni to'g'ri deb hisoblash mumkin. Aks holda, bunday bayonot yolg'on bayonot bo'ladi.
Bu fakt taklif mantiqining asosiga aylandi. Izohlar oddiy va murakkab guruhlarga bo'lingan.
Babodlarning oddiy variantlarini rasmiylashtirishda elementar nol tartibli til formulalaridan foydalaniladi. Murakkab gaplarni tavsiflash faqat til formulalari yordamida mumkin.
Birlashmalarni koʻrsatish uchun mantiqiy bogʻlovchilar kerak. Qo'llanilganda, oddiy iboralar murakkab shakllarga aylanadi:
- "yo'q",
- "bu haqiqat emas…",
- "yoki".
Xulosa
Rasmiy mantiq qaysi nom uchun gap to'g'ri ekanligini aniqlashga yordam beradi, ularni saqlaydigan ma'lum iboralarni o'zgartirish qoidalarini tuzish va tahlil qilishni o'z ichiga oladi.mazmunidan qat'iy nazar haqiqiy qiymat. Falsafa fanining alohida bo'limi sifatida u faqat XIX asr oxirida paydo bo'lgan. Ikkinchi yoʻnalish norasmiy mantiq.
Bu fanning asosiy vazifasi isbotlangan bayonotlar asosida yangi gaplar chiqarish imkonini beruvchi qoidalarni tizimlashtirishdan iborat.
Mantiqning asosi ba'zi fikrlarni boshqa gaplarning mantiqiy natijasi sifatida olish imkoniyatidir.
Bu fakt nafaqat matematika fanidagi muayyan muammoni adekvat tasvirlash, balki mantiqni badiiy ijodga oʻtkazish imkonini beradi.
Mantiqiy tergov binolar va ulardan chiqarilgan xulosalar oʻrtasidagi munosabatlarni nazarda tutadi.
Buni zamonaviy mantiqning boshlang'ich, fundamental tushunchalari soni bilan bog'lash mumkin, bu ko'pincha "bundan kelib chiqadigan narsa" fani deb ataladi.
Geometriyada teoremalarni isbotlashni, fizik hodisalarni tushuntirishni, kimyoda reaksiyalar mexanizmlarini tushuntirishni bunday asoslarsiz tasavvur qilish qiyin.
