The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. Wundt (...) posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

Deep learning and other similar machine learning techniques have a huge advantage over other AI methods: they do function when applied to real-world data, ideally from scratch, without human intervention. However, they have several shortcomings that mere quantitative progress is unlikely to overcome. The paper analyses these shortcomings as resulting from the type of compression achieved by these techniques, which is limited to statistical compression. Two directions for qualitative improvement, inspired by comparison with cognitive processes, are proposed here, in the (...) form of two mechanisms: complexity drop and contrast. These mechanisms are supposed to operate dynamically and not through pre-processing as in neural networks. Their introduction may bring the functioning of AI away from mere reflex and closer to reflection. (shrink)

In the last two decades, Davidson’s event-argument hypothesis has become very popular in natural language semantics. This article questions that event-based analyses actually add something to our understanding of the respective phenomena: I argue that they already find their explanation in independently motivated grammatical assumptions and principles which apply to all kinds of modification. Apart from a short discussion of Davidson’s original arguments in favour of his hypothesis, I address Larson’s event-based account of the distinctions between stage-level vs. individual-level modification (...) and adverbial vs. adjectival modification in the nominal domain. I argue that his analysis of the former reduces straightforwardly to the grammatical structure of the nominal phase. As for the latter, I provide reasons which motivate a re-description of the phenomenon in terms of sensitivity to descriptive content rather than events. I argue that, so described, the phenomenon can be explained in terms of interface conditions, given a phasal architecture of grammar. (shrink)

If the semantic values of predicates are, as Williamson assumes (_Philsophical Perspectives,_ _13_, 505–517, 1999, 509) properties in the intensional sense, then epistemicism is immediate. Epistemicism fails, so also this properties account of predicates. I deploy examination of Williamson’s account as a foil against properties as semantic values, showing that his two positive arguments for bivalence fail, as do his efforts to rescue epistemicism from obvious problems. In Part II I argue that, despite the properties account’s problems, it has an (...) important role to play in compositional semantics. We may separate the problem of how smallest parts of language get attached to the world from the problem of how those parts compose to form complex semantic values. For the latter problem we idealize and treat the smallest semantic values as properties (and referents). So doing functions to put to one side how the smallest parts get worldly attachment, a problem that would just get in the way of understanding composition. Attachment to the world must be studied separately, and I review some of the options. As a bonus we see why the requirement of higher order vagueness is an artifact of taking properties as semantic values literally instead of as a simplifying idealization. (shrink)

Paul Horwich has claimed that we can derive a certain form of the principle of compositionality from a deflationary account of what it is to understand a complex expression. If this were the case, we would realize a surprising theoretical economy, and if the derivation involved basic ideas from a use theory of meaning, we would have a novel argument for use theories of meaning. Horwich does not offer a detailed derivation. In this paper I reconstruct a possible derivation and (...) show that it begs the question. I then extend my discussion to explain why it is unlikely that alternative arguments can fare better. (shrink)

Paul Horwich has claimed that we can derive a certain form of the principle of compositionality from a deflationary account of what it is to understand a complex expression. If this were the case, we would realize a surprising theoretical economy, and if the derivation involved basic ideas from a use theory of meaning, we would have a novel argument for use theories of meaning. Horwich does not offer a detailed derivation. In this paper I reconstruct a possible derivation and (...) show that it begs the question. I then extend my discussion to explain why it is unlikely that alternative arguments can fare better. (shrink)

