We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.

Name der Zeitschrift: Kierkegaard Studies Yearbook Jahrgang: 23 Heft: 1 Seiten: 329-355.

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

This essay offers a detailed philosophical criticism of Frege’s popular thesis that identity is a relation of names. I consider Frege’s position as articulated both in ‘On Sense and Reference’, and in the Grundgesetze, where he appears to take an objectual view of identity, arguing that in both cases Frege is clearly committed to the proposition that identity is a relation holding between names, on the grounds that two different things can never be identical. A counterexample to Frege’s thesis is (...) considered, and a positive thesis is developed according to which, in contradistinction to the Fregean position, identity is a reflexive, symmetric, and transitive relation holding only between a thing and itself which can be expressed as a relation between names. (shrink)

: Fodor was passionately unwilling to compromise. Of his several commitments, I focus here on informational atomism. Fodor staunchly rejected semantic holism for two conspiring reasons. He took it to threaten his commitment to the nomic character of psychological explanation. He also took it to pave the way towards relativism, which he found deeply offensive. In this paper, I reconstruct the strands of Fodor’s commitment to the computational version of the representational theory of mind that led him to informational atomism. (...) I take issue with three features of informational atomism. First, I argue that it deprives content from its expected causal role in psychological explanation. Secondly, I take issue with Fodor’s claim that only informational atomism can meet the requirements of the principle of compositionality. Finally, I argue that informational atomism yields a bloated or unwieldy category of nomic properties. Keywords: Informational Atomism; Representational Theory of Mind; Psychological Explanation; Principle of Compositionality; Jerry A. Fodor Fare i conti con l’atomismo informazionale: uno dei lasciti di Jerry Fodor Riassunto : Fodor è stato fortemente maldisposto al compromesso. Tra le molte cose di cui si è occupato, intendo qui concentrarmi sull’atomismo informazionale. Fodor ha coerentemente rifiutato l’olismo semantico per due ragioni convergenti. Lo vedeva come minaccia per il suo impegno verso il carattere nomico della spiegazione psicologica e come porta aperta verso il relativismo, cosa che considerava profondamente minacciosa. In questo lavoro, intendo riprendere le fila dell’impegno di Fodor verso la versione computazionale della teoria rappresentazionale della mente che lo ha portato all’atomismo informazionale, chiarendo tuttavia che non sono d’accordo con tre aspetti dell’atomismo informazionale. In primo luogo, mostrerò come questo sottragga al contenuto il suo ruolo causale nella spiegazione psicologica. In secondo luogo, non sono d’accordo con l’affermazione di Fodor per cui solo l’atomismo informazionale possa soddisfare i requisiti del principio di composizionalità. Illustrerò infine come l’atomismo informazionale ceda il passo a un insieme di proprietà nomiche ampio o difficile da gestire. Parole chiave: Atomismo informazionale; Teoria rappresentazionale della mente; Spiegazione psicologica; Principio di composizionalità; Jerry A. Fodor. (shrink)

A new type of formalization of classical first-order logic with equality is introduced on the basis of the sequent calculus. It serves to justify the claim that equality is a logical constant characterised by well-behaved rules satisfying properties usually regarded as essential. The main feature of this approach is the application of sequents built not only from formulae but also from terms. Two variants of sequent calculus are examined, a structural and a logical one. The former is defined in accordance (...) with Dos̆en’s criteria for logical constants. The latter is a standard Gentzen’s sequent calculus and satisfies Hacking’s criteria for logicality, including cut elimination. It is also shown that provided rules are harmonious in the sense advocated by Gratzl and Orlandelli. (shrink)

This paper should be read against the backdrop of three lines of linguistic investigation: the investigation of the Perfect construction, which has received considerable attention, going back to Reichenbach ; the working hypothesis that certain verbal constructions can be described in terms of the semantics of determiners on nominal expressions, with which we are more familiar; the common observation that we talk about time the way we talk about space. The focus of the paper is a particular construction in Greek. (...) As always, however, the search for the solution of a particular question reveals many other questions in the process and this paper should be seen as being also about a number of related puzzles in English and other languages. (shrink)

Commentators regularly attribute to Frege realist, idealist, and quietist responses to metaphysical questions concerning the abstract objects he calls ‘thoughts’. But despite decades of effort, the evidence offered on behalf of these attributions remains unconvincing. I argue that Frege deliberately avoids commitment to any of these positions, as part of a metaphysical separatist policy motivated by the fact that logic is epistemologically autonomous from metaphysics. Frege’s views and arguments prove relevant to current attempts to argue for epistemological autonomy, particularly that (...) of ethics. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

