De minor logica is een co-productie van Wijsbegeerte en Informatica.
Logica is de wetenschap van het redeneren. Logica houdt zich niet alleen bezig met hoe een redenering er uit ziet (vorm), maar ook met de vraag wat een redenering correct maakt (inhoud). De studie van de vorm is het domein van de syntaxis. Hier bestuderen we hoe (formele) talen in elkaar zitten en hoe je een afleidingssysteem specificeert. De studie van de inhoud is het domain van de semantiek. Hier komen begrippen als waarheid en geldigheid aan de orde.
Logica is natuurlijk in eerste instantie een fundamenteel vak, maar logica heeft ook vele toepassingen in o.a. artificiële intelligentie, wiskunde, informatica, wijsbegeerte, wiskunde, linguistiek en rechten.
De minor vergt zeker enig technisch kunnen.
Je kan kiezen tussen twee tracks, waarbij track 1 een meer filosofische invulling heeft en waar de inhoud van track 2 meer met cognitie en artificiële intelligentie verbonden is.
De basiscursussen van track 1 zijn Logica voor filosofen en Voortgezette logica (om de twee jaar ook ’s avonds aangeboden). De basiscursussen van track 2 zijn Inleiding logica en Logica voor AI. In deze basiscursussen worden de twee meest succesvolle formele systemen ooit bestudeerd: de propositie- en de predicaten-logica. Ook wordt modale logica behandeld. In Voortgezette logica worden ook artikelen gelezen over de filosofie van de logica, terwijl in Logica voor AI toepassingen in de artificiële intelligentie aan bod komen.
Het vak Logica en verzamelingen geeft een inleiding in de verzamelingenleer. Verzamelingen worden gebruikt bij het modelleren van begrippen bijvoorbeeld in de wiskunde.
Het vak Geschiedenis van de Logica behandelt de ontwikkeling van de logica met een nadruk op de laatste 150 jaar. Hier worden onder andere de onvolledigheidsstelligen van Gödel behandeld.
In de overige vakken worden de geïntroduceerde ideeën verder uitgewerkt.
Tip: de cursus Logische complexiteit (CK3W3071) is een zeer interessante aanvulling op deze minor, maar kan wegens de ingangseis niet worden opgenomen in het programma.
De minor logica is geschikt voor bèta studenten –wij denken daarbij bijvoorbeeld ook aan fysici en chemici– maar ook voor alfa-gamma studenten met enige affiniteit tot formele methoden –te denken valt aan taalkunde– en rechtenstudenten.