Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used (...) referentially, says Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the (...) descriptive content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (shrink)

I. Descriptions in Predicative Position The predicative analysis and Russell’s theory part company when it comes to the argument structure assigned to sentences like (1). (1) Washington is the greatest French soldier. On a standard Russellian analysis, (1) has the following (a) logical form and (b) truth conditions.

Hurford argues that propositions of the form PREDICATE(x) represent conceptual structures that predate language and that can be explicated in terms of neural structure. I disagree, arguing that such predicates are descriptions of limited aspects of brain function, not available as representations in the brain to be exploited in the frog or monkey brain and turned into language in the human.

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

Objectivity – to account for nature as it is, free from subjective biases – is a standard of science and commonsense. However, postmodernists distort it into God’s perspective. Because God’s position is beyond human reach, they dismiss objectivity as a sham and relegate all science and knowledge to be nothing but social constructions relative to specific cultures. Their forced choice between two polar options – an illusory absolute stance and arbitrary cultural fashions – is unwarranted. Objectivity has clear meaning within (...) the bounds of human understanding. (shrink)

When philosophers talk about descriptions, usually they have in mind singular definite descriptions such as ‘the finest Greek poet’ or ‘the positive square root of nine’, phrases formed with the definite article ‘the’. English also contains indefinite descriptions such as ‘a fine Greek poet’ or ‘a square root of nine’, phrases formed with the indefinite article ‘a’ (or ‘an’); and demonstrative descriptions (also known as complex demonstratives) such as ‘this Greek poet’ and ‘that tall woman’, formed (...) with the demonstrative articles ‘this’ and ‘that’. Following the custom in philosophy, in this chapter often we use ‘description’ as short for ‘definite description’; and following the custom in linguistics, often we use ‘definite’, ‘indefinite’, and ‘demonstrative’ as shorthand nouns. For the most part we focus on definite and indefinites, although a few words about demonstratives are called for. At the centre of debates about descriptions is the matter of whether they are devices of reference or of predication (simple or higher-order), and much discussion focuses on how various proposals are to be incorporated into broader theories of the semantics of natural language. But philosophical interest goes beyond the confines of linguistics, logic, and the philosophy of language because choices made about the semantics of descriptions have repercussions elsewhere, particularly in epistemology and metaphysics. A simple match of form and meaning appears to fail.1 First, many occurrences of expressions of both forms ‘the φ’ and ‘a φ’ appear to be used to talk about particular individuals. Consider (1). (shrink)

Descriptions are predicates. Here, I'll take this to mean either of two basically equivalent things: that they have extensions as their semantic values, sets of entities, in the broadest sense; or that they have type-〈e,t〉 functions as their semantic values, functions from entities, in the broadest sense, to truth values. An entity in the broadest sense is anything that can be the subject of a first-order predication. Examples are individuals, pluralities, masses, and kinds. Here I'm including entities in this (...) broadest sense because my thesis that descriptions are predicates applies to all sorts of descriptions: singular descriptions, plural definite descriptions, mass descriptions, kind descriptions, and indefinite descriptions as well. (shrink)

Employing Constructive Type Theory Constructive Type Theory, we provide a logical analysis of[aut]Ibn SīnāIbn Sīnā’sIbn Sīnā descriptional propositions. Compared to its rivals, our analysis is more faithful to the grammatical subject-predicate structure of propositions and can better reflect the morphological features of the verbs that extend time to intervals. We also study briefly the logical structure of some fallacious inferences that are discussed by Ibn Sīnā. The CTT-framework makes the fallacious nature of these inferences apparent.

The implicit content indicating location associated with “raining” and other weather predicates is a definite description meaning “the location occupied by x,” where the individual variable “x” can be referential or bound. This position has deleterious consequences for certain varieties of radical contextualism.

Minimal predicates P satisfying a given first-order description φ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order ‘PIA conditions’ φ(P) which guarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of ‘predicate intersection’. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...) in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond. (shrink)

This chapter contains sections titled: Preliminaries Descriptions and Quantification Descriptions and Predication Conclusion.

The-Predicativism is the view that names are count nouns. For example, the meaning of the name ‘Louise’ is roughly the property of being called Louise. Moreover, proponents of this view maintain that names that are ostensibly in argument position of a predicate are covert definite descriptions. In recent years, The-Predicativism has acquired a number of new supporters, mainly Elbourne (), Matushansky (), and Fara (). And while it was pointed out by Kripke () that these kinds of views generally (...) struggle with capturing the rigidity of proper names, these new views are alleged to solve this problem. In this paper I argue that the more recent versions of the view continue to struggle. In particular, I show that the views fail to provide an explanatory and/or empirically adequate analysis of rigidity. My discussions of these views are then supplemented with a general diagnosis of the problem and an explanation of why it is unlikely to be solved by The-Predicativism. (shrink)

