Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial and (...) linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

Obituaries are an especially rich resource for identifying people’s values. Because obituaries are succinct and explicitly intended to summarize their subjects’ lives, they may be expected to include only the features that the author(s) find most salient, not only for themselves as relatives or friends of the deceased, but also to signal to others in the community the socially-recognized aspects of the deceased’s character. We report three approaches to the scientific study of virtue and value through obituaries. We begin by (...) reviewing studies 1 and 2, in which obituaries were carefully read and labeled. We then report study 3, which further develops these results with a semi-automated, large-scale semantic analysis of several thousand obituaries. Finally, we present the results of study 4 in which individuals were asked to write prospective obituaries. Geography, gender, and elite status all turn out to influence the virtues and values associated with the deceased. (shrink)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

It's possible to understand an infinite number of novel maps. I argue that Roberto Casati and Achille Varzi's compositional semantics of maps cannot explain this possibility, because it requires an infinite number of semantic primitives. So the semantics of maps is puzzlingly different from the semantics of language.

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)

Mental health research faces a suite of unresolved challenges that have contributed to a stagnation of research efforts and treatment innovation. One such challenge is how to reliably and validly account for the subjective side of patient symptomatology, that is, the patient’s inner experiences or patient phenomenology. Providing a structured, standardised semantics for patient phenomenology would enable future research in novel directions. In this contribution, we aim at initiating a standardized approach to patient phenomenology by sketching a tentative formalisation (...) within the framework of an applied ontology, in the broader context of existing open-source Open Biomedical Ontologies resources such as the Mental Functioning Ontology. We further discuss a number of prevailing challenges and observations bearing on this task. (shrink)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

Semantic interoperability requires the use of standards, not only for Electronic Health Record (EHR) data to be transferred and structurally mapped into a receiving repository, but also for the clinical content of the EHR to be interpreted in conformity with the original meanings intended by its authors. Accurate and complete clinical documentation, faithful to the patient’s situation, and interoperability between systems, require widespread and dependable access to published and maintained collections of coherent and quality-assured semantic resources, including models such as (...) archetypes and templates that would (1) provide clinical context, (2) be mapped to interoperability standards for EHR data, (3) be linked to well specified, multi-lingual terminology value sets, and (4) be derived from high quality ontologies. Wide-scale engagement with professional bodies, globally, is needed to develop these clinical information standards. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

This paper is about knowledge construction in music listening. It argues for an experiential approach to music cognition, stressing the dynamic-vectorial field of meaning rather than the symbolic field. Starting from the conceptual framework of deixis and indexical devices, it elaborates on the concept of pointing as a heuristic guide for sense-making which allows the listener to conceive of perceptual elements in terms of salience, valence and semantical weight. As such, the act of (mental) pointing can be predicative, either in (...) a nominalistic or processual way, giving a description of the temporal evolution of a situation as against episodic nominalizations that refer to just one single instance of the process. The latter, especially, are characterized by distancing and polarization between the listener and the music, allowing him/her to deal with the music also at a level of mental imagery and to construct a mental or cognitive map of its unfolding. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't (...) make use of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

Mental capacities for perceiving, remembering, thinking, and planning involve the processing of structured mental representations. A compositional semantics of such representations would explain how the content of any given representation is determined by the contents of its constituents and their mode of combination. While many have argued that semantic theories of mental representations would have broad value for understanding the mind, there have been few attempts to develop such theories in a systematic and empirically constrained way. This paper contributes (...) to that end by developing a semantics for a ‘fragment’ of our mental representational system: the visual system’s representations of the bounding contours of objects. At least three distinct kinds of composition are involved in such representations: ‘concatenation’, ‘feature composition’, and ‘contour composition’. I sketch the constraints on and semantics of each of these. This account has three principal payoffs. First, it models a working framework for compositionally ascribing structure and content to perceptual representations, while highlighting core kinds of evidence that bear on such ascriptions. Second, it shows how a compositional semantics of perception can be compatible with holistic, or Gestalt, phenomena, which are often taken to show that the whole percept is ‘other than the sum of its parts’. Finally, the account illuminates the format of a key type of perceptual representation, bringing out the ways in which contour representations exhibit domain-specific form of the sort that is typical of structured icons such as diagrams and maps, in contrast to typical discursive representations of logic and language. (shrink)

