This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...) theory fulfils the major desiderata stemming from Kripke's works on proper names. (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to (...) be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

According to the received view, descriptivism is a dead end in an attempt to account for singular reference by proper names, indexicals and possibly even incomplete descriptions, for they require referentialism. In contrast to this, I argue for an application of the former to all kinds of singular terms, indexicals in particular, by relying on a view of incomplete descriptions as elliptical in a pragmatic sense. I thus provide a general analysis of singular reference. The proposed approach is in line (...) with the classical theory of propositions, except for admitting “private” ones with subjective mental entities as constituents. On the other hand, there is no commitment to singular Russellian propositions with ordinary objects as constituents and in general to meanings that cannot be “in the mind”. (shrink)

Poetic license is an essential feature of intentionality. The mind is free to think about any objects, even objects with logically incompatible properties. Some philosophers maintain that a theory that embraces an ontology of objects of thought is indispensable to any account of the nature of intentionality. Any such theory, however, must face paradoxes whose solutions conflict with poetic license. In this paper, I propose a theory which rejects the argument from indispensability. The theory maintains that the intentionality of thought (...) is produced by the quantificational nature of the apparatus of thought. All de re ascriptions of propositional attitudes must respect simple-type stratification and quantify over concepts with a predicable nature only. There are no fictional objects. There are concepts which, in the impredicative reflections of quantificational thought, are presented as if objects of thought. (shrink)

It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.