Minimal predicates P satisfying a given first-order description ϕ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order 'PIA conditions' ϕ(P) which quarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of 'predicate intersection'. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...) in expressive power to LFP(FO), first-order logic closed under smallest fixed-points for monotone operations. As a concrete illustration of these notions, we show how our sort of predicate minimization extends the usual frame correspondence theory of modal logic, leading to a proper hierarchy of modal axioms: first-order-definable, first-order fixed-point definable, and beyond. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account (...) for their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

Michael Devitt claims that the predicative material that constitutes complex referential expressions makes a semantic contribution to the proposition expressed. He thus deviates from direct referentialism, according to which every referential expression -either simple or complex- contributes just with an object to the proposition expressed, leaving the predicative material out of the semantic content. However, when dealing with misdescriptions, Devitt has suggested a pragmatic way out: the audience can understand what the speaker is referring to even if the (...) object does not fall under the corresponding description. From my perspective, this proposal questions the semantic validity of the predicative material, together with Devitt's original claim. In this paper, I propose a way to solve the problem posed by misdescriptions that appeals to the idea of epistemically relativized properties, according to which the properties ascribed to the object -by means of the predicative material- correspond to the way the speaker thinks of it and not to the way the object really is. Michael Devitt sostiene que el material predicativo que constituye las expresiones referenciales complejas hace un aporte semántico a la proposición expresada, alejándose así del referencialismo directo, para el cual toda expresión referencial -sea ésta simple o compleja- contribuye sólo con un objeto singular a la proposición expresada. Sin embargo, al enfrentarse al problema de las descripciones fallidas, Devitt ofrece una salida pragmática: el oyente comprende a qué se refiere el hablante aun cuando el objeto referido no caiga bajo la descripción utilizada. Esto pone en cuestión la validez semántica del material predicativo, desestimando la postura original de Devitt. En el trabajo propongo una solución a este problema, apelando a la idea de propiedades epistémicamente relativizadas, de acuerdo con la cual lo que se predica del objeto por medio del material predicativo corresponde a las creencias del hablante, y no a lo que el objeto realmente es. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are (...) they definite descriptions with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

Definite descriptions are in the focus of philosophical discussion at least since Russell's famous paper "On Denoting". We present in this paper a logic with descriptions in Russell's spirit. The formulation, however, is closely related to Schütte's development of predicate logic, i.e. the formulation of the calculus uses positive- and negative-parts. With respect to this slightly more sophisticated formulation it is possible to formalize Russell's convention that is originally stated in the metalanguage of his theory of descriptions (...) within our calculus. In this paper we prove an elimination theorem for this calculus. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was (...) presented in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