Definite articles and demonstratives share many features in common including a related etymology and a number of parallel communicative functions. The following paper is concerned with developing a novel proposal on how to distinguish the two types of expression. First, crosslinguistic evidence is presented to argue that demonstratives contain locational markers that are employed in deictic uses to force contrastive focus and accentuate an intended referent against a contextual background. Conversely, definite articles lack such markers. Demonstratives are thus more likely (...) to force referential interpretations, whereas definite descriptions are more open to attributive ones. Second, an analysis of determiner phrases is provided to illustrate that certain syntactic projections capture deictic differences between the two expressions. Semantic correlates of the proposal are then considered before it is situated with respect to contemporary work distinguishing the two categories on the basis of a non‐redundancy condition (that the overt noun phrase complement of a demonstrative may not denote a singleton set), which I suggest is derivative on the presence of contrastive deictic markers in demonstratives. (shrink)

Frege held that the result of applying a predicate to names lacks reference if any of the names lack reference. We defend the principle against a number of plausible objections. We put forth an account of consequence for a first-order language with identity in which the principle holds.

“I”‐thought is often taken to have a special cognitive significance, with “I” symbolising a subjective way of thinking about oneself that is inapt for communication. In this paper I argue that the way one thinks of oneself in “I”‐thought is immaterial to the meaning of “I,” for in general the psychological role associated with a referential expression is separable from its meaning. With respect to “I,” I suggest that its meaning consists in an interpersonal way of fixing its reference in (...) a context, which is accessible to the speaker and the hearer. Consequently, “I” would have a dual cognitive significance. (shrink)

Michael Dummett has shown that the fragment ‘17 Kernsätze zur Logik’ is evidence that Frege knew Lotze's Logik Dummett’s dating of this fragment prior to 1879, however, must be rejected.The present paper shows that there are other articles of Frege’s which bear clear traces of Lotze's LogikFirst of all, the expressions Vorstellungsverlauf from ‘Über die wissenschaftliche Berechtigung einer Begriffsschrift’, and veranlassenden Ursachen, from ‘Logik’, certainly are borrowed from Lotze.Second, there are links between ‘Booles rechnende Logik und die Begriffsschrift’ and Lotze's (...) Logik. Furthermore, it is shown that Frege’s ‘Kernsätze’, the ‘Dialog mit Pünjer über Existenz’, and his ‘Logik’ are intimately connected.All of this indicates that these texts were written in roughly the same period, namely the early 1880s.Conclusive evidence for this is that the terms Vorstellung and Vorstellungsverbindung are used indiscriminately in both a psychological and a logical sense in the ‘Begriffsschrift’, a fact which contradicts the ‘Kernsätze’. (shrink)

This paper outlines a framework for the abstract investigation of the concept of canonicity of names and of naming systems. Degrees of canonicity of names and of naming systems are distinguished. The structure of the degrees is investigated, and a notion of relative canonicity is defined. The notions of canonicity are formally expressed within a Carnapian system of second-order modal logic.

The relationship between Legal Realism and Legal Positivism has been a recurrent source of debate. The question has been further complicated by the related difficulty of assessing the internal relationship between the two main original strands of Legal Realism: American and Scandinavian. This paper suggests considering American and Scandinavian Realism as instantiations of forward-looking and backward-looking rule skepticism respectively. This distinction brings into sharp relief not only the fundamentally different relationship between each of these two Realist schools and Legal Positivism (...) but also their equally different potentials as starting points for naturalizing jurisprudence. (shrink)

The relationship between Legal Realism and Legal Positivism has been a recurrent source of debate. The question has been further complicated by the related difficulty of assessing the internal relationship between the two main original strands of Legal Realism: American and Scandinavian. This paper suggests considering American and Scandinavian Realism as instantiations of forward-looking and backward-looking rule skepticism respectively. This distinction brings into sharp relief not only the fundamentally different relationship between each of these two Realist schools and Legal Positivism (...) but also their equally different potentials as starting points for naturalizing jurisprudence. (shrink)

