Logica

Logic

Studiewijzer 2018/2019

Globale inhoud

Logica, van oudsher een filosofische discipline, is de wetenschap van het geldig redeneren. Vandaag is de logica, met de intrede van het informatietijdperk, een interdisplicinaire wetenschap par excellence. In de informatica, kunstmatige intelligentie, de computationele taalkunde, maar ook in diverse deelgebieden van de sociale wetenschappen speelt de logica een centrale rol bij het formaliseren en toepassen van theorieen. De onderwerpen die we in dit college zullen behandelen zijn:

• Argumentatie. Wat maakt een argumentatie tot een goede argumentatie? Welke argumentaties zijn drogredeneneringen, en welke zijn valide?
• Propositielogica. Het simpelste logische systeem. Hierin wordt de logica gereduceerd tot pure 'als-dit-dan-dat'-kunde. `Als-dan' beschouwen we als een wiskundige operatie analoog aan optelling en vermenigvuldiging. Wat voor soort 'algebra' moeten we gebruiken om redeneringeren tot 'als-dan'-berekeningen terug te brengen?
• Predicatenlogica. Het bekendste logische systeem, waarmee de geldigheid van een rederering berekend kan worden. Alhoewel het meer dan honderd jaar oud is, is het vandaag de dag nog steeds het belangrijkste en meest gebruikte systeem. Het fungeert tegenwoordig zelfs als programmeertaal om machines te laten redeneren.
• Kennislogica. Een meer recent systeem dat gebruikt wordt om ‘redeneren over redeneren’ te modelleren. Welke conclusies kan je trekken als je ook de kennis en onwetendheid van anderen gebruikt?

Studiemateriaal

Syllabus

• Logic in Action, van Benthem et al (2013).

Leerdoelen

• Kennis van de belangrijkste klassieke logische systemen
• Logische transcriptie van informatie
• Elementaire logische rekenmethoden voor het testen van de geldigheid van een logische redenering
• Enig inzicht in het belang van logica voor verschillende wetenschappelijke disciplines

Onderwijsvormen

• Hoorcollege
• Werkcollege
• Zelfstudie

Hoorcolleges en werkgroepen. Deelname aan de werkgroepen is verplicht.

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B):

• In geval van werkgroepbijeenkomsten is de student verplicht tenminste 90% van de werkgroepbijeenkomsten bij te wonen en zich op deze bijeenkomsten terdege voor te bereiden, tenzij anders aangegeven in de studiehandleiding. Indien de student minder dan 90% heeft bijgewoond, kan het vak niet worden afgerond.
• In geval van een practicum is de student verplicht ten minste 90% van de practicumbijeenkomsten bij te wonen en zich op deze bijeenkomsten terdege voor te bereiden, tenzij anders aangegeven in de studiehandleiding. In geval de student minder dan 90% heeft bijgewoond dient het practicum opnieuw te worden gevolgd.

Aanvullende eisen voor dit vak:

De werkcolleges zijn verplicht. Je mag ten hoogste één werkcollege missen. Het laatste werkcollege, dat voornamelijk als vragenuur en de behandeling van een proeftentamen wordt gebruikt, is facultatief. Aanwezigheid bij dit werkcollege is natuurlijk zeer aanbevolen, maar omdat er die dag alleen een werkcollege is en dit plaatsvindt een dag voorafgaande aan het tentamen hebben we het niet verplicht willen stellen.

De hierboven genoemde aanwezigheidsverplichting geldt niet voor recidivisten en bijvakkers.

Toetsing

Aan het einde van het college is er afsluitend tentamen. Dit tentamen is open boek. Dat wil zeggen dat je de syllabus en aantekeningen bij het tentamen mag gebruiken. Het is echter niet de bedoeling dat je electronica gebruikt. Het is dus van belang dat je over een hard copy van de syllabus beschikt.

Het cijfer van het tentamen bepaalt voor 90% je eindcijfer. De overige 10% wordt bepaald door de behaalde resultaten bij de huiswerkopdrachten (zie hierover verder onder het kopje 'Opdrachten').

Toetsmatrijs (studentenversie)

Studenten die het vak al eerder hebben gevolgd

Studenten die het vak al eerder gevolgd hebben zijn vrijgesteld van de genoemde presentieplicht bij de werkcolleges. Ze moeten evenwel wel hun huiswerkopdrachten inleveren.

Inzage toetsing

 Voor het inkijken van de tentamens wordt t.z.t. een inkijk-sessie ingepland. Studenten zullen zich voor deze bijeenkomst van te voren moeten aanmelden. Verdere informatie volgt t.z.t. via Canvas en eventueel ook via een aankondiging over de mail.

Opdrachten

Elke woensdag krijg je huiswerk mee dat je de aansluitende woensdag bij aanvang van het werkcollege moet inleveren. De maandag daarop krijg je je huiswerk nagekeken en beoordeeld (1-10) terug. In totaal zijn er drie huiswerkopdrachten. Het huiswerk-eindcijfer is het gemiddelde van de twee beste (van de drie) huiswerkresultaten. Dit cijfer bepaalt dus de hierboven genoemde 10% van het eindcijfer.

Fraude en plagiaat

Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: http://student.uva.nl

Weekplanning

Rooster

Het rooster van dit vak is in te zien op DataNose.

Aanvullende informatie

Studenten kunnen dit vak gebruiken voor het invullen van hun vrije keuzeruimte. Voor studenten Bèta-gamma met een honoursprogramma kan dit vak worden ingezet als honoursmodule.

Vakevaluatie afgelopen jaar

Vanaf 2013-2014 hebben we ervoor gekozen om d.m.v. onderstaande tabel de studenten meer inzicht te geven in de kwaliteitszorg. Daarom nemen we een korte weergave van de studentenevaluatie op en de daaruit voortvloeiende acties ter verbetering van het vak.

Contactinformatie

Coördinator

• dr. J.O.M. Jaspars

Assistenten (werkgroepen)

• Kyah Smaal
• Martijn Vos
• Sander Westerveld
• Emiel Woutersen