Department of Information and Computing Sciences

Departement Informatica Onderwijs
Bachelor Informatica Informatiekunde Kunstmatige intelligentie Master Computing Science Game&Media Technology Artifical Intelligence Business Informatics

Onderwijs Informatica en Informatiekunde

Vak-informatie Informatica en Informatiekunde

Filosofie van de informatica

Website:website met extra informatie
Vakcode:INFOFIL
Studiepunten:7.5 ECTS
Periode:periode 4 (week 17 t/m 27, d.w.z. 26-4-2011 t/m 8-7-2011; herkansing week 34)
Timeslot:C
Deelnemers:tot nu toe 31 inschrijvingen
Rooster:De officiële roosters staan ook in Osiris
Docenten:Dit is een oud rooster!
vormgroeptijdweekzaaldocent
college          John-Jules Meyer
Jan Broersen
Richard Starmans
     
Inhoud:Het college bestaat, naast een wat meer algemene korte inleiding in de filosofie en de wetenschapsfilosofie meer in het bijzonder, ruwweg uit 3 delen: Het eerste deel behandelt elementen van de filosofie van de formele wetenschappen, de wiskunde en de logica, voor zover relevant voor de informatica, met aandacht voor paradoxen en stromingen. Deel twee van het college handelt over de `klassieke' filosofie van de empirische wetenschappen. Na een korte historische inleiding komen onder meer het logisch positivisme van de Wiener Kreis, Poppers kritisch rationalisme, de empirische cyclus, Kuhns paradigmatheorie en Lakatos' falsificationisme aan bod. Daarnaast wordt ingegaan op een aantal actuele thema's uit de wetenschapsfilosofie, waaronder: het inductie-probleem en andere problemen rond "inductivism", het Quine-Duhem probleem, scientific realism, het probleem van "underdetemination", models of explanation en "inference to the best explanation", constructief empirisme. In het laatste deel, tenslotte, worden speciale filosofisch getinte onderwerpen met betrekking tot de informatica, zoals berekenbaarheid en de kunstmatige intelligentie, besproken.
Literatuur:Verplichte literatuur:
  • Ladyman, J. (2002) Understanding Philosophy of Science ; Routledge London and New York
  • Leesmateriaal Filosofie van de Informatica: dit materiaal wordt tijdens het college opgebouwd en komt beschikbaar op de website
  • Sheets van de hoorcolleges
  • Zie verder de website met extra informatie.
  • Werkvorm:Hoorcollege en werkcollege, inclusief discussie. (Zie verder de website met extra informatie.)
    Toetsvorm:Zie de website met extra informatie.
    Inspanningsverplichting voor aanvullende toets:Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn.
    Beschrijving:
    • algemene introductie filosofie en wetenschapsfilosofie
    • algemene indeling van de wetenschappen en plaats van de informatica in de wetenschappen
    • filosofie van de formele wetenschappen: de paradoxen in de naieve verzamelingenleer, filosofische stromingen in de wiskunde (logicisme, formalisme, intuitionisme), onvolledigheidsstelling van Goedel
    • filosofie van de empirische wetenschappen (logisch positivisme, Carnap, standaardbeeld, Popper, Kuhn, Lakatos), empirische cyclus, paradigma's
    • actuele thema's uit de wetenschapsfilosofie, waaronder: het inductie-probleem en andere problemen rond "inductivism", het Quine-Duhem probleem , scientific realism, het probleem van "underdetemination", models of explanation en "inference to the best explanation", constructief empirisme.
    • berekenbaarheid: Turingmachines, these van Church, stopprobleem
    • filosofie van de kunstmatige intelligentie: sterke vs zwakke AI, Turing test, Searle's Chinese kamer gedachtenexperiment, kunnen computers denken?
    Doelen: Na het afronden van de cursus weet de student wat (wetenschaps)filosofie is en hoe deze zich verhoudt tot de wetenschap. Deze kent de diverse soorten wetenschap die kunnen worden onderscheiden. Deze weet de grote lijnen van de filosofische stromingen in de wiskunde als voorbeeld van een formele wetenschap, de stromingen in de filosofie van de empirische wetenschappen (inclusief het standaardbeeld met de empirische cyclus), de grondslagen van het begrip berekenbaarheid en de filosofische ideeen die ten grondslag liggen aan de kunstmatige intelligentie. Hij/zij is tevens in staat discussies te voeren over deze onderwerpen en deze compact samen te vatten.
    wijzigen?