Logica en taal

Deze cursus introduceert twee thematische gebieden die van onschatbare waarde zijn voor de theoretische filosofie: logica en taalfilosofie.
Onder logica verstaan we hier formele methodes waarmee we redeneringen kunnen analyseren en kunnen vaststellen of ze geldig zijn of niet. We maken kennis met de twee meest basale logische systemen: propositielogica en predikatenlogica. De vaardigheden in het werken met dergelijke logische systemen zijn van belang voor een breed scala aan thema's in de bredere theoretische filosofie, inclusief epistemologie, filosofie van de geest, en metafysica.
De taalfilosofie houdt zich bezig met de vragen: wat is taal? hoe werkt taal? wat is betekenis, en hoe kunnen woorden naar dingen in de werkelijkheid verwijzen? hoe kunnen sprekers van een taal zinnen verstaan die ze nog nooit eerder hebben gehoord? Bij de filosofische analyse van taal zullen de opgedane inzichten op het vlak van de logica van belang blijken te zijn.

Deze cursus overlapt met KI1V13001 – Inleiding Logica voor KI/ KI1V24001 Logische methoden voor KI. Studeer je Filosofie, dan volg je FI2V23005 en mag je KI1V13001/KI1V24001 niet laten meetellen voor je programma.

In deze cursus leer je werken met de methodes van formele logica (propositielogica en predikatenlogica). Formele logica is een middel om exact de structuur van geldige redeneringen mee in kaart te brengen. Daarnaast maak je in deze cursus kennis met basale taalfilosofische vraagstukken en hoe die samenhangen met wat je bij het logica-gedeelte leert kennen. Aan het einde van deze cursus zullen studenten:

• Inzicht hebben in de structuur van redeneringen en de notie van geldigheid.
• In staat zijn om de compositionele structuur van predikatenlogische zinnen te begrijpen.
• In staat zijn om geldige en ongeldige redeneringen middels logische methoden van elkaar te onderscheiden.
• Kennis hebben van enkele fundamentele theorieën op het vlak van de taalfilosofie.
• Inzicht hebben in de compositionele aard van taal en in de noties van verwijzing en betekenis.
• Bewustzijn hebben van het verband tussen betekenis en geldigheid.

• Book forall x: Utrecht