| Website: | website met extra informatie |
| Vakcode: | INFFIL |
| Studiepunten: | 6 ECTS (=4.2 oude studiepunten) |
| Periode: | periode 4 (week 11 t/m 18, dwz 10-3-2003 t/m 2-5-2003; herkansing week 28)
|
| Deelnemers: | tot nu toe 72 inschrijvingen |
| Rooster: | Dit is een oud rooster!
|
| 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. Hierbij komen onder meer
het logisch positivisme, Poppers kritisch rationalisme, de empirische
cyclus, Kuhns paradigmatheorie en Lakatos' falsificationisme aan de
orde. In het laatste deel, tenslotte, worden speciale filosofisch
getinte onderwerpen met betrekking tot de informatica, zoals
berekenbaarheid en de kunstmatige intelligentie, besproken. |
| Literatuur: | Leesmap Filosofie van de Informatica: wordt tijdens het college opgebouwd.
|
| Werkvorm: | 7 Hoorcolleges en 7 Werkcolleges (de laatste in de vorm van
discussie-bijeenkomsten; aanwezigheid verplicht);
Scriptie. |
| Toetsvorm: | Schriftelijk Tentamen 40%;
Scriptie 40%;
Verplichte inlevering discussieverslagen 20% |
| Inspanningsverplichting voor aanvullende toets: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. |
| 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
- het modelbegrip in de wetenschap
- 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. Hij kent de diverse soorten wetenschap die kunnen worden
onderscheiden. Hij 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 is
tevens in staat discussies te voeren over deze onderwerpen en deze
compact samen te vatten. Daarnaast is hij in staat zich te verdiepen
in een zelf gekozen, met het vak gerelateerd, onderwerp en hierover
een scriptie te schrijven.
|
