This chapter contains sections titled: The Syntax and Semantics of Complex Sortal Terms On the Identity of Sorts.

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional (...) in nature and possess, in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

This chapter contains sections titled: Appendix: Some Formal Principles and Arguments.

It is argued that the usual proposals for dealing with mass-Quantification--All x is f--Are inadequate with the predicate is complex or when multiple quantification is considered. Mass-Quantification is seen as a generalisation of ordinary (thing) quantification in that the specialising assumption that the domain of quantification is atomic is not made. It is suggested that the semantic values of predicates are complete ideals of the boolean algebra consisting of the quantity which is the domain of quantification and all its (...) sub-Quantities, While logical connectives are represented by operations on complete ideals. (shrink)

This paper introduces a new method of interpreting complex relation terms in a second-order quantified modal language. We develop a completely general second-order modal language with two kinds of complex terms: one kind for denoting individuals and one kind for denoting n-place relations. Several issues arise in connection with previous, algebraic methods for interpreting the relation terms. The new method of interpreting these terms described here addresses those issues while establishing an interesting connection between λ and ε calculi. (...) The resulting semantics provides a precise understanding of the theory of relations. (shrink)

Complex demonstratives, expressions of the form 'That F', 'These Fs', etc., have traditionally been taken to be referring terms. Yet they exhibit many of the features of quantified noun phrases. This has led some philosophers to suggest that demonstrative determiners are a special kind of quantifier, which can be paraphrased using a context sensitive definite description. Both these views contain elements of the truth, though each is mistaken. We advance a novel account of the semantic form of complex (...) demonstratives that shows how to reconcile the view that they function like quantified noun phrases with the view that simple demonstratives function as context sensitive referring terms wherever they occur. If we are right, previous accounts of complex demonstratives have misconceived their semantic role; and philosophers relying on the majority view in employing complex demonstratives in analysis have proceeded on a false assumption. (shrink)

A general mathematical framework, based on countable partitions of Natural Numbers [1], is presented, that allows to provide a Semantics to propositional languages. It has the particularity of allowing both the valuations and the interpretation Sets for the connectives to discriminate complexity of the formulas. This allows different adequacy criteria to be used to assess formulas associated with the same connective, but that differ in their complexity. The presented method can be adapted potentially infinite number of connectives and truth values, (...) therefore, it can be considered a general framework to provide semantics to several of the known logic systems (eg, LC, L3 LP, FDE). The presented semantics allow to converge to different standard semantics if the separation complexity procedure is annulled. Therefore, it can be understood as a framework that allows greater precision (in complexity terms) with respect to formula satisfaction. Naturally, because of how it is built, it can be incorporated into non-deterministic semantics. The presented procedure also allows generating valuations that grant a different truth value to each formula of propositional language. As a positive side effect, our method allows a constructive proof of the equipotence between N and N^n for all Natural n. (shrink)

Christopher Hom has recently argued that the best-overall account of the meaning of pejorative terms is a semantic account according to which pejoratives make a distinctive truth-conditional contribution, and in particular express complex, negative socially constructed properties. In addition, Hom supplements the semantic account with a pragmatic strategy to deal with the derogatory content of occurrences of pejorative terms in negations, conditionals, attitude reports, and so on, according to which those occurrences give rise to conversational implicatures to the effect (...) that the pejorative terms are non-empty, which explains the offensiveness of those occurrences. In this paper, I aim to defend this semantic strategy from several recent objections, and I will also present a novel objection, which in my view shows that we should understand the semantic account as a version of inferentialism, rather than radical externalism. (shrink)

My dissertation is concerned with natural kind terms; its most basic goal is to provide a semantic account of the role these play in scientific discourse. Since my broad semantic approach follows Sellars and Brandom in looking to the pragmatically articulated inferential role of sentences rather than their relation to the world, I manage to set aside metaphysical questions regarding the nature of kinds. I begin with an account of the central role played by natural kind terms in theoretical explanation. (...) I show how natural kind terms are essential to the explanatory function of scientific laws as inference licenses of a certain sort. I turn then to the curious fact that natural kind terms occur in multiple grammatical positions: as parts of attributive predicates and as apparently singular referents . This latter role is at times one that seems to involve a quantificational attribution to all members of the kind, but at other times is more robust . My account demonstrates the utility of just such ambiguity to the role played by kind terms in explanation. I go on to account for a number of other puzzling features of natural kind term usage and to explain the distinction between natural kind terms and other sortals on grounds of their distinctive pragmatic significances. I conclude by laying out how my view can be extended to give a semantics for other sorts of kind terms . This allows us to draw a substantial distinction between gerrymandered kind terms and those that our theories should genuinely commit us to, while acknowledging that the entire natural/social divide among the kind terms stands or falls with our ability to show that there is an important fundamental distinction between different sorts of theories. (shrink)

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A (...) formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. (shrink)

