Course syllabus

Jump to today

Welcome to History, methodology and applications of logic LOG310, 7.5 credits

This course is part of the Master's Programme in Logic. 

Course content

One or several issues in the history, methodology or application of logic are chosen in consultation with the examiner, taking into account the student's specific prior knowledge. The student presents, with the help of beamer slides, and discusses his or her conclusions at a seminar. Obligatory attendance at other presentations ensure the breadth.

The course is designed to place considerable demands on the ability to engage with a text independently and with an open but critical attitude, as well as the ability to independently present the selected contents. The course can be seen as an opportunity to broaden and deepen earlier studies.

You will also create slides using \(\mathrm\LaTeX\), links and useful information are available.

TeachersPhoto of Fredrik Engström

The course coordinator is Fredrik Engström. You can contact Fredrik by email, fredrik.engstrom@gu.se, or give him a call at +46 - 31 - 786 6335.

Introduction

The first meeting of the course will be on September 9th, 10-12. See Timetable below.

Schedule

See TimeEdit for the schedule and also the Colloquium page for more information about the presentations.

Preliminary plan for presentations (10:15 - 12:00 if not otherwise specified). See TimeEdit for rooms.

  • 23 September: Vlad on Term logic/Aristotelian logic
  • 7 October: Ida on Non-montone logics
  • 21 October: Aleksandar on temporal logics.
  • 27 October: Basil on Logic in the middle-ages. 
  • 4 November: Maria on Spatial logic
  • 2 December: Armand on Proof mining
  • 16 December: Yuan
  • 19 January (Thursday!): Antonina
  • 20 January (not in TimeEdit, J577): Yoann on Vector logic

Literature

Literature is chosen in collaboration with the course coordinator.

Examination

The course is examined orally through a presentation. Compulsory attendance may apply for some course components.

Learning outcomes

On successful completion of the course the student will be able to:

Knowledge and understanding

  • with some independence, in reasoning and analytical terms describe and relate to the contemporary discussion concerning one or more topics in the history, methodology and applications of logic,
  • relate these questions to topics that are part of the student's previous education,

Competence and skills

  • critical, objective and orally discuss one or more questions, line of arguments or methods from the course literature,
  • show familiarity with software, such as LaTeX, to produce slides or shorter texts to complement presentations,

Judgement and approach

  • demonstrate the ability to identify the personal need for further knowledge.

See the course syllabus for more information.

Contact information

  • Course coordinator Fredrik Engström, fredrik.engstrom@gu.se answers questions about the course content, literature and schedule.
  • Program Coordinator Fredrik Engström, fredrik.engstrom@gu.se is responsible for programme issues and study guidance for students of the programme.

Course summary:

Course Summary
Date Details Due