In this article I present HYPER-REF, a model to determine the referent of any given expression in First-Order Logic. I also explain how this model can be used to determine the referent of a first-order theory such as First-Order Arithmetic. By reference or referent I mean the non-empty set of objects that the syntactical terms of a well-formed formula pick out given a particular interpretation of the language. To do so, I will first draw on previous work to make explicit (...) the notion of reference and its hyperintensional features. Then I present HYPER-REF and offer a heuristic method for determining the reference of any formula. Then I discuss some of the benefits and most salient features of HYPER-REF, including some remarks on the nature of self-reference in formal languages. (shrink)

Can one and the same quotation be used on different occasions to quote distinct objects? The view that it can is taken for granted throughout the literature (e.g. Goddard & Routley 1966, Christensen 1967, Davidson 1979, Goldstein 1984, Jorgensen et al 1984, Atlas 1989, Clark & Gerrig 1990, Washington 1992, García-Carpintero 1994, 2004, 2005, Reimer 1996, Saka 1998, Wertheimer 1999). Garcia-Carpintero (1994, p. 261) illustrates with the quotation expression ''gone''. He says it can be used to quote any of the (...) following items. (shrink)

Since universal language systems are confronted with serious paradoxical consequences, a semantic approach is developed in whichpartial worlds form the ontological basis. This approach shares withsituation semantics the basic idea that statements always refer to certain partial worlds, and it agrees with the extensional and model-theoretic character ofpossible worlds semantics. Within the framework of the partial worlds conception a satisfactory solution to theLiar paradox can be formulated. In particular, one advantage of this approach over those theories that are based on (...) the totality of possible worlds semantics can be found in the fact that the so-called Strengthened Liar problem is avoided. (shrink)

Arithmetical self-reference through diagonalization is compared with self-recognition in a mirror, in a series of diagrams that show the structure and main stages of construction of self-referential sentences. A Gödel code is compared with a mirror, Gödel numbers with mirror images, numerical reference to arithmetical formulas with using a mirror to see things indirectly, self-reference with looking at one’s own image, and arithmetical provability of self-reference with recognition of the mirror image. The comparison turns arithmetical self-reference into an idealized model (...) of self-recognition and the conception(s) of self based on that capacity. (shrink)

This chapter contains sections titled: Alfred Tarski Alonzo Church Kurt Gödel.

From the Editor’s Introduction: "The Internal Limitations of Human Understanding." We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- The limitations (...) in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

Starting with Frege, the semantics (and pragmatics) of quotation has received a steady flow of attention over the last one hundred years. It has not, however, been subject to the same kind of intense debate and scrutiny as, for example, both the semantics of definite descriptions and propositional attitude verbs. Many philosophers probably share Davidson's experience: ‘When I was initiated into the mysteries of logic and semantics, quotation was usually introduced as a somewhat shady device, and the introduction was accompanied (...) by a stern sermon on the sin of confusing the use and mention of expressions’ (Davidson 1979, p. 79). Those who leave it at that, however, miss out on one of the most difficult and interesting topics in the philosophy of language. (shrink)