The essay first makes some observations on the general interrelationship between the logical writings of Albert and Buridan. Second, it gives an account of a ‘semantic logical model’ for analyzing complex subject terms in some basic categorical propositions which is defended by Albert of Saxony, and briefly recounts Buridan's criticisms of that model. Finally, the essay maintains that the Albertian model is typically compatible with, and a further development of, what is called by a late-fourteenth century anonymous scholar ‘the (...) English-Rule’ but the ‘determinable/determinate’ grammatical model defended by Buridan is not. (shrink)

Possible world semantics considers not only what an expression actually refers to but also what it might have referred to in counterfactual circumstances. This has proven exceptionally useful both inside and outside philosophy. The way this is achieved is by using intensions. An intension of an expression is a function that assigns to each possible world the reference of the expression in that world. However, the specific intension of terms has been subject to frequent disputes. How is one to determine (...) the intension of a term? Carnap has shown how the intension of a term depends on the type of that term. Two-dimensional semantics has shown how intensions also depend on the actual state of affairs. I will show how, in addition, intensions are no less dependent on metaphysical criteria of identity. Furthermore, I will reveal how these three factors interact to fix the exact intension of a term. In other words, I propose an outline of the overall mechanism by which intensions are being fixed. (shrink)

What is the difference between the complex view of personal identity over time and the simple view? Traditionally, the defenders of the complex view are said to include Locke and Hume, defenders of the simple view to include Butler and Reid. In our own time it is standard to think of Chisholm and Swinburne as defenders of the simple view and Shoemaker, Parfit, Williams and Lewis as defenders of the complex view. But how exactly is the distinction (...) to be characterized? One difference between the two camps is that defenders of the simple view emphasize the difference between diachronic personal identity and the identity of other objects; they insist that in the case of the other familiar types that figure in philosophical puzzle cases about identity – ships, statues, plants and so on – the correct view is the complex one. On the other hand, defenders of the complex view do not hold a simple view of other things; rather they think that the complex view is correct across the board. We therefore need an account of the distinction which allows us to speak generally of ‘the complex/simple view of the diachronic identity of things of sort S’ where ‘S’ is a sortal term. A respectable view about problems of identity in general is that there aren’t any: any genuine philosophical puzzles can be rephrased so that the language of identity drops out. In what follows, I offer an account of the simple/complex contrast which conforms to this Lewisean view. 1 We can begin by distinguishing two types of constraint on personhood. Type, or synchronic constraints, are capturable in the form: If x is a person, then if x exists at t, Fxt where ‘ F represents a term for a non-historical property, a property …. (shrink)

This article focuses on the relevance of computational complexity for cognition. The syntactic items may be expressions that are surface strings. But in general, strings are syntactically ambiguous in that they can be generated in more than one way from atomic expressions and operations. The semantic function must take disambiguated items as arguments. When expressions are ambiguous, expressions cannot be the arguments. Instead, it is common to take the arguments to be terms, whose surface syntax reflects the derivation of the (...) string. The semantic function differs in one other important respect from an arithmetic function, since it maps entities between domains, from a syntactic to an ontic or conceptual domain of meanings. Compositionality helps to explain the rate of success in linguistic communication when the sentence used or the content communicated is new. (shrink)

In this paper we address an important issue in the development of an adequate formal theory of underspecified semantics. The tension between expressive power and computational tractability poses an acute problem for any such theory. Generating the full set of resolved scope readings from an underspecified representation produces a combinatorial explosion that undermines the efficiency of these representations. Moreover, Ebert (2005) shows that most current theories of underspecified semantic representation suffer from expressive incompleteness. In previous work we present an account (...) of underspecified scope representations within Property Theory with Curry Typing (PTCT), an intensional first-order theory for natural language semantics. We review this account, and we show that filters applied to the underspecified-scope terms of PTCT permit expressive completeness. While they do not solve the general complexity problem, they do significantly reduce the search space for computing the full set of resolved scope readings in non-worst cases. We explore the role of filters in achieving expressive completeness, and their relationship to the complexity involved in producing full interpretations from underspecified representations. This paper is dedicated to Jim Lambek. (shrink)

