Útgáfa síðunnar 20. febrúar 2010 kl. 11:16 breyta TXiKiBoT (spjall \| framlög) 85.550 breytingar m robot Bæti við: ko:양상논리학 ← Eldri breyting		Útgáfa síðunnar 21. maí 2010 kl. 02:25 breyta taka aftur þessa breytingu 85.220.86.206 (spjall) Ekkert breytingarágrip Nýrri breyting →
Lína 2: '''Háttarökfræði''' er undirgrein [[heimspeki]]legrar [[rökfræði]] sem fjallar um rökleg tengsl [[staðhæfing]]a um nauðsyn og möguleika.</onlyinclude> Í setningunum „Morð Jónasar ~~var~~er möguleiki“, „Jónas var mögulega myrtur“, „Mögulegt er að Jónas hafi verið myrtur“ og „Það gæti verið að Jónas hafi verið myrtur“ er innifalin hugmynd um möguleika. Í háttarökfræði er möguleikinn táknaður orðunum ''það er mögulegt að'' sem skeytt er framan við setninguna ''Jónas var myrtur''. Á táknmáli rökfræðinnar eru möguleiki og nauðsyn gefin til kynna með eftirfarandi hætti: <math>\Box</math> stendur fyrir ''nauðsyn'' og <math>\Diamond</math> stendur fyrir ''möguleika''. Í klassískri háttarökfræði er hægt að skilgreina hvort tveggja með neitun hins:

„Háttarökfræði“: Munur á milli breytinga