Dil praktikasında tez-tez yalan və doğru ifadələrdən istifadə olunur. Birinci qiymətləndirmə həqiqətin inkarı (haqqın yalanı) kimi qəbul edilir. Reallıqda digər qiymətləndirmə növlərindən də istifadə olunur: qeyri-müəyyənlik, sübut olunmazlıq (sübut oluna bilmə), həll olunmazlıq. Bəyanatın hansı x ədədinin doğru olması üzərində mübahisə edərək məntiq qanunlarını nəzərə almaq lazımdır.
"Çoxqiymətli məntiq"in yaranması qeyri-məhdud sayda həqiqət göstəricilərinin istifadəsinə səbəb oldu. Həqiqət elementləri ilə bağlı vəziyyət çaşqın, mürəkkəbdir, ona görə də onu aydınlaşdırmaq vacibdir.
Nəzəri prinsiplər
Doğru ifadə hər zaman müəyyən bir hərəkət üçün nəzərə alınan xüsusiyyətin (atributun) dəyəridir. həqiqət nədir? Sxem aşağıdakı kimidir: "Z təklifi doğru olduğu halda X təklifi Y həqiqət dəyərinə malikdir."
Bir nümunəyə baxaq. Verilmiş mülahizələrdən hansı üçün doğru olduğunu başa düşmək lazımdır: “A obyekti B işarəsinə malikdir”. Bu ifadə obyektin B atributuna malik olması ilə yanlışdır, a-nın isə B atributuna malik olmaması ilə yanlışdır. Bu halda "yalan" termini xarici inkar kimi istifadə olunur.
Həqiqətin müəyyən edilməsi
Doğru ifadə necə müəyyən edilir? X təklifinin strukturundan asılı olmayaraq, yalnız aşağıdakı tərifə icazə verilir: “X təklifi yalnız X olduqda doğrudur,”
Bu tərif "doğru" terminini dilə daxil etməyə imkan verir. O, dedikləri ilə razılaşmaq və ya danışmaq hərəkətini müəyyən edir.
Sadə kəlamlar
Onlarda tərifi olmayan doğru ifadə var. Əgər bu müddəa doğru deyilsə, “X deyil” müddəasında ümumi təriflə məhdudlaşa bilər. X və Y doğrudursa, "X və Y" birləşməsi doğrudur.
Nümunə deyirəm
Hansı x üçün ifadənin doğru olduğunu necə başa düşmək olar? Bu suala cavab vermək üçün biz ifadədən istifadə edirik: “a zərrəsi b fəzasının bölgəsində yerləşir”. Bu ifadə üçün aşağıdakı halları nəzərdən keçirin:
- hissəciyi müşahidə etmək mümkün deyil;
- hissəciyi müşahidə edə bilərsiniz.
İkinci seçim müəyyən imkanlar təklif edir:
- hissəcik əslində kosmosun müəyyən bölgəsində yerləşir;
- o kosmosun nəzərdə tutulan hissəsində deyil;
- hissəcik elə hərəkət edir ki, onun yerləşdiyi ərazini müəyyən etmək çətindir.
Bu halda, verilmiş imkanlara uyğun gələn dörd həqiqət dəyəri terminindən istifadə edilə bilər.
Mürəkkəb strukturlar üçün daha çox termin uyğundur. buqeyri-məhdud həqiqət dəyərlərini göstərir. Hansı nömrə üçün ifadənin doğru olması praktiki məqsədəuyğunluqdan asılıdır.
Qeyri-müəyyənlik prinsipi
Ona görə, istənilən müddəa ya yalan, ya da doğrudur, yəni o, iki mümkün həqiqət qiymətindən biri ilə - “yanlış” və “doğru” ilə xarakterizə olunur.
Bu prinsip iki dəyərli nəzəriyyə adlanan klassik məntiqin əsasını təşkil edir. Qeyri-müəyyənlik prinsipi Aristotel tərəfindən istifadə edilmişdir. Bu filosof, ifadənin hansı x rəqəminin doğru olması ilə bağlı mübahisə edərək, onu gələcək təsadüfi hadisələrə aid olan ifadələr üçün yararsız hesab etdi.
O, fatalizm ilə qeyri-müəyyənlik prinsipi, hər hansı bir insan hərəkətinin təqdiri arasında məntiqi əlaqə qurdu.
Sonrakı tarixi dövrlərdə bu prinsipə qoyulan məhdudiyyətlər onunla izah olunurdu ki, bu, planlaşdırılan hadisələr, eləcə də mövcud olmayan (müşahidə olunmayan) obyektlər haqqında bəyanatların təhlilini xeyli çətinləşdirir.
Hansı ifadələrin doğru olduğunu düşünərək, bu üsulla hər zaman aydın cavab tapmaq mümkün olmayıb.
Məntiqi sistemlərlə bağlı yaranan şübhələr yalnız müasir məntiq işlənib hazırlandıqdan sonra aradan qaldırıldı.
Verilmiş ədədlərdən hansı üçün müddəanın doğru olduğunu başa düşmək üçün iki qiymətli məntiq uyğundur.
Qeyri-müəyyənlik prinsipi
Yenidən formalaşdırılıbsahəqiqəti üzə çıxarmaq üçün iki dəyərli ifadənin variantı ilə onu xüsusi polisəmiya halına çevirə bilərsiniz: əgər n ya 2-dən böyük, ya da sonsuzluqdan kiçik olarsa, hər hansı bir ifadə bir n həqiqət dəyərinə malik olacaq.
Əlavə həqiqət dəyərlərinə istisnalar kimi (“yanlış” və “doğru”dan yuxarı) qeyri-müəyyənlik prinsipinə əsaslanan bir çox məntiqi sistemlərdir. İki dəyərli klassik məntiq bəzi məntiqi işarələrin tipik istifadəsini xarakterizə edir: “yaxud”, “və”, “yox”.
Konkretləşdirildiyini iddia edən çoxqiymətli məntiq ikiqiymətli sistemin nəticələri ilə ziddiyyət təşkil etməməlidir.
Qeyri-müəyyənlik prinsipinin həmişə fatalizm və determinizm bəyanatına gətirib çıxardığına inam səhv hesab olunur. Çoxsaylı məntiqin qeyri-müəyyən mülahizə yürütmək üçün zəruri vasitə kimi görünməsi, onun qəbulunun ciddi determinizmdən istifadənin rədd edilməsinə uyğun olması fikri də yanlışdır.
Məntiqi işarələrin semantikası
Hansı X rəqəmi üçün ifadənin doğru olduğunu başa düşmək üçün özünüzü həqiqət cədvəlləri ilə silahlandıra bilərsiniz. Məntiqi semantika təyin olunmuş obyektlərə münasibəti, onların müxtəlif linqvistik ifadələrin məzmununu öyrənən metalogika bölməsidir.
Bu problemə artıq qədim dünyada baxılırdı, lakin tam hüquqlu müstəqil intizam şəklində o, yalnız 19-20-ci əsrlərin əvvəllərində formalaşdırılıb. G. Frege, C. Pierce, R. Carnap, S. Kripkenin əsərləribu nəzəriyyənin mahiyyətini, onun reallığını və məqsədəuyğunluğunu açmağa imkan verdi.
Uzun müddət semantik məntiq əsasən formallaşdırılmış dillərin təhlilinə əsaslanırdı. Yalnız bu yaxınlarda tədqiqatların əksəriyyəti təbii dilə həsr edilmişdir.
Bu texnikada iki əsas sahə var:
- notasiya nəzəriyyəsi (istinad);
- məna nəzəriyyəsi.
Birincisi müxtəlif linqvistik ifadələrin təyin olunmuş obyektlərlə əlaqəsinin öyrənilməsini nəzərdə tutur. Onun əsas kateqoriyaları kimi təsəvvür etmək olar: “təyinat”, “ad”, “model”, “tərcümə”. Bu nəzəriyyə müasir məntiqdə sübutlar üçün əsasdır.
Məna nəzəriyyəsi linqvistik ifadənin mənası nədir sualına cavab axtarışı ilə məşğul olur. O, onların kimliyini mənada izah edir.
Məna nəzəriyyəsi semantik paradoksların müzakirəsində mühüm rol oynayır, onların həllində hər hansı məqbul meyarı mühüm və aktual hesab olunur.
Məntiq Tənlik
Bu termin metadildə istifadə olunur. Məntiqi tənlik altında biz F1=F2 qeydini təmsil edə bilərik, burada F1 və F2 məntiqi müddəaların genişləndirilmiş dilinin düsturlarıdır. Belə bir tənliyi həll etmək, təklif olunan bərabərliyin müşahidə ediləcəyi F1 və ya F2 düsturlarından birinə daxil ediləcək dəyişənlərin həqiqi dəyərlərinin həmin çoxluqlarını müəyyən etmək deməkdir.
Bəzi hallarda riyaziyyatda bərabərlik işarəsiilkin obyektlərin bərabərliyini göstərir və bəzi hallarda onların dəyərlərinin bərabərliyini nümayiş etdirmək üçün təyin edilir. F1=F2 girişi eyni düsturdan danışdığımızı göstərə bilər.
Ədəbiyyatda çox vaxt formal məntiq altında "məntiqi müddəaların dili" kimi sinonim nəzərdə tutulur. "Doğru sözlər" qeyri-rəsmi (fəlsəfi) məntiqdə əsaslandırma qurmaq üçün istifadə edilən semantik vahidlər kimi xidmət edən düsturlardır.
İfadə konkret təklifi ifadə edən cümlə kimi çıxış edir. Başqa sözlə, o, hansısa vəziyyətin mövcudluğu fikrini ifadə edir.
Hər hansı bir ifadə, onda təsvir olunan vəziyyətin reallıqda mövcud olduğu halda doğru sayıla bilər. Əks halda, belə bir bəyanat yalan ifadə olacaq.
Bu fakt təklif məntiqinin əsası oldu. İfadələrin sadə və mürəkkəb qruplara bölünməsi var.
İfadələrin sadə variantlarını formallaşdırarkən elementar sıfır tərtibli dil düsturlarından istifadə olunur. Mürəkkəb ifadələrin təsviri yalnız dil düsturlarından istifadə etməklə mümkündür.
Birlikləri ifadə etmək üçün məntiqi birləşdiricilər lazımdır. Tətbiq edildikdə sadə ifadələr mürəkkəb formalara çevrilir:
- "deyil",
- "bu doğru deyil…",
- "və ya".
Nəticə
Formal məntiq ifadənin hansı ad üçün doğru olduğunu öyrənməyə kömək edir, onları qoruyan müəyyən ifadələrin çevrilməsi qaydalarının qurulmasını və təhlilini nəzərdə tutur.məzmunundan asılı olmayaraq həqiqi dəyər. Fəlsəfə elminin ayrıca bölməsi kimi yalnız XIX əsrin sonlarında meydana çıxdı. İkinci istiqamət qeyri-rəsmi məntiqdir.
Bu elmin əsas vəzifəsi sübut olunmuş ifadələr əsasında yeni ifadələr əldə etməyə imkan verən qaydaları sistemləşdirməkdir.
Məntiqin əsası bəzi fikirlərin digər müddəaların məntiqi nəticəsi kimi əldə edilməsi imkanıdır.
Bu fakt təkcə riyaziyyat elmində müəyyən problemi adekvat təsvir etməyə deyil, həm də məntiqi bədii yaradıcılığa köçürməyə imkan verir.
Məntiqi araşdırma binalar və onlardan çıxarılan nəticələr arasında mövcud olan əlaqəni nəzərdə tutur.
Bu, tez-tez "ondan gələnlər" elmi adlanan müasir məntiqin ilkin, fundamental anlayışlarının sayına aid edilə bilər.
Bu cür əsaslandırmalar olmadan həndəsədə teoremlərin sübutunu, fiziki hadisələri izah etməyi, kimyada reaksiyaların mexanizmlərini izah etməyi təsəvvür etmək çətindir.
