https://studiegids.vu.nl/en/courses/2024-2025/W_BA_LGCAfter completing this course, the student can:Summarize key concepts in theoretical philosophy.Summarize key concepts in the philosophy of logic, like logical realism.Translate natural language sentences into propositional logic.Translate natural language sentences into propositional logic predicate logic.Identify validity by drawing truth tables.Identify validity by drawing Venn diagrams.Identify validity by applying inference rules (natural deduction). Critically discuss the relation between logic, cognition, language, and AI.Place contemporary logic in their historical context.Critically discuss issues in feminist philosophy of logic.Introduction to three logical systems, including historical overview: syllogistic, propositional, and predicate logic. Discussion of philosophical questions pertaining to logic such as: what is logic about? How is logic related to natural languages? How is logic related to epistemology and metaphysics?A combination of short expository lectures, practical sessions with exercises, and discussion of texts.Assignments (10% of the final mark, assessment of all learning objectives) Final exam (90% of the final mark, assessment of all learning objectives).The course materials will be announced in due course on Canvas.Youtube: https://www.youtube.com/watch?v=CRDC9sVJaR0&list=PLwSlKSRwxX0rZXkGM18LRPPy9CPwxRnFs Priest, G. (2000). Short introduction to Logic. (available in the VU library/online) Copi, I. M., Cohen, C., & McMahon, K. (2016). Introduction to logic. Routledge.