Course learning goals: By the end of this course, students will understand the fundamental ideas underlying Formal Semantics, a central sub-discipline in Linguistics.
Learning Outcomes: By the end of this course, students will be able to apply type-theoretic ideas to grasp meanings of simple natural language sentences, translate between English and Higher Order Logic languages, interpret sentences relative to models, distinguish between conventional and context-determined meaning, and articulate the role of context in enriching lexically-specified meaning.
Instructor: William Schuler
Prereqs: LING 2000 (201), LING 2000H (201H), or LING 4000 (601).
Web site: http://www.ling.osu.edu/~schuler/courses/4400. The updated syllabus, assignments, slides, etc. will be posted here, so check it regularly.
Course Content:
Wk | Due Sunday 11:59PM | Lecture: Monday | Due Tuesday 11:59PM | Lecture: Wednesday |
1 | (pre-term) | (pre-term) | 8/23 LN01: overview |
|
2 | 8/27 videos: lambda calculus | 8/28 LN02: simple formal logic |
8/30 --- PS1 handout
(cont'd) |
|
3 | (Labor Day) | 9/6 LN03: propositional logic |
||
4 | 9/10 drills: derivation tree problems | 9/11 LN04: predicates and operators |
9/12 PS1 due | 9/13 --- PS2 handout
LN05: generalized quantifiers |
5 | 9/17 videos: generalized quantifiers | 9/18 (cont'd) |
9/20 LN06: other higher-order logic functions |
|
6 | 9/25 LN07: substances |
9/26 PS2 due videos: first-order logic |
9/27 --- PS3 handout
LN08: first-order logic |
|
7 | 10/1 videos: set theory | 10/2 LN09: set theory |
10/4 (cont'd) |
|
8 | 10/09 LN10: schematized functions |
10/10 PS3 due | 10/11 (cont'd) |
|
9 | 10/16 review session 1 |
10/18 midterm 1 |
||
10 | 10/23 --- PS4 handout
(cont'd) | (no class) | ||
11 | 10/30 LN11: modifiers |
11/1 LN12: eventualities |
||
12 | 11/6 --- PS5 handout
(cont'd) | 11/7 PS4 due | 11/8 --- PS4 Q3 solution
LN13: intensionality |
|
13 | 11/13 LN14: entailment |
11/15 (cont'd) |
||
14 | 11/19 PS5 due | 11/20 --- PS6 handout
LN15: quantifier scope and raising |
(Thanksgiving) | (Thanksgiving) |
15 | 11/27 (cont'd) |
11/28 PS6 due (postponed to 12/1) | 11/29 LN16: anaphora | |
16 | 12/4 review session 2 |
12/6 midterm 2 |
Successful course participation involves:
A | A- | B+ | B | B- | C+ | C | C- | D+ | D |
93%+ | 90%+ | 87%+ | 83%+ | 80%+ | 77%+ | 73%+ | 70%+ | 67%+ | 60%+ |
Faculty feedback and response time:
Student participation requirements: Consistent engagement is expected. If any problems arise relative to attendance, please contact the instructor as soon as possible. Communication is important. You are encouraged to participate during class, ask questions, work on in-class problems in small groups, and share your experiences relative to the subjects and discussion that day.
Attendance and active participation often impacts your performance in a meaningful way, so it will be beneficial for you to attend this course synchronously as much as possible. The lecture slides will be posted on CarmenCanvas, so if you do miss a lecture, you are expected to view the missed material before the next lecture.
Weather or other short-term closing: Should in-person classes be canceled, we will meet virtually via CarmenZoom during our regularly scheduled time. I will share any updates via email.
Students with Disabilities: The University strives to make all learning experiences as accessible as possible. If you anticipate or experience academic barriers based on your disability (including mental health, chronic or temporary medical conditions), please let me know immediately so that we can privately discuss options. To establish reasonable accommodations, I may request that you register with Student Life Disability Services. After registration, make arrangements with me as soon as possible to discuss your accommodations so that they may be implemented in a timely fashion. SLDS contact information: slds@osu.edu; 614-292-3307; slds.osu.edu; 098 Baker Hall, 113 W. 12th Avenue.
Academic Misconduct: It is the responsibility of the Committee on Academic Misconduct to investigate or establish procedures for the investigation of all reported cases of student academic misconduct. The term "academic misconduct" includes all forms of student academic misconduct wherever committed; illustrated by, but not limited to, cases of plagiarism and dishonest practices in connection with examinations. Instructors shall report all instances of alleged academic misconduct to the committee (Faculty Rule 3335-5-487). For additional information, see the Code of Student Conduct http://studentlife.osu.edu/csc/.
Mental Health Services: As a student you may experience a range of issues that can cause barriers to learning, such as strained relationships, increased anxiety, alcohol/drug problems, feeling down, difficulty concentrating and/or lack of motivation. These mental health concerns or stressful events may lead to diminished academic performance or reduce a student's ability to participate in daily activities. The Ohio State University offers services to assist you with addressing these and other concerns you may be experiencing. If you or someone you know are suffering from any of the aforementioned conditions, you can learn more about the broad range of confidential mental health services available on campus via the Office of Student Life's Counseling and Consultation Service (CCS) by visiting ccs.osu.edu or calling 614-292-5766. CCS is located on the 4th Floor of the Younkin Success Center and 10th Floor of Lincoln Tower. You can reach an on call counselor when CCS is closed at 614-292-5766 and 24 hour emergency help is also available through the 24/7 National Suicide Prevention Hotline at 1-800-273-TALK or at suicidepreventionlifeline.org.
Sexual Misconduct / Relationship Violence: Title IX makes it clear that violence and harassment based on sex and gender are Civil Rights offenses subject to the same kinds of accountability and the same kinds of support applied to offenses against other protected categories (e.g., race). If you or someone you know has been sexually harassed or assaulted, you may find the appropriate resources at http://titleix.osu.edu or by contacting the Ohio State Title IX Coordinator, Kellie Brennan, at titleix@osu.edu.
Diversity: The Ohio State University affirms the importance and value of diversity in the student body. Our programs and curricula reflect our multicultural society and global economy and seek to provide opportunities for students to learn more about persons who are different from them. We are committed to maintaining a community that recognizes and values the inherent worth and dignity of every person; fosters sensitivity, understanding, and mutual respect among each member of our community; and encourages each individual to strive to reach his or her own potential. Discrimination against any individual based upon protected status, which is defined as age, color, disability, gender identity or expression, national origin, race, religion, sex, sexual orientation, or veteran status, is prohibited.
Religious Beliefs: It is Ohio State's policy to reasonably accommodate the sincerely held religious beliefs and practices of all students. The policy permits a student to be absent for up to three days each academic semester for reasons of faith or religious or spiritual belief. Students planning to use religious beliefs or practices accommodations for course requirements must inform the instructor in writing no later than 14 days after the course begins. The instructor is then responsible for scheduling an alternative time and date for the course requirement, which may be before or after the original time and date of the course requirement. These alternative accommodations will remain confidential. It is the student's responsibility to ensure that all course assignments are completed.