Course Information

TIME: MW 1:30-3:18
PLACE: Jennings Hall 164
COURSE WEB SITE: http://www.ling.ohio-state.edu/~plummer/courses/autumn08/ling680/

INSTRUCTOR: Carl Pollard

Office: Oxley Hall 18
Office hours TBA and by appointment

Email: pollard@ling.ohio-state.edu

Office phone: (614) 292-7590 (office)
Cell: (614) 975-9789 (for emergencies only)

TA: Andy Plummer

Office: Oxley Hall 204
Office hours TBA and by appointment

Email: plummer@ling.osu.edu

Office phone: (614) 688-3108

More Course Info

Reading

Background

• Design Features
• Not In School
• Language Facts
• Linguistics Facts

Introduction

• INTRODUCTION

Unit One: Sets

• SETS

Unit Two: Mathese

• MATHESE

Unit Three: Relations

• RELATIONS

Unit Four: The Natural Numbers, Induction, and Recursive Definition

• THE NATURAL NUMBERS, INDUCTION, AND RECURSIVE DEFINITION

Unit Five: Infinities

• INFINITIES

Unit Six: Introduction to Formal Languages

• INTRODUCTION TO FORMAL LANGUAGES
• Context Free Grammar Handout

Unit Seven: (Pre-)(Semi-)Lattices and Trees

• (PRE-)(SEMI-)LATTICES AND TREES

Unit Eight: Introducing Propositional Logic

• INTRODUCING PROPOSITIONAL LOGIC

Unit Nine: Preodered Algebra Semantics for Propositional Logic

• PREORDERED ALGEBRA SEMANTICS FOR PROPOSITIONAL LOGIC

Unit Ten: Proof and Semantic Consequence

• PROOF AND SEMANTIC CONSEQUENCE

Assignments

1. Problem Set One
2. Problem Set Two
3. Problem Set Three
4. Problem Set Four
5. Problem Set Five
6. Problem Set Six
7. Problem Set Seven
8. Problem Set Eight

Links

Mathematics and Philosophy

MathSci
MathWorld
PlanetMath
Stanford Encyclopedia of Philosophy

Linguistics

Convergent Grammar
Higher Order Grammar
LING 681: Algebraic Linguistics

Top | Course Information | Reading | Assignments | Links