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

Efni eytt Efni bætt við
Ekkert breytingarágrip
Lína 10:
* '''[[Heimspekileg rökfræði]]''' fæst við þau grundvallarhugtök sem rökfræðin gengur út frá, svo sem [[Sannleikur|sannleika]], [[merking]]u, [[tilvísun]] o.fl. og tengslin á milli rökfræðinnar og náttúrulegra tungumála. Heimspekileg rökfræði er náskyld [[málspeki]].
* '''[[Stærðfræðileg rökfræði]]''' er annars vegar beiting rökfræðinnar á viðfangsefni innan [[stærðfræði]], hins vegar samheiti fyrir táknlega rökfræði.
 
== Eitt og annað ==
* [[Erlendur Jónsson]] gaf árið [[1984]] út bókina ''[[Frumhugtök rökfræðinnar]]'' (endurútg. 1992 og 1996] sem er íslensk kennslubók og um leið kynningarrit á formlegri rökfræði. Þar eru kynnt og táknmál þau grundvallarhugtök er nútíma rökfræði styðst við svo og notkun þeirra bæði í umsagnarrökfræði og setningarrökfræði.
 
== Heimildir ==