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:
Deel één
- We zullen klassieke logica introduceren en laten zien hoe er vele verschillende redeneringssystemen (logica's) ontstaan als variaties hierop.
- 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, met de nadruk 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.
Deel twee
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 exemplarentheorie.
- We zullen deze begrippen formaliseren en uitleggen hoe logische instrumenten kunnen worden gebruikt om vaagheid in deze theorie te integreren.
Deel drie
Het derde deel van de cursus bouwt voort op de basisbeginselen uit deel één en de modelleringsintuïties uit deel twee.
- 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, enz. Syntactische categorieën worden vervolgens, volgens vormingsregels, gecombineerd om complexe uitdrukkingen te vormen.
- We zullen zien hoe een grammaticaal correcte zin vervolgens kan worden weergegeven door een formeel bewijs of een rekenproces en hoe verschillende interpretaties overeenkomen met verschillende bewijzen.
Lees hieronder verder voor meer informatie.
