O‘zbekiston milliy universiteti m. ShAripov d. Fayzixo‘jayeva mantiq tarixi va nazariyasi falsafa yo‘nalishi talabalari uchun Darslik Toshkent

Vaqt modalligini ifodalovchi mulohazalarda “kecha”, “bugun”, “ertaga”, “avval”, “keyin” kabi vaqtni ifodalovchi modal operatorlar ishtirok etadi. Bunday mulohazalar vaqt mantig‘ida o‘rganiladi.Vaqt mantig‘i – zamonaviy modal mantiqning bo‘limlaridan biri bo‘lib, mulohazalardagi vaqt parametrining mantiqiy bog‘liqligini o‘rganadi. Vaqt mantig‘ini o‘rganish XX asrning 50-yillarida ingliz mantiqshunos olimi A.N.Prayorning ishlaridan boshlandi. Vaqt mantig‘ining vazifasi vaqtda mavjud bo‘lgan predmet va hodisalar haqidagi mulohazalarning yanada aniq, to‘liq va to‘g‘ri bo‘lishini ta’minlovchi formallashgan tilni yaratishdan iborat. Vaqt mantig‘i ko‘plab mantiqiy sistemalarni o‘z ichiga oladi. Ular A-vaqt modalligi va B-vaqt modalligiga bo‘linadi.

A – vaqt modalligida “bo‘ladi”, “bo‘lgan”, “har doim bo‘ladi”, “har doim bo‘lgan” va b. mulohazalar ko‘rib chiqiladi. “Bo‘ladi” (“bo‘lgan”) va “har doim bo‘ladi” (“har doim bo‘lgan”) tushunchalar o‘zaro aniqlanadi. “A bo‘ladi” (A bo‘lgan) tushunchasi “har doim A bo‘lmasligi noto‘g‘ri” (har doim A emas bo‘lganligi noto‘g‘ri). Masalan, “Sovuq bo‘ladi” mulohazasi “har doim issiq bo‘lishi noto‘g‘ri” ekanligini bildiradi. Quyidagi mulohazalar A-vaqt modalligi qonunlarini ifodalaydi:

– har doim bo‘ladigan narsa bo‘ladi; har doim bo‘lgan narsa bo‘lgandir (“To‘rt fasl doimo almashib turgan va shunday bo‘ladi”);

– ziddiyatli hodisaning bo‘lishi yoki bo‘lganligi noto‘g‘ridir (“Ham yorug‘, ham yorug‘ emas bo‘lganligi noto‘g‘ri”);

– agar nimadir bo‘ladigan bo‘lsa, u bo‘ladi. (“Agar yaxshilikka yaxshilik qaytadigan bo‘lsa, unda yaxshilik bo‘ladi”);

– agar har doim bo‘lganligi noto‘g‘ri bo‘lsa, nimadir har doim bo‘lmaydigan bo‘lsa, unda u hozir bo‘lmoqda (“Har kuni momaqaldiroq bo‘lishi yoki bo‘lmasligi noto‘g‘ri, u hozir bo‘lmoqda”);

– nimadir bo‘lgan bo‘lsa, bo‘ladi (agar va faqat agar u hozir bor bo‘lsa, yoki endi bo‘lsa yoki bo‘lgan bo‘lsa) (“Avval zilzila bo‘lgani uchun, zilzila bo‘lishi mumkin”);

– doimo nimadir bo‘ladigan bo‘lsa, har doim bo‘lgan, faqat agar u bor bo‘lsa, doim bo‘lgan va bo‘ladigan bo‘lsa. (“Inson doimo orzu qilgan va har doim orzu qiladi”);

Fin faylasufi va mantiqshunosi G.X.fon Vrigt (1916-2003y.) A-vaqt mantig‘ini “...va undan so‘ng”, “...va keyingi holatda” ifodalarini qo‘llash orqali shakllantiradi. “A va undan so‘ng B” ifodasini “Hozir A, so‘ngra B bo‘ladi” deb, shuningdek, “A o‘zgarib B ga o‘tadi” deb tushunish mumkin. Vaqt modalligining terminlarida “zaruriylik” va “imkoniylik” modal tushunchalarini aniqlash mumkin:

– doimo bo‘lgan, bo‘layotgan va bo‘ladigan narsa zaruriydir:

– nimadir bo‘lgan bo‘lsa, yoki bo‘layotgan bo‘lsa yoki endi bo‘lsa, uning bo‘lishi imkoniydir.

B-vaqt mantig‘ida “avval”, “keyin”, “bir vaqtda” iboralari qo‘llaniladi.

“Avval” va “keyin” iboralari bir-birini aniqlaydi: “A B dan avval” degani “B A dan keyin” ekanligini bildiradi. Bir vaqtda bo‘ladigan hodisalarning hech biri boshqasidan avval kelmaydi. B-vaqt mantig‘ida quyidagi holatlar qonun hisoblanadi:

– hech bir narsa o‘z-o‘zidan avval emas;

– agar birinchisi ikkinchisidan avval bo‘lsa, ikkinchisining birinchisidan avvalligi noto‘g‘ri;

– agar birinchisi ikkinchisidan avval bo‘lsa, ikkinchisi uchinchisi bilan bir vaqtda bo‘lsa, unda birinchisi uchinchisidan avvaldir.

“Avval” tushunchasini “bo‘lgan”, “bo‘layapti”, “bo‘ladi” tushunchalari orqali aniqlab bo‘lmaydi, chunki biri-ikkinchisidan avval bo‘lgan yoki bo‘ladigan hodisalar ikkita bo‘lishi mumkin. O‘z navbatida, “hozir”ni ifodalovchi vaqt tushunchalari “avval”ni bildirmaydi. Shunday qilib, A-vaqt modalligi va B vaqt modalligi bir-biridan mustaqil bo‘lgan, birini ikkinchisiga keltirib bo‘lmaydigan alohida tarmoqlardir. Vaqtni ifodalovchi “o‘tmish-hozir-kelajak” va “avval – bir vaqtda - keyin” tushunchalarini bir-biriga keltirib bo‘lmaydi. Ular bir xil buyum va hodisalarni tasvirlashning bir-birini to‘ldiruvchi ikki usuli, olamga bo‘lgan ikki xil nuqtai nazardir.