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

Úr Wikipediu, frjálsa alfræðiritinu
Efni eytt Efni bætt við
TXiKiBoT (spjall | framlög)
m robot Bæti við: cs:Modální logika
Cessator (spjall | framlög)
Ekkert breytingarágrip
Lína 1: 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.
'''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''.
Í 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: Lína 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.
Þ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==
== Tenglar ==
*{{SEP|logic-modal|Modal logic}}
* {{SEP|logic-modal|Modal logic}}
*{{SEP|logic-provability|Provability Logic}}
* {{SEP|logic-provability|Provability Logic}}


{{Stubbur|heimspeki}}
{{Stubbur|heimspeki}}

Útgáfa síðunnar 29. janúar 2010 kl. 20:34

Háttarökfræði er undirgrein heimspekilegrar rökfræði sem fjallar um rökleg tengsl staðhæfinga um nauðsyn og möguleika.

Í 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.

Á táknmáli rökfræðinnar eru möguleiki og nauðsyn gefin til kynna með eftirfarandi hætti: stendur fyrir nauðsyn og stendur fyrir möguleika. Í klassískri háttarökfræði er hægt að skilgreina hvort tveggja með neitun hins:

(Það er mögulegt að P ef og aðeins ef það er ekki nauðsynlegt að ekki P)
(Það er nauðsynlegt að P ef og aðeins ef það er ekki mögulegt að ekki P)

Þ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

  Þessi heimspekigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.

Snið:Tengill GG