Leit á vefnum

24.3.2010Forngrikkir fundu ýmislegt upp: Hér gefst ekki færi á að gefa tæmandi upptalningu á því öllu en þó má minnast á það helsta. Þá ber fyrst að nefna gríska stafrófið. Grikkir fundu að sjálfsögðu ekki fyrstir upp ritmál en þeir þróuðu stafrófið sitt úr fönikísku stafrófi snemma á 8. öld f.Kr. Áður höfðu Grikkir not...

7.12.2001Rökfræði fjallar um það hvenær eina setningu, sem við köllum niðurstöðu, leiðir af öðrum setningum, sem við köllum þá forsendur. Og ástæðan fyrir því að rökfræði getur verið flókin er í sem stystu máli sú að það getur verið flókið mál hvenær niðurstöðu leiðir af gefnum forsendum. Aþenuskólinn e. Rafael. Aristótel...

25.10.2000Sögnin “að vera” getur haft þrjár mismunandi merkingar sem hljóta mismunandi meðhöndlun í rökfræði. "Að vera" má ýmist nota til að mynda umsögn, tilvistarstaðhæfingu eða staðhæfingu um samsemd. Þessu er best lýst með dæmum: Umsögn: "Snælda er köttur." Hér er sagnorðið notað til að mynda umsögnina “að vera köt...

25.11.2002Upphafleg spurning var á þessa leið: Hvað eru ógöngurökin í heimspeki, sbr Menón?Íslenska orðið ógöngurök er notað sem þýðing á forn-gríska orðinu dilemma, sem merkir bókstaflega tví-setning, það er setning sett saman úr tveimur setningum, sem gefa tvo kosti til kynna. Stundum er tvíkostur notað um sama hugtak. Í ...

9.1.2018Luca Aceto er prófessor í tölvunarfræði við Háskólann í Reykjavík og við Gran Sasso-rannsóknastofnunina á Ítalíu. Rannsóknir hans eru á sviði fræðilegrar tölvunarfræði, þar á meðal má telja athugunir á rökfræði tölvunarfræðinnar, merkingafræði forritunaraðgerða (e. structural operational semantics) og samtímavinns...

4.3.2008Þetta er ein af þeim spurningum sem ekki er hægt að svara á þann hátt sem spyrjandi ætlast líklega til, það er að segja með því að tilgreina eitthvert ákveðið orð. Hugsum okkur að Ari hafi fundið eitthvert orð sem hann telur sjaldgæfasta orð í latínu. Þá getur Bjarni vinur hans andmælt því og sagt að hann geti ...

26.1.2003Svarið er nei, þetta hefur ekki gerst svo að við vitum. Málið er að það er alltaf hægt að segja eitthvað "af viti" um spurninguna, hversu ólíklegt sem það kann að virðast við fyrstu sýn. Hins vegar hafa okkur borist svo gríðarlega margar spurningar að við höfum ekki komist yfir að svara þeim öllum, en það er annað...

17.2.2003Hér er svarað eftirfarandi spurningum: Af hverju hlæjum við og hvað er það sem veldur því að okkur finnst sumt fyndið en annað ekki? (Ólafur Sindri Helgason og Ævar Ólafsson)Hvers vegna hlæjum við? (Rögnvaldur Magnússon)Hvað er hlátur? (Ómar Ómarsson)Hlátur telst bæði til sjálfráðra og ósjálfráðra viðbragða mannsi...

12.8.2019Finnur Dellsén er dósent í heimspeki við Háskóla Íslands og gisti-dósent (førsteamanuensis II) við Inland Norway University of Applied Sciences í Noregi. Rannsóknir Finns hafa að miklu leyti snúist um hvernig við öðlumst skilning og þekkingu á heiminum, sérstaklega í vísindum og með hjálp þeirra. Þessar rannsóknir...

24.7.2000Til sérhverrar fullyrðingar, F, svarar önnur, nefnilega fullyrðingin "Það er ekki satt að F" (eða einfaldlega "ekki-F"), sem er sönn þá og því aðeins að F sé ósönn, það er að segja ef F er sönn, þá er ekki-F ósönn, og ef ekki-F er sönn, þá er F ósönn. Því hljóta sannar fullyrðingar að vera nákvæmlega jafnmargar og...

11.2.2016Upprunalega spurningin hljóðaði svona: Hvernig má réttlæta það að gefa sér frumreglur í stærðfræði, án þess að sanna þær? Sem fræðigrein er stærðfræði byggð upp þannig að nýjar niðurstöður eru leiddar út (sannaðar) á grundvelli þeirra niðurstaðna sem þegar eru komnar. Í upphafi byrjar maður því með tvær hen...

17.10.2011Galenos frá Pergamon var forngrískur læknir og rithöfundur sem bar höfuð og herðar yfir aðra forna lækna. Líklega er einungis Hippókrates, sem nefndur er faðir læknisfræðinnar, frægari en Galenos meðal lækna fornaldar en þó hefur Galenos ef til vill reynst Hippókratesi áhrifameiri. Galenos fæddist árið 129 e.Kr...

10.3.2000Með "rökum" er átt við röksemdafærslu, það er að settar eru fram ein eða fleiri fullyrðingar - sem kallaðar eru forsendur - og ályktun eða niðurstaða, sem fullyrt er á grundvelli forsendnanna. Með öðrum orðum, forsendurnar styðja niðurstöðuna, eða þeim er að minnsta kosti ætlað að styðja hana. Almennt má segja, að...

4.3.2000Ef ekkert annað mundi breytast en það að taugaboðin væru lengur á leiðinni frá skynfærum til heila en áður, þá mundum við ekki skynja tímann hægar. Taugaboðin yrðu að meðaltali jafnmörg á hverri sekúndu og áður; þau hefðu bara verið lengur á leiðinni. Þetta er einna líkast því að við værum að horfa á bílalest ...

16.3.2001Þetta er almennt talið rétt. Betra væri þó að orða það þannig að við mundum aðallega nota tylftakerfi en ekki tugakerfi ef við hefðum tólf fingur. Í þessu felst að talan sem við skrifum sem 10 hefur enga sérstaka kosti sem grunntala í talnakerfi aðra en þá sem tengjast sköpulagi mannsins. Sú tala sem hefur skýr...