The quantifier “some” often elicits a scalar implicature during comprehension: “Some of today's letters have checks inside” is often interpreted to mean that not all of today's letters have checks inside. In previous work, Goodman and Stuhlmüller (G&S) proposed a model that predicts that this implicature should depend on the speaker's knowledgeability: If the speaker has only examined some of the available letters (e.g., two of three letters), people are less likely to infer that “some” implies “not all” than if (...) the speaker has examined all of the available letters. G&S also provided behavioral evidence in support of their model. In this paper, we first show that a simple extension of G&S's model (1) predicts G&S's knowledgeability effects, and in addition, (2) predicts that the knowledgeability effect will be reduced when the speaker's usage indicates numeral alternatives are available. We tested the new model's predictions in four preregistered experiments. All experiments supported the first model prediction, replicating G&S's finding of a main effect of the speaker's knowledge. Further, Experiments 2 and 4 supported the second model prediction showing that the words that a speaker tends to use affect the strength of scalar implicature that comprehenders make. In particular, when the speaker has partial knowledge (e.g., has only examined two of three letters), comprehenders think that “some” is more likely to mean “not all” when the speaker also tends to produce number words in similar sentences (e.g., “2 of today's rooms have working smoke detectors.”). These results have important ramifications for theories of meaning: the context beyond the sentence (e.g., the speaker's tendency to use particular words) affects the set of alternatives that comprehenders consider when inferring meaning. (shrink)

Next SectionIn recent years, the interpretation of scalar terms in embedded environments has been investigated extensively. Some experimentalists have been concerned with sentences like (1), in which a scalar term is embedded under a universal quantifier. The controversy involves the question whether ‘some’ in these sentences is interpreted as ‘some but not all’, thus leading to the embedded upper-bounded inference that no square is connected to all of the circles. (1) All the squares are connected with some of the circles.Geurts (...) & Pouscoulous (2009) conducted a verification task that seemed to prove that the inference is not licensed. In response, Clifton & Dube (2010) and Chemla & Spector (2011) gathered evidence suggesting the opposite conclusion. By experimentally investigating the typicality structure of complex quantified sentences like (1) above, I show how the results of the latter two experiments can be explained as typicality effects. Typicality plays a significant role in the comprehension of quantified sentences, thus complicating the interpretation of data from the kinds of experiments that have been employed to test between theories of upper-bounded inferences. (shrink)

From Fine and Kamp in the 70’s—through Osherson and Smith in the 80’s, Williamson, Kamp and Partee in the 90’s and Keefe in the 00’s—up to Sauerland in the present decade, the objection continues to be run that fuzzy logic based theories of vagueness are incompatible with ordinary usage of compound propositions in the presence of borderline cases. These arguments against fuzzy theories have been rebutted several times but evidently not put to rest. I attempt to do so in this (...) paper. (shrink)

Different formal tools are useful for different purposes. For example, when it comes to modelling degrees of belief, probability theory is a better tool than classical logic; when it comes to modelling the truth of mathematical claims, classical logic is a better tool than probability theory. In this paper I focus on a widely used formal tool and argue that it does not provide a good model of a phenomenon of which many think it does provide a good model: I (...) shall argue that while supervaluationism may provide a model of probability of truth, or of assertability, it cannot provide a good model of truth -- supertruth cannot be truth. The core of the argument is that an adequate model of truth must render certain connectives truth-functional (at least in certain circumstances) -- and supervaluationism does not do so (in those circumstances). (shrink)

A standard objection to Cappelen and Lepore’s Semantic Minimalism is that minimal propositions are explanatorily idle. But Schoubye and Stokke recently proposed that minimal proposition and the question under discussion of a conversation jointly determine what is said in a systematic and explanatory way. This note argues that their account both overgenerates and undergenerates.

A number of recent accounts for vague terms postulate a kind of context-sensitivity, one that kicks in after the usual ‘external’ contextual factors like comparison class are established and held fixed. In a recent paper, ‘Vagueness without Context Change’: 275–92), Rosanna Keefe criticizes all such accounts. The arguments are variations on considerations that have been brought against context-sensitive accounts of knowledge, predicates of personal taste, epistemic modals, and the like. The issues are well known and there are variety of options (...) available in reply. More important, the arguments rely on an overly narrow conception of context-sensitivity, suggesting that one size fits all. If Keefe’s arguments were cogent, they would tell against the context-sensitivity of just about any expression, beyond the typical indexicals, including the variation of vague terms with comparison class. However, the criticisms raised by Keefe do highlight certain questions that must be answered by an advo... (shrink)

