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 de klassieke logica introduceren en laten zien hoe er vele verschillende redeneringssystemen (logieken) 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, waarbij we ons richten 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 exemplarentheorie. We zullen deze begrippen formaliseren en uitleggen hoe de instrumenten van de logica kunnen worden gebruikt om vaagheid in deze theorie te integreren.
Het derde deel van de cursus bouwt voort op de fundamentele ontwikkelingen 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 bij de zinsvorming. Een woord kan worden gecategoriseerd als een naamwoordgroep, een transitief werkwoord, enzovoort. Syntactische categorieën worden vervolgens, volgens vormingsregels, gecombineerd om complexe uitdrukkingen te vormen. We zullen zien hoe een grammaticaal correcte zin vervolgens kan worden vastgelegd door een formeel bewijs of een rekenproces en hoe verschillende interpretaties overeenkomen met verschillende bewijzen.
Lees hieronder verder voor meer informatie.