A model of analogical mapping is proposed that uses five principles to generate consistent and conflicting hypotheses regarding assignments of elements of a source domain to analogous elements of a target domain. The principles follow the fine conceptual structure of the domains. The principles are: (1) the principle of proportional analogy; (2) the principle of mereological analogy, (3) the principle of chain reinforcement; (4) the principle of transitive reinforcement; and (5) the principle of mutual inconsistency. A constraint-satisfaction network is used (...) to find the set of assignments that preserves the greatest relational structure of the source. In contrast to the model proposed here, most models of analogical mapping use only the principle of proportional analogy. The use of many principles is shown to be superior in that it permits smoother integration of pragmatic factors and results in a more efficient mapping process. (shrink)

Concept maps are found to be useful in eliciting knowledge, meaningful learning, evaluation of understanding and in studying the nature of changes taking place during cognitive development, particularly in the classroom. Several experts have claimed the effectiveness of this tool for learning science. We agree with the claim, but the effectiveness will improve only if we gradually introduce a certain amount of discipline in constructing the maps. The discipline is warranted, we argue, because science thrives to be an unambiguous and (...) rigorously structured body of knowledge. Since learning science may be seen as a process where a novice is expected to be transformed into an expert, we use the context of learning science for making the proposal. Further, we identify certain anomalies in the evaluation of concept maps, and suggest that the evaluation should be based on semantics of the linking words (relation types) and not on graphical criteria alone. (shrink)

Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that (...) reflexive and personal pronouns are free variables that get bound by an antecedent through some coindexing mechanism. In variable free semantics the same task is performed by some combinator that identifies two arguments of the function it operates on (a duplicator). This combinator may be built into the lexical semantics of the pronoun, into that of the antecedent, or it may be a free-floating operation applicable to predicates or larger chunks of texts, i.e. a typeshifter. This note is concerned with the case of cross-sentential anaphora. It adopts Hepple’s and Jacobson’s interpretation of pronouns as identity maps and asks how this can be extended to the cross-sentential case, assuming the dynamic semantic view of anaphora. It first outlines the possibility of interpreting indefinites that antecede non-ccommanded pronouns as existential quantifiers enriched with a duplicator. Then it argues that it is preferable to use the duplicator as a type-shifter that applies “on the fly”. The proposal has consequences for two central ingredients of the classical dynamic semantic treatment: it does away with abstraction over assignments and with treating indefinites as inherently existentially quantified. However, cross-sentential anaphora remains a matter of binding, and the idea of propositions as context change potentials is retained. (shrink)

Certain problems with standard two-dimensional semantics are addressed and cases in which these problems arise explored. In such cases the primary intension cannot be univocally mapped in one and only one indexical world, thus standard two-dimensional semantics cannot efficiently address the problems presented. Subsequently, a modified model is presented which leads these problems to be averted in the replicated cases. This modified model admits primary intensions that are not univocally mapped. The conclusion discusses the advantages and disadvantages of (...) the modified model and analyzes its possible consequences for the philosophy of mind. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable to acquire more knowledge, which makes it a key virtue of the information age. However, the claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker ex- presses by uttering it. We therefore suggest analyzing intellectual (...) humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humili- ty’. We present a thesaurus-based methodology to map the semantic space of intellectual hu- mility and the vices it opposes as a heuristic to support philosophical and psychological anal- ysis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both lan- guages, we find basically the same three semantic dimensions of intellectual humility (sensi- bility, discreetness, and knowledge dimensions) as well as three dimensions of its related vic- es (self-overrating, other-underrating and dogmatism dimensions). The resulting semantic clusters were validated in an empirical study with English (n=276) and German (n=406) par- ticipants. We find medium to high correlations (0.54-0.72) between thesaurus similarity and perceived similarity, and we can validate the labels of the three dimensions identified in the study. But we also find indications of the limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for construct- ing psychometric scales for intellectual humility. (shrink)

Advances in emotion and affective science have yet to translate routinely into psychiatric research and practice. This is unfortunate since emotion and affect are fundamental components of many psychiatric conditions. Rectifying this lack of interdisciplinary integration could thus be a potential avenue for improving psychiatric diagnosis and treatment. In this contribution, we propose and discuss an ontological framework for explicitly capturing the complex interrelations between affective entities and psychiatric disorders, in order to facilitate mapping and integration between affective science and (...) psychiatric diagnostics. We build on and enhance the categorisation of emotion, affect and mood within the previously developed Emotion Ontology, and that of psychiatric disorders in the Mental Disease Ontology. This effort further draws on developments in formal ontology regarding the distinction between normal and abnormal in order to formalize the interconnections. This operational semantic framework is relevant for applications including clarifying psychiatric diagnostic categories, clinical information systems, and the integration and translation of research results across disciplines. (shrink)

