Cursusbeschrijving
Logica is de studie van verschillende soorten redeneringen. Logica is ook een hulpmiddel om uiteenlopende fenomenen op een elegante manier te modelleren. Het doel van de cursus is om je kennis te laten maken met dit hulpmiddel en uit te leggen hoe je het kunt gebruiken. De cursus is opgedeeld in 3 delen.
We introduceren de Klassieke Logica en laten zien hoe veel verschillende redeneersystemen (logica's) ontstaan als variaties. We bestuderen twee fundamentele manieren om logica te bestuderen, via semantiek en syntaxis. De laatste is van nature geschikt voor modelleren en geautomatiseerd redeneren. We bespreken ook toepassingen in de sociale wetenschappen die zich richten op agency en informatiestromen. We introduceren logische formalismen waarmee we situaties kunnen modelleren waarin de waarheid sociaal geconstrueerd is en we ontwikkelen begrippen als kennis en groeps- en gemeenschappelijke kennis.
Het overkoepelende thema in de behandeling van toepassingen is het begrip categorieën en categorisatie. Categorisatie is de activiteit van het plaatsen van dingen 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 voorbeeldtheorie. We zullen deze begrippen formaliseren en uitleggen hoe de hulpmiddelen van de logica gebruikt kunnen worden om vaagheid in deze theorie op te nemen.
Het derde deel van de cursus maakt gebruik van de fundamentele ontwikkeling uit deel 1 en de modelleerintuïties uit deel 2. We introduceren de studie van formele linguïstiek. We introduceren de studie van formele linguïstiek waar woorden worden geclassificeerd in termen van de rol die ze spelen in de zinsvorming.