A wealth of literature has been devoted to the problem of developing an adequate semantic analysis of sortally incorrect statements. The motivation is clear, albeit controversial: sortally incorrect statements appear to exhibit an unusual behavior when coupled with other statements in logically complex statements. For instance, two senses of negation are distinguishable when the operation is applied to sortally incorrect statements. In this paper, I shall reopen the question of the "correct" semantic analysis of sortally incorrect statements.

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)

Background To produce and understand words, humans access the mental lexicon. From a functional perspective, the long-term memory component of the mental lexicon is comprised of three levels: the concept level, the lemma level, and the phonological level. At each level, different kinds of word information are stored. Semantic as well as phonological cues can help to facilitate word access during a naming task, especially when neural dysfunctions are present. The processing corresponding to word access occurs in specific parts (...) of working memory. Neural models for simulating speech processing help to uncover the complex relationships that exist between neural dysfunctions and corresponding behavioral patterns. Methods The Neural Engineering Framework (NEF) and the Semantic Pointer Architecture (SPA) are used to develop a quantitative neural model of the mental lexicon and its access during speech processing. By simulating a picture-naming task (WWT 6-10), the influence of cues is investigated by introducing neural dysfunctions within the neural model at different levels of the mental lexicon. Results First, the neural model is able to simulate the test behavior for normal children that exhibit no lexical dysfunction. Second, the model shows worse results in test performance as larger degrees of dysfunction are introduced. Third, if the severity of dysfunction is not too high, phonological and semantic cues are observed to lead to an increase in the number of correctly named words. Phonological cues are observed to be more effective than semantic cues. Conclusion Our simulation results are in line with human experimental data. Specifically, phonological cues seem not only to activate phonologically similar items within the phonological level. Moreover, phonological cues support higher-level processing during access of the mental lexicon. Thus, the neural model introduced in this paper offers a promising approach to modeling the mental lexicon, and to incorporating the mental lexicon into a complex model of language processing. (shrink)

Complex demonstrative phrases, in English, are phrases such as ‘that woman in the department’ and ‘that car on the corner’. They are of particular interest to philosophers for two related reasons. The first involves the problem of intentionality. If there are phrases that are candidates for “latching directly onto the world,” they are such phrases, and their “simple” counterparts, as in the occurrences of ‘that’ in ‘that is nice’. As a result, philosophers interested in intentionality, from the sense-data theorists (...) to contemporary philosophers of mind, have devoted considerable attention to the question of how a demonstrative thought links to its object. The second reason involves issues in semantics and the philosophy of language. In the course of investigations into the model theory for modal logic in the 1950s and 1960s, philosophers recognized that the simplest way to treat terms was as modally rigid, namely as designating their actual designations relative to any possible world in which they existed, and nothing else in other worlds. It was soon recognized that this semantic property could be elegantly explained by the assumption that the semantics of singular terms reflects the role of singular terms in linking representations directly to the world. If the semantic contribution of a singular term to a thought is simply the object it denotes, and the thought is the object of modal evaluation, then the modal rigidity of the class of terms falls out as a consequence. Demonstrative phrases, both simple and complex, have always been taken to be among the paradigms for this picture of reference, which has come to be known as “the direct reference” model. (shrink)

In “Complex Demonstratives: A Quantificational Account” (MIT Press 2001) (henceforth CD), I argued that complex demonstratives are quantifiers. Many philosophers had held that demonstratives, both simple and complex, are referring terms. Since the publication of CD various objections to the account of complex demonstratives I defended in it have been raised. In the present work, I lay out these objections and respond to them.

Ockham’s connotation theory is essential to his ontological program. To carry out and justify his ontological project of eliminating alleged entities falling under eight Aristotelian categories, Ockham needs and in effect uses a connotation theory which provides him a recursive semantics for the mental language. Another important thesis about Ockham’s connotation theory, pointed out recently by Claude Panaccio and now widely accepted, is that Ockham allowed simple connotative terms in the mental language. However, among current interpretations of Ockham’s connotation theory, (...) none is able to accommodate both theses. In this paper, I offer a new interpretation, based upon a distinction between metaphysical simplicity and semantic complexity of connotative terms, which I argue can accommodate both. (shrink)

