Logica is van oorsprong de theorie van het correcte redeneren. In de moderne logica geven we redeneringen weer op een geïdealiseerde manier, zodat de correctheid aan de vorm te herkennen is. In dit college is de logica onderwerp van studie. De nadruk zal liggen op de modern-klassieke systemen van de propositielogica en de predikatenlogica. We zullen kennismaken met deze formele systemen en ons bezighouden met hun relatie met natuurlijke talen als het Nederlands en het Engels. De precieze definitie en interpretatie van deze logische talen zal bestudeerd worden, waarbij begrippen als welgevormde formules, inductieve definities, bereik, vrije en gebonden variabelen, waarheidstafels, modellen, etc. aan de orde zullen komen. Geldigheid van redeneringen zal op twee manieren worden uitgewerkt: semantisch en syntactisch. Duidelijk zal worden dat een en ander aanleiding geeft tot vragen omtrent correctheid en volledigheid, die, als de tijd dat toelaat, ook beantwoord zullen worden. De filosofische oorsprong, context en vertakkingen van de logica zullen worden toegelicht, en er zal ook worden nagedacht over de vraag wat logica nu eigenlijk is, of het een universeel systeem is, en hoe het zich tot de werkelijkheid verhoudt. Indien de tijd het toelaat zullen we ook kijken naar een alternatieve logica voor de bekende logische constanten, de intuïtionistische logica.