Uw huidige browser heeft updates nodig. Zolang u niet update zullen bepaalde functionaliteiten op de website niet beschikbaar zijn.
Let op: het geselecteerde rooster heeft overlappende bijeenkomsten.
Volgens onze gegevens heb je nog geen vakken behaald.
Je planning is nog niet opgeslagen
Let op! Uw planning heeft vakken in dezelfde periode met overlappend timeslot
Predicate Logic
Cursusdoel
- Apply a symbolic and formal logical analysis to complex aspects of language and argumentation, including quantifiers and predicates
- Argue on the deductive validity of arguments by using the truth-tree method
- Argue on the logical equivalence of complex statements
- Argue on whether logical statements are tautologies, contingencies or contradictions
Assignments (45% + 45%): a regularly updated portfolio of the work done submitted a two points in the course (week 12 and week 15); this tests the ability to apply a symbolic and formal logical analysis to complex aspects of language and argumentation including quantifiers and predicates (goal 1) to argue on the deductive validity of arguments by using the truth-tree method (goal 2) to argue on the logical equivalence of complex statements (goal 3) to argue on whether logical statements are tautologies, contingencies or contradictions (goal 4)
Participation (10%)
Vakinhoudelijk
In the Logic II module, students will be introduced to the symbolism and formalization of more complex aspects of language and argumentation, in particular, predicate logic. The topics discussed in the course include quantifier scope, negation, anaphora, and identity. Students will also be introduced informally to the concepts of coherence and completeness of a deductive system and to some of the principal paradoxes of deductive logic.
Format
The format of the course will largely be based on the concept of “learning by doing”. Students have to prepare for classes by reading selected materials and completing individual assignments which will be discussed in class. The assignments will be part of a portfolio that the student has to hand in at the end of the course.
Schedule
This course is taught during the last five weeks of the semester. It uses the same timeslot as the UCACCMET25 group did during the first ten weeks.
Registration:
During the UCACCMET25 course, students will be asked for their preferences in follow-up module and registered in the week before it starts.
Any student who still needs/wants a module without being registered for UCACCMET25 at that moment, can sign up through ucu.curriculum@uu.nl (cc tutor). These other students will be lotteried into any remaining places, so also need to list a backup module.
Werkvormen
Toetsing
Participation
Verplicht | Weging 10% | ECTS 0,25
Assignment weeks 11-12
Verplicht | Weging 45% | ECTS 1,13
Assignment weeks 13-153-
Verplicht | Weging 45% | ECTS 1,13
Ingangseisen en voorkennis
Ingangseisen
Je moet minimaal 30 punten van het bachelor programma hebben behaald
Voorkennis
If UCACCMET25 has not been taken, ask instructor about preparatory reading.
Voertalen
- Engels
Competenties
-
Interdisciplinariteit
-
Samenwerken
Gerelateerde studies
Tentamens
Er is geen tentamenrooster beschikbaar voor deze cursus
Verplicht materiaal
Materiaal | Omschrijving |
---|---|
BOEK | Coppock, Elizabeth and Champollion, Lucas. 2022. An Invitation to Formal Semantics. This book is open access, and does not need to be pre-ordered. |
Aanbevolen materiaal
Materiaal | Omschrijving |
---|---|
BOEK | Partee, Barbara H., Alice ter Meulen, and Robert E. Wall. 1990. Mathematical Methods in Linguistics. Kluwer: Dordrecht.ISBN 90-277-2244-7. |
Opmerkingen
This module follows directly after UCACCMET25, but can also be taken separately. Counts towards HUM or SSC methodology.
Coördinator
dr. A. Andeweg | A.Andeweg@uu.nl |
Docenten
dr. N. Korotkova | n.korotkova@uu.nl |
Inschrijving
Inschrijving niet via OSIRIS
Permanente link naar de cursuspagina
Laat in de Cursus-Catalogus zien