Ассерторик (вокелик) хукмларга шарт, зарур, мумкин каби модал тушунчалар (операторлар) ни киритиш оркали модал хукмлар хосил килинади. Модал оператор М харфи билан белгиланади. Модал хукмларининг формуласи куйидагича ёзилади:
Ассерторик хукмлар
|
Модал хукмлар
|
|
S-P
|
M(S-P)
|
Оддий хукмлар
|
S-P эмас
|
M(S-P эмас)
|
Мураккаб хукмлар
|
P^ q
|
M(p^ q)
|
PV q
|
M(pV q)
|
PV q
|
M(pV q)
|
P→ q
|
M(p→ q)
|
p≡ q
|
M(p≡ q)
|
Модал хукмлар модал мантиқда урганилади. Унда алетик (зарурий), эпистемик (энг ишончли билим), деонтик (мажбурийлик), аксиологик(бахолаш) ва вакт модаллигини ифодаловчи хукмлар тахлил килинган.
Биз булардан алетик модал хукмларини куриб чикамиз. Алетик модал хукмлар субъект ва предикат ўртасидаги икки турли алокадорликни уз ичига олади: зарурий ва проблематик (имконий).
Модал хукмларини ифодалаш учун турли модал операторлардан фойдаланилади.
« А»-А зарурийдир.
« А»- А тасодифийдир.
«◊А »- А бўлиши мумкин.
« ┐А»-А бўлиши мумкин эмас.
Баъзан «Lp»-p зарурийдир, «Мр»-р бўлиши мукин белгиларидан хам фойдаланади.
Do'stlaringiz bilan baham: |