In order to describe my findings/conclusions systematically, a new semantic system (i.e., a new language) has to be intentionally defined by the present article. Humans are limited in what they know by the technical limitation of their cortical language network. A reality is a situation model (SM). For example, the conventionally-called “physical reality” around my conventionally-called “physical body” is actually a “geometric” SM of my brain. The universe is an autonomous objective parallel computing automaton which evolves by itself automatically/unintentionally – (...) wave-particle duality and Heisenberg’s uncertainty principle can be explained under this “first-order” SM of my brain. Each elementary particle (as a building block of the universe) is an autonomous mathematical entity itself (i.e., a thing in itself). If we are happy to accept randomness, it is obviously possible that all other worlds in the many-worlds interpretation do not exist objectively. The conventionally-called “space” does not exist objectively. “Time” and “matter” are not physical. Consciousness is the subjective-form (aka quale) of the mathematical models (of the objective universe) which are intracorporeally/subjectively used by the control logic of a Turing machine’s program objectively-fatedly. A Turing machine’s consciousness or deliberate decisions/choices should not be able to actually/objectively change/control/drive the (autonomous or objectively-fated) world line of any elementary particle within this world. Besides the Schrodinger equation (or its real-world counterpart) which is a valid/correct/factual causality of the universe, every other causality (of the universe) is either invalid/incorrect/counterfactual or can be proved by deductive inference based on the Schrodinger equation only. If the “loop quantum gravity” theory is correct, time/space does not actually/objectively exist in the objective-evolution of the objective-reality, or in other words, we should not use the subjective/mental concept of “time”, “state” or “space” to describe/imagine the objective-evolution of the universe. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

This paper demarcates a theoretically interesting class of "evaluational adjectives." This class includes predicates expressing various kinds of normative and epistemic evaluation, such as predicates of personal taste, aesthetic adjectives, moral adjectives, and epistemic adjectives, among others. Evaluational adjectives are distinguished, empirically, in exhibiting phenomena such as discourse-oriented use, felicitous embedding under the attitude verb `find', and sorites-susceptibility in the comparative form. A unified degree-based semantics is developed: What distinguishes evaluational adjectives, semantically, is that they denote context-dependent measure functions (...) ("evaluational perspectives")—context-dependent mappings to degrees of taste, beauty, probability, etc., depending on the adjective. This perspective-sensitivity characterizing the class of evaluational adjectives cannot be assimilated to vagueness, sensitivity to an experiencer argument, or multidimensionality; and it cannot be demarcated in terms of pretheoretic notions of subjectivity, common in the literature. I propose that certain diagnostics for "subjective" expressions be analyzed instead in terms of a precisely specified kind of discourse-oriented use of context-sensitive language. I close by applying the account to `find x PRED' ascriptions. (shrink)

This article surveys theories of metaphor in analytic philosophy and cognitive science. In particular, it focuses on contemporary semantic, pragmatic and non-cognitivist theories of linguistic metaphor and on the Conceptual Metaphor Theory advanced by George Lakoff and his school. Special attention is given to the mechanisms that are shared by nearly all these approaches, i.e. mechanisms of interaction and mapping between conceptual domains. Finally, the article discusses several recent attempts to combine these theories of linguistic and conceptual metaphor into a (...) unitary account. (shrink)

The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that object-object (...) mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)