Nowhere does the theory-laden character of Husserl’s phenomenological intuitions become as apparent as in his reflections on cultural philosophy. It is his theory that the qualification of one‘s own tradition as one of many manifestations of something valid in itself and binding for all is a unique achievement of Greek-European philosophy. However, that conviction can be found equally in South Asian “doctrines of Oneness” as well as in East Asian instances of the “Golden Rule”. Every person with a command of (...) a natural language is capable of such an insight.The most appropriate model for individual civilizations is not the sphere metaphor, which draws on a Platonic idea of organism, the model that Husserl adopted for his conception of “home” and “foreign worlds”, but rather the image of tinkering introduced by Claude Lévi-Strauss for illiterate societies and used by François Jacob to illustrate the present biological concept of organism.Regarding cultural universals, Husserl also relies on classical ontological reflections rather than on recent biological models. The most inter-esting anthropological universals from the point of view of cultural philosophy are, however, not essential, but contingent universals.En ninguna parte el carácter cargado de teoría de las intuiciones fenomenológicas de Husserl se vuelve tan aparente como en sus reflexiones sobre la filosofía cultural. Según su teoría, la calificación de la propia tradición como una de las muchas manifestaciones de algo válido en sí mismo y vinculante para todos es un logro único de la filosofía greco-europea. Sin embargo, esa convicción se puede encontrar igualmente en las "doctrinas de la unidad" del sur de Asia, así como en las instancias del este asiático de la "regla de oro". Cada persona con un dominio de un lenguaje natural es capaz de tal idea.El modelo más apropiado para las civilizaciones individuales no es la metáfora de la esfera, que se basa en una idea platónica del organismo —el modelo que adoptó Husserl para su concepción de "hogar" y "mundos extranjeros"— sino la imagen de retoque introducida por Claude Lévi Strauss para las sociedades analfabetas y utilizado por François Jacob para ilustrar el concepto biológico actual del organismo.Con respecto a los universales culturales, Husserl también se basa en reflexiones ontoló-gicas clásicas más que en modelos biológicos recientes. Sin embargo, los universales antropológicos más interesantes desde el punto de vista de la filosofía cultural no son esenciales, sino universales contingentes. (shrink)

Conversational exculpature is a pragmatic process whereby information is subtracted from, rather than added to, what the speaker literally says. This pragmatic content subtraction explains why we can say “Rob is six feet tall” without implying that Rob is between 5'0.99" and 6'0.01" tall, and why we can say “Ellen has a hat like the one Sherlock Holmes always wears” without implying Holmes exists or has a hat. This article presents a simple formalism for understanding this pragmatic mechanism, specifying how, (...) in context, the result of such subtractions is determined. And it shows how the resulting theory of conversational exculpature accounts for a varied range of linguistic phenomena. A distinctive feature of the approach is the crucial role played by the question under discussion in determining the result of a given exculpature. (shrink)

We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.

The paper analyses what is said and what is presupposed by thePrinciple of Compositionality for semantics, as it is commonly stated. ThePrinciple of Compositionality is an axiom which some semantics satisfy andsome don’t. It says essentially that if two expressions have the same meaning then they make the same contribution to the meanings of expressionscontaining them. This is a sensible axiom only if one combines it with aconverse, that if two expressions make the same contribution to the meanings of sentences (...) containing them, then they have the same meaning;and some assumption that two expressions which can’t meaningfully besubstituted for each other have different meanings. as a full abstraction principle, and as ‘Husserl’s principle’.) Moreoverthe Principle of Compositionality speaks only about when two expressionshave the same meaning; it adds nothing whatever about what that meaningmight be . Some recent discussions by writers in linguistics and logic are assessed. The paper finishes by reviewing thehistory of the notion of compositionality. (shrink)

The symbolic paraphrase of 'because' sentences suggested by Frege, which is still widely accepted, will be gradually developed into a more adequate, though much more complicated, form. Out of the different types of such sentences, the 'for the only reason that' type will be given especial consideration. Furthermore, it will be expounded that contrary-to-fact conditionals may function either as 'for the only reason that' explanations, or as 'for at least the reason that' explanations, or as arguments, the difference being dependent (...) partly on certain temporal characteristics of their constituents and partly on the pragmatic features of the speech act situation. Consequently, counterfactuals have no definite logical structure, which is a reason, hitherto unnoticed, why they cannot be used in defining dispositional predicates. It will be shown, however, that 'for the only reason that' explanations can serve this purpose quite properly. (shrink)

