„Háttarökfræði“: Munur á milli breytinga
Efni eytt Efni bætt við
m robot Bæti við: cs:Modální logika |
Ekkert breytingarágrip |
||
Lína 1:
<onlyinclude>
'''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 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''.
Lína 10 ⟶ 11:
Þannig er til dæmis ''mögulegt'' að Jónas hafi verð myrtur [[ef og aðeins ef]] það er ''ekki nauðsynlegt'' að Jónas hafi ''ekki'' verið myrtur.
== Tenglar ==
* {{SEP|logic-modal|Modal logic}}
* {{SEP|logic-provability|Provability Logic}}
{{Stubbur|heimspeki}}
| |||