Stewart Shapiro's aim in Vagueness in Context is to develop both a philosophical and a formal, model-theoretic account of the meaning, function, and logic of vague terms in an idealized version of a natural language like English. It is a commonplace that the extensions of vague terms vary with such contextual factors as the comparison class and paradigm cases. A person can be tall with respect to male accountants and not tall with respect to professional basketball players. The main feature (...) of Shapiro's account is that the extensions of vague terms also vary in the course of a conversation, even after the external contextual features, such as the comparison class, are fixed. A central thesis is that in some cases, a competent speaker of the language can go either way in the borderline area of a vague predicate without sinning against the meaning of the words and the non-linguistic facts. Shapiro calls this open texture, borrowing the term from Friedrich Waismann.The formal model theory has a similar structure to the supervaluationist approach, employing the notion of a sharpening of a base interpretation. In line with the philosophical account, however, the notion of super-truth does not play a central role in the development of validity. The ultimate goal of the technical aspects of the work is to delimit a plausible notion of logical consequence, and to explore what happens with the sorites paradox.Later chapters deal with what passes for higher-order vagueness - vagueness in the notions of 'determinacy' and 'borderline' - and with vague singular terms, or objects. In each case, the philosophical picture is developed by extending and modifying the original account. This is followed with modifications to the model theory and the central meta-theorems.As Shapiro sees it, vagueness is a linguistic phenomenon, due to the kinds of languages that humans speak. But vagueness is also due to the world we find ourselves in, as we try to communicate features of it to each other. Vagueness is also due to the kinds of beings we are. There is no need to blame the phenomenon on any one of those aspects. (shrink)

This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et al. In Foundations of measurement: Additive and Polynomial Representations, 1971). Based on measurement theory’s four-way typology of measures, I claim that different adjectives are associated with different types of measures whose special characteristics, together with features of the relations denoted by unit names, explain the puzzling limited distribution of measure phrases, as well (...) as unit-based comparisons between predicates (as in the table is longer than it is wide). All considered, my analyses support the view that the grammar of natural languages is sensitive to features of measurement theory. (shrink)

We argue that a comprehensive theory of reciprocals must rely on a general taxonomy of restrictions on the interpretation of relational expressions. Developing such a taxonomy, we propose a new principle for interpreting reciprocals that relies on the interpretation of the relation in their scope. This principle, the Maximal Interpretation Hypothesis (MIH), analyzes reciprocals as partial polyadic quantifiers. According to the MIH, the partial quantifier denoted by a reciprocal requires the relational expression REL in its scope to denote a maximal (...) relation in REL’s interpretation domain. In this way the MIH avoids a priori assumptions on the available readings of reciprocal expressions, which are necessary in previous accounts. Relying extensively on the work of Dalrymple et al. (Ling Philos 21:159–210, 1998), we show that the MIH also exhibits some observational improvements over Dalrymple et al.’s Strongest Meaning Hypothesis (SMH). In addition to deriving some attested reciprocal interpretations that are not expected by the SMH, the MIH offers a more restrictive account of the way context affects the interpretation of reciprocals through its influence on relational domains. Further, the MIH generates a reciprocal interpretation at the predicate level, which is argued to be advantageous to Dalrymple et al.’s propositional selection of reciprocal meanings. More generally, we argue that by focusing on restrictions on relational domains, the MIH opens the way for a more systematic study of the ways in which lexical meaning, world knowledge and contextual information interact with the interpretation of quantificational expressions. (shrink)

Understanding novel phrases (e.g. upside‐down daisy) and classifying objects in categories named by phrases ought to have common properties, but you'd never know it from current theories. The best candidate for both jobs is the Theory Theory, but it faces difficulties when theories are impoverished. A potential solution is a dual approach that couples theories (representations‐about categories) with fixed mentalese expressions (representations‐of categories). Both representations combine information in parallel when understanding phrases. Although there are objections to the notion that theories (...) can combine, some of them lose their force when applied to a suitable dual model. (shrink)