Henry Molaison, aged eighty-two, died at the end of 2008, and just after noon on exactly the first anniversary of his death, December 2, 2009, scientists began slicing his brain into 2,500 tissue samples. Known primarily in his lifetime as only H.M., he left his brain to science so that it could be dissected and digitally mapped – a gift much beloved by many scientists. An amnesiac in life, H.M. first rose to prominence in 1962 when Dr. Brenda Milner, a (...) pioneer in the field of neuropsychology, demonstrated that though H.M. was severely amnesic and could not remember past activities, he could nevertheless learn certain habits. The experiment involved the now famous mirror drawing. This article, written by a philosopher/artist and a neuroscientist/neuroaesthetician, argues that artists are unable to verbally articulate thoughts about their own art practice for reasons similar to why H.M. could not. All memories are not stored in the same part of the brain. Different categories of memories i.e., semantic memory or procedural memory, are stored in different parts of the brain. We argue that the procedural memory is not readily accessible to semantic memory. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Metaphors have computable semantics. A program called NETMET both generates metaphors and produces partial literal interpretations of metaphors. NETMET is based on Kittay's semantic field theory of metaphor and Black's interaction theory of metaphor. Input to NETMET consists of a list of literal propositions. NETMET creates metaphors by finding topic and source semantic fields, producing an analogical map from source to topic, then generating utterances in which terms in the source are identified with or predicated of terms in the (...) topic. Given a metaphor, NETMET utilizes if-then rules to generate the implication complex of that metaphor. The literal leaves of the implication complex comprise a partial literal interpretation. (shrink)

This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to (...) equate falsity with the non-existence of a proof since this would render a statement such as “pi is transcendental” false prior to 1882. In addition, the intuitionist account of negation as shorthand for the derivation of absurdity is inadequate, particularly outside of purely mathematical contexts. To deal with these issues, I investigate the dual of intuitionistic logic, co-intuitionistic logic, as a logic of refutation, alongside intuitionistic logic of proofs. Direct proof and refutation are dual to each other, and are constructive, whilst there also exist syntactic, weak, negations within both logics. In this respect, the logic of refutation is weakly paraconsistent in the sense that it allows for statements for which, neither they, nor their negation, are refuted. I provide a proof theory for the co-constructive logic, a formal dualizing map between the logics, and a Kripke-style semantics. This is given an intuitive philosophical rendering in a re-interpretation of Kolmogorov’s logic of problems. (shrink)

This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (...) (alleged) benefits of logical inferentialism, chiefly with regards to the epistemology of logic, and consider a number of objections. §3 introduces and critically examines the most influential and most fully developed form of global inferentialism: Robert Brandom’s inferentialism about linguistic and conceptual content in general. Finally, in §4 we consider a number of general objections to IRS and consider possible responses on the inferentialist’s behalf. (shrink)

This paper distinguishes three concepts of "race": bio-genomic cluster/race, biological race, and social race. We map out realism, antirealism, and conventionalism about each of these, in three important historical episodes: Frank Livingstone and Theodosius Dobzhansky in 1962, A.W.F. Edwards' 2003 response to Lewontin (1972), and contemporary discourse. Semantics is especially crucial to the first episode, while normativity is central to the second. Upon inspection, each episode also reveals a variety of commitments to the metaphysics of race. We conclude by (...) interrogating the relevance of these scientific discussions for political positions and a post-racial future. (shrink)

Conceptual Metaphor Theory makes some strong claims against so-called Classical Theory which spans the accounts of metaphors from Aristotle to Davidson. Most of these theories, because of their traditional literal-metaphorical distinction, fail to take into account the phenomenon of conceptual metaphor. I argue that the underlying mechanism for explaining metaphor bears some striking resemblances among all of these theories. A mapping between two structures is always expressed. Conceptual Metaphor Theory insists, however, that the literal-metaphorical distinction of Classical Theories is empirically (...) wrong. I claim that this criticism is based rather on terminological decisions than on empirical issues. Conceptual Metaphor Theory focusses primarily on conventional metaphors and struggles to extend its mechanism to novel metaphors, whereas Classical Theories focus on novel metaphors and struggle to extend their mechanisms to conventional metaphors. Since all of these theories study metaphors from the synchronic point of view, they are unable to take into account any semantic change. A diachronic perspective is what we need here, one which would allow us to explain the role of metaphor in semantic change and the development of language in general. (shrink)

This chapter contains section titles: Introduction Section 1 Section 2 Conclusion.

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