When someone masters a skill, their performance looks to us like second nature: it looks as if their actions are smoothly performed without explicit, knowledge-driven, online monitoring of their performance. Contemporary computational models in motor control theory, however, are instructionist: that is, they cast skillful performance as a knowledge-driven process. Optimal motor control theory, as representative par excellence of such approaches, casts skillful performance as an instruction, instantiated in the brain, that needs to be executed—a motor command. This paper aims (...) to show the limitations of such instructionist approaches to skillful performance. We specifically address the question of whether the assumption of control-theoretic models is warranted. The first section of this paper examines the instructionist assumption, according to which skillful performance consists of the execution of theoretical instructions harnessed in motor representations. The second and third sections characterize the implementation of motor representations as motor commands, with a special focus on formulations from OMCT. The final sections of this paper examine predictive coding and active inference—behavioral modeling frameworks that descend, but are distinct, from OMCT—and argue that the instructionist, control-theoretic assumptions are ill-motivated in light of new developments in active inference. (shrink)

In his semiotic system Peirce distinguished between two interpretants and two objects of a sign: an immediate and a dynamical interpretant, and an immediate and a dynamical object. It is argued that Peirce’s immediate object can be interpreted a qua-object which has the dynamical object as its basis, and the dynamical interpretant consists of an interpreter’s conception of the object of the sign. Peirce semiotic system is compared with the accounts given by Frege, Husserl, Meinong, and the Stoics.

In his Logical Investigations Edmund Husserl criticizes John Stuart Mill’s account of meaning as connotation, especially Mill’s failure to separate the distinction between connotative and non-connotative names from the distinction between the meaningful and the meaningless. According to Husserl, both connotative and non-connotative names have meaning or “signification”, that is, what Gottlob Frege calls the sense (“Sinn”) of an expression. The distinction between connotative and non-connotative names is a distinction between two kinds of meaning (or sense), attributive and non-attributive meaning (...) (“attributive und nicht-attributive Bedeutung”). Attributive (connotative) names denote (refer to) objects through their attributes, whereas a non-attributive name means a thing directly (“direkt”). In this paper I examine the concepts of attributive and non-attributive meaning by means of the semiotic theory of Charles S. Peirce, and compare Peirce’s account with the views of Frege, Husserl, Alexius Meinong, and David Kaplan and Gareth Evans. (shrink)

While research on object individuation assumes that even very young children are able to perceive objects as particulars, we argue that the results of relevant studies can be explained in terms of feature discrimination. We propose that children start out navigating the world with a feature‐based ontology and only later become able to individuate objects spatiotemporally. Furthermore, object individuation is a cognitively demanding achievement resting on a uniquely human form of enculturation, namely the acquisition of deictic demonstratives. We conclude by (...) outlining empirical expectations for operationalizations of our proposal. (shrink)

Presupposition is the semantic-pragmatic phenomenon whereby a statement contains an implicit precondition that must be taken for granted for that statement to be felicitous. This article discusses the role of presupposition in legislative texts, using examples from Swiss constitutional and administrative law. It illustrates how presuppositions are triggered in these texts and what functions they come to serve, placing special emphasis on their constitutive power. It also demonstrates how legislative drafters can distinguish between “good” presuppositions and “bad” presuppositions by weighing (...) their main advantage, conciseness, against their main flaw, reduced transparency. The present study argues that, if employed carefully, presuppositions can be a useful stylistic means to keep legislative texts free from unnecessary clutter that merely elaborates on the obvious; however, it also suggests that, if applied wrongly, presuppositions can camouflage the duties and obligations placed on the subjects of a law and thus impede its accessibility and its efficient and effective implementation. (shrink)

The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach self-predication in a uniform (...) way. We were unable to find a medieval philosopher who, like Frege, approaches self-predication in a non-uniform way. We do not want to dispute that there are also considerable differences between the contemporary and the fourteenth-century approach to self-predication. Importantly, fourteenth-century accounts of self-predication rely strongly on the identity theory of predication, and this theory is not endorsed by contemporary philosophers of language. Nevertheless, some basic tenets seem to us to be clearly shared between fourteenth-century and contemporary thinkers. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

Healey et al. introduce the special issue with a brief overview of work on communication in the Cognitive Sciences and some of the historical and conceptual influences that have marginalized the study of miscommunication. Drawing on more recent work in Cognitive Science and Conversation Analysis they argue that miscommunication is in fact a highly structured, ubiquitous phenomenon that is fundamental to human interaction.

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can be true (...) even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

