Event Timeslots (1)
Block
-
This course is taught en bloc. For dates and times, please see the entry on eCampus. The goal of this course it to familiarize the students with some of the mathematical machinery commonly used by working (philosophical or otherwise) logicians. We will start with some rudimentary set theory such as (but not restricted to): set operations, tuples, order relations of different kinds, equivalence relations, lattices and so on. We will also discuss the role of both naive and axiomatic set theory for the development of modern logic. We will then transition to abstract treatments of logic via matrix semantics and (if time permits) algebraic semantics. The block seminar will include exercise sessions in which the students will be encouraged to discuss their solutions. We hope that the students will come out of this seminar having developed a good understanding of both the notions involved and the reasons for why they are so prominent in the literature on logic.
The credits will be primarily awarded for participation in solving exercises during the seminar.
Literature:
[1] B.A. Davey and H.A. Priestley, Introduction to Lattices and Order. Cambridge University Press, 1990.
[2] J.M. Font, Abstract algebraic logic: an introductory textbook. College Publications, 2016
[3] E. Mendelson, Introduction to mathematical logic. Princeton, 1964.
[4] R. Wojcicki, Theory of Logical Calculi. Springer, 1988.