The reconciliation of theories of concepts based on prototypes, exemplars, and theory-like structures is a longstanding problem in cognitive science. In response to this problem, researchers have recently tended to adopt either hybrid theories that combine various kinds of representational structure, or eliminative theories that replace concepts with a more finely grained taxonomy of mental representations. In this paper, we describe an alternative approach involving a single class of mental representations called “semantic pointers.” Semantic pointers are (...) symbol-like representations that result from the compression and recursive binding of perceptual, lexical, and motor representations, effectively integrating traditional connectionist and symbolic approaches. We present a computational model using semantic pointers that replicates experimental data from categorization studies involving each prior paradigm. We argue that a framework involving semantic pointers can provide a unified account of conceptual phenomena, and we compare our framework to existing alternatives in accounting for the scope, content, recursive combination, and neural implementation of concepts. (shrink)

We propose a unified theory of intentions as neural processes that integrate representations of states of affairs, actions, and emotional evaluation. We show how this theory provides answers to philosophical questions about the concept of intention, psychological questions about human behavior, computational questions about the relations between belief and action, and neuroscientific questions about how the brain produces actions. Our theory of intention ties together biologically plausible mechanisms for belief, planning, and motor control. The computational feasibility of these mechanisms is (...) shown by a model that simulates psychologically important cases of intention. (shrink)

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

The semantic paradoxes, whose paradigm is the Liar, played a crucial role at a crucial juncture in the development of modern logic. In his 1908 seminal paper, Russell outlined a system, soon to become that of the Principia Mathematicae, whose main goal was the solution of the logical paradoxes, both semantic and settheoretic. Russell did not distinguish between the two and his theory of types was designed to solve both kinds in the same uniform way. Set theoreticians, however, (...) were content to treat only the set-theoretic paradoxes, putting aside the semantic ones as a non-mathematical concern. This separation was explicitly proposed, eighteen years after Russell’s paper, by Ramsey, though he, like Russell, advocated a system that addresses both kinds. Since then, the semantic paradoxes have been viewed within the perspective of the theory of truth, where they have occupied a respectable niche, but one of rather specialized interest. (shrink)

_ Source: _Volume 94, Issue 3, pp 381 - 390 Reference can fail in a way that intentionality cannot. Though the stream of phenomenal experience typically does not fail to target objects outside, it may do. How does the mind go about targeting objects beyond itself? The speculative conjecture of this paper is that it does so by a type of process which can be called _pointing_, and that the acts or act-aspects of pointing can be called _pointers_. The notion (...) of a pointer has several suggestive roots. One is the familiar physical gesture of pointing. Another is the existence of directional signs such as on roads. The third is the software data types making direct reference to memory locations in computers, also called ‘pointers’. A final source is demonstrative pronouns and other deictic expressions in language, of which Peter Geach wrote, “a demonstrative pronoun … works like a pointer, not like a label”. I suggest that there is in the mental cognitive repertoire a structurally and semantically analogous type of act which pierces the passivity of perception, directs us outside the machine, and prepares the way for drawing others’ minds to the same thing. (shrink)

ABSTRACT A complete axiomatic system CTLrp is introduced for a temporal logic for finitely branching ω+ -trees in a language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTLrp. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more (...) expressive medium for reasoning about branching time. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive (...) medium for reasoning about branching time. (shrink)

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, (...) Kamp's and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one (...) notion that has spun off into the linguistics literature, namely “indexical shift”. In Section 4, I emphasize the connection between monsters and the compositionality of asserted content in Kaplan’s original discussion. Section 5 discusses monsters and the more general idea of re-interpretation or meaning-shift. Section 6 closes with a brief survey of where monsters may dwell, and pointers to avenues for future research. (shrink)

In this article, I offer a provisional analysis of the philosophical semantics of "wisdom" in the thought of the New Confucian thinker Tang Junyi. I begin by providing some pointers concerning the concept of wisdom in general and situating the discourse on wisdom in comparative philosophy in the context of the later Foucault's and Pierre Hadot's historical investigations into ancient Graeco-Roman philosophy as a mode of spiritual self-cultivation and self-transformation. In the remainder of the paper, I try to describe (...) and think through what Foucault identifies as a "Cartesian moment," in which self-knowledge becomes the ultimate precondition for the ethico-spiritual project of "caring for the self," in Tang's approach of wisdom. In the course of my argument, I outline the complex relation between his vision of a renewed Confucian mode of religious practice on the one hand and his philosophical presuppositions concerning the transcendental status of subjectivity and the reflexivity of consciousness on the other. (shrink)

IntroductionScientific pluralism is generally understood in the backdrop of scientific monism. So is mathematical pluralism. Though there are many culture-dependent mathematical practices, mathematical concepts and theories are generally taken to be culture invariant. We would like to explore in this paper whether mathematical pluralism is admissible or not.Materials and methodsMathematical pluralism may be approached at least from five different perspectives. 1. Foundational: The view would claim that different issues within mathematics need support of different foundations, apparently incompatible with one another. (...) 2. Ontological: The world itself is dappled—the mathematical counterpart of which can be traced to the admission of non-Euclidean spaces and also in simultaneous acceptance of set-theoretic and category theoretic entities in the ontology of mathematics. 3. The third route is epistemological. It follows from the view that the nature of reality is so complex that different aspects of it require alternative modes of representation and explanation sometimes severally, sometimes simultaneously, e.g., classical, constructivist, computer-aided and different finitist mathematics can be used depending on the knowledge situation. 4. The fourth route is semantic. Fuzzy mathematics, we know, gives up bivalence in theory of truth, and ascribes truth to mathematical propositions in degrees. 5. The last one is Programmatic: for some, mathematical pluralism is a stance, a programme. It provides a framework which strikes at the root of cultural hegemony and nourishes a climate of intellectual humility and tolerance. It is not my intention to hold the brief of any of these versions. I just want to present to the readers a more or less complete picture of the scenario, though not an exhaustive one. ConclusionUnlike monism, mathematical pluralism does not rule out any possibility—even the possibility of having a unitary over-arching framework of interpretation remains as an open option. This paper highlights the fact that motivations for upholding pluralism in mathematics have been many and one can be a pluralist just by subscribing to any of the views listed above. (shrink)