There is a line of thought, neglected in recent philosophy, according to which a priori knowable truths such as those of logic and mathematics have their special epistemic status in virtue of a certain tight connection between their meaning and their truth. Historical associations notwithstanding, this view does not mandate any kind of problematic deflationism about meaning, modality or essence. On the contrary, we should be upfront about it being a highly debatable metaphysical idea, while nonetheless insisting that it be (...) given due consideration. From this standpoint, I suggest that the Finean distinction between essence and modality allows us to refine the view. While liberal about meaning, modality and essence, the view is not without bite: it is reasonable to suppose that it is able to ward off philosophical confusions stemming from the undue assimilation of a priori to empirical knowledge. (shrink)

We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge representation with the (...) Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)

The content of emotion sometimes seems to be conflated with its object, but we can distinguish between content and object on the model of Fregean sense versus reference. Fear, for instance, refers to something the subject of fear is afraid of and represents that object of fear as dangerous, so that the emotion can be said to have evaluative content. Here I attempt to clarify and defend my view of emotional discomfort or other affect as what does the evaluating. Some (...) current accounts of the unpleasantness of physical pain take a similar view, but in application to emotion they call for an explanation of how emotional affect can simultaneously evaluate both the affective symptoms of emotion and the emotion's object. I suggest an explanation and indicate how it supports the link between emotional valence and motivational force. (shrink)

The purpose of this paper is to reconstruct Frege’s argument against the relativity of truth contained in his posthumous writing Logic from 1897. Two points are made. The first is that the argument is a performative version of the common objection that truth relativism is incoherent: it is designed to show that the assertion of the relativity of truth involves a performative incoherence, because the absoluteness of truth is a success condition for making assertions. From a modern point of view, (...) the central premise of the argument, that the successful making of assertions depends on the absoluteness of truth, is highly doubtful. The second point is that this premise can be made plausible within the framework of Frege’s conception of truth and assertion: it can be derived from his thesis that, in order to put something forward as true, we do not need the word ‘true’, but only the assertoric force. (shrink)

In a posthumous text written in 1915, Frege makes some puzzling remarks about the essence of logic, arguing that the essence of logic is indicated, properly speaking, not by the word ‘true’, but by the assertoric force. William Taschek has recently shown that these remarks, which have received only little attention, are very important for understanding Frege's conception of logic. On Taschek's reconstruction, Frege characterizes logic in terms of assertoric force in order to stress the normative role that the logical (...) laws play vis-à-vis judgement, assertion and inference. My aim in this paper is to develop and defend an alternative reconstruction according to which Frege stresses that logic is not only concerned with ‘how thoughts follow from other thoughts’, but also with the ‘step from thought to truth-value’. Frege considers logic as a branch of the theory of justification. To justify a conclusion by means of a logical inference, the ‘step from thought to truth-value’ must be taken, that is, the premis.. (shrink)

This paper pursues two goals. The first is to show that Horwich's anti-primitivist version of minimalism must be rejected because, already for formal reasons, the truth-schema does not achieve a positive explication of any property of propositions. The second goal is to develop a more moderate primitivist version of minimalism according to which the truth-schema is admittedly powerless to underpin truth with something more basic but it still succeeds in giving a complete account of the necessary and sufficient conditions for (...) a proposition to be true. (shrink)

This paper presents an extensional account of manyand few that explains data that have previously motivated intensional analyses of these quantifiers :599–620, 2000). The key insight is that their semantic arguments are themselves set intersections: the restrictor is the intersection of the predicates denoted by the N’ or the V’ and the restricted universe, U, and the scope is the intersection of the N’ and V’. Following Cohen, I assume that the universe consists of the union of alternatives to the (...) nominal and verbal predicates, where an alternative to a property ψ is one that shares a pragmatic presupposition with ψ, and a pragmatic presupposition is one that is selected by context from a set of potential presuppositions associated with the sentence. A many/few-quantified sentence is then true iff the proportion of the scope to the restrictor is greater/less than some threshold, n. In addition to explaining various problematic cases from the literature, the analysis shows how the readings of a many/few-quantified sentence can be derived from the same syntactico-semantic structure, it being unnecessary to claim lexical or structural ambiguity. The analysis also provides strong support for the idea that natural language quantification is always purely extensional. (shrink)

Greimann-Dirk_A-typology-of-conceptual-explications.