| Course: | LPS/Phil 246 |
| Name: | Quantifiers & Abstr |
| Description: |
After a comprehensive survey
of generalized quantifiers, the seminar will turn towards certain
specific non-standard quantifiers, with a particular attention to (first-order!) binary
quantifiers dealing with cardinality notions, such as "there are no
more A's than B's", which were first introduced by Rescher and
Härtig in the 1960's. Since quantifiers such as Härtig's
are quite expressive, we develop a more tractable version, which is
then put to use to give a first-order axiomatization of arithmetic in
the style of Frege and Russell.
|