This book attempts to marry truth-conditional semantics with cognitive linguistics in the church of computational neuroscience. To this end, it examines the truth-conditional meanings of coordinators, quantifiers, and collective predicates as neurophysiological phenomena that are amenable to a neurocomputational analysis. Drawing inspiration from work on visual processing, and especially the simple/complex cell distinction in early vision (V1), we claim that a similar two-layer architecture is sufficient to learn the truth-conditional meanings of the logical coordinators and logical quantifiers. As a (...) prerequisite, much discussion is given over to what a neurologically plausible representation of the meanings of these items would look like. We eventually settle on a representation in terms of correlation, so that, for instance, the semantic input to the universal operators (e.g. and, all)is represented as maximally correlated, while the semantic input to the universal negative operators (e.g. nor, no)is represented as maximally anticorrelated. On the basis this representation, the hypothesis can be offered that the function of the logical operators is to extract an invariant feature from natural situations, that of degree of correlation between parts of the situation. This result sets up an elegant formal analogy to recent models of visual processing, which argue that the function of early vision is to reduce the redundancy inherent in natural images. Computational simulations are designed in which the logical operators are learned by associating their phonological form with some degree of correlation in the inputs, so that the overall function of the system is as a simple kind of pattern recognition. Several learning rules are assayed, especially those of the Hebbian sort, which are the ones with the most neurological support. Learning vector quantization (LVQ) is shown to be a perspicuous and efficient means of learning the patterns that are of interest. We draw a formal parallelism between the initial, competitive layer of LVQ and the simple cell layer in V1, and between the final, linear layer of LVQ and the complex cell layer in V1, in that the initial layers are both selective, while the final layers both generalize. It is also shown how the representations argued for can be used to draw the traditionally-recognized inferences arising from coordination and quantification, and why the inference of subalternacy breaks down for collective predicates. Finally, the analogies between early vision and the logical operators allow us to advance the claim of cognitive linguistics that language is not processed by proprietary algorithms, but rather by algorithms that are general to the entire brain. Thus in the debate between objectivist and experiential metaphysics, this book falls squarely into the camp of the latter. Yet it does so by means of a rigorous formal, mathematical, and neurological exposition – in contradiction of the experiential claim that formal analysis has no place in the understanding of cognition. To make our own counter-claim as explicit as possible, we present a sketch of the LVQ structure in terms of mereotopology, in which the initial layer of the network performs topological operations, while the final layer performs mereological operations. The book is meant to be self-contained, in the sense that it does not assume any prior knowledge of any of the many areas that are touched upon. It therefore contains mini-summaries of biological visual processing, especially the retinocortical and ventral /what?/ parvocellular pathways computational models of neural signaling, and in particular the reduction of the Hodgkin-Huxley equations to the connectionist and integrate-and-fire neurons Hebbian learning rules and the elaboration of learning vector quantization the linguistic pathway in the left hemisphere memory and the hippocampus truth-conditional vs. image-schematic semantics objectivist vs. experiential metaphysics and mereotopology. All of the simulations are implemented in MATLAB, and the code is available from the book’s website. • The discovery of several algorithmic similarities between visison and semantics. • The support of all of this by means of simulations, and the packaging of all of this in a coherent theoretical framework. (shrink)

The article examines some Greek terms in relation to the moral values of ancient Greece. The ethical tradition, generally composed of authors who were not exactly professional philosophers, supplied basic and abundant material for the elaboration of platonic ethics. When dealing with the ancient ethics, it is essential to determine the value and the semantic complexity of the more important values (“competitive” and “collaborative” or “peaceful”) together with the respective implications: the axiologic terms have deeply diverse criteria of application, and (...) the criteria of application of the most important terms reflect beyond doubt and, at the same time, reveal the conception of life of the society in its totality and, therefore, the visions concerning the notion of happiness and good life. (shrink)

In the traditional scientific research and production activities, due to the lack of sufficient communication and communication between researchers, the phenomenon of waste of scientific research resources occurs from time to time, which hinders the efficiency of scientific research output. Based on the design principle of the semantic knowledge framework, this paper puts forward the definition of ontology and semantic relationship of the collaborative system of scientific researchers. In this paper, a framework of collaborative semantic knowledge among researchers is established (...) through decentralized semantic information exchange architecture. In this article, the simulation is verified by experiments and compared with other exchange architectures. The results of the experiment confirmed the semantic information exchange architecture based on semantic knowledge proposed in this paper is 10.39% faster than the traditional centralized method in terms of data volume; the construction speed under the data node perspective is 12.84% higher than that of the traditional centralized construction method; the subject query speed is 36.84% higher than that of the traditional centralization method; the predicate query speed is 31.58% higher than that of the traditional centralization method. The experimental results confirm that the semantic information exchange architecture based on the semantic knowledge framework is feasible, and it has excellent performance in terms of construction speed and query speed. Under the background that researchers rely more and more on collaborative technology to interact with other members, this paper has a certain reference value and exploration value and proposes a new idea of group collaboration system under the framework of semantic knowledge. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch (...) pluperfect imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