Multiple realizability has been at the heart of debates about whether the mind reduces to the brain, or whether the items of a special science reduce to the items of a physical science. I analyze the two central notions implied by the concept of multiple realizability: "multiplicity," otherwise known as property variability, and "realizability." Beginning with the latter, I distinguish three broad conceptual traditions. The Mathematical Tradition equates realization with a form of mapping between objects. Generally speaking, x realizes (or (...) is the realization of) y because elements of y map onto elements of x. The Logico-Semantic Tradition translates realization into a kind of intentional or semantic notion. Generally speaking, x realizes (or is the realization of) a term or concept y because x can be interpreted to meet the conditions for satisfying y. The Metaphysical Tradition views realization as a species of determination between objects. Generally speaking, x realizes (or is the realization of) y because x brings about or determines y. I then turn to the subject of property variability and define it in a formal way. I then conclude by discussing some debates over property identity and scientific theory reduction where the resulting notion of multiple realizability has played a central role, for example, whether the nonreductive consequences of multiple realizability can be circumvented by scientific theories framed in terms of narrow domain-specific properties, or wide disjunctive properties. (shrink)

In The Elm and the Expert (1994), Fodor rejects the notion of narrow content as superfluous. He envisions a scientific intentional psychology that adverts only to broad content properties in its explanations. I show that there has been no change in Fodor's treatment of Frege cases and cases involving the so‐called deferential concepts. And for good reason: his notion of narrow content (1985‐91) couldn't explain them. The only apparent change concerns his treatment of Twin Earth cases. However, I argue that (...) the notion of broad content that his purely informational semantics delivers is, in some interesting sense, equivalent to the mapping notion of narrow content he officially gave up. I also critically reconstruct the evolution of Fodor's thinking between 1980 and 1994. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

A “conceptual spaces” approach is used to formalize Aristotle’s main intuitions about time and change, and other ideas about temporal points of view. That approach has been used in earlier studies about points of view. Properties of entities are represented by locations in multidimensional conceptual spaces; and concepts of entities are identified with subsets or regions of conceptual spaces. The dimensions of the spaces, called “determinables”, are qualities in a very general sense. A temporal element is introduced by adding a (...) time variable to state functions that map entities into conceptual spaces. That way, states may have some permanency or stability around time instances. Following Aristotle’s intuitions, changes and events will not be necessarily instant phenomena, instead they could be processual and interval dependent. Change is defined relatively to the interval during which the change is taking place. Time intervals themselves are taken to represent points of view. To have a point of view is to look at the world as it is in the selected interval. Many important concepts are relativized to intervals, for instance change, events, identity, ontology, potentiality, etc. The definition of points of view as intervals allows to compare points of view in relation to all these concepts. The conceptual space approach has an immediate semantic and structural character, but it is tempting to develop also logics to describe them. A formal language is introduced to show how this could be done. (shrink)

A huge amount of data is being generated everyday through different transactions in industries, social networking, communication systems etc. Big data is a term that represents vast volumes of high speed, complex and variable data that require advanced procedures and technologies to enable the capture, storage, management, and analysis of the data. Big data analysis is the capacity of representing useful information from these large datasets. Due to characteristics like volume, veracity, and velocity, big data analysis is becoming one of (...) the most challenging research problems. Semantic analysis is method to better understand the implied or practical meaning of the input dataset. It is mostly applied with ontology to analyze content mainly in web resources. This field of research combines text analysis and Semantic Web technologies. The use semantic knowledge is to aid sentiment analysis of queries like emotion mining, popularity analysis, recommendation systems, user profiling, etc. A new method has been proposed to extract semantic relationships between different data attributes of big data which can be applied to a decision system. (shrink)

The classical holism-reductionism debate, which has been of major importance to the development of ecological theory and methodology, is an epistemological patchwork. At any moment, there is a risk of it slipping into an incoherent, chaotic Tower of Babel. Yet philosophy, like the sciences, requires that words and their correlative concepts be used rigorously and univocally. The prevalent use of everyday language in the holism-reductionism issue may give a false impression regarding its underlying clarity and coherence. In reality, the conceptual (...) categories underlying the debate have yet to be accurately defined and consistently used. There is a need to map out a clear conceptual, logical and epistemological framework. To this end, we propose a minimalist epistemological foundation. The issue is easier to grasp if we keep in mind that holism generally represents the ontological background of emergentism, but does not necessarily coincide with it. We therefore speak in very loose terms of the “holism-reductionism” debate, although it would really be better characterised by the terms emergentism and reductionism. The confrontation between these antagonistic paradigms unfolds at various semantic and operational levels. In definitional terms, there is not just emergentism and reductionism, but various kinds of emergentisms and reductionisms. (shrink)