Disparities exist in the health, livelihood, and opportunities for the 46-60 million people living in America’s rural communities. Rural communities across the United States need a new energy and focus concentrated around health and health care that allows for the designing capturing, and spreading of existing and new innovations. This paper aims to provide a framework for policy solutions to build a healthier rural America describing both the current state of rural health policy and the policies and practices in states (...) that could be used as a national model for positive change. (shrink)

The Patient Protection and Affordable Care Act, passed in 2010, is considered by many to be the most significant healthcare overhaul since the 1960s, but part of its promise — improvement of population health through requirements for non-profit hospitals to provide “community benefit” — has not been met. This paper examines the history of community benefit legislation, how community benefit dollars are allocated, and innovative practices by a few hospitals and communities that are addressing primarily non-medical factors that influence health (...) such as social disadvantage, attitudes, beliefs, risk exposure, and social inequalities. (shrink)

Background Clinical ethics consultants are expected to “reduce disparities, discrimination, and inequities when providing consultations,” but few studies about inequities in ethics consultation exist.1 The objectives of this study were (1) to determine if there were racial or gender differences in the timing of requests for ethics consultations related to limiting treatment, and (2) if such differences were found, to identify factors associated with that difference and the role, if any, of ethics consultants in mitigating them. Methods The study was (...) a mixed methods retrospective study of consultation summaries and hospital and ethics center data on 56 age-and gender-matched Caucasian and African American Medicare patients who received ethics consultations related to issues around limiting medical treatment in the period 2011 to 2014. The average age of patients was 70.9. Results Consultation requests for females were made significantly earlier in their stays in the hospital (6.57 days) than were consultation requests made for males (16.07 days). For African American patients, the differences in admission-to-request intervals for female patients (5.93 days) and male patients (18.64 days) were greater than for Caucasian male and female patients. Differences in the timing of a consultation were not significantly correlated with the presence of an advance directive, the specialty of the attending physician, or the reasons for the consult request. Ethics consultants may have mitigated problems that developed during the lag in request times for African American males by spending more time, on average, on those consultations (316 minutes), especially more time, on average, than on consultations with Caucasian females (195 minutes). Most consultations (40 of 56) did result in movement toward limiting treatment, but no statistically significant differences were found among the groups studied in the movement toward limiting treatment. The average number of days from consult to discharge or death were strongly correlated with the intervals between admission to the hospital and request for an ethics consultation. Conclusion Our findings suggest race and gender disparities in the timing of ethics consultations that consultants may have partially mitigated. (shrink)

According to Thagard and Stewart :1–33, 2011), creativity results from the combination of neural representations, and combination results from convolution, an operation on vectors defined in the holographic reduced representation framework. They use these ideas to understand creativity as it occurs in many domains, and in particular in science. We argue that, because of its algebraic properties, convolution alone is ill-suited to the role proposed by Thagard and Stewart. The semantic pointer concept allows us to see how we can (...) apply the full range of HRR operations while keeping the modal representations so central to Thagard and Stewart’s theory. By adding another combination operation and using semantic pointers as the combinatorial basis, this modified version overcomes the limitations of the original theory and perhaps helps us explain aspects of creativity not covered by the original theory. While a priori reasons cast doubts on the use of HRR operations with modal representations :5039–5054, 1987) such as semantic pointers, recent models point in the other direction, allowing us to be optimistic about the success of the revised version. (shrink)

It is well known that humans represent the mental states of others and use these representations to successfully predict, understand, and manipulate their behaviour. This is an impressive ability. Many comparative psychologists believe that some non-human apes and monkeys attribute mental states to others. But is this ability unique to mammals? In this paper, I review findings from a range of behavioural studies on corvids, including food caching, food recaching and food sharing studies. In order to protect their caches from (...) being pilfered, corvids successfully keep track of observing conspecifics, employ a number of caching and recaching strategies, and exploit environmental factors to reduce the amount of visual and auditory information available to observing conspecifics. When giving food items as gifts, corvids give items for which conspecifics have developed a preference. I argue that the available evidence supports the hypothesis that corvids attribute mental states to conspecifics. I further hypothesize that corvids do so through process-driven simulation and the running of non-verbal multimodal rules accomplished by a class of mental representations called semantic pointers. (shrink)

The ability to improve in speed and accuracy as a result of repeating some task is an important hallmark of intelligent biological systems. Although gradual behavioral improvements from practice have been modeled in spiking neural networks, few such models have attempted to explain cognitive development of a task as complex as addition. In this work, we model the progression from a counting-based strategy for addition to a recall-based strategy. The model consists of two networks working in parallel: a slower basal (...) ganglia loop and a faster cortical network. The slow network methodically computes the count from one digit given another, corresponding to the addition of two digits, whereas the fast network gradually “memorizes” the output from the slow network. The faster network eventually learns how to add the same digits that initially drove the behavior of the slower network. Performance of this model is demonstrated by simulating a fully spiking neural network that includes basal ganglia, thalamus, and various cortical areas. Consequently, the model incorporates various neuroanatomical data, in terms of brain areas used for calculation and makes psychologically testable predictions related to frequency of rehearsal. Furthermore, the model replicates developmental progression through addition strategies in terms of reaction times and accuracy, and naturally explains observed symptoms of dyscalculia. (shrink)