I examine one of the conceptual cornerstones of the field known as computational neuroscience, especially as articulated in Churchland et al. (1990), an article that is arguably the locus classicus of this term and its meaning. The authors of that article try, but I claim ultimately fail, to mark off the enterprise of computational neuroscience as an interdisciplinary approach to understanding the cognitive, information-processing functions of the brain. The failure is a result of the fact that the authors provide (...) no principled means to distinguish the study of neural systems as genuinely computational/information-processing from the study of any complex causal process. I then argue for two things. First, that in order to appropriately mark off computational neuroscience, one must be able to assign a semantics to the states over which an attempt to provide a computational explanation is made. Second, I show that neither of the two most popular ways of trying to effect such content assignation -- informational semantics and 'biosemantics' -- can make the required distinction, at least not in a way that a computational neuroscientist should be happy about. The moral of the story as I take it is not a negative one to the effect that computational neuroscience is in principle incapable of doing what it wants to do. Rather, it is to point out some work that remains to be done. (shrink)

Finding out which terms – scientific or otherwise— fail to refer is an extremely complex business since both felicitous reference and failure to refer must be negotiated. Causal theories of reference –even so-called hybrid theories – posit that in order to refer to something, we need the regulative idea of an ontological reference, which operates even when we refer to impossibilia or inconceivable objects. Evidently, this is not the case of the referent of phlogiston, which is neither inconceivable nor (...) impossible, nor, alas, does it exist. In the antipodes, from a representational-physicalist point of departure, a term fails to refer if it has no actual ontological grounds: phlogiston fails to refer because it has no physical existence. Phlogiston can even be considered to be a fictional entity, and referring to a fictional entity is not the same as a reference in a fiction or a fictional reference Salmon : a fictional entity is an object in the same sense as an abstract object, and therefore we can genuinely refer to it. The question is: who claims that phlogiston does not exist? Nowadays, everyone does, fundamentally and primarily because science has established it as a fact. The process that led to this result is extremely complex, lengthy and multi-dimensional. It involved factors of several kinds: cognitive, social, political, historical, as well as ontological, and this last factor has been neglected. I do not claim that phlogiston once existed and then ceased to exist -- science only allows us a sneak-peek into what exists and what, sometimes mistakenly, is supposed to exist. Paraphrasing Latour, this inquiry is about following the journey of the referents, even when they do not end up being physical-existent or existing objects. I believe with Bach that the notion of reference is essentially pragmatic; that the difference between alluding to something and referring to or denoting something must be established; that to achieve this the semantic properties of terms are not sufficient, and finally that references are not semantic but cognitive properties that relate thoughts and objects of any kind. My assumption is that to refer to something one must be capable of having thoughts about it and that the propositions one attempts to communicate in the course of referring to it are singular with respect to it. Being in a position to have a thought about a particular thing requires being connected to that thing, via perception, memory, communication and/ or education. Therefore, only in an exceedingly narrow realist theory of reference does phlogiston fail to refer. Unless a theory of reference of scientific terms is based on the study of the actual linguistic communicative practices among scientists, it will inevitably pose serious epistemological difficulties. (shrink)

