Course Description
Logical reasoning and quantitative literacy for linguistics. Recognition of patterns, making generalizations, abstraction to a formal system, application of the system to specific situations, identifying valid arguments, and the use of mathematical models, with a focus on applications in linguistics.
Athena Title
Math and Reasoning
Grading System
A - F (Traditional)
Student Learning Outcomes
- By the end of the course, students will learn mathematical concepts and methods adequate to construct valid arguments, model natural language meaning, and increase their general problem-solving skills.
- By the end of the course, students will be able to identify and classify different types of implications between sentences in natural languages, such as entailments.
- By the end of the course, students will be able to use techniques and tools from mathematics to create formal representations of natural language expressions and model natural language meaning in a precise and unambiguous way.
Topical Outline
- Types of implications
Entailments: relations between propositions
- Set theory: motivations for set theory
- Propositional logic: Motivations for propositional logic language
- Predicate logic: Motivations for predicate logic language
- Typed lambda calculus: Motivations for typed language
