A type free theory and collective/distributive predication

  • Fairouz Kamareddine


The purpose of this paper is to provide a simple type-free set theory which can be used to give the various readings of collective/distributive sentences.

Key words

Type free set theory singletons collectivity distributivity 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aczel, P., 1980, “Frege structures and the notions of proposition, truth and set,” inThe Kleene Symposium, Barwise et al., eds.,Studies in Logic 101, 31–60, New York: North-Holland.Google Scholar
  2. Kamareddine, F., 1988A,Semantics in a Frege structure; PhD thesis, University of Edinburgh.Google Scholar
  3. Kamareddine, F., 1992A, “λ-terms, logic, determiners and quantifiers,”Journal of Logic, Language and Information 1, 79–103.Google Scholar
  4. Kamareddine, F., 1992B, “Set Theory and Nominalisation, Part I,”Journal of Logic and Computation 2, 579–604.Google Scholar
  5. Kamareddine, F., 1992C, “Set Theory and Nominalisation, Part II,”Journal of Logic and Computation 2, 687–707.Google Scholar
  6. Kamareddine, F., 1992D, “A system at the cross roads of functional and logic programming,”Science of Computer Programming 19 239–279.Google Scholar
  7. Kamareddine, F., and Klein, E., 1993, “Nominalisation, Predication and Type containment,”Journal of Logic, Language and Information 2, 171–215.Google Scholar
  8. Kamareddine, F.,1995,A framework of Logic and Polymorphism, in preparation.Google Scholar
  9. Landman, R., 1989, “Groups I & II”,Linguistics and Philosophy 12, 559–605, and 723–744.Google Scholar
  10. Link, G., 1983, “The logical analysis of plural and mass terms: A lattice theoretic approach,” pp. 302–323 inMeaning, Use and Interpretation of Language, De Gruyter.Google Scholar
  11. Link, G., 1986, “Generalised quantifiers and plurals,”CSLI, 86–67.Google Scholar
  12. Scha, 1981, “Distributive, collective and cumulative quantification,” inFormal Methods in the Study of Language, Groenendijk, Janssen, and Stokhoh (eds.), Amsterdam: Mathematical Centre Tracts.Google Scholar
  13. Scott, D., 1975, “Combinators and Classes,” pp. 1–26 inLambda Calculus and Computer Science, Corredo Böhm, ed., LNCS 37, Springer.Google Scholar

Copyright information

© Kluwer Academic Publishers 1995

Authors and Affiliations

  • Fairouz Kamareddine
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowScotland

Personalised recommendations