A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, 'is' is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not ...

This is a second course in symbolic logic. Our course presupposes you have had a first course in symbolic deductive logic, such as Sac State's PHIL 60, or CSC 28, or you have learned this material on ...