Filosofie van de informatica

Website:	website containing additional information
Course code:	WIFIL
Credits:	5.72 ECTS (=4 old credit points)
Period:	periode 4 (week 11 t/m 18, dwz 11-3-2002 t/m 3-5-2002; herkansing week 33)
Participants:	up till now 48 subscriptions
Schedule:	Dit is een oud rooster! form group time week room teacher college   di 15-17 11-12,14-17 BBL-105b John-Jules Meyer   seminar groep 1 do 11-13 11-13 KRUYT-O111 John-Jules Meyer   14-17 BBL-430 groep 2 vr 13-15 11-12 MIN-207 Richard Starmans   14-17 BBL-430
Contents:	Het college bestaat 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 en de kunstmatige intelligentie besproken.
Literature:	Syllabus/reader Filosofie van de Informatica. Boek: H. Koningsveld, Het verschijnsel wetenschap, Boom.
Course form:	per week 2 uur hoorcollege en 2 uur discussie.
Exam form:	schriftelijk tentamen + kleine scriptie
Minimum effort to qualify for 2nd chance exam:	Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan.
Description:	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?