In “Descriptions as Predicates” (Graff 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-as-predicates view, one that concerns the interaction of descriptions with adverbs of quantification.

My thesis consists of three self-contained but interconnected papers. In the first one, 'Word and Objects', I assume that it is possible to quantify over absolutely everything, and show that certain English sentences containing collective predicates resist paraphrase in first-order languages and even in first-order languages enriched with plural quantifiers. To capture such sentences I develop a language containing plural predicates . ;The introduction of plural predicates leads to an extension of Quine's criterion of ontological commitment. I argue that theories (...) containing plural predicates can have plural ontological commitments in addition to singular ones. In this sense, I argue that the subject-matter of ontology is richer than one might have thought. ;Plural predicates turn out to be tremendously fruitful. For example, they provide us with natural formalizations for English plural definite descriptions and generalized quantifiers. They also allow us to state important set theoretic propositions, and give a formal semantics for second-order languages. Such a formal semantics is developed in the second paper, 'Toward a Theory of Second-Order Consequence', which is a collaboration with Gabriel Uzquiano. ;In the third paper, 'Frege's Unofficial Arithmetic', I consider an application of plural predicates to the philosophy of mathematics. By developing a suggestion of the later Frege, I show that any arithmetical predicate can be transformed into a plural predicate in such a way that the arithmetical predicate is true of the number of the Fs just in case the plural predicate is true of the Fs themselves. ;The transformation is important both because it can be put to use by nominalists about arithmetic and neo-Fregeans, and because it provides the foundations for an account of applied arithmetic. (shrink)

Neural correlates exist for a basic component of logical formulae, PREDICATE(x). Vision and audition research in primates and humans shows two independent neural pathways; one locates objects in body-centered space, the other attributes properties, such as colour, to objects. In vision these are the dorsal and ventral pathways. In audition, similarly separable “where” and “what” pathways exist. PREDICATE(x) is a schematic representation of the brain's integration of the two processes of delivery by the senses of the location of an arbitrary (...) referent object, mapped in parietal cortex, and analysis of the properties of the referent by perceptual subsystems. The brain computes actions using a few “deictic” variables pointing to objects. Parallels exist between such nonlinguistic variables and linguistic deictic devices. Indexicality and reference have linguistic and nonlinguistic (e.g., visual) versions, sharing the concept of attention. The individual variables of logical formulae are interpreted as corresponding to these mental variables. In computing action, the deictic variables are linked with “semantic” information about the objects, corresponding to logical predicates. Mental scene descriptions are necessary for practical tasks of primates, and preexist language phylogenetically. The type of scene descriptions used by nonhuman primates would be reused for more complex cognitive, ultimately linguistic, purposes. The provision by the brain's sensory/perceptual systems of about four variables for temporary assignment to objects, and the separate processes of perceptual categorization of the objects so identified, constitute a pre-adaptive platform on which an early system for the linguistic description of scenes developed. Key Words: argument; attention; deictic; dorsal; logic; neural; object; predicate; reference; ventral. (shrink)

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

Available from UMI in association with The British Library. ;A form of metaphysical inquiry is in this thesis both illustrated in detail and defended against the charge of issuing in statements which lack cognitive content. 'Categorial description' concerns the fundamental features of our conceptual scheme: the categories described are those of substance, accident, cause, space and time. ;Following Aristotle's distinction between primary and secondary substances, these two notions are addressed as equivalent to those individual or particular things and their kinds. (...) A particular thing is characterised as not being capable of occuring in the predicate position in a proposition; and as having criteria or principles of individuation and reidentification. Accidents or properties can appear in the predicate position and do not have criteria of identity. ;Secondary substances, or natural kinds, being a species of property, also fail to have criteria for individuation and reidentification. It follows that the recently revived Aristotelian essentialism, as exhibited in particular in the work of Kripke, fails to correctly characterise the category of natural kinds: in that theory, natural kinds have essential properties which enable individuation and reidentification across possible worlds. ;Efficient causation is described, against the background of the Locke-Hume dispute, as involving the concept of necessary connection between cause and effect. Rejecting the theory of Harre and Madden on causal powers, an approach by Mackie is defended whereby this connection is a reflection of our counterfactual thinking. The possible worlds essentialist approach of Lewis to counterfactuals is rejected too, as inadequate. ;Space and time, spatial and temporal relations, and places and moments in time are approached in terms of the other categories of particular and property. The obscurity of fit between these categories is identified as responsible for many philosophical puzzles concerning space and time: for example, McTaggart's 'proof' of the unreality of time; and the recent debate on the possibility of multiple times and multiple spaces. ;In the final chapter, the logical commitments of categorial description concerning conceptual relativism and the nature of reality in itself are explored. It is argued that, since categories are in large part responsible for the kinds of acts there are, a description of our categories is a description of reality itself. Since our categories do not involve the machinery of possible worlds offered by contemporary essentialist theories, those theories fail to describe reality. (shrink)

One of the most important insights that Russell had in presenting his philosophy of language was his view of singular definite descriptions. Russell held that singular phrases of the form ‘the so-and-so’ should not be viewed as names, but rather incomplete symbols which can be said to have meaning only in a context. We should not represent the sentence The inventor of bifocals is bald.as a simple subject-predicate sentence of the form ‘Fa.’ but rather as a complex existential sentence. (...) According to Russell we should analyze as There is a unique x such that x invented bifocals and x is bald.Moreover, if Russell's analysis is correct then the proposition expressed by will be true in a given circumstance provided that there is a unique inventor of bifocals who is bald in that circumstance. (shrink)

_ Source: _Page Count 18 Bart Streumer argues that all normative properties are descriptive properties. His first argument is based on the principle that necessarily coextensive predicates ascribe the same property, and the claim that there is a descriptive predicate that is necessarily coextensive with normative predicates. From this Streumer concludes that normative properties are identical with descriptive properties. I argue that, even if we accept, this conclusion does not follow. Normative properties could only be descriptive properties if there is (...) some descriptive way in which all instances of normative properties are similar. But Streumer does not show that, and the prospects for doing so are, I believe, not good. His second argument rests on the premise that the nature of normative properties cannot depend on which first order normative theory is true. I argue that this premise is false, and that the argument for it does not sit comfortably with. (shrink)

In [Ono 1987] H. Ono put the question about axiomatizing the intermediate predicate logicLFin characterized by the class of all finite Kripke frames. It was established in [ Skvortsov 1988] thatLFin is not recursively axiomatizable. One can easily show that for any finite posetM, the predicate logic characterized byM is recursively axiomatizable, and its axiomatization can be constructed effectively fromM. Namely, the set of formulas belonging to this logic is recursively enumerable, since it is embeddable in the two-sorted classical predicate (...) calculusCPC 2. Thus the logicLFin is II 2 0 -arithmetical.Here we give a more explicit II 2 0 -description ofLFin: it is presented as the intersection of a denumerable sequence of finitely axiomatizable Kripke-complete logics. Namely, we give an axiomatization of the logicLB n P m + characterized by the class of all posets of the finite height m and the finite branching n. A finite axiomatization of the predicate logicLP m + characterized by the class of all posets of the height m is known from [Yokota 1989]. We prove thatLB n P m + =,B n being the propositional axiom of the branching n. (shrink)

After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor Ⅎ $\overset \rightarrow \to{y}(x)$ , so as to form partial functions φ = Ⅎ $y(\overset \rightarrow \to{x}).A(\overset \rightarrow \to{x},y)$ which satisfy $\forall \overset \rightarrow \to{x}z(z=\phi \overset \rightarrow \to{x}\leftrightarrow \forall y(A(\overset \rightarrow \to{x},y)\leftrightarrow y=z))$ . We use (intuitionistic, classical or intermediate) logic with existence predicate, as introduced by D. S. Scott, to handle partial functions, and prove that (...) adding function descriptors to a theory based on such a logic is conservative. For theories with quantification over functions, the situation is different: there the addition of Ⅎ yields new theorems in the Ⅎ-free fragment, but an axiomatisation is easily given. The proofs are syntactical. (shrink)

We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calculus working on sat-formulas. A particular theory of DD exploited here is essentially based on the approach of Russell, but with descriptions treated as genuine terms. However, the reductionist aspect of the Russellian approach is retained in several ways. Moreover, a special form of tense definite descriptions is formally developed. (...) A constructive proof of the interpolation theorem for this calculus is given, which is an extension of the result provided by Blackburn and Marx. (shrink)

Strawson's descriptive metaphysics was the first explicit and elaborate rehabilitation of metaphysics within the analytic tradition. This chapter discusses Strawson's contributions to metaphysics with a particular view to his conception of the nature of metaphysics-cum-ontology. This chapter first dwells on the background of Strawson's metaphysics. Next it introduces Strawson's idea of descriptive metaphysics and of connective analysis. Sections 3–8 discuss Strawson's main claims: self-conscious experience presupposes a distinction between experience and its mind-independent objects, objective particulars must be situated in a (...) spatio-temporal framework, material bodies are ontologically prior because they sustain this framework, experience and discourse revolve around a fundamental distinction between reference and predication, both particulars and universals are among our objects of reference. This chapter tries to reconstruct the main lines of argument by combining ideas from Individuals and Bounds of Sense. Sections 9–11 defend Strawson's modest conception of metaphysics as a second-order description of our conceptual scheme. (shrink)

_ Source: _Page Count 18 Bart Streumer argues that all normative properties are descriptive properties. His first argument is based on the principle that necessarily coextensive predicates ascribe the same property, and the claim that there is a descriptive predicate that is necessarily coextensive with normative predicates. From this Streumer concludes that normative properties are identical with descriptive properties. I argue that, even if we accept, this conclusion does not follow. Normative properties could only be descriptive properties if there is (...) some descriptive way in which all instances of normative properties are similar. But Streumer does not show that, and the prospects for doing so are, I believe, not good. His second argument rests on the premise that the nature of normative properties cannot depend on which first order normative theory is true. I argue that this premise is false, and that the argument for it does not sit comfortably with. (shrink)

This paper has a very limited scope: it just presents some eIements which may introduce us into a wider investigation on vague predicates. Thus, webegin by pointing out our general conception of Iogic (as a descriptive science of linguistic phenomena). After that, we build up our approach by considering characteristic functions and by trying to make useful the model of logical extension which applies to classical quantifiers.

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical worlds (...) described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)