Cursusbeschrijving
Logica is de studie van verschillende soorten redeneringen. Logica is ook een hulpmiddel om diverse verschijnselen op elegante wijze te modelleren. Het doel van de cursus is om je kennis te laten maken met dit hulpmiddel en uit te leggen hoe het kan worden gebruikt. De cursus is verdeeld in drie delen.
We zullen klassieke logica introduceren en laten zien hoe er vele verschillende redeneringssystemen (logieken) als variaties hieruit voortkomen. We zullen twee fundamentele manieren bestuderen om logica te bestuderen: via semantiek en via syntaxis. Deze laatste leent zich van nature voor modellering en geautomatiseerd redeneren. We zullen ook toepassingen in de sociale wetenschappen bespreken, waarbij de nadruk ligt op handelingsvermogen en informatiestromen. We zullen logische formalismen introduceren waarmee we situaties kunnen modelleren waarin waarheid sociaal wordt geconstrueerd, en begrippen ontwikkelen zoals kennis, groeps- en gemeenschappelijke kennis.
Het overkoepelende thema bij de behandeling van toepassingen is het begrip categorieën en categorisatie. Categorisatie is het indelen van zaken zoals objecten of ideeën in categorieën op basis van hun overeenkomsten of gemeenschappelijke criteria. We zullen de categorisatietheorie formeel introduceren, beginnend bij de klassieke theorie van Aristoteles tot aan de prototype- en exemplar-theorie. We zullen deze begrippen formaliseren en uitleggen hoe de instrumenten van de logica kunnen worden gebruikt om vaagheid in deze theorie te verwerken.
Het derde deel van de cursus bouwt voort op de fundamentele ontwikkeling uit deel 1 en de modelleringsintuïties uit deel 2. We zullen de formele taalkunde introduceren, waarbij woorden worden ingedeeld op basis van de rol die ze spelen in de zinsvorming. Een woord kan worden gecategoriseerd als een naamwoordgroep, een transitief werkwoord, enzovoort.
Lees hieronder verder voor meer informatie.