According to Sider, a question is metaphysically substantive just in case it has a single most natural answer. Recently, Barnes and Mikkola have argued that, given this notion of substantivity, many of the central questions in the metaphysics of gender are nonsubstantive. Specifically, it is plausible that gender pluralism—the view that there are multiple, equally natural gender kinds—is true, but this view seems incompatible with the substantivity of gender. The goal of this paper is to argue that the notion of (...) substantivity can be understood in a way that accommodates gender pluralism. First, I claim that gender terms (at least as used in the ontology room) are referentially indeterminate, where referential indeterminacy holds in virtue of the way the world is. Second, I propose a degree-theoretic (or scalar) account of metaphysical substantivity; genders are substantial to the degree that they are determinate. I conclude that gender is relatively, although not absolutely, substantial. (shrink)

The purpose of this paper is to defend a conception of language that does not rely on linguistic meanings, and use it to address the Sorites and Liar paradoxes.

According to logical theories of meaning, a meaning of an expression can be formalized and encoded in truth conditions. Vagueness of the language and individual differences between people are a challenge to incorporate into the meaning representations. In this paper, we propose a new approach to study truth-conditional representations of vague concepts. For a case study, we selected two natural language quantifiers most and more than half. We conducted two online experiments, each with 90 native English speakers. In the first (...) experiment, we tested between-subjects variability in meaning representations. In the second experiment, we tested the stability of meaning representations over time by testing the same group of participants in two experimental sessions. In both experiments, participants performed the verification task. They verified a sentence with a quantifier (e.g., “Most of the gleerbs are feezda.”) based on the numerical information provided in the second sentence, (e.g., “60% of the gleerbs are feezda”). To investigate between-subject and within-subject differences in meaning representations, we proposed an extended version of the Diffusion Decision Model with two parameters capturing truth conditions and vagueness. We fit the model to responses and reaction times data. In the first experiment, we found substantial between-subject differences in representations of most as reflected by the variability in the truth conditions. Moreover, we found that the verification of most is proportion-dependent as reflected in the reaction time effect and model parameter. In the second experiment, we showed that quantifier representations are stable over time as reflected in stable model parameters across two experimental sessions. These findings challenge semantic theories that assume the truth-conditional equivalence of most and more than half and contribute to the representational theory of vague concepts. The current study presents a promising approach to study semantic representations, which can have a wide application in experimental linguistics. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

In this essay I will consider two theses that are associated with Frege,and will investigate the extent to which Frege really believed them.Much of what I have to say will come as no surprise to scholars of thehistorical Frege. But Frege is not only a historical figure; he alsooccupies a site on the philosophical landscape that has allowed hisdoctrines to seep into the subconscious water table. And scholars in a widevariety of different scholarly establishments then sip from thesedoctrines. I believe (...) that some Frege-interested philosophers at various ofthese establishments might find my conclusions surprising.Some of these philosophical establishments have arisen from an educationalmilieu in which Frege is associated with some specific doctrine at theexpense of not even being aware of other milieux where other specificdoctrines are given sole prominence. The two theses which I will discussillustrate this point. Each of them is called Frege''s Principle, but byphilosophers from different milieux. By calling them milieux I do not want to convey the idea that they are each located at some specificsocio-politico-geographico-temporal location. Rather, it is a matter oftheir each being located at different places on the intellectuallandscape. For this reason one might (and I sometimes will) call them(interpretative) traditions. (shrink)

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

This paper offers an analysis of metalinguistic comparatives such as more dumb than crazy in which they differ from ordinary comparatives in the scale on which they compare: ordinary comparatives use scales lexically determined by particular adjectives, but metalinguistic ones use a generally-available scale of imprecision or ‘pragmatic slack’. To implement this idea, I propose a novel compositional implementation of the Lasersohnian pragmatic-halos account of imprecision—one that represents clusters of similar meanings as Hamblin alternatives. In the theory that results, existential (...) closure over alternatives mediates between alternative-sets and meanings in which imprecision has been resolved. I then articulate a version of this theory in which the alternatives are not related meanings but rather related utterances, departing significantly from Lasersohn’s original conception. Although such a theory of imprecision is more clearly ‘metalinguistic’, the evidence for it from metalinguistic comparatives in English is surprisingly limited. The overall picture that emerges is one in which the grammatical distinction between ordinary and metalinguistic comparatives tracks the independently motivated distinction between vagueness and imprecision. (shrink)

