A type free theory and collective/distributive predication

Journal of Logic, Language and Information 4 (2):85-109 (1995)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01048616

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
Type-free property theory, exemplification and Russell's paradox.Francesco Orilia - 1991 - Notre Dame Journal of Formal Logic 32 (3):432-447.
On the strength of a weak variant of the axiom of counting.Zachiri McKenzie - 2017 - Mathematical Logic Quarterly 63 (1-2):94-103.
Property theory and the revision theory of definitions.Francesco Orilia - 2000 - Journal of Symbolic Logic 65 (1):212-246.
On some peculiar aspects of the constructive theory of point-free spaces.Giovanni Curi - 2010 - Mathematical Logic Quarterly 56 (4):375-387.
Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
Decreasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Mathematical Logic Quarterly 63 (5):342-363.
Generalized distributivity operators.Peter Lasersohn - 1998 - Linguistics and Philosophy 21 (1):83-93.
Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2007 - Journal of Philosophical Logic 36 (1):61-95.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown

Analytics

Added to PP
2009-01-28

Downloads
45 (#363,967)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Groups, I.Fred Landman - 1989 - Linguistics and Philosophy 12 (5):559 - 605.
Groups, II.Fred Landman - 1989 - Linguistics and Philosophy 12 (6):723 - 744.
Frege structures and the notions of truth and proposition.P. Aczel - 1980 - In Jon Barwise, Howard Jerome Keisler & Kenneth Kunen (eds.), The Kleene Symposium: Proceedings of a Symposium Held June 18-24, 1978 at Madison, Wisconsin, Usa. Amsterdam, Netherlands: North-Holland.
Distributive, collective and cumulative quantification.R. Scha - 1981 - In J. A. G. Groenendijk, T. M. V. Janssen & M. B. J. Stokhof (eds.), Formal Methods in the Study of Language, Part 2. Mathematisch Centrum. pp. 483--512.

View all 9 references / Add more references