The first part of this article (Sections 1–5) focuses on the classical notions of scope and binding and their formal foundations. It argues that once their semantic core is properly understood, it can be implemented in various different ways: with or without movement, with or without variables. The second part (Sections 6–12) takes up the empirical issues that have redrawn the map in the past two decades. It turns out that scope is not a primitive. Existential scope and distributive scope (...) have to be distinguished, leaving few if any run-of-the-mill quantifiers. Scope behavior is also not uniform. At least three classes of expressions emerge: indefinites, distributive universals, and counters. Likewise, the bound variable interpretation of pronouns is joined by co-variation with situations. As a result, the classical notions of scope and binding are likely to end up as building blocks in the varied mechanisms at work in “scope phenomena” and “binding phenomena”, and not as self-contained analyses of those phenomena. (shrink)

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can be (...) spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...) (ii). This results in the adaptive logics LNPr and LNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPr and LNPm are equipped with a preferential semantics and a dynamic proof theory. (shrink)

Epistemic contextualism (EC) is primarily a semantic view, viz. the view that ‘knowledge’-ascriptions can change their contents with the conversational context. To be more precise, EC is the view that the predicate ‘know’ has an unstable Kaplan character, i.e. a character that does not map all contexts on the same content. According to EC, ‘know’ is thus an indexical expression. Notwithstanding this purely linguistic characterisation of EC, contextualists have traditionally argued that their views have considerable philosophical impact, this being due (...) to the alleged fact that their linguistic views about ‘know’ provide the resources for a resolution of sceptical puzzles. In this paper I will address an objection to EC claiming that, as a linguistic view about the term ‘know’, EC cannot be of any epistemological significance. (shrink)

Eli Hirsch argues that certain ontological disputes involve a conflict between “equivalent” languages, and that the principle of charity compels each disputant to interpret the other as speaking truly in their own language. For Hirsch, a language’s semantics maps sentences (in context) onto sets of possible worlds but assigns no role to reference. I argue that this method leads to an overly uncharitable portrayal of the disputes at issue – whereby ontologists who speak “equivalent” languages can only argue about (...) syntax. Lack of charity stems from the fact that this portrayal likely fails to uphold the self-conception of the disputants – and particularly what I will call “the weak self-conception”. As a result, Hirsch’s deflationism falls victim of the same principle of charity that informs it. (shrink)

The success of deep learning in natural language processing raises intriguing questions about the nature of linguistic meaning and ways in which it can be processed by natural and artificial systems. One such question has to do with subword segmentation algorithms widely employed in language modeling, machine translation, and other tasks since 2016. These algorithms often cut words into semantically opaque pieces, such as ‘period’, ‘on’, ‘t’, and ‘ist’ in ‘period|on|t|ist’. The system then represents the resulting segments in a dense (...) vector space, which is expected to model grammatical relations among them. This representation may in turn be used to map ‘period|on|t|ist’ (English) to ‘par|od|ont|iste’ (French). Thus, instead of being modeled at the lexical level, translation is reformulated more generally as the task of learning the best bilingual mapping between the sequences of subword segments of two languages; and sometimes even between pure character sequences: ‘p|e|r|i|o|d|o|n|t|i|s|t’ → ‘p|a|r|o|d|o|n|t|i|s|t|e’. Such subword segmentations and alignments are at work in highly efficient end-to-end machine translation systems, despite their allegedly opaque nature. The computational value of such processes is unquestionable. But do they have any linguistic or philosophical plausibility? I attempt to cast light on this question by reviewing the relevant details of the subword segmentation algorithms and by relating them to important philosophical and linguistic debates, in the spirit of making artificial intelligence more transparent and explainable. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest in (...) exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

The conceptual framework that emerged in relation to Komsic’s theory of social pulsations is composed of notions we will deem convenient in the reception of this theory: the anomalous character of social causation, implicit normative inferentialism, projective semantics of social relations, projective sociology, projective social phenomenology, inferential explication of social relations, social inferentialism, and many others. This conceptual framework is part of a “partial doctrine” itself, or a counter-factual position within sociological theory that could legitimately be called projective sociology, (...) or connectionistic social theory, that is founded on a new projective semantics of social relations. If we are able interpret Komsic’s approach to social theory through the conceptual framework presented here, then the evidence of its sustainability lies in the constructability of this new conceptual framework, that is in the mapping of structures which the two sets of propositions, or claims, produce when and if brought into resonance. (shrink)