Degree readings of size adjectives, as in big stamp-collector, cannot be explained away as merely the consequence of some extragrammatical phenomenon. Rather, this paper proposes that they actually reflect the grammatical architecture of nominal gradability. Such readings are available only for size adjectives in attributive positions, and systematically only for adjectives that predicate bigness. These restrictions can be understood as part of a broader picture of gradable NPs in which adnominal degree morphemes—often overt—play a key role, analogous to their role (...) in the extended AP. Size adjectives acquire degree readings through a degree morpheme similar to the one that licenses AP-modifying measure phrases. Its syntax gives rise to positional restrictions on the availability of these readings, and the semantics of degree measurement interacts with the scale structure of size adjectives to give rise to restrictions on the adjective itself. (shrink)

The systematicity argument only challenges connectionism if systematicity is a general property of cognition. I examine this thesis in terms of properties of concepts. First, I propose that Evans's Generality Constraint only applies to attributions of belief. Then I defend a variety of conceptual pluralism, arguing that concepts share two fundamental properties related to centrality and belief-attribution, and contending that there are two kinds of concepts that differ in their compositional properties. Finally, I rely on Dual Systems Theory and on (...) differences between animal and human cognition to suggest a scenario of two processing systems that work on different kinds of concepts, with only one of them supporting full systematicity. I sketch a non-classical systematicity argument that rules out classicism as the basis of one of those systems given that it would wrongly entail that both systems are fully systematic. (shrink)

Invariantists argue that the notion of concept in psychology should be reserved for knowledge that is retrieved in a context-insensitive manner. Contextualists argue that concepts are to be understood in terms of context-sensitive ad hoc constructions. I review the central empirical evidence for and against both views and show that their conclusions are based on a common mischaracterization of both theories. When the difference between contextualism and invariantism is properly understood, it becomes apparent that the way the question of stability (...) is currently investigated will not lead to a consensus. Instead of focusing directly on stability, we should turn our attention to other desiderata on a theory of concepts. In particular, I show that invariantism, but not contextualism, fails to account for compositionality and abstract concepts. (shrink)

Argumento, seguindo a perspectiva de Amie Thomasson acerca da metafísica da ficção, que os objetos ficcionais são artefatos abstratos. No entanto, o artefactualismo encontra dificuldades em fazer sentido das propriedades que podemos atribuir corretamente a um objeto ficcional: como é possível que um personagem ficcional, como L. B. Jefferies do filme Janela Indiscreta, seja um fotógrafo e um artefato abstrato ao mesmo tempo? Tal personagem pode fazer algo como investigar um crime? A fim de solucionar essa tensão conceitual, introduzo o (...) vocabulário desenvolvido por Andrea Bonomi que trata dos proferimentos ficcionais, metaficcionais e paraficcionais. Então, em oposição às perspectivas que usam a noção de faz-de-contas para analisar o discurso ficcional, apresento a teoria dos adjetivos modificacionais de Hans Kamp e Barbara Partee e argumento que os usos que fazemos do adjetivo ‘ficcional’ são intersectivos no que diz respeito à metafísica dos objetos ficcionais, enquanto são privativos no que diz respeito às propriedades que lhes são atribuídas de acordo com a história. Consequentemente, apesar dos objetos ficcionais não exemplificarem as propriedades que lhes são atribuídas em uma história, uma vez que artefatos abstratos não têm localização espacial e não podem estabelecer interações causais com outros objetos, essas são as propriedades que temos permissões e somos obrigados a lhes atribuir. Assim, apresento uma perspectiva unificada sobre como as nossas práticas de ficção são inteligíveis e estão de acordo com a perspectiva artefactual. (shrink)

Epistemic absolutism holds that knowledge‐that is ungradable, while epistemic gradualism argues the opposite. This paper purports to remodel the gradualism/absolutism debate. The current model initiated by Stephen Hetherington fails to capture the genuine divergence between the two views, which makes the debate equivocal, and the gradualist side lacks appeal. I propose that the remodeled debate should focus on whether knowledge‐that is a ‘threshold concept’ or a ‘spectrum concept’. That is, whether there is a threshold distinguishing knowledge from non‐knowledge. The reconstructed (...) model enjoys significant advantages as it enables the debate to be more balanced and philosophically interesting. (shrink)

