Doimiy predikat - Continuous predicate - Wikipedia
 | Bu maqola aksariyat o'quvchilar tushunishi uchun juda texnik bo'lishi mumkin. (2020 yil yanvar) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
Doimiy predikat tomonidan kiritilgan atama Charlz Sanders Peirs (1839-1914) ning maxsus turini tavsiflash uchun aloqador predikat natijasi chegara a rekursiv jarayoni gipostatik abstraktsiya.
Bu erda Peirce-ning kontseptsiyani aniq muhokama qilishlaridan biri:
Predikatdan olib tashlanishi mumkin bo'lgan hamma narsani mavzuga tashlash uchun biz taklifni tahlil qilganimizda, predikatning vakili bo'lishi uchun faqat predmetda ifodalangan turli sub'ektlar orasidagi bog'lanish shakli kiradi. shakl. "Predikatdan olib tashlanishi mumkin bo'lgan hamma narsa" deganim nimani anglatishini, unchalik ham olinmaydigan narsaga misol keltirish bilan izohlash kerak.
Lekin avval olinadigan narsani oling. "Qobil Hobilni o'ldirdi." Bu erda predikat "- o'ldiradi -" shaklida ko'rinadi. Ammo biz qotillikni predikatdan olib tashlashimiz va ikkinchisini "- - -" bilan bog'liqlikda "qilishimiz mumkin. Deylik, biz predikatdan ko'proq narsani olib tashlamoqdamiz va oxirgisini "-" - - - munosabatining bog'liqlik funktsiyasini bajaramiz "shakliga qo'yamiz va keyin" munosabat bilan bog'liqlik funktsiyasini "boshqa predmetga predikat sifatida qoldiramiz" - - ga nisbatan - mashqlari. " Ammo bu "mashqlar" "funktsiyalarni bajarishni" ifodalaydi. Yo'q, bu "bog'lash funktsiyasini" ifodalaydi, shuning uchun biz buni alohida mavzuga aylantirsak ham, u xuddi shu predikatda davom etadi.
Buni boshqa shaklda aytib, "A $ R $ dan $ B $ gacha bo'lgan munosabatda" deyish, $ A $ ning $ R $ bilan ma'lum bir munosabatdadir, degan ma'noni anglatadi, keling, buni quyidagicha ajratamiz: "A $ R $ munosabatida ($ mathbb {R} $) a munosabati, u bilan bog'liq bo'lgan munosabat) R ga B ga bog'liq ". Ammo bu erda $ A $ $ R $ munosabati bilan ma'lum bir aloqada deyiladi. Xuddi shu haqiqatni "A - R¹ munosabatiga R¹ munosabati bilan R ga B munosabatiga" va shu kabilarni aytib berishimiz uchun. reklama infinitum.
Shunday qilib, men bir butun deb bir hil bo'lgan qismlarga bo'linib tahlil qilinishi mumkin bo'lgan predikat doimiy predikat. Bu mantiqiy tahlilda juda muhimdir, chunki doimiy predikat a bo'lishi mumkin emas birikma uzluksiz predikatlardan tashqari va shu tariqa faqat uzluksiz predikatni qoldirish uchun tahlil olib borganimizda, uni yakuniy elementlariga etkazdik. (C.S. Peirce, "Lady Welby-ga maktublar" (14 dekabr 1908), Tanlangan yozuvlar, 396-397 betlar).
Shuningdek qarang
Adabiyotlar
- Peirce, C.S., "Ledi Uelbiga maktublar", 380-432 pp Charlz S. Pirs: Tanlangan yozuvlar (imkoniyat olamidagi qadriyatlar), Filipp P. Wiener (tahr.), Dover, Nyu-York, NY, 1966.