Rökfræði

Rökfræðier undirgreinheimspekinnarsem fæst við gildi ályktana.

Fræðigreinin var fundin upp afforngrískaheimspekingnumAristótelesiá4. öld f.Kr.Um miðja 19. öld fórustærðfræðingarað sýna rökfræðinni aukinn áhuga, en nútímarökfræði er venjulega sögð verða til undir lok19. aldarog erGottlob Fregegjarnan talinn faðir nútímarökfræði.

Óformleg, formleg, táknleg, heimspekileg og stærðfræðileg rökfræði

• Óformleg rökfræðifæst við röksemdafærslur í náttúrulegum tungumálum.Rökvillureru mikilvægt viðfangsefni innan óformlegrar rökfræði.
• Formleg rökfræðifæst við ályktanir út frá formi þeirra. Innan formlegrar rökfræði eru mörg rökkerfi, svo semsetningarökfræði,umsagnarökfræðiogháttarökfræði.
• Táknleg rökfræðier formleg rökfræði sett fram með táknmáli rökfræðinnar. Táknleg rökfræði er stundum nefndstærðfræðileg rökfræðivegna þess að táknmál rökfræðinnar var upphaflega þróað úr táknmáli stærðfræðinnar.
• Heimspekileg rökfræðifæst við þau grundvallarhugtök sem rökfræðin gengur út frá, svo semsannleika,merkingu,tilvísuno.fl. og tengslin á milli rökfræðinnar og náttúrulegra tungumála. Heimspekileg rökfræði er náskyldmálspeki.
• Stærðfræðileg rökfræðier annars vegar beiting rökfræðinnar á viðfangsefni innanstærðfræði,hins vegar samheiti fyrir táknlega rökfræði.

Eitt og annað

• Erlendur Jónssongaf árið1984út bókinaFrumhugtö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 þ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.
• Þrætubóker á íslensku haft um kennslubók um heimspekilega rökræðu. En líka ádeilurit og (fræðilega) deilu. En umfram allt umþráttarhyggju(díalektík). Orðiðtölubókvar á íslensku áður fyrr haft um ræðufræði en líka almennt ummælskulist.

Heimildir

• Fyrirmynd greinarinnar var „Logic“áenskuútgáfuWikipedia.Sótt 22. nóvember 2005.
• Gabbay, D.M. og Guenthner, F. (ritstj.) 2001-2005.Handbook of philosophical logic(2. útg.). 13 bindi. Dordrecht, Kluwer.
• Hilbert, D. og Ackermann, W., 1928.Grundzüge der theoretischen Logik.Springer-Verlag,ISBN 0-8218-2024-9.
• Hodges, W., 2001.Logic. An introduction to elementary logic.Penguin Books.
• Hofweber, T., 2004.„Logic and Ontology “.ÍStanford Encyclopedia of Philosophy.
• Hughes, R.I.G., (ritstj.), 1993.A Philosophical Companion to First-Order Logic.Hackett Publishing Company.
• Kneale, W. og Kneale, M., 1962/1988.The Development of Logic.Oxford University Press,ISBN 0-19-824773-7.
• Lemmon, E.J., 1978.Beginning Logic.Hackett.
• Priest, G., 2004.„Dialetheism “.ÍStanford Encyclopedia of Philosophy.
• Putnam, H., 1969.Is Logic Empirical?.Boston Studies in the Philosophy of Science,vol V.
• Read, Stephen, 1995.Thinking About Logic. An Introduction to the Philosophy of Logic.Oxford University Press.
• Smith, B., 1989.Logic and the Sachverhalt,The Monist72 (1): 52-69.

Tengt efni

• Listi yfir rökfræðihugtök
• Málspeki

Tenglar

• „Hvers vegna er rökfræðin svona flókin og hver er tilgangurinn með henni? “.Vísindavefurinn.
• „Reglur rökvíslegrar hugsunar “; grein í Lesbók Morgunblaðsins 1987
• „Rökfræði “; grein í Tímariti Hins íslenska bókmenntafélags 1891

Erlendir

• An Introduction to Philosophical Logiceftir Paul Newall (ætlað byrjendum)
• Stanford Encyclopedia of Philosophy:„Classical Logic“
• Stanford Encyclopedia of Philosophy:„Inductive Logic“
• Stanford Encyclopedia of Philosophy:„Informal Logic“
• Stanford Encyclopedia of Philosophy:„Modal Logic“
• The Internet Encyclopedia of Philosophy:„Propositional Logic“
• The Internet Encyclopedia of Philosophy:„Logical Consequence, Philosophical Considerations“
• The Internet Encyclopedia of Philosophy:„Logical Consequence, Deductive-Theoretic Conceptions“
• The Internet Encyclopedia of Philosophy:„Logical Consequence, Model-Theoretic Conceptions“