It has been argued that prototypes cannot compose, and that for this reason concepts cannot be prototypes (Osherson and Smith in Cognition 9:35–58, 1981; Fodor and Lepore in Cognition 58:253–270, 1996; Connolly et al. in Cognition 103:1–22, 2007). In this paper I examine the intensional and extensional approaches to prototype compositionality, arguing that neither succeeds in their present formulations. I then propose a hybrid extensional theory of prototype compositionality, according to which the extension of a complex concept is determined as (...) a function of what triggers its constituent prototypes. I argue that the theory escapes the problems traditionally raised against extensional theories of compositionality. (shrink)

A property modifier is a function that takes a property to a property. For instance, the modifier short takes the property being a Dutchman to the property being a short Dutchman. Assume that being a round peg is a property obtained by means of modification, round being the modifier and being a peg the input property. Then how are we to infer that a round peg is a peg? By means of a rule of right subsectivity. How are we to (...) infer that a round peg is round? By means of a rule of left subsectivity. This paper puts forward two rules of left subsectivity. The rules fill a gap in the prevalent theory of property modification. The paper also explains why the rules are philosophically relevant. (shrink)

Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privative. If subsective, (...) a malfunctioning F is an F; if privative, a malfunctioning F is not an F. An intensional logic is required to raise and answer the question, because modifiers operate directly on properties and not on sets or individuals. This new logic provides the formal tools to reason about technical malfunction by means of a logical analysis of the sentence “a is a malfunctioning F”. (shrink)

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical analogies (...) and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

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)

This paper addresses theoretical problems arising from the vagueness of language terms, and intuitions of the vagueness of the concepts to which they refer. It is argued that the central intuitions of prototype theory are sufficient to account for both typicality phenomena and psychological intuitions about degrees of membership in vaguely defined classes. The first section explains the importance of the relation between degrees of membership and typicality (or goodness of example) in conceptual categorization. The second and third section address (...) arguments advanced by Osherson and Smith (1997), and Kamp and Partee (1995), that the two notions of degree of membership and typicality must relate to fundamentally different aspects of conceptual representations. A version of prototype theory—the Threshold Model—is proposed to counter these arguments and three possible solutions to the problems of logical selfcontradiction and tautology for vague categorizations are outlined. In the final section graded membership is related to the social construction of conceptual boundaries maintained through language use. (shrink)

In 1907 Borel published a remarkable essay on the paradox of the Heap (“Un paradoxe économique: le sophisme du tas de blé et les vérités statistiques”), in which Borel proposes what is likely the first statistical account of vagueness ever written, and where he discusses the practical implications of the sorites paradox, including in economics. Borel’s paper was integrated in his book Le Hasard, published 1914, but has gone mostly unnoticed since its publication. One of the originalities of Borel’s essay (...) is that it puts forward a model of vagueness as imprecision, making particular use of the Gaussian law of measurement errors to model categorization. The aim of our paper is to give a presentation of the historical context of Borel’s essay, to spell out the mathematical details of his model, and to provide a critical assessment of his theory. Three aspects of Borel’s account are particularly discussed: the first concerns the comparison between Borel’s statistical account and posterior degree-theoretic accounts of vagueness. The second concerns the anti-epistemicist flavor of Borel’s approach, whereby the idea of statistical fluctuation is used to undermine the notion of sharp boundary for vague predicates. The third concerns the problematic link between Borel’s model of vagueness as imprecision and the notion of semantic indeterminacy. An English translation of Borel’s original essay is appended to this paper (Erkenntnis, this issue). (shrink)

According to Kim, events are constituted by objects exemplifying property(ies) at a time. In this paper I wish to defend Kim's theory of events from one source of criticism, extending it by taking into account a number of ideas developed by Davidson. In particular, I shall try to avoid events proliferation – one of the most serious problems in Kim's theory – by using a suggestion Kim himself advances, that is, by taking adverbs and the like to be events' rather (...) than properties' modifiers. Keywords: events, properties, adverbs, modifiers. (shrink)