Some demonstrative expressions, those we might term ‘bare demonstratives’, appear without any appended descriptive content (e.g. occurrences of ‘this’ or ‘that’ simpliciter). However, it seems that the majority of demonstrative occurrences do not follow this model. ‘Complex demonstratives’ is the collective term I shall use for phrases formed by adjoining one or more common nouns to a demonstrative expression (e.g. ‘that cat’, ‘this happy man’) and I will call the combination of predicates immediately concatenated with the demonstrative (...) in such phrases the ‘matrix’ of the expression. The question, then, is how we should construe the logical form of such expressions within a semantic theory for our language; and I wish to suggest that some recent answers to this question are, in fact, mistaken. The structure of the paper is as follows: first, I wish to highlight two (often underlying) assumptions about the nature of noun phrases in general, and suggest that, if they are both adopted, they apparently constrain the possible accounts of the logical form of complex demonstratives to just three options. The second and third parts of the paper will be concerned with expanding these options and arguing that none of them are adequate; thus the major part of the paper is concerned with the negative claim that the most obvious moves to make in this area must actually fail on closer inspection. The fourth and final section will then (very briefly) sketch the positive thesis of the paper: that we can deliver a clear and cohesive account of complex demonstratives, armed simply with elements which we will draw from David Kaplan’s theory of demonstratives, but only at the cost of rejecting (or at least refining) one assumption we recognised initially. (shrink)

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (...) (factorial complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional. (shrink)

ABSTRACT: Complex demonstratives raise problems in semantics and force a re-examination of basic principles underlying the New Theory of Reference. First, I present these problems and the relevant principles. Then, I explore the most common suggestions, for instance, as those put forward by Braun and Dever. Finally, I introduce my own view. The latter is a non-ad hoc extension of the Reflexive-Referential analysis of context-sensitive terms as discussed by Perry. It accounts for familiar problems, including those raised by the (...) fact that sometimes the object referred to does not satisfy the nominal, nor preserve the relevant principles.RÉSUMÉ: Les demonstratifs complexes soulèvent des problèmes sémantiques majeurs qui incitent à l’examen de principes sous-jacents à la nouvelle théorie de la référence. Je présente ces problèmes de même que les principes qu’ils semblent remettre en question, expose les deux principales approches des démonstratifs (celIes défendue par Braun et par Dever) et, finalement, suggère une théorie inspirée destravaux de John Perry sur les expressions référentielles sensibles aux contextes d’énonciation. Ma façon d’aborder les démonstratifs complexes est un prolongement de l’approche réflexive référentielle et fait appel à de multiples propositions exprimées par des énonciations. (shrink)

In this article, I explore the consequences of two commonsensical premises in semantics and epistemology: (1) natural language is a complex system rooted in the communal life of human beings within a given environment; and (2) linguistic knowledge is essentially dependent on natural language. These premises lead me to emphasize the process-socio-environmental character of linguistic meaning and knowledge, from which I proceed to analyse a number of long-standing philosophical problems, attempting to throw new light upon them on these grounds. (...) In particular, I criticize the use of expressions such as ‘absolute truth’, ‘absolute existence’ and ‘the thing in itself’, arguing that they lead to what I call ‘the ultralinguistic paradox’ (a fatal antinomy). In the same way, I review a number of mainstream topics in philosophical semantics, epistemology and metaphysics, reformulating them in terms much more naturalistic – and less mysterious – than usual. (shrink)

The word buddhi is an important term of Indian philosophical discourse, but some aspects of its use have caused confusion and continue to occasion difficulties. This paper undertakes a survey of the usage of the word buddhi in general Sanskrit literature from its earliest late Vedic occurrences up to the middle of the first millennium CE. Signifying fundamentally “awareness,” the word “buddhi” is shown to refer often to a being’s persisting capacity or faculty of awareness and also, often, to (...) the content of a being’s awareness. There are also instances where it is hard to determine which of these two kinds of reference are intended in our written sources, and there are other instances where both senses seem present simultaneously. Various examples attest to the use of the word to refer to an affective and volitional capacity in a being—and to affective and volitional content—as well as to a cognitive faculty and cognitive content. One feature that occurs frequently in the word’s use is that this faculty and, or, its content, regularly describe alterations of a subject’s knowledge of the surrounding situation, the transformation of surrounding complexity or multiplicity into a simpler and more manageable mental construct—an understanding, an interpretation, a decision, a plan, etc. As the word buddhi is related to the primary Sanskrit word-family used to describe the concrete experience of awakening—moving from no awareness to clear awareness—it is not surprising that its more abstract usage would often incorporate a similar dynamic, a transition from less clear to more clear knowledge, a rendering of early knowledge to better and more useful knowledge, in short, a faculty of “intellect” that produces refined decisions, resolutions, and determinations. It is suggested that this element of its semantic profile contributed to the word’s eventually becoming the preferred word for the most important of the mental functions of beings in one of the most widespread philosophical psychologies of ancient India, that which ultimately became formally enshrined in the philosophical system “Sāṃkhya.”. (shrink)

This paper presents a semantic and pragmatic theory of complex demonstratives. According to this theory, the semantic content of a complex demonstrative, in a context, is simply an object, and the semantic content of a sentence that contains a complex demonstrative, in a context, is a singular proposition. This theory is defended from various objections to direct reference theories of complex demonstratives, including King's objection from quantification into complex demonstratives.

Augustine held that scripture could have multiple true meanings, and scholars of Augustine have given this topic considerable treatment. Some have recognized the importance of divine authorial intention in this matter, but the relevance of ancient semantics to Augustine’s hermeneutics has not received sufficient attention. Ancient speakers would often explain a concept in varied ways that could all be considered true. This practice created the possibility that an author could intend for certain terms to be understood in multiple ways. I (...) call this a complex authorial intention. After describing some of the prominent views on Augustine’s multiple meanings of scripture, I will establish the concept of complex authorial intention from ancient semantic practice. In the light of these first two sections I will proceed to analyze three key texts in Augustine’s corpus: Confessions 12.30.41 and 13.24.37, as well as De Doctrina Christiana 3.2.2. I will argue that Augustine saw complex divine authorial intention as a theoretical justification for the multiplicity of meanings in scripture and that this view sets objective limits on the range of possible meanings. (shrink)

I offer an understanding of what it is for a term to be rigid which makes no serious metaphysical commitments to or about identity across possible worlds. What makes a term rigid is not that it 'refers to the same object(property) with respect to all worlds' - rather (roughly) it is that the criteria of application for the term with respect to other worlds, when combined with the criteria of identity associated with the term, ensure that (...) whatever meets the criteria of identity also meets the criteria of application and vice versa - in the simplest case, the criteria of application just are the criteria of identity - but things can be more complex to allow for the necessary a posteriori. This makes rigidity a non-metaphysically loaded semantic matters, and allows us to see that the phenomenon of and involving rigidity - especially the necessary a posteriori - are of no metaphysical significance on their own. (shrink)

Suppose we want to take seriously the neoverificationist idea that an intuitionistic theory of meaning can be generalized in such a way as to be applicable not only to mathematical but also to empirical sentences. The paper explores some consequences of this attitude and takes some steps towards the realization of this program. The general idea is to develop a meaning theory, and consequently a formal semantics, based on the idea that knowing the meaning of a sentence is tantamount to (...) having a criterion for establishing what is a justification for it. Section 1 motivates a requirement of epistemic transparency imposed onto justifications conceived as mental states. In Section 2, the formal notion of justification for an atomic formula is defined, in terms of the notion of cognitive state. In Section 3, the definition is extended to logically complex formulas. In Section 4, the notion of truth-ground is introduced and is used to give a definition of logical validity. (shrink)

Vector-based models of word meaning have become increasingly popular in cognitive science. The appeal of these models lies in their ability to represent meaning simply by using distributional information under the assumption that words occurring within similar contexts are semantically similar. Despite their widespread use, vector-based models are typically directed at representing words in isolation, and methods for constructing representations for phrases or sentences have received little attention in the literature. This is in marked contrast to experimental evidence (e.g., (...) in sentential priming) suggesting that semantic similarity is more complex than simply a relation between isolated words. This article proposes a framework for representing the meaning of word combinations in vector space. Central to our approach is vector composition, which we operationalize in terms of additive and multiplicative functions. Under this framework, we introduce a wide range of composition models that we evaluate empirically on a phrase similarity task. (shrink)

The relationship between thought and reality was a focal point of Wyclif’s reflection. On the one hand, Wyclif believed that thought was linguistically constrained by its own nature; on the other hand, he considered thought to be related to reality in its elements and constitution. Hence he deemed language, thought, and external reality to be of the same logical coherence. Within this context, the theory of supposition was intended to explain the different roles that terms can have in relation to (...) language and the extra-mental world when they appear as extremes in propositions. Characteristically, his theory of supposition provides an account not only of the truth-values of a sentence, but also of its meaning; it is not therefore simply a theory of reference, but a sort of complex analysis of language viewed as a semiotic system whose unique interpretative model was reality itself. It gives clear evidence of Wyclif’s realist stance and of his conviction that any kind of linguistic and semantic features must be grounded on ontological structures. (shrink)

Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical semantics is correct. (...) These include the observations that deontic modal sentences have both deliberative and evaluative readings and both information-sensitive and -insensitive readings. Adequate resolutions of certain puzzles in deontic logic and resolving the Frege-Geach problem for Expressivism have also achieved this status. The third section provides an opinionated overview of some of the main extant rivals to the canonical semantics, including Cariani, Kaufmann, and Kaufmann’s (2013) complex contextualism , Yalcin’s (2012) Expressivism, Willer’s (2014) dynamic semantics, and Starr’s (2016) dynamic Expressivism. Section 4 provides an assessment of each of the views discussed in terms of the desiderata introduced in section 2. Section 5 is an overview of remaining issues that require more attention in the literature. (shrink)

We define a semantics for conditionals in terms of stochastic graphs which gives a straightforward and simple method of evaluating the probabilities of conditionals. It seems to be a good and useful method in the cases already discussed in the literature, and it can easily be extended to cover more complex situations. In particular, it allows us to describe several possible interpretations of the conditional and to formalize some intuitively valid but formally incorrect considerations concerning the probabilities of conditionals (...) under these two interpretations. It also yields a powerful method of handling more complex issues. The stochastic graph semantics provides a satisfactory answer to Lewis’s arguments against the PC = CP principle, and defends important intuitions which connect the notion of probability of a conditional with the notion of conditional probability. It also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

Many of the terms of our language, such as “jar”, are open-textured in the sense that their applicability to novel objects is not entirely determined by their past usage. Many others, such as the verbs “use” and “have”, are schematic in the sense that they have only a very general meaning although on any particular occasion of use they denote some more particular relation. The phenomena of open texture and schematicity constitute a sharp challenge to referential semantics, which assumes that (...) every non-logical term has a definite extension. A different, non-referential approach to formal semantics defines truth as relative to a context and defines contexts as built up from exclusively linguistic entities. For any given utterance of a sentence, there will be one of these contexts that pertains to it. In this framework, open texture and schematicity can be understood as consequences of the complex nature of the pertaining relation between contexts and utterances. (shrink)

The two theories of verbal cognition, namely abhihitānvaya and anvitābhidhāna, first put forth by the Bhāṭṭa and Prābhākara Mīmāṃsakas respectively in the second half of the first millennium C.E., can be considered as being foundational as all subsequent thinkers of the Sanskritic intellectual tradition engaged with and elaborated upon these while debating the nature of language and meaning. In this paper, I focus on the first chapter of Śālikanātha’s Vākyārthamātṛkā and outline the process of anvitābhidhāna described therein. Śālikanātha explains this (...) as comprising three steps, and thereafter discusses each of these three to elaborate upon and philosophically defend this conception of how one cognizes sentential meaning. The aim of this paper is to present Śālikanātha’s three-step model, and thus demonstrate especially the distinct conception of abhidhāna for the Prābhākara Mīmāṃsakas as complex and chronologically extended as contrasted with the Bhāṭṭa conception of abhidhāna as non-complex and instantaneous. Such an understanding of the disparate semantic contents with which the Bhāṭṭas and Prābhākaras use the identical term abhidhāna is crucial for any correct study of their respective doctrines. (shrink)

This paper investigates the effects of (surface) DP-internal quantifying expressions on semantic interpretation. In particular, I investigate two syntactic constructions in which an adjective takes scope out of its embedding DP, thus raising an interesting question for strict compositionality. Regarding the first construction, I follow Larson (1999) and assume that the adjective incorporates into the determiner of its DP, forming a complex quantifier [D+A]. I present new evidence in favor of this analysis. Since Larson's semantic analysis of complex (...) quantifiers [D+A] makes a wrong prediction, I propose an alternative, empirically more adequate analysis that treats D+A compounds as pluractional quantifiers in the sense of Lasersohn (1995). Finally, I turn to the second construction, arguing that – despite superficial similarities to the first construction - it should not be analyzed in terms of complex quantifier formation, but in terms of LF-movement of the adjective to Spec,DP. The discussion suggests that there is more than one way for DP-internal modifiers to take DP-external scope in natural language. (shrink)

This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...) reading. We argue that as long as we do not explicitly compute the interpretation in terms of possible world models, one can compute the semantic representation of a given statement, including aspects of lexical meaning. This is a very generic process, so the results are, at least in principle, widely applicable. We also discuss the algorithmic complexity of this process. (shrink)

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...) that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. (shrink)

The widely accepted two-dimensional circumplex model of emotions posits that most instances of human emotional experience can be understood within the two general dimensions of valence and activation. Currently, this model is facing some criticism, because complex emotions in particular are hard to define within only these two general dimensions. The present theory-driven study introduces an innovative analytical approach working in a way other than the conventional, two-dimensional paradigm. The main goal was to map and project semantic emotion space (...) in terms of mutual positions of various emotion prototypical categories. Participants (N = 187; 54.5% females) judged 16 discrete emotions in terms of valence, intensity, controllability and utility. The results revealed that these four dimensional input measures were uncorrelated. This implies that valence, intensity, controllability and utility represented clearly different qualities of discrete emotions in the judgments of the participants. Based on this data, we constructed a 3D hypercube-projection and compared it with various two-dimensional projections. This contrasting enabled us to detect several sources of bias when working with the traditional, two-dimensional analytical approach. Contrasting two-dimensional and three-dimensional projections revealed that the 2D models provided biased insights about how emotions are conceptually related to one another along multiple dimensions. The results of the present study point out the reductionist nature of the two-dimensional paradigm in the psychological theory of emotions and challenge the widely accepted circumplex model. (shrink)