����ֱ��

Inleiding

Tijdens deze cursus verken je de concepten, inzichten en vaardigheden van de analytische kenleer, en leer je correcte van incorrecte redeneringen onderscheiden.

Inhoud 

De doelstellingen, methodes en toepassingen van de logica worden besproken en geïllustreerd. De nadruk ligt op propositielogica.

Leerdoelen

1. De cursist is vertrouwd met de notie van een deductief argument  en hiermee samenhangende noties zoals propositie, geldigheid en correctheid, en is in staat om deductieve argumenten van andersoortige argumenten  te onderscheiden.
2. De cursist is vertrouwd met de formele taal van de propositie logica (welke de logische voegtekens voor “en”, “of”, “niet” “als dan” bevat), bekend met de (beperkte) uitdrukkingskracht van deze formele taal en in staat om alledaagse deductieve argumenten te vertalen naar de taal van de propositielogica.
3. De cursist is vertrouwd met de methode van waarheidstafels en hij/zij kan deze methode inzetten om argumenten op hun (on)geldigheid te beoordelen en formules op hun geldigheid / contingentie / consistentie.
4. De cursist is vertrouwd met de notie van een structurele eigenschap van de geldig gevolg relatie en is in staat om te bewijzen / weerleggen dat deze geldig gevolg relatie zekere structurele eigenschappen wel /niet heeft.
5. De cursist is vertrouwd met de notie   van een afleidingssysteem en de gerelateerde eigenschappen van betrouwbaarheid en volledigheid. De student is op de hoogte van het bestaan van diverse afleidingssystemen voor de propositie logica en kan de belangrijkste verschillen tussen deze systemen benoemen.
6. De cursist is in staat om het tableau (afleidings-) systeem te gebruiken om na te gaan of een argument (on)geldig is en, indien een argument ongeldig is, een tegenvoorbeeld te construeren.
7. De cursist is bekend met Quine’s drieledige onderscheid tussen veridical paradoxen, falsidical paradoxen en&�Բ�����;���Գپ��Դdz�����ë��. De student kent enkele centrale antinomieën en kan uitleggen hoe deze een niet-klassieke logica kunnen motiveren.
8. De cursist kent de basisbeginselen van, en motivatie voor, enkele niet- klassieke, met name meerwaardige, logica’s.
9. De cursist kent de basisbeginselen van de syllogismenleer en kan de (on)geldigheid van syllogismen beoordelen aan de hand van Venn diagrammen

Voorkennis

Er is geen voorkennis vereist.

Voertaal

Nederlands

Periode

Bachelor 1, blok 3B: 13 maart t/m 15 april 2023

Rooster en literatuur

Raadpleeg de voor het volledige rooster en de literatuurlijst. De roosters worden eind juli gepubliceerd.