WikiDer > Модальдық оператор - Википедия

Бұл мақала жоқ сілтеме кез келген ақпарат көздері. Өтінемін көмектесіңіз осы мақаланы жақсарту арқылы дәйексөздерді сенімді дерек көздеріне қосу. Ресурссыз материалға шағым жасалуы мүмкін және жойылды. Дереккөздерді табу: «Модальдық оператор» – жаңалықтар · газеттер · кітаптар · ғалым · JSTOR (Мамыр 2019) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

A модальды дәнекер (немесе модальдық оператор) Бұл логикалық дәнекер үшін модальді логика. Бұл оператор ол қандай ұсыныстар ұсыныстардан. Жалпы, модальды оператор «формальды» қасиетке ие, олшындық-функционалды келесі мағынада: Композициялық формулалардың ақиқат-мәні кейде олардың компоненттерінің шындық-мәнінен басқа факторларға тәуелді болады. Алетикалық модальді логика жағдайында модальдық операторды басқа мағынада шындық-функционалды деп айтуға болады, атап айтқанда, шындық мәндерін мүмкін немесе болмайтын әлемдер бойынша шындық-құндылықтардың таралуына ғана сезімтал. Соңында, модальдық оператор модульдік қатынасты білдірумен «интуитивті» сипатталады (мысалы қажеттілік, мүмкіндік, сенім, немесе білім) оператор қолданылатын ұсыныс туралы.

Модальділік түсіндірілді

Мұның бірнеше жолы бар түсіндіру модальды логикадағы модальды операторлар, оның ішінде:алетикалық, деонтикалық, аксиологиялық, гносеологиялық, және доксастикалық.

Алетикалық

Алетикалық модальды операторлар (М-операторлар) -ның негізгі шарттарын анықтайды мүмкін әлемдер, әсіресе себептілікуақыт кеңістігінің параметрлері және адамдардың әрекет қабілеттілігі. Олар мүмкіндік, мүмкін емес және қажеттілік іс-әрекеттер, жағдайлар, оқиғалар, адамдар және мүмкін әлемдегі қасиеттер.

Деонтика

Деонтика модальды операторлар (P-операторлар) ықтимал әлемнің құрылуына прокративті немесе нұсқамалық нормалар ретінде әсер етеді, яғни олар тыйым салынған, міндетті немесе рұқсат етілген нәрсені көрсетеді.

Аксиологиялық

Аксиологиялық модальдық операторлар (G-операторлар) әлемді өзгертеді субъектілер әлеуметтік топ, мәдениет немесе тарихи кезең көрген құндылықтар мен дисвальцияларға. Аксиологиялық модальділік - бұл өте субъективті категориялар: бір адамға пайдалы нәрсені екінші біреу жаман деп санауы мүмкін.

Гносеологиялық

Гносеологиялық модальдық операторлар (K-операторлар) білім, білімсіздік және мүмкін әлемге деген сенімнің деңгейін көрсетеді.

Доксастикалық

Доксастикалық модальдық операторлар мәлімдемелерге сенімін білдіреді.

Буломай

Буломалық модальды операторлар тілектерін білдіреді.