Tafakkurning mantikiy shakllari va konunlari. Formal mantikning predmeti va strukturasi. Mantik ilmining fanlar tizimidagi urni



Download 42,25 Kb.
bet5/10
Sana31.12.2021
Hajmi42,25 Kb.
#263474
1   2   3   4   5   6   7   8   9   10
Bog'liq
Tafakkurning mantikiy shakllari va konunlari. Formal mantikning

3) pragmatika – kishilarning belgilarga munosabati hamda belgilar vositasida kishilar o’rtasidagi munosabatni o’rganadi.

Belgilarning bir turi bu nomlardir. Nomlar haqidagi ta'limot nomlanish nazariyasi deb atalib, nemis olimi Gotlob Frege (1848-1925) tomonidan ishlab chiqilgan. Keyinchalik bu ta'limotni rivojlanishiga R.Karnap (1891-1970), A.Cherch (1903 tug’) va ye.K.Voyshvillo (1913 tug’) kabi olimlar katta hissa qo’shishgan.

Nom – bu so’z va so’z birikmasi bo’lib, biror-bir predmetni ifodalaydi. Nom ham o’z ma'nosi va mazmuniga ega. Nomning mazmuni u ifoda qilayotgan predmet bo’lib, denotat, designat, naminat deb ataladi. Nomning ma'nosi u ifoda qilayotgan predmetni boshqalaridan ajratib turuvchi xususiyatlarni anglatadi hamda mantiqda kontsept deb ataladi.

Nomlarning ikki tipi mavjud. Birinchi tip nomlar yakka predmetni ifodalaydi va yakka nom deyiladi. Ikkinchi tip nomlar predmetlar sinfini ifodalaydi va umumiy nomlar deb ataladi. Masalan: O’zbekiston Respublikasi – yakka nom, respublika – umumiy nom. Nomning mazmuniga kiruvchi predmetlar uning hajmini tashkil etadi. Umumiy nomlar universal bo’ladi. Umumiy nomlarning universal deyilishiga sabab, uning hajmini fikr qilinayotgan butun universum tashkil etadi. Masalan: “Umurtqali hayvon” hamda “Umurtqali emas hayvon” deganda shu peredmetlarning (hayvonlarning) barchasi tushuniladi. “Umurtqali hayvon” desak faqat bir qismi tushuniladi. Nomlar turli ma'noga, lekin bir hajmga ega bo’lishi mumkin. Masalan, “O’zbekiston poytaxti” va “Markaziy Osiyodagi eng yirik shahar”. Lekin bir ma'noga turli hajmga ega nomlar mavjud emas.

Semantik kategoriyalar til ifodalarining sinflaridan iborat bo’lib, ular bir-birlaridan qanday ob'ektlarni aks ettirishi bilan farq qiladi. Asosiy semantik kategoriyalarga gap va uning tarkibidagi mustaqil qismlar kiradi. Gaplar hukm, savol, normani ifodalashiga qarab sinflarga bo’linadi. Gap tarkibida deskriptiv va mantiqiy atamalar mavjud. Deskriptiv atamalarga

1) yakka nom;

2) umumiy nom;

3) xususiyat va munosabat belgilari;

4) predmetli funktsiya belgilari.

Yakka va umumiy nomlarga yuqorida xarakteristika berib o’tildi. Xususiyat – bu predmetlarni bir-biridan ajratib turadi. Munosabat – xususiyatdan shunisi bilan farq qiladiki u gapda ikki yoki undan ortiq predmetlarni o’zaro aloqasini ochib beradi.

Zamonaviy mantiqda xususiyat va munosabatlar yagona kategoriyaga kiradi. U deskriptiv atama deyiladi. Deskriptiv atamalar predmetlar nomlari yoki termalar (predmetlar to’plami) va predikator (predmetlar xususiyat va munosabatlar)lariga bo’linadi. Mantiqiy atamalar – mantiqiy konstantalar gapda deskriptiv atamalarni bog’laydi. Ular o’zbek tilidagi “va”, “hamda”, “yoki”, “yo”, “yohud”, “barcha”, “ayrim”, “hech bir” kabi so’zlar orqali ifodalanadi. Mantiqda predikatlar mantig’i tili va mulohazalar mantig’i tili mavjud.

1) Mulohazalar mantig’i hukmlarning ichki tuzilishidan chetlashib, ularning o’zaro aloqasini tahlil etadigan, formallashgan mantiqiy tizimdir. Mulohazalar mantig’i tili alifbosi qo’yidagilardan iborat.


  • p, q, r – propozitsional o’zgaruvchilar, ya'ni hukmlar uchun simvollar;


b)   – kon'yunktsiya belgisi; o’zbek tilidagi “va”, “hamda”, “ham”, “ila” kabi qo’shuvchi bog’lovchilar o’rnida keladi. Masalan, “Akbar (p) va Farrux (q) 2-kursda o’qiydi”.

c)   – dizyunktsiya belgisi; o’zbek tilidagi “yo”, “yoki”, “yoxud” kabi ayiruvchi bog’lovchilar o’rnida keladi. Masalan, “talabalar institut yoki universitetda o’qiydi”.

d)   – implikatsiya belgisi; o’zbek tilidagi “agar ... bo’lsa, ... bo’ladi” degan ifodaga to’g’ri keladi. Masalan, “agar yoqilg’i bo’lmasa, ichki yonuv dvigateli ishlamaydi”.

e)   – ekvivalentlik belgisi; o’zbek tilidagi “ faqat va faqat shundaki ...” ifodasiga to’g’ri keladi. Masalan, “agar geometrik figuraning to’rt tomoni teng bo’lsa, u kvadrat bo’ladi”.

f)   – inkor belgisi. Masalan, “qo’rg’oshin metalldir” hukmini inkori “qo’rg’oshin metall emas”.

2) Predikatlar mantig’i muhokama jarayonida hukmlarning ichki tuzilishini ifodalovchi formallashgan mantiqiy sistemadir. Predikatlar mantig’i tili alifbosi qo’yidagilardan iborat:

a) a, b, c, ..., - predmetlar nomlarini ifodalovchi simvollar, ya'ni konstantalar.

b) x, y, z, ..., - predmetlarning umumiy nomlarini ifodalovchi simvollar.

c) P1,Q1,R1,…, Pn,Qn,Rn – bir o’rinli va ko’p o’rinli predikatorlar uchun simvollar.

Hukmlar miqdorini bildiruvchi simvollar: d)   - umumiylik kvantori; o’zbek tilidagi “barcha”, “hamma”, “hech bir”, “har bir” kabi so’zlarga to’g’ri keladi. Masalan, “ har bir inson yaxshi yashashni xoxlaydi”.

e)   - mavjudlik kvantori; o’zbek tilidagi “ ba'zi ”, “ayrim” kabi so’zlarga to’g’ri keladi. Masalan, “ba'zi geometrik figuralar o’z burchagiga ega emas”



Download 42,25 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   10




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish