The relevance of the research is defined by the need to create a set of linguistic means, which would contribute to effective communication with the general public, and the need to study different functional-semantic categories, including appeals, for the competent formation of public opinion in the political context. The research aims to comprehend the functioning of linguistic means used as appeals in the example of political propaganda texts in the English media field. The methodology is based on the (...) theoretical study of the works of modern linguists, linguistic, structural, and communicative analysis of appeal linguistic units and contexts. The research considered the linguistic means that form the functional-semantic category of the appeal, examples of political contexts from the British and American media were presented, the functions of appeal were presented using specific examples, an idea of the communicative side of political propaganda texts and audience participation in this process was formed, emphasis was placed on different types of propaganda (white, black, gray), the following groups of appeals were characterized: imperatives (volitional and involuntary). The materials presented in this research can be used to form an idea of the functional-semantic category of appeal, the choice of linguistic means for the purpose of information promotion in the media or social networks, the study of communicative strategies in linguistics and their successful implementation, consideration of political propaganda texts, increasing efficiency when influencing the audience, further implementation of means of appeal in machine learning. (shrink)

The human conceptual system comprises simulated information of sensorimotor experience and linguistic distributional information of how words are used in language. Moreover, the linguistic shortcut hypothesis predicts that people will use computationally cheaper linguistic distributional information where it is sufficient to inform a task response. In a pre‐registered category production study, we asked participants to verbally name members of concrete and abstract categories and tested whether performance could be predicted by a novel measure of sensorimotor similarity (based on an (...) 11‐dimensional representation of sensorimotor strength) and linguistic proximity (based on word co‐occurrence derived from a large corpus). As predicted, both measures predicted the order and frequency of category production but, critically, linguistic proximity had an effect above and beyond sensorimotor similarity. A follow‐up study using typicality ratings as an additional predictor found that typicality was often the strongest predictor of category production variables, but it did not subsume sensorimotor and linguistic effects. Finally, we created a novel, fully grounded computational model of conceptual activation during category production, which best approximated typical human performance when conceptual activation was allowed to spread indirectly between concepts, and when candidate category members came from both sensorimotor and linguistic distributional representations. Critically, model performance was indistinguishable from typical human performance. Results support the linguistic shortcut hypothesis in semantic processing and provide strong evidence that both linguistic and grounded representations are inherent to the functioning of the conceptual system. All materials, data, and code are available at https://osf.io/vaq56/. (shrink)

We use the category of presheaves over PTIME-functions in order to show that Cook and Urquhart's higher-order function algebra PV ω defines exactly the PTIME-functions. As a byproduct we obtain a syntax-free generalisation of PTIME-computability to higher types. By restricting to sheaves for a suitable topology we obtain a model for intuitionistic predicate logic with ∑ 1 b -induction over PV ω and use this to re-establish that the provably total functions in this system are polynomial time computable. Finally, (...) we apply the category-theoretic approach to a new higher-order extension of Bellantoni-Cook's system BC of safe recursion. (shrink)

The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “stacked” or multiple CPPs, including interpretations whose scope relations are not what would be expected on standard assumptions about surfacesyntactic command and monotonic derivation. A (...) type-hierarchy of functional modalities plays a crucial role in the specification of the fragment. (shrink)

We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. We present an algorithm that translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under change of order or multiplicity. It includes the semantic vector models of Information Retrieval Systems and has an interior logic admitting a comprehension schema. A sentence is true in the interior logic if and only if the (...) ‘usual’ first order formula translating the sentence holds. The examples include negation, universal quantifiers and relative pronouns. (shrink)

Recent investigations and theorising about category-specific deficits have begun to focus upon patients with progressive brain disease such as semantic dementia and Alzheimer's disease. In this commentary we briefly review what insights have been gained from studying patients of this type. We concentrate on four specific issues: the sensory/functional distinction, correlation between features, neuroanatomical considerations, and confounding factors.

In this paper, I present a categorial theory of meaning which asserts that the meaning of a sentence is the function from the actualization of some potentiality or the potentiality of some actuality to the truth of the sentence. I argue that it builds on the virtues of David Lewis’s Possible World Semantics but advances beyond problems that Lewis’s theory faces with its distinctly Aristotelian turn toward actuality and potentiality.

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Much research on color representation and categorization has assumed that relations among color terms can be proxies for relations among color percepts. We test this assumption by comparing the mapping of color words with color appearances among different observer groups performing cognitive tasks: an invariance of naming task; and triad similarity judgments of color term and color appearance stimuli within and across color categories. Observer subgroups were defined by perceptual phenotype and photopigment opsin genotype analyses. Results suggest that individuals rely (...) on at least two different representational models of color experience: one lexical, conforming to the culture's normative linguistic representation, and another individual perceptual representation organizing each observer's color sensation experiences. Additional observer subgroup analyses suggest that perceptual phenotype variation within a language group may play a greater role in the shared color naming system than previously thought. A reexamination of color naming data in view of these findings may reveal influences on color naming important to current theories. (shrink)

Semantic categories in the world's languages often reflect a historical process of chaining: A name for one referent is extended to a conceptually related referent, and from there on to other referents, producing a chain of exemplars that all bear the same name. The beginning and end points of such a chain might in principle be rather dissimilar. There is also evidence supporting a contrasting picture: Languages tend to support efficient, informative communication, often through semantic categories in which (...) all exemplars are similar. Here, we explore this tension through computational analyses of existing cross-language naming and sorting data from the domain of household containers. We find formal evidence for historical semantic chaining, and evidence that systems of categories in this domain nonetheless support near-optimally efficient communication. Our results demonstrate that semantic chaining is compatible with efficient communication, and they suggest that chaining may be constrained by the functional need for efficient communication. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages (...) generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages (...) generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can (...) be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably. (shrink)

The description of named entities in terminological knowledge bases has never been addressed in any depth in terminology. Firm preconceptions, rooted in philosophy, about the only referential function of proper names have presumably led to disparage their inclusion in terminology resources, despite the relevance of named entities having been highlighted by prominent figures in the discipline of terminology. Scholars from different branches of linguistics depart from the conservative stance on proper names and have foregrounded the need for a novel approach, (...) more linguistic than philosophical, to describing proper names. Therefore, this paper proposed a linguistic and terminological approach to the study of named entities when used in scientific discourse, with the purpose of representing them in EcoLexicon, an environmental knowledge base designed according to the premises of Frame-based Terminology. We focused more specifically on named rivers mentioned in a coastal engineering corpus. Inclusion of named entities in terminological knowledge bases requires analyzing the context that surrounds them in specialized texts because these contexts convey specialized knowledge about named entities. For the semantic representation of context, this paper thus analyzed the local syntactic and semantic contexts that surrounded potamonyms in coastal engineering texts and described the semantic annotation of the predicate-argument structure of sentences where a potamonym was mentioned. The semantic variables annotated were the following: semantic category of the arguments; semantic role of the arguments; semantic relation between the arguments; and lexical domain of the verbs. This method yielded valuable insight into the different semantic roles that named rivers played, the entities and processes that participated in the events educed by potamonyms through verbs, and how they all interacted. Furthermore, since arguments are specialized terms and verbs are relational constructs, the analysis of argument structure led to the construction of semantic networks that depicted specialized knowledge about named rivers. These conceptual networks were then used to craft the thematic description of potamonyms. Accordingly, the semantic network and the thematic description not only constituted the representation of a potamonym in EcoLexicon, but also allowed the geographic contextualization of specialized concepts in the terminological resource. (shrink)

We offer a new outlook on the vexed question of the reference of natural-kind terms. Since Kripke and Putnam, there is a widespread assumption that natural-kind terms function just like proper names: they designate their referents directly and they are rigid designators: their reference is unchanged even in worlds in which the referent lacks some or all the properties associated with it in the actual world, and which are useful to us in identifying that referent. There have, however, been heated (...) debates about what should be taken as a natural-kind term. Some challenge the very existence of a separate category of natural-kind terms ; some their being directly referential ; some raise the possibility that direct reference extends to terms beyond those usually assumed to fall under the category, e.g. to ‘polemical’ terms. When these debates turn on the question of what natural kinds are, they take on a strong epistemological or metaphysical dimension. We think the issues can be clarified within the limits of the philosophy of language: by looking into what ranges of general terms are perceived by speakers as rigid designators of natural kinds. The first step to take is to ground the various kinds of semantic externalism in distinct brands of semantic deference. This we define as speakers’ being disposed to use words in line with the norms of their linguistic community and as consenting to being corrected when it is manifest that their use and understanding of a word does not match common practice. When those dispositions are present, speakers defer semantically to something beyond themselves. Here, our focus is on spotting the words for which speakers would defer not to the current usage of the word in the linguistic community, nor to the current experts of the field to which the word pertains, but ultimately to the very nature of the referent of the term. When speakers’ deference conforms to that pattern, we argue, that is evidence that indexical externalism provides the right metasemantic account of how the meaning of the word is determined. In other words, one can say that the word is treated like a natural-kind term. But how can patterns of deference be measured? In an ongoing survey, participants are confronted with conditions that may prompt them to revise certain classificatory statements, e.g. An emu is a bird. Each condition makes salient one of the targets we have identified for deference: the community usage, the experts, the ‘world as it is’. In the condition that seeks to tap into the latter kind of deference, participants are presented with a scenario in which future scientific discoveries result in excluding from the extension of a term certain members currently thought to fall under that extension, e.g. discoveries that require excluding certain species now thought to be birds from the Aves class. The scenario is such that it is clear that the ‘discoveries’ bring us closer to the actual essence, if there is one, of birds. Our reasoning is that, if participants significantly modify their statements in the light of that scenario, they can be taken to ‘defer’ to the nature of the referent, thus vindicating indexical externalism. We test if words not normally assumed to be natural-kind terms – for instance summer, contract or rape – exhibit patterns of deference similar to those for bird. If so, then there’s a case for an extension of indexical externalism beyond the usual set of terms. What would be shown in this way is that speakers have something like realist intuitions with respect to words whose meaning is usually taken to be purely conventional or polemical. We are at the pre-test stage for the survey. We cannot yet report on our results. We should, however, have initial results by March, which, we believe, will enrich the observations made by previous empirical studies. References: Braisby, N., Franks, B. & Hampton, J. 1996. Essentialism, word use, and concepts. Cognition 59, 247-74./Genone, J. & Lombrozo, T. 2012. Concept possession, experimental semantics, and hybrid theories of reference. Philosophical Psychology 25, 717-742./Häggqvist, S. & Wikforss, Å. 2015. Experimental semantics: the case of natural kind terms, in J. Haukioja, Experimental Philosophy of Language, London, Bloomsbury./Jylkkä, J., Railo, H. & Haukioja, J. 2009. Psychological essentialism and semantic externalism: Evidence for externalism in lay speakers’ language use. Philosophical Psychology 22, 37-60./Mallon, R., Machery, E., Nichols, S. & Stich, S. 2009. Against arguments from reference, Philosophy and Phenomenological Research 79, 332-356./ Marconi, D. 1997. Language, Speech, and Communication. Lexical Competence. Cambridge : MIT Press./Moravcsik, J. 2016. Meaning, Creativity, and the Partial Inscrutability of the Human Mind, 2nd ed. Stanford: CSLI./Schroeter, L. & Schroeter, F. 2014. Normative concepts: a connectedness model, Philosophers’ Imprint 14, 1-26./ Wikforss, Å. 2010. Are natural kind terms special?, in H. Beebee and N. Sabbarton-Leary, The Semantics and Metaphysics of Natural Kinds, New York, Routledge, 64-83. (shrink)

There are two implicit semantic postulates underlying modern predicate logic. Hence predicate logic is not semantically neutral. The author proposes to take semantically neutral languages, which have no predicate categorial structure but replace the notion of predicate with general notion of function. Some function calculi for different semantics are demonstrated.

1 Recognition Device . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Classical Categorial Grammar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Classical (...) Categorial Grammar. Examples . . . . . . . . . . . . . . . . . . . . . 5 4 Logic Grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 5 Lambek calculus. Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 6 Lambek calculus. Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 7 Lambek calculus. Advantages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 8 Derivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 9 Residuated and Galois Connected Functions . . . . . . . . . . . . . . . . . . 14 10 Interpretation of the Constants. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 11 Nonveridical Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 12 Dutch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 13 Classification of NPIs in Dutch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 14 Antilicensing Relation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20.. (shrink)

Similarity is one of the most important relations humans perceive, arguably subserving category learning and categorization, generalization and discrimination, judgment and decision making, and other cognitive functions. Researchers have proposed a wide range of representations and metrics that could be at play in similarity judgment, yet have not comprehensively compared the power of these representations and metrics for predicting similarity within and across different semantic categories. We performed such a comparison by pairing nine prominent vector semantic representations (...) with seven established similarity metrics that could operate on these representations, as well as supervised methods for dimensional weighting in the similarity function. This approach yields a factorial model structure with 126 distinct representation‐metric pairs, which we tested on a novel dataset of similarity judgments between pairs of cohyponymic words in eight categories. We found that cosine similarity and Pearson correlation were the overall best performing unweighted similarity functions, and that word vectors derived from free association norms often outperformed word vectors derived from text (including those specialized for similarity). Importantly, models that used human similarity judgments to learn category‐specific weights on dimensions yielded substantially better predictions than all unweighted approaches across all types of similarity functions and representations, although dimension weights did not generalize well across semantic categories, suggesting strong category context effects in similarity judgment. We discuss implications of these results for cognitive modeling and natural language processing, as well as for theories of the representations and metrics involved in similarity. (shrink)

Category-specific impairments of object recognition and naming are among the most intriguing disorders in neuropsychology, affecting the retrieval of knowledge about either living or nonliving things. They can give us insight into the nature of our representations of objects: Have we evolved different neural systems for recognizing different categories of object? What kinds of knowledge are important for recognizing particular objects? How does visual similarity within a category influence object recognition and representation? What is the nature of our (...) semantic knowledge about different objects? We review the evidence on category-specific impairments, arguing that deficits even for one class of object cannot be accounted for in terms of a single information processing disorder across all patients; problems arise at contrasting loci in different patients. The same apparent pattern of impairment can be produced by damage to different loci. According to a new processing framework for object recognition and naming, the hierarchical interactive theory, we have a hierarchy of highly interactive stored representations. HIT explains the variety of patients in terms of lesions at different levels of processing and different forms of stored knowledge used both for particular tasks and for particular categories of object. Key Words: category-specific deficits; functional imaging; hierarchical models; interactive activation models; neuropsychology; object recognition; perceptual and functional knowledge. (shrink)

Humphreys and Forde argue that semantic memory is divided into separate substores for different kinds of information. However, the neuro-imaging results cited in support of this view are inconsistent and often methodologically and statistically unreliable. Our own data indicate no regional specialisation as a function of semantic category or domain and support instead a distributed unitary account.

Embodied theories of grounded semantics postulate that, when word meaning is first acquired, a link is established between symbol and corresponding semantic information present in modality-specific—including primary—sensorimotor cortices of the brain. Direct experimental evidence documenting the emergence of such a link, however, is still missing. Here, we present new neuroimaging results that provide such evidence. We taught participants aspects of the referential meaning of previously unknown, senseless novel spoken words by associating them with either a familiar action or a (...) familiar object. After training, we used functional magnetic resonance imaging to analyze the participants’ brain responses to the new speech items. We found that hearing the newly learnt object-related word sounds selectively triggered activity in the primary visual cortex, as well as secondary and higher visual areas.These results for the first time directly document the formation of a link between the novel, previously meaningless spoken items and corresponding semantic information in primary sensory areas in a category-specific manner, providing experimental support for perceptual accounts of word-meaning acquisition in the brain. (shrink)

We summarise and respond to the main points made by the commentators on our target article, which concern: whether structural similarity can play a causal role in normal object identification and in neuropsychological deficits for living things, the nature of our structural knowledge of the world, the relations between sensory and functional knowledge of objects, and the nature of our functional knowledge about living things, whether we need to posit a “core” semantic system, arguments that can be (...) marshalled from evidence on functional imaging, the causal mechanisms by which category differences can emerge in object representations, and the nature of our knowledge about categories other than living and nonliving things. We also highlight points raised in our article that seem to be accepted. (shrink)

According to a straightforward, conservative account of English demonstratives, simple and complex demonstratives are referring expressions belonging to the same semantic category (but they could be understood as either terms or quantifiers); the denotation of a complex demonstrative “dF” (if it has one) must satisfy the nominal “F” in “dF”; and both simple and complex demonstratives function as rigid designators. According to a recent alternative advanced by Lepore and Ludgwig, simple and complex demonstratives belong to different semantic (...) categories (the former being terms while the latter are restricted quantifier phrases); the denotation of a complex demonstrative “dF”(if it has one) need not satisfy the nominal “F”; and complex demonstratives can have narrow scope, which implies that they do not always function as rigid designators. This paper provides evidence that supports the conservative account against the claims of Lepore and Ludwig’s alternative. (shrink)

Psychology has benefited from an enormous wealth of knowledge about processes of cognition in relation to how the brain organizes information. Within the categorization literature, this behavior is often explained through theories of memory construction called exemplar theory and prototype theory which are typically based on similarity or rule functions as explanations of how categories emerge. Although these theories work well at modeling highly controlled stimuli in laboratory settings, they often perform less well outside of these settings, such as explaining (...) the emergence of background knowledge processes. In order to explain background knowledge, we present a non-similarity-based post-Skinnerian theory of human language called Relational Frame Theory which is rooted in a philosophical world view called functional contextualism. This theory offers a very different interpretation of how categories emerge through the functions of behavior and through contextual cues, which may be of some benefit to existing categorization theories. Specifically, RFT may be able to offer a novel explanation of how background knowledge arises, and we provide some mathematical considerations in order to identify a formal model. Finally, we discuss much of this work within the broader context of general semantic knowledge and artificial intelligence research. (shrink)

Background: Although performance on the category fluency test is influenced by many cognitive functions, item-level scoring methods of CFT performance might be a promising way to capture aspects of semantic memory that are less influenced by intervenient abilities. One such approach is based on the calculation of correlation coefficients that quantify the association between item-level features and the serial order with which words are recalled.Methods: We explored the neural underpinnings of 10 of these correlational indices in a sample (...) of 40 healthy adults who completed a classic 1-min CFT and an MRI protocol inclusive of T1-weighted and resting-state fMRI sequences for the evaluation of the default-mode network. Two sets of linear models were defined to test the association between neural maps and each correlational index: a first set in which major demographic and clinical descriptors were controlled for and a second set in which, additionally, all other 9 correlational indices were regressed out.Results: In the analysis of the DMN, ‘SRO-frequency’, ‘SRO-dominance’ and ‘SRO-body-object interaction’ correlational indices were all negatively associated with the anterior portion of the right temporoparietal junction. The ‘SRO-frequency’ correlational index was also negatively associated with the right dorsal anterior cingulate and the ‘SRO-dominance’ correlational index with the right lateral prefrontal cortex. From the second set of models, the ‘SRO-typicality’ correlational index was positively associated with the left entorhinal cortex. No association was found in relation to grey matter maps.Conclusion: The ability to retrieve more difficult words during CFT performance as measured by the correlational indices between SRO and item-level descriptors is associated with DMN expression in regions deputed to attentional reorienting and processing of salience of infrequent stimuli and dominance status. Of all item-level features, typicality appears to be that most closely linked with entorhinal functioning and may thus play a relevant role in assessing its value in testing procedures for early detection of subtle cognitive difficulties in people with suspected Alzheimer’s degeneration. Although exploratory, these findings warrant further investigations in larger cohorts. (shrink)

The HIT model explains the existence of semantic category-specific deficits by assuming that sensory knowledge is crucially important in processing living things, while functional knowledge is crucially important in processing nonliving things – the sensory/functional assumption. Here we argue that the sensory/functional assumption as implemented in HIT is neither theoretically nor empirically grounded and that, in any case, there is neuropsychological evidence which invalidates this assumption, thereby undermining the HIT model as a whole.

When Gödel developed his functional interpretation, also known as the Dialectica interpretation, his aim was to prove consistency of first order arithmetic by reducing it to a quantifier-free theory with finite types. Like other functional interpretations Gödel’s Dialectica interpretation gives rise to category theoretic constructions that serve both as new models for logic and semantics and as tools for analysing and understanding various aspects of the Dialectica interpretation itself. Gödel’s Dialectica interpretation gives rise to the Dialectica categories (...) , in: Contemp. Math., vol. 92, Amer. Math. Soc., Providence, RI, 1989, pp. 47–62] and J.M.E. Hyland in [J.M.E. Hyland, Proof theory in the abstract, Ann. Pure Appl. Logic 114 43–78, Commemorative Symposium Dedicated to Anne S. Troelstra ]). These categories are symmetric monoidal closed and have finite products and weak coproducts, but they are not Cartesian closed in general. We give an analysis of how to obtain weakly Cartesian closed and Cartesian closed Dialectica categories, and we also reflect on what the analysis might tell us about the Dialectica interpretation. (shrink)

Natural language expressions fall into two categories: content and function words. While function words are essential to compositional semantics, surprisingly little has been said about their emergence. In this paper, I will show that most extant approaches to the emergence of compositional signaling fail to account for the emergence of functional vocabulary. After providing a result that explains why this is so,, I will present a model and simulation results exhibiting conditions under which such vocabulary can emerge from simple (...) learning dynamics. This model captures the intuition that function words help aid communication with a limited vocabulary in the presence of contextual variability. (shrink)

The relationship between a biological process and a behavioral trait indicates a proximate mechanism by which natural selection can act. In that context, examining an aspect of infant health is one method of investigating the adaptive significance of infant-directed speech (ID speech), and it could help to explain the widespread use of this communication style. The correlation between infant growth and infant-directed speech is positive and significant, and provides a vehicle for testing evolutionary history hypotheses.

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions . We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which Heyting-valued completeness is known. Finally, (...) we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this volume leading researchers present new work on the semantics and pragmatics of adjectives and adverbs, and their interfaces with syntax. Its concerns include the semantics of gradability; the relationship between adjectival scales and verbal aspect; the relationship between meaning and the positions of adjectives and adverbs in nominal and verbal projections; and the fine-grained semantics of different subclasses of adverbs and adverbs. Its goals are to provide a comprehensive vision of the linguistically significant structural and interpretive properties of (...) adjectives and adverbs, to highlight the similarities between these two categories, and to signal the importance of a careful and detailed integration of lexical and compositional semantics. The editors open the book with an overview of current research before introducing and contextualizing the remaining chapters. The work is aimed at scholars and advanced students of syntax, semantics, formal pragmatics, and discourse. It will also appeal to researchers in philosophy, psycholinguistics, and language acquisition interested in the syntax and semantics of adjectives and adverbs. (shrink)

An algebraic semantics, based on factor algebras, for one-way and two-way implicative verbs is proposed. Implicative verbs denote elements of filters or of ideals generated by identity functions in factor algebras. This semantics explains in particular the problem of implicational equivalence raised by two-way implicative verbs, and shows that the negation necessary to establish the implicativity of these verbs is the negation which preserves the presuppositions of sentences with implicative verbs. In addition, it follows from the proposed semantics that any (...) two implicative verbs denoting in the same algebra but belonging to different categories, are semantically related. (shrink)

The category of coherent phase spaces introduced by the author is a refinement of the symplectic “category” of A. Weinstein. This category is *-autonomous and thus provides a denotational model for Multiplicative Linear Logic. Coherent phase spaces are symplectic manifolds equipped with a certain extra structure of “coherence”. They may be thought of as “infinitesimal” analogues of familiar coherent spaces of Linear Logic. The role of cliques is played by Lagrangian submanifolds of ambient spaces. Physically, a symplectic (...) manifold is the phase space of a classical dynamical system, and a Lagrangian submanifold is a phase of a short-wave oscillation. Typically, Lagrangian submanifolds represent such objects as short-wave approximations of wave functions in asymptotic quantization and wave fronts in geometrical optics. The coherent phase space semantics was motivated to a large extent by methods of geometric and asymptotic quantization and suggests some interesting intuitions on Linear Logic. In particular Lagrangian submanifold-cliques of types A and A can be interpreted as semiclassical limits of eigenstates of respectively position and momentum observables. These observables being canonically conjugate cannot be measured simultaneously, which corresponds to the idea that a formula A and its negation A cannot both simultaneously have proofs . We show that the coherent phase space semantics of Linear Logic enjoys several completeness properties in general much stronger than the usual full completeness with respect to the class of dinatural transformations. These properties of completeness in conjunction with a quite natural -physical meaning make the coherent phase space semantics an interesting object of investigation. (shrink)

Objective. Study of the validity and reliability of the discourse approach for the psycholinguistic understanding of the nature, structure, and features of the linguistic consciousness functioning. -/- Materials & Methods. This paper analyzes artificial neural network models built on the corpus of texts, which were obtained in the process of experimental research of the coronavirus quarantine concept as a new category of linguistic consciousness. The methodology of feedforward artificial neural networks (multilayer perceptron) was used in order to assess the (...) possibility of predicting the leading texts semantics based on the discourses ranks and their place in the respective linear sequence. Same baseline parameters were used to predict respondents' self-assessments of changes in their psychological well-being and in daily life routine during the quarantine, as well as to predict their preferences of the quarantine strategies. The study relied on basic ideas about discourse as a meaning constituted by the dispersion of other meanings (Foucault). The same dispersion mechanism realizes itself in interdiscourse interaction, forming a discursive formation at a higher level. The method of T-units (Hunt) was used to identify and count discourses in the texts. The ranking of discourses was provided based on the criterion of their semantic-syntactic autonomy. -/- Results. The conducted neural network modeling revealed a high accuracy in predicting the work of the linguistic consciousness functions associated with retrospective self-assessment and anticipatory imagination of the respondents. Another result of this modeling is a partial confirmation of the assumption concerning existence a relationship between the structural parameters of the discursive field (the rank of the discourses and their place in the respective linear sequence) and the leading semantics of the text. -/- Conclusions. A discourse approach to the study of linguistic consciousness, understanding of its structure and functioning features seems to be reasonably appropriate. The implementation of the approach presupposes the need to form a base of linguistic corpora with the inclusion in each text markup of such parameters as: the presence of specific discourses, their ranks, positions in the linear sequence of discourses. (shrink)

Embodied cognitive theories predict that linguistic conceptual representations are grounded and continually represented in real world, sensorimotor experiences. However, there is an on-going debate on whether this also holds for abstract concepts. Grammar is the archetype of abstract knowledge, and therefore constitutes a test case against embodied theories of language representation. Former studies have largely focussed on lexical-level embodied representations. In the present study we take the grounding-by-modality idea a step further by using reaction time (RT) data from the linguistic (...) processing of nominal classifiers in Chinese. We take advantage of an independent body of research, which shows that attention in hand space is biased. Specifically, objects near the hand consistently yield shorter RTs as a function of readiness for action on graspable objects within reaching space, and the same biased attention inhibits attentional disengagement. We predicted that this attention bias would equally apply to the graspable object classifier but not to the big object classifier. Chinese speakers (N = 22) judged grammatical congruency of classifier-noun combinations in two conditions: graspable object classifier and big object classifier. We found that RTs for the graspable object classifier were significantly faster in congruent combinations, and significantly slower in incongruent combinations, than the big object classifier. There was no main effect on grammatical violations, but rather an interaction effect of classifier type. Thus, we demonstrate here grammatical category- specific effects pertaining to the semantic content and by extension the visual and tactile modality of acquisition underlying the acquisition of these categories. We conclude that abstract grammatical categories are subjected to the same mechanisms as general cognitive and neurophysiological processes and may therefore be grounded. (shrink)

Since the first chapter of this book presents an intro duction to the present state of game-theoretical semantics (GTS), there is no point in giving a briefer survey here. Instead, it may be helpful to indicate what this volume attempts to do. The first chapter gives a short intro duction to GTS and a survey of what is has accomplished. Chapter 2 puts the enterprise of GTS into new philo sophical perspective by relating its basic ideas to Kant's phi losophy (...) of mathematics, space, and time. Chapters 3-6 are samples of GTS's accomplishments in understanding different kinds of semantical phenomena, mostly in natural languages. Beyond presenting results, some of these chapters also have other aims. Chapter 3 relates GTS to an interesting line of logical and foundational studies - the so-called functional interpretations - while chapter 4 leads to certain important methodological theses. Chapter 7 marks an application of GTS in a more philo sophical direction by criticizing the Frege-Russell thesis that words like "is" are multiply ambiguous. This leads in turn to a criticism of recent logical languages (logical notation), which since Frege have been based on the ambi guity thesis, and also to certain methodological sug gestions. In chapter 8, GTS is shown to have important implications for our understanding of Aristotle's doctrine of categories, while chapter 9 continues my earlier criticism of Chomsky's generative approach to linguistic theorizing. (shrink)

Most current theories of category-specific semantic deficits appeal to the role of sensory and functional knowledge types in explaining patients' impairments. We discuss why this binary classification is inadequate, point to a more detailed knowledge type taxonomy, and suggest how it may provide insight into the relationships between category-specific semantic deficits and impairments of specific aspects of knowledge.

This paper describes semantic communication as an arbitrary loss function. I reject the logical approach to semantic information theory described by Carnap, Bar-Hillel and Floridi, which assumes that semantic information is a logical function of Shannon information mixed with categorical objects. Instead, I follow Hirotugu Akaike’s maximum entropy approach to model semantic communication as a choice of loss. The semantic relationship between a thing and a message about the thing is modelled as the loss of (...) information that results in the impression contained in the message, so that the semantic meaning of a bear’s footprint is the difference between the actual bear and its footprint. Experience has a critical function in semantic meaning because a bear footprint can only be meaningful if we have some experience with an actual bear. The more direct our experience, the more vivid the footprint will appear. In this model, what is important is not the logic of the categories represented by the information but the loss of information that reduces our experiences of reality to functional communication. The hard problem of semantic communication arises because real objects and events do not come with categorical labels attached, so the choice of loss is necessarily imperfect and illogical. (shrink)

DP hypothesis of Abney (1987), the syntactic unit that had formerly been known as noun phrase should in fact be analyzed as a phrase headed by a determiner, hence the label DP. Quite independently of this syntactic development, Partee (1987) proposed a type shifting paradigm for the semantic analysis of nominals (now called DPs). In Partee's proposal DPs are ambiguous between a referential reading of type e, a predicative reading of type et and a quantificational reading of type (et)t. (...) DP meanings can flexibly move between their different readings due to covert application of semantic operators. The present paper proposes some strong relationships between these syntactic and semantic paradigms. It is argued that the structure of the DP affects its semantics in that the NP level within the DP is purely predicative and the DP level itself is purely quantificational. However, the intermediate D' level is flexible between the predicate/quantifier semantic categories, due to the covert application of semantic operators at this level. Partee's assumption, adopted from Discourse Representation Theory and more traditional approaches in philosophical logic, that some DPs need to have a (discourse) referential reading, is withdrawn. Instead of Partee's type shifting operators between the three semantic categories she assumes, two operators are used between predicates and quantifiers. The choice function operation of Reinhart (1997) and Winter (1997) is used as a general operator from predicates to quantifiers. The minimum operator of Winter (1996) is used as a general operator from quantifiers to predicates. These two operations, referred to as category shifting operators , account for most of the Partee data and substantially extend the theory of flexibility to treat some intricate phenomena in the domains of coordination, plurality and scope. (shrink)

In this paper we study the logic , which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic is the strongest for which Heyting-valued completeness is known. (...) Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

In this paper we study the logic $\mathcal{L}^\lambda_{\omega\omega}$, which is first-order logic extended by quantification over functions (but not over relations). We give the syntax of the logic as well as the semantics in Heyting categories with exponentials. Embedding the generic model of a theory into a Grothendieck topos yields completeness of $\mathcal{L}^\lambda_{\omega\omega}$ with respect to models in Grothendieck toposes, which can be sharpened to completeness with respect to Heyting-valued models. The logic $\mathcal{L}^\lambda_{\omega\omega}$ is the strongest for which Heyting-valued completeness (...) is known. Finally, we relate the logic to locally connected geometric morphisms between toposes. (shrink)

This paper presents a new reconstruction of Wittgenstein’s famous (and controversial) rule-following arguments. Two are the novel features offered by our reconstruction. In the first place, we propose a shift of the central focus of the discussion, from the general semantics and the philosophy of mind to the philosophy of mathematics and the rejection of the notion of a function. The second new feature is positive: we argue that Wittgenstein offers us a new alternative notion of a rule (to replace (...) the rejected functions), a notion reminiscent of Category Theory’s notion of a morphism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:russell: the Journal of Bertrand Russell Studies n.s. 34 (summer 2014): 67–78 The Bertrand Russell Research Centre, McMaster U. issn 0036–01631; online 1913–8032 c:\users\kenneth\documents\type3401\rj 3401 193 red.docx 2014-05-14 8:54 PM aiscussion THE STRUCTURE, SEMANTICS, AND USE OF DESCRIPTIONS Jolen Galaugher Philosophy / McMaster U. Hamilton, on, Canada l8s 4l6 [email protected] / [email protected] he division of designators into denoting expressions and referring expressions has become a familiar feature of the (...) Russellian orthodoxy in the philosophy of language. At a glance, expressions of the referring kind seem to be unstructured, lacking independently meaningful proper parts, while those of the denoting kind seem to be structured quantifiers, having molecular complexity. Most examples fit this pattern: proper names, indexicals, and demonstratives are unstructured, while definite descriptions and other quanti fier phrases are typically structured. On Russell’s 1903 theory of denoting, the semantic structure (independently meaningful proper parts) of denoting complexes had proved a source of difficulty for his logic of propositions. The early theory was not only incapable of explaining both how we are supposed to designate complex meanings and how complex meanings are supposed to denote, but was also at odds with the view that proposition and constituent are logically basic, introducing further functional complexes into the propositional complex. Russell’s 1905 theory of descriptions reconstrued these apparently structured referring expressions as quantified noun phrases. On the new theory, knowing the meaning of such expressions does not require acquaintance with a specific object, but rather a grasp of the truth-conditions of the sentences in which they occur.1 One might say that on the new theory, denoting is linked to object-independent truth-conditions, while referring is linked to object-dependent truth-conditions—a connection elaborated and extended by Kripke and Kaplan. This is the situation as Arthur Sullivan paints it in his new book, Reference and Structure in the Philosophy of Language: a Defense of the 1 Russell articulated the dichotomy in “Knowledge by Acquaintance and Knowledge by Description” (1911), ML, p. 226; Papers 6: 158. For Sullivan’s use of this passage, see his anthology, Logicism and the Philosophy of Language, pp. 79–80, and Reference and Structure in the Philosophy of Language, pp. 13–14, 137, 140 n.15. q= 68 Discussion c:\users\kenneth\documents\type3401\rj 3401 193 red.docx 2014-05-14 8:54 PM Russellian Orthodoxy (2013). In this work, Arthur Sullivan defends a stronger set of claims than the denoting /referring distinction might historically have entailed. Building on Neale’s sharp distinction between semantically unstructured rigid referring expressions and semantically structured restricted quantifiers,2 Sullivan takes it to be crucial that these categories are exhaustive and exclusive, so that all and only referring expressions are unstructured designators, and all and only denoting expressions are structured designators (p. 13). Adopting a distinction from Bach,3 Sullivan maintains that the semantic mechanism of referring designators is simply to conventionally relate the utterance of the designator to the designatum, and hence to express object-dependent propositions, while the semantic mechanism of denoting designators is satisfactional, expressing a compositional condition which may or may not be satisfied by any object and which thus expresses object-independent propositions (p. 11). In Part 1, Sullivan articulates the orthodox theory of reference in terms of these two exhaustive and exclusive categories of designator and the distinct, corresponding semantic mechanisms by which they designate. In Part 2, he provides arguments in favour of the orthodoxy. In Part 3, he deals with apparent counter -examples, reinterpreting complex demonstratives and referential uses of definite descriptions to bring them into conformity with the strict referringversus -denoting dichotomy. In Part 4, he offers a synopsis and some general conclusions. Importantly, in Part 2, Sullivan argues that semantic structure is a necessary but not sufficient condition of non-rigidity, that only denoting designnators are non-rigid, that all unstructured designators are rigid designators, and that the lack of semantic structure is necessary and sufficient for status as a referring expression. Contrary to the view which is now popular, Russell regarded ordinary proper names as... (shrink)

We describe a fully abstract semantics for a simple functional language with locally declared names which may be used as pointers to names. It is based on a category of dialogue games acted upon by the group of natural number automorphisms. This allows a formal, semantic characterization of the key properties of names such as freshness and locality.We describe a model of the call-by-value λ-calculus based on these games, and show that it can be used to interpret (...) the nu-calculus of Pitts and Stark. We then construct a model of our pointer-language by extending our category of games with an explicit representation of the store, using a notion of semantic garbage-collection to erase inaccessible pointers. Using factorization and decomposition techniques, we show that the compact elements of our model are definable as terms, and hence it is fully abstract. (shrink)

It is certainly true that in early modern thought the emergence of a new science changed the image of the universe in a mechanistic way. It must be considered, though, that most of the main protagonists of this revolution (Kepler, Newton, Leibniz, ‘biologists’ like Leeuwenhoek, Hartsoeker, Hooke, Malpighi, Redi, etc.) still continued to consider the importance and the utility of a finalistic explanation of natural phenomena. Concepts like “function”, “self-organization”, “organism” have roots in early modern thought: not only from a (...) linguistic and semantic point of view. They were the basis of an epistemology in which different kinds of categories are strictly related. Aim of the paper is to take into account the relevance of the mechanical explanation of natural phenomena in Leibniz’s thought and at the same time to highlight the polarization between mechanical explanations and finalistic consideration that emerges in his philosophy. The specific aim of the paper is to analyze and to develop this kind of dialectic between “teleology” and "mechanism", with particular reference to the concept of “living being”. (shrink)

Children with autism spectrum disorder show marked difficulties in reading comprehension, a complex cognitive skill fundamental to successful daily functioning that is associated with core executive functions. However, the neurophysiological mechanisms underlying reading comprehension deficits in these children remain elusive. Twenty-one right-handed males with high-functioning ASD and 23 age-, IQ-, educational level-, sex- and handedness-matched typically developing individuals underwent a reading comprehension test and the semantic verbal fluency test that tapped core executive functions underlying reading comprehension during concurrent prefrontal (...) functional near-infrared spectroscopy measurement. Participants’ information processing efficiency was also assessed. High-functioning ASD children exhibited general reading comprehension [main effect of group: F = 7.58, p = 0.009], selective verbal fluency deficits [Group × category interaction: F = 4.90, p = 0.032] and slower processing speed. Regarding the hemodynamics of the prefrontal cortex, although ASD individuals showed comparable patterns of PFC brain activation to their healthy counterparts, lower PFC intrahemispheric [main effect of group: F = 11.36, p = 0.002] and interhemispheric [main effect of group: F = 7.79, p = 0.008] functional connectivity were evident during the semantic verbal fluency test. At the whole-group level, poorer reading comprehension performance was associated with poorer performance in the semantic verbal fluency test. Moreover, poorer semantic verbal fluency test performance was associated with slower information processing speed, which is associated with reduced left medial PFC functional connectivity. Abnormal intrahemispheric and interhemispheric prefrontal hypoconnectivity is associated with deficits in executive processes essential for reading comprehension in ASD. Our study has provided important implications for the neuropsychological and neurophysiological mechanisms underlying reading comprehension deficits in ASD. (shrink)

This meta-study applies a socio-semiotic framework combining five basic communicational aspects, form, content, act, time, and space, developed to help answering the questionCan animals refer?It further operates with four levels, sign, utterance, genre, and lifeworld, studying relations between utterance and genre in particular. Semantic key terms found in an excerpted ‘resource collection’ consisting of three anthologies, two academic journals, and a monography, studying content in animal communication, are inspected, and discussed, especially information, functional reference, and reference. Since a (...) temporary inspection concluded that the field seems unable to give convincing joint answers, the scope of the meta-study was extended to include critical investigations of implicit communicational epistemologies applied in the sources. Two major challenges were brought to surface. Firstly, the problem of conflicting interrelatedness in animal utterances (parts versus whole). Positioning analyses revealed that theories and project-designs were mostly dyadic, prioritising form/content, content/function, or function/form, and rarely form/content/function, as a whole. The second concerned the issue of functional openness of animal communication systems. The meta-study found that more recent studies tend to reduce an essentialist search for ‘clear’ categories in favor of more complex designs, where focus is less on references in utterances as such and more on a species’ communicational system. This shift in turn leads to a problematisation of the role of context, kinds of communication (life-genres) and semantic levels in animal utterances, in other words, on animal communication for particular species as a whole. (shrink)

Cartesian closed categories (CCCs) have played and continue to play an important role in the study of the semantics of programming languages. An axiomatization of the isomorphisms which hold in all Cartesian closed categories discovered independently by Soloviev and Bruce, Di Cosmo and Longo leads to seven equalities. We show that the unification problem for this theory is undecidable, thus settling an open question. We also show that an important subcase, namely unification modulo the linear isomorphisms, is NP-complete. Furthermore, the (...) problem of matching in CCCs is NP-complete when the subject term is irreducible. CCC-matching and unification form the basis for an elegant and practical solution to the problem of retrieving functions from a library indexed by types investigated by Rittri. It also has potential applications to the problem of polymorphic type inference and polymorphic higher-order unification, which in turn is relevant to theorem proving and logic programming. (shrink)