Introduction to Proof Theory

Kurssilla kerrataan aluksi luonnollisen p??ttelyn jÃrjestelm?¤, jonka monet ovat jo oppineet logiikan alkeiskurssilla. Sen j¤lkeen tarkastellaan klassisen ja intuitionistisen lause- ja predikaattilogiikan todistusteoriaa ns. sekvenssi-kalkyylin avulla. Se on vaihtoehto luonnolliselle pÃ¤ttelylle, jonka kautta todistusten rakennetta on helpompi tutkia. Kurssin loppupuolella tarkastellaan todistusten rakenneanalyysin sovellutuksia. Kurssi soveltuu logiikan jatkokurssiksi filosofiaan, tai muuksi kurssiksi sopimuksen mukaan. Kurssi soveltuu my¶s perustetutkimuksesta kiinnostuneille matematiikan opiskelijoille, samoin logiikkaohjelmoinnista kiinnostuneille tietojenk¤sittelyn opiskelijoille. Luennot tiistaisin klo 10-12 filosofian laitoksen seminaarihuoneessa, alkaen 15. syyskuuta.

Sara Negri

logiikan dosentti

e-mail: negri@helsinki.fi

I will give a lecture course in English,

Introduction to Proof Theory

The course is suitable as a second course in logic for philosophy students. The course begins with an introduction to natural deduction, then stronger proof-theoretical systems are studied for classical and intuitionistic logic. Towards the end of the course, applications of structural analysis of proofs are treated. The course is also suitable for mathematics students interested in foundations, and for computer science students interested in logic programming. Place is seminar room, Department of Philosophy, Tuesdays 10-12, beginning on September 15, 1998. Write to negri@helsinki.fi if you have any questions.

Back to Sara's homepage.