
model prachaalak

ack model sanyojak (yaa model operator) model tark key liye ack taarkik sanyojak haye. yeh ack prachaalak haye joe prastaavon seey prastaav banaata haye. samanya taur parr, ack model prachaalak key paas nimnalikhit arthon mein gair-satya-karyatmak honey kaa "aupchaarik" guna hotaa haih samagr sootron kaa satya-moolya kabhi-kabhi unake ghatakon key vaastavik satya-moolya key alawa anya karakon parr nirbhar kartaa haye. alethic model logic key mamle mein, ack model operator koo ack anya arth mein satya-karyatmak kahaa jaa sakata haye, arthaat, kewal sambhaavit duniya mein satya-moolyon key vitaran key prati samvedansheel honah, vaastavik hoe yaa naheen. anta mein, ack model operator koo usa prastaav key baare mein ack model drishtikon (jaise aavashyakta, sambhavana, vishvaas yaa gyaan) vyakt karke "sahaj roop seey" visheshta dee jaati haye jiss parr operator koo lagu kiya jaataa haye. garson, james, "modal logic", dha steinford encyclopaedia off philosophy (summer 2021 edition), edward aine. bhee dekhein. zalta (sanskaran.), url = <HTTPS:// plato.steinford.ee. dee. yuu./abhilekhagar/yog 2021/pravishtiyaan/tark-model/>
model prachaalak key liye vakyavinyas.
model operators key liye vakyavinyas niyam sootra _ 1 aur sootra _ 2 saarvbhaumik aur astitvagat matrakon key liye bahut samaan hain; vaastav mein, model operator sootra _ 1 aur sootra _ 2 key saath koee bhee sootra, aur prastavatmak cullon (sootra _ 5) mein samanya taarkik sanyojakon koo prenex samanya roop key samaan "dee dicto" samanya roop mein phir seey likhaa jaa sakata haye. ack pramukh chetaavanih jabaki saarvbhaumik aur astitvagat maatrak kewal parimapakon key baad prastaavit charr yaa vidheya charr seey judate hain, kyonki model operator sootra _ 1 aur sootra _ 2 sulabh sambhaavit duniya parr maap karate hain, way apane dayare mein kissy bhee sootra seey judenge. udaaharan key liye, sootra _ 8 taarkik roop seey sootra _ 9 key barabar haye, lekin sootra _ 10 taarkik roop seey sootra _ 11 key barabar naheen haye; isake bajaay, sootra _ 11 taarkik roop seey sootra _ 13 key barabar haye.
jaba ack sootra mein model operator aur quantifier donon hotey hain, tou model operator aur quantifier kii ack aasann jodee key alag-alag crum seey alag-alag shabdarth arth hoe sakate hain; saath hii, jaba multimodal logic shamil hotaa haye, tou model operators kii ack aasann jodee key alag-alag crum seey bhee alag-alag shabdarth arth hoe sakate hain.
tareeke kii vyakhya kii gaee.
model logic mein model operators kii vyakhya karane key kaee tareeke hain, jinamen cumm seey cumm shamil hainh
alethic, deontic, swayamsiddh, gyanatmak aur doxastic.
alethic.
alethic model operator (aim-operator) sambhaavit duniya kii maulik sthitiyon, vishesh roop seey karyakaran, samay-sthaan maapdandon aur vyaktiyon kii kaary kshamata koo nirdhaarit karate hain. way sambhaavit duniya mein karyon, sthitiyon, ghatnaaon, logon aur gunon kii sambhavana, asambhavata aur aavashyakta koo ingit karate hain.
devvaadi.
deontic model operator (pee-operator) sambhaavit duniya key nirmaan koo prescriptive yaa prescriptive maandandon key roop mein prabhaavit karate hain.ee. way ingit karate hain kii kyaa nishiddh, anivarya yaa anumat haye.
swayamsiddh.
swayamsiddh model prachaalak (jee-prachaalak) duniya kii sansthaon koo moolyon aur avmoolyanon mein badal dete hain jaisa kii ack samajik samooh, ack sanskriti yaa ack aitihaasik kaal dwara dekhaa jaataa haye. swayamsiddh taur-tareeke atyadhik vyaktiparak shreniyaan hainh joe ack vyakti key liye achchha haye usey doosara vyakti buraa maan sakata haye.
gyanatmak.
gyanatmak model prachaalak (key-prachaalak) sambhaavit duniya mein gyaan, agyaantaa aur vishvaas key star koo darshaate hain.
doxastic.
doxastic model operator bayanon mein vishvaas vyakt karate hain. 
bolomac.
bolomic model sanchaalak ichcha vyakt karate hain. 

