Diese Seite gibt es auch auf Deutsch.
This course - the first of a 2-semester sequence - introduces set
ordering relations, some algebra (groups, lattices) as well as
logic and first order predicate logic with identity. The emphasis
on logic. Each of the two logics will be investigated from four
formal syntax, formal (model-theoretic) semantics, proof theory
to natural language (formalisation, "informal semantics"). The aim
course is to make the student familiar with basic logical skills
formalizing natural language sentences, construction of formal
a natural deduction system and semantic evaluation of (sets of)
(truth table method, determining truth conditions of formulas).
None. The language of instruction is German and set theory.
Obligatory course for the B.Sc. in Computational Linguistics
(CL), and CL as a minor for M.A.
There will be a midterm and a final exam, 45 min each. The
carries 8 credit points.(For further details regarding course
requirements, in particular registration for the exams, see German
Partee, B., A. ter Meulen, R.Wall, Mathematical Methods in
Leblanc, H., W. Wisdom, Deductive Logic. Allyn and Bacon, 1976.
Thomason, R., Symbolic Logic. Macmillan, 1970.
Wed 16-18; first meeting: 29 October 2014
|Weeks 1 and 2||Basic concepts of set theory|
|Weeks 3 and 4||Basic concepts of ordering relations and algebraic structures (groups, lattices)|
|Weeks 5 - 8||Propositional logic: Formalisation, syntax and semantics|
|Week 8||Midterm exam on material of the first half of the course; sample exam|
|Weeks 9 and 10||Propositional logic: Proof theory (Natural Deduction)|
|Weeks 11 - 13||Predicate logic: Formalisation, syntax, proof theory (Natural Deduction)|
|Weeks 14 and 15||Predicate Logic: formal (model-theoretic) semantics|
|Week 16||Final exam on material of the second half of the course; sample exam|
Course mechanics (in German only)