Implementational-level evidence of dissociable neural subsystems is a critical element that is missing from the analysis in the Schyns et al. target article. The question of whether fixed or flexible features are used in visual form recognition may have different answers for different subsystems; the evidence that features typically are created during category learning may apply most directly to a specific visual form subsystem.

We introduce and analyze two theories for typed inductive definitions and establish their proof-theoretic ordinal to be the small Veblen ordinal \. We investigate on the one hand the applicative theory \ of functions, inductive definitions, and types. It includes a simple type structure and is a natural generalization of S. Feferman’s system \\). On the other hand, we investigate the arithmetical theory \ of typed inductive definitions, a natural subsystem of \, and carry out a wellordering proof within (...) \ that makes use of fundamental sequences for ordinal notations in an ordinal notation system based on the finitary Veblen functions. The essential properties for describing the ordinal notation system are worked out. (shrink)

This paper studies the problems of tip position regulation and vibration suppression of flexible manipulators without using the model. Because of the two-timescale characteristics of flexible manipulators, applying the existing model-free control methods may lead to ill-conditioned numerical problems. In this paper, the dynamics of a flexible manipulator is decomposed into two subsystems which are linear and controllable at different timescales by singular perturbation theory and a model-free composite controller is designed to alleviate the ill-conditioned numerical problems. To do this, (...) a model-free composite control strategy is constructed which facilitates in designing the controller in slow and fast timescales. In the slow timescale, the slow subsystem controller is designed by adaptive dynamic programming based on the measurements of the slow inputs and the position, while the vibration in the slow timescale is estimated by the least square method. In the fast timescale, the vibration is reconstructed based on the measurements of vibration and its estimate in the slow timescale, by which the fast controller is designed using ADP. Stability of the closed-loop system is proved by SP theory. Finally, simulations are given to show the feasibility and effectiveness of the proposed methods. (shrink)

Upshot: We acknowledge that our model can be implemented with different reinforcement learning algorithms. Subsystem formation has been successfully demonstrated on the basal level, and in order to show full subsystem formation in the communication system at least both intentional utterances and acceptance/rejection need to be implemented. The comments about intrinsic vs extrinsic rewards made clear that this distinction is not helpful in the context of the constructivist paradigm but rather needs to be replaced by a critical reflection (...) on whether one has truly created autopoietic agents or just an engineering system. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as other (...) philosophies of particular sciences. (shrink)

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...) the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, and they do not provide (...) support for the normative layer. This paper will provide a solution to one specific problem that arises from this situation, namely the lack of tool/mechanism to demonstrate how an expert system is well-suited for supporting decision-making activities drawn from existing records and relevant legal requirements aligned existing records stored in various databases.We present a Rule-based reporting systems architecture, which is intended to integrate databases, in particular, relational databases, with a logic-based reasoner and rule engine to assist in decision-making or create reports according to legal norms. We argue that the resulting RuleRS provides an efficient and flexible solution to the problem at hand using defeasible inference. To this end, we have also conducted empirical evaluations of RuleRS performance. (shrink)

The Soviet Union had a long and complex relationship with cybernetics, especially in the domain of planning. This article looks at Soviet postwar efforts to draw up plans for the rapidly developing, industrializing, and urbanizing Siberia, where cybernetic models were used to develop a vision of cybernetic socialism. Removed from Moscow bureaucracy and politics, the various planning institutes of the Siberian Academy of Sciences became a key frontier for exploring the potential of cybernetic thinking to offer a necessary corrective to (...) Soviet planning. Researchers there put forth a vision of a dynamic Soviet economy managed through partially automated subsystems, which, while decentralized, would grant the central planning apparatus flexibility, a capacity for emergence, and overall solvency in the face of increasingly complex factors that required consideration. (shrink)

The Language of Thought program has a suicidal edge. Jerry Fodor, of all people, has argued that although LOT will likely succeed in explaining modular processes, it will fail to explain the central system, a subsystem in the brain in which information from the different sense modalities is integrated, conscious deliberation occurs, and behavior is planned. A fundamental characteristic of the central system is that it is “informationally unencapsulated” -- its operations can draw from information from any cognitive domain. (...) The domain general nature of the central system is key to human reasoning; our ability to connect apparently unrelated concepts enables the creativity and flexibility of human thought, as does our ability to integrate material across sensory divides. The central system is the holy grail of cognitive science: understanding higher cognitive function is crucial to grasping how humans reach their highest intellectual achievements. But according to Fodor, the founding father of the LOT program and the related Computational Theory of Mind (CTM), the holy grail is out of reach: the central system is likely to be non-computational (Fodor 1983, 2000, 2008). Cognitive scientists working on higher cognitive function should abandon their efforts. Research should be limited to the modules, which for Fodor rest at the sensory periphery (2000).1 Cognitive scientists who work in the symbol processing tradition outside of philosophy would reject this pessimism, but ironically, within philosophy itself, this pessimistic streak has been very influential, most likely because it comes from the most well-known proponent of LOT and CTM. Indeed, pessimism about centrality has become assimilated into the mainstream conception of LOT. (Herein, I refer to a LOT that appeals to pessimism about centrality as the “standard LOT”). I imagine this makes the standard LOT unattractive to those philosophers with a more optimistic approach to what cognitive science can achieve.. (shrink)

We apply molecular code theory to a rule-based model of the human inner kinetochore and study how complex formation in general can give rise to molecular codes. We analyze 105 reaction networks generated from the rule-based inner kinetochore model in two variants: with and without dissociation of complexes. Interestingly, we found codes only when some but not all complexes are allowed to dissociate. We show that this is due to the fact that in the kinetochore model proteins can only bind (...) at kinetochores by attaching to already attached proteins and cannot form complexes in free solution. Using a generalized linear mixed model we study which centromere protein can take which role in a molecular code . By this, associations between CENPs and code roles are found. We observed that CenpA is a major risk factor while CenpQ is a major protection factor . Finally we show, using an abstract model of copolymer formation, that molecular codes can also be realized solely by the formation of stable complexes, which do not dissociate. For example, with particular dimers as context a molecular code mapping from two different monomers to two particular trimers can be realized just by non-selective complex formation. We conclude that the formation of protein complexes can be utilized by the cell to implement molecular codes. Living cells thus facilitate a subsystem allowing for an enormous flexibility in the realization of mappings, which can be used for specific regulatory processes, e.g. via the context of a mapping. (shrink)

Flight delay is one of the most challenging threats to operation of air transportation network system. Complex network was introduced into research studies on flight delays due to its low complexity, high flexibility in model building, and accurate explanation about real world. We surveyed recent progress about flight delay which makes extensive use of complex network theory in this paper. We scanned analyses on static network and temporal evolution, together with identification about topologically important nodes/edges. And, we made a clarification (...) about relations among robustness, vulnerability, and resilience in air transportation networks. Then, we investigated studies on causal relations, propagation modellings, and best spreaders identifications in flight delay. Ultimately, future improvements are summarized in fourfold. Under Complex Network, flight operation relevant subsystems or sublayers are discarded by the majority of available network models. Hierarchical modelling approaches may be able to improve this and provide more capable network models for flight delay. Traffic information is the key to narrow the gap between topology and functionality in current situations. Flight schedule and flight plan could be employed to detect flight delay causalities and model flight delay propagations more accurately. Real flight data may be utilized to validate and revise the detection and prediction models. It is of great importance to explore how to predict flight delay propagations and identify best spreaders at a low cost of calculation complexity. This may be achieved by analyzing flight delay in frequency domain instead of time domain. Summation of most critical nodes/edges may not be the most crucial group to network resilience or flight delay propagations. Effective algorithm for most influential sequence is to be developed. (shrink)

There has been noted that in the process of the development of economic relationship, improvement and technology integration, innovations and transformations implementation, increase in productivity and activity outcomes the principles of management, development and system functioning are changed, complemented and transformed. There has been found that to meet the goals of industrial enterprises development, encourage co-operation of all units in the system during development, make financial and economic, production and technical managerial decisions on the basis of systemic approach to management, (...) analysis of systems principles, development and management of phenomena and processes it is necessary to take into account the developed basic and additional principles of formation of the strategic management system of the industrial enterprise development. The basic principles are: flexibility, integrity, optimality, efficiency, productivity; the additional ones: rationality, correspondence, dynamism, control. The multitude of the mentioned principles has been formed according to managerial actions that correspond to the stage of the formation of the development goal (correspondence and dynamism principles), stages of development management (flexibility, integrity, optimality, rationality, control principles) and stages of development goals realization (efficiency and productivity), which ensures specification of the role and principles in the process of the industrial enterprise development. The principles are subdivided according to subsystems of inner state (production and realization - flexibility principle, financial state - integrity, resource state - flexibility principle), the subsystem of outer state (correspondence and dynamism principle). There have been determined principles that characterize the functioning of all subsystems within the system of strategic management of development during the formation of managerial decisions (optimality, rationality and control principles) and during the results of the industrial enterprise development (efficiency and productivity principles). (shrink)

The organizational history of American government during the past 100 years has been written principally in terms of the creation of larger and larger public organizations. Beginning with the Progressive movement, no matter the goal, the reflexive response has been to consolidate and centralize into formal hierarchies. That efficiency, effectiveness, and accountability, and the coordination necessary to achieve them, are promoted by such reorganizations has become widely accepted. Borrowing from social psychology, sociology, political science, and public administration, and using the (...) public transit system of the San Francisco Bay area for illustrative purposes, Donald Chisholm directly challenges this received wisdom. He argues that, contrary to contemporary canons of public administration, we should actively resist the temptation to consolidate and centralize our public organizations. Rather, we should carefully match organizational design with observed types and levels of interdependence, since organizational systems that on the surface appear to be tightly linked webs of interdependence on closer examination often prove decomposable into relatively simpler subsystems that may be coordinated through decentralized, informal organizational arrangements. Chisholm finds that informal channels between actors at different organizations prove remarkably effective and durable as instruments of coordination. Developed and maintained as needed rather than according to a single preconceived design, informal channels, along with informal conventions and contracts, tend to match interorganization interdependence closely and to facilitate coordination. Relying on such measures reduces the cognitive demands and obviates the necessity for broadscale political agreement typical of coordination by centralized, formal organizations. They also advance other important values that are frequently absent in formally consolidated organizations, such as reliability, flexibility, and the representation of varied interests. _Coordination Without Hierarchy_ is an incisive, penetrating work whose conclusions apply to a wide range of public organizations at all levels of government. It will be of interest to a broad array of social scientists and policymakers. In an earlier version, _Coordination Without Hierarchy_ received the American Political Science Association 1985 Leonard D. White Award for the best doctoral dissertation in the field of public administration, including broadly related problems of policy formation and administrative theory. (shrink)

Designing a data-responsive system requires accurate input to ensure efficient results. The growth of technology in sensing methods and the needs of various kinds of data greatly impact data fusion (DF)-related study. A coordinative DF framework entails the participation of many subsystems or modules to produce coordinative features. These features are utilized to facilitate and improve solving certain domain problems. Consequently, this paper proposes a general Multiple Coordinative Data Fusion Modules (MCDFM) framework for real-time and heterogeneous data sources. We develop (...) the MCDFM framework to adapt various DF application domains requiring macro and micro perspectives of the observed problems. This framework consists of preprocessing, filtering, and decision as key DF processing phases. These three phases integrate specific purpose algorithms or methods such as data cleaning and windowing methods for preprocessing, extended Kalman filter (EKF) for filtering, fuzzy logic for local decision, and software agents for coordinative decision. These methods perform tasks that assist in achieving local and coordinative decisions for each node in the network of the framework application domain. We illustrate and discuss the proposed framework in detail by taking a stretch of road intersections controlled by a traffic light controller (TLC) as a case study. The case study provides a clearer view of the way the proposed framework solves traffic congestion as a domain problem. We identify the traffic features that include the average vehicle count, average vehicle speed (km/h), average density (%), interval (s), and timestamp. The framework uses these features to identify three congestion periods, which are the nonpeak period with a congestion degree of 0.178 and a variance of 0.061, a medium peak period with a congestion degree of 0.588 and a variance of 0.0593, and a peak period with a congestion degree of 0.796 and a variance of 0.0296. The results of the TLC case study show that the framework provides various capabilities and flexibility features of both micro and macro views of the scenarios being observed and clearly presents viable solutions. (shrink)

In an essay on `the modernity of modern society', written after the demise of the Soviet model but against the premature triumphalism of mainstream modernization theory, Niklas Luhmann proposes to broaden the perspectives of sociological analysis by drawing on neglected or misunderstood traditions. A re-reading of Marx and a reconstruction of Romantic insights into the modern condition serve to problematize the conventional functionalist account of modernization. But at the same time, Luhmann re-defines the conceptual framework of systems theory in such (...) a way that the unorthodox inputs can be adapted to a more flexible version of functional analysis. The emphasis on reference and coding as different but interconnected interpretive operations leads to a more radical conception of the autonomy of subsystems; the interepretive aspect is, however, confined within the limits of a closed and uniform model. A comparison with Weber casts doubt on Luhmann's claim to have given a more adequate account of differentiation; the Weberian conception of world orders, although less developed than the functionalist alternative, seems to provide a better starting-point for the understanding of ambivalence and interpretive conflict as constitutive aspects of modernity. (shrink)

A new theoretical model of oncogenesis that incorporates a systemic view of biodynamics was developed and analyzed. According to our model, the emergent behavior at the cell population level is the result of nonlinear interactions between the neoplastic and immune subsystems. Our approach allows subsequent extensions of the model to span multiple levels of biological organization. The model opens the possibility of a flexible connection between the molecular and tissue level descriptions of oncogenesis.

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

A computational theory of consciousness should include a quantitative measure of consciousness, or MoC, that (i) would reveal to what extent a given system is conscious, (ii) would make it possible to compare not only different systems, but also the same system at different times, and (iii) would be graded, because so is consciousness. However, unless its design is properly constrained, such an MoC gives rise to what we call the boundary problem: an MoC that labels a system as conscious (...) will do so for some – perhaps most – of its subsystems, as well as for irrelevantly extended systems (e.g., the original system augmented with physical appendages that contribute nothing to the properties supposedly supporting consciousness), and for aggregates of individually conscious systems (e.g., groups of people). This problem suggests that the properties that are being measured are epiphenomenal to consciousness, or else it implies a bizarre proliferation of minds. We propose that a solution to the boundary problem can be found by identifying properties that are intrinsic or systemic: properties that clearly differentiate between systems whose existence is a matter of fact, as opposed to those whose existence is a matter of interpretation (in the eye of the beholder). We argue that if a putative MoC can be shown to be systemic, this ipso facto resolves any associated boundary issues. As test cases, we analyze two recent theories of consciousness in light of our definitions: the Integrated Information Theory and the Geometric Theory of consciousness. (shrink)

Cognitive semantic studies have shown that our conceptualization of morality is at least partially metaphorical and that our moral cognition is grounded in some fundamental contrastive categories of our embodied experience in the physical environment. It is argued that our moral cognition is built on a moral metaphor system. Within the framework of conceptual metaphor theory, this study aims to examine the spatial subsystem of moral metaphors in English. We set out with five pairs of moral metaphors that involve (...) the following spatial source concepts: HIGH and LOW, UPRIGHT and TILTED, LEVEL and UNLEVEL, STRAIGHT and CROOKED, and BIG and SMALL. These metaphors were found to constitute the spatial subsystem of moral metaphors in Chinese. Our primary goal is to find out if the five pairs of moral–spatial metaphors are manifested in English as well. To that end we collected linguistic data from the Corpus of Contemporary American English and searched Google Images for multimodal evidence. Our finding is that the five pairs of moral–spatial metaphors are applicable in English as they are in Chinese. We also discuss issues related to conceptual metaphor theory. (shrink)

How veridical is perception? Rather than representing objects as they actually exist in the world, might perception instead represent objects only in terms of the utility they offer to an observer? Previous work employed evolutionary modeling to show that under certain assumptions, natural selection favors such “strict‐interface” perceptual systems. This view has fueled considerable debate, but we think that discussions so far have failed to consider the implications of two critical aspects of perception. First, while existing models have explored single (...) utility functions, perception will often serve multiple largely independent goals. (Sometimes when looking at a stick you want to know how appropriate it would be as kindling for a campfire, and other times you want to know how appropriate it would be as a weapon for self‐defense.) Second, perception often operates in an inflexible, automatic manner—proving “impenetrable” to shifting higher‐level goals. (When your goal shifts from “burning” to “fighting,” your visual experience does not dramatically transform.) These two points have important implications for the veridicality of perception. In particular, as the need for flexible goals increases, inflexible perceptual systems must become more veridical. We support this position by providing evidence from evolutionary simulations that as the number of independent utility functions increases, the distinction between “interface” and “veridical” perceptual systems dissolves. Although natural selection evaluates perceptual systems only on their fitness, the most fit perceptual systems may nevertheless represent the world as it is. (shrink)

Ratajczyk, Z., Subsystems of true arithmetic and hierarchies of functions, Annals of Pure and Applied Logic 64 95–152. The combinatorial method coming from the study of combinatorial sentences independent of PA is developed. Basing on this method we present the detailed analysis of provably recursive functions associated with higher levels of transfinite induction, I, and analyze combinatorial sentences independent of I. Our treatment of combinatorial sentences differs from the one given by McAloon [18] and gives more natural sentences. The same (...) method give also a combinatorial technique with no use of the cut-elimination theorem which is appropriate to study proof-theoretic strength of subsystems of first order arithmetic and some of their expansions. It was used to analyze iterated reflection principle and system of transfinite induction with a satisfaction class. (shrink)

Flexibility in conceptual projection constitutes one of the most challenging issues in the embodiment and conceptual metaphor literatures. We sketch a theoretical proposal that places the burden of the explanation on attentional dynamics in interaction with mental models in working memory that are constrained to be maximally coherent. A test of this theory is provided in the context of the conceptual projection of time onto the domain of space. Participants categorized words presented at different spatial locations (back–front, left–right) as referring (...) to the past or to the future. Responses were faster when the irrelevant word location was congruent with the back–past, front–future metaphoric mapping. Moreover, when a new highly task-relevant spatial frame of reference was introduced, it changed the projection of past and future onto space in a way that was congruent with the new frame (past was now projected to left space and future to right space), as predicted by the theory. This study shows that there is substantial flexibility in conceptual projection and opens a venue to study metaphoric variation across tasks, individuals, and cultures as the result of attentional dynamics. (shrink)

Purpose: This article investigates the emergence of subsystems in societies as a solution to the double contingency problem. Context: There are two underlying paradigms: one is radical constructivism in the sense that perturbations are at the centre of the self-organising processes; the other is Luhmann’s double contingency problem, where agents learn anticipations from each other. Approach: Central to our investigation is a computer simulation where we place agents into an arena. These agents can learn to (a) collect food and/or (b) (...) steal food from other agents. In order to analyse subsystem formation, we investigate whether agents use both behaviours or just one of these, which is equivalent to determining the number of self-referential loops. This is detected with a novel measure that we call “prediction utilisation.” Results: During the simulation, symmetry breaking is observed. The system of agents divides itself up into two subsystems: one where agents just collect food and another one where agents just steal food from other agents. The ratio between these two populations is determined by the amount of food available. Key words: Social systems, constructivist paradigm, cybernetics, double contingency, symmetry breaking, emergence. (shrink)

According to embodied theories of language (ETLs), word meaning relies on sensorimotor brain areas, generally dedicated to acting and perceiving in the real world. More specifically, words denoting actions are postulated to make use of neural motor areas, while words denoting visual properties draw on the resources of visual brain areas. Therefore, there is a direct correspondence between word meaning and the experience a listener has had with a word's referent on the brain level. Behavioral and neuroimaging studies have provided (...) evidence in favor of ETLs; however, recent studies have also shown that sensorimotor information is recruited in a flexible manner during language comprehension (e.g., Raposo et al. ; Van Dam et al., ), leaving open the question as to what level of language processing sensorimotor activations contribute. In this study, we investigated the time course of modality‐specific contributions (i.e., the contribution of action information) as to word processing by manipulating both (a) the linguistic and (b) the action context in which target words were presented. Our results demonstrate that processes reflecting sensorimotor information play a role early in word processing (i.e., within 200 ms of word presentation), but that they are sensitive to the linguistic context in which a word is presented. In other words, when sensorimotor information is activated, it is activated quickly; however, specific words do not reliably activate a consistent sensorimotor pattern. (shrink)

We study the Lindenbaum algebra ${\fancyscript{A}}$ (WKL o, RCA o) of sentences in the language of second-order arithmetic that imply RCA o and are provable from WKL o. We explore the relationship between ${\Sigma^1_1}$ sentences in ${\fancyscript{A}}$ (WKL o, RCA o) and ${\Pi^0_1}$ classes of subsets of ω. By applying a result of Binns and Simpson (Arch. Math. Logic 43(3), 399–414, 2004) about ${\Pi^0_1}$ classes, we give a specific embedding of the free distributive lattice with countably many generators into ${\fancyscript{A}}$ (...) (WKL o, RCA o). (shrink)

This paper presents an exposition of subsystems and of Quine's , originally defined and shown to be consistent by Crabbé, along with related systems and of type theory. A proof that (and so ) interpret the ramified theory of types is presented (this is a simplified exposition of a result of Crabbé). The new result that the consistency strength of is the same as that of is demonstrated. It will also be shown that cannot be finitely axiomatized (as can and (...) ). (shrink)

Engineering sketches and drawings are the building blocks of technological design and production. These visual representations act as the means for organizing the design to production process, hence serving as a "social glue" both between individuals and between groups. The author discusses two main capacities such visual representations serve in facilitating distributed cognition in team design work As conscription devices, they enlist and organize group participation. As boundary objects, they facilitate the reading of alternative meanings by various groups involved in (...) the design process. The introduction of computer-aided design into this visual culture of engineering restructures relationships between workers in ways that can hamper the flexibility necessary for these crucial capacities to take place. The data are drawn from a study of the daily practices of engineers engaged in redesigning a turbine engine package. The method is participant observation. (shrink)

Resilience factors have been suggested as key mechanisms in the relation between symptoms and disability among individuals with chronic pain. However, there is a need to better operationalize resilience and to empirically evaluate its role and function. The present study examined psychological flexibility as a resilience factor in relation to symptoms and functioning among 252 adults with chronic pain applying for participation in a digital ACT-based self-help treatment. Participants completed measures of symptoms (pain intensity, anxiety), functioning (pain interference, depression), as (...) well as the hypothesized resilience factor psychological flexibility (measured as avoidance, value obstruction, and value progress). As expected, symptoms, functioning and resilience factors were significantly associated. Hierarchical linear regression analyses showed that psychological flexibility significantly contributed to the prediction of pain interference and depression when adjusting for age, pain and anxiety. Also, participants with low levels of psychological flexibility were more likely to be on sick leave. Furthermore, a series of multiple mediation analyses showed that psychological flexibility (avoidance, value obstruction, value progress) had a significant indirect effect on the relationship between symptoms and functioning. Avoidance was consistently shown to contribute to the indirect effect. Results support previous findings and suggest the importance of psychological flexibility as a resilience factor among individuals with chronic pain and anxiety. (shrink)

There has recently been much interest in the role of attention in controlling action. The role has been mischaracterized as an element in necessary and sufficient conditions on agential control. In this paper I attempt a new characterization of the role. I argue that we need to understand attentional control in order to fully understand agential control. To fully understand agential control we must understand paradigm exercises of agential control. Three important accounts of agential control—intentional, reflective, and goal-represented control—do not (...) fully explain such exercises. I argue that understanding them requires understanding how deployments of visual attention implement flexible occurrent control, or a capacity to flexibly adjust the degree of control that individuals exercise over their actions. While such deployments of attention are neither necessary nor sufficient for exercising agential control, they constitute an attentional skill for controlling action, understanding which is central to fully understanding agential control. We can appreciate its centrality if we appreciate that this attentional skill for controlling action is plausibly crucial to acting non-negligently. (shrink)

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by (...) a single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C∗ - algebras with respect to operations (completely positive unit preserving linear maps on C∗ - algebras)as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory. (shrink)

In Yizhuan ’s interpretation of The Book of Changes , the book’s fundamental concepts, xiang 象 (images) and ci 辞 (words), play different roles. Concepts, including yin and yang, firmness and gentleness, sancai 三才 (three fundamentals), and the wuxing 五行 (five active elements), are used to interpret The Book of Changes through the interpretation of images, while the core Confucian values, such as benevolence and righteousness, are used to interpret The Book of Changes because of their connection with words of (...) gua and yao . In order to expand the meaning of the words of gua and yao , Yizhuan sometimes connects words with images; in other occasions, however, it simply takes these words as independent guides. The Confucian scholars who wrote Yizhuan , therefore, not only revered the classic, but also used it to send their own message. Out of reverence, they “ shu 述 (recited)”; in using it, they “ zuo 作 (created)”. The combination of recitation and creation made the words of gua and yao very flexible in the process of interpretation, while the interpretation changed the meaning of the classic to a great extent. (shrink)

This dissertation is based on the compositional model theoretic approach to natural language semantics that was initiated by Montague (1970) and developed by subsequent work. In this general approach, coordination and negation are treated following Keenan & Faltz (1978, 1985) using boolean algebras. As in Barwise & Cooper (1981) noun phrases uniformly denote objects in the boolean domain of generalized quanti®ers. These foundational assumptions, although elegant and minimalistic, are challenged by various phenomena of coordination, plurality and scope. The dissertation solves (...) these problems by developing a ¯exible process of meaning composition, as ®rst proposed by Partee & Rooth (1983). Flexible interpretation involves semantic operations without any phonological counterpart, which participate in the interpretation process and change meanings of overt expressions. The dissertation introduces a novel ¯exible system where a small number of operations describe the behaviour of complex phenomena such as `non-boolean' and, the scope of inde®nites and the semantics of collectivity with quanti®cational NPs. The proposed theory is based on a distinction between two features of meanings in natural language. (shrink)

This paper presents a bioinspired lower extremity exoskeleton robot. The proposed exoskeleton robot can be adjusted in structure to meet the wearer’s height of 150–185 cm and has a good gait stability. In the gait control part, a method of identifying different locomotion modes is proposed; five common locomotion modes are considered in this paper, including sitting down, standing up, level-ground walking, ascending stairs, and descending stairs. The identification is depended on angle information of the hip, knee, and ankle joints. (...) A deep locomotion mode identification model based on long-short term memory architecture is proposed in this paper for exploiting the angle data. We conducted two experiments to verify the effectiveness of the proposed method. Experimental results show that the DLMIM is capable of learning inherent characteristics of joint angles and achieves more accurate identification than the other models. The last experiment demonstrates that the DLMIM can recognize transitions between different locomotion modes in time and the real-time performance varies with each individual. (shrink)

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the meanings of (...) natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

The Logic of Proofs realizes the modalities from traditional modal logics with proof polynomials, so an expression □F becomes t:F where t is a proof polynomial representing a proof of or evidence for F. The pioneering work on explicating the modal logic is due to S. Artemov and was extended to several subsystems by V. Brezhnev. In 2000, R. Kuznets presented a algorithm for deducibility in these logics; in the present paper we will show that the deducibility problem is -complete. (...) Both Kuznets’s work and the present results make assumptions on the values of proof constants. (shrink)

Attention is often dichotomized into controlled vs. automatic processing, where controlled processing is slow, flexible, and intentional, and automatic processing is fast, inflexible, and unintentional. In contrast to this strict dichotomy, there is mounting evidence for context-specific processes that are engaged rapidly yet are also flexible. In the present study we extend this idea to the domain of implicit learning to examine whether flexibility in automatic processes can be implemented through the reliance on contextual features. Across three experiments we show (...) that participants can learn implicitly two complementary sequences that are associated with distinct contexts, and that transfer of learning when the two contexts are randomly intermixed depends on the distinctiveness of the two contexts. Our results point to the role of context-specific processes in the acquisition and expression of implicit sequence knowledge, and also suggest that episodic details can be represented in sequence knowledge. (shrink)

A semantics for interrogatives is presented which is based on Karttunen's theory, but in a flexible manner incorporates both weak and strong exhaustivity. The paper starts out by considering degree questions, which often require an answer picking out the maximal degree from a certain set. However, in some cases, depending on the semantic properties of the question predicate, reference to the minimal degree is required, or neither specifying the maximum nor the minimum is sufficient. What is needed is an operation (...) which defines the maximally informative answer on the basis of the Karttunen question denotation. Shifting attention to non-degree questions, two notions of answerhood are adopted from work by Heim. The first of these is weakly exhaustive and the second strongly exhaustive. The second notion of answerhood is proven to be equivalent to Groenendijk and Stokhof's interrogative semantics. On the basis of a wide range of empirical data showing that questions often are not interpreted exhaustively, it is argued that a fairly rich system of semantic objects associated with questions is needed to account for the various ways in which questions contribute to the semantics and pragmatics of the utterances in which they appear. (shrink)

The Cell Cycle Ontology (CCO) has the aim to provide a 'one stop shop' for scientists interested in the biology of the cell cycle that would like to ask questions from a molecular and/or systems perspective: what are the genes, proteins, and so on involved in the regulation of cell division? How do they interact to produce the effects observed in the regulation of the cell cycle? To answer these questions, the CCO must integrate a large amount of knowledge from (...) diverse sources; the irregularity and incompleteness of this information suggests an ontology can act as the means of this integration. The volatility and continued expansion of biological knowledge means the content and modelling of the CCO will have to be frequently changed and updated. The CCO is generated from the input data automatically once every two months. This makes it easy to change the representation to enable certain queries; incorporate new knowledge; and consistently apply design patterns across the CCO. The automatic process also allows the CCO to be delivered in a variety of representations that suit the needs of various CCO customers and the abilities of existing toolsets. In this paper we present the CCO and its characteristics of utility and flexibility, that, from our perspective, make it a beautiful ontology. (shrink)

In this article we identify three previously unnoticed problems with flexible moral theories, i.e., theories according to which different moral rules apply when there is full compliance and when there is partial compliance. The first problem is that flexible theories are necessarily very complex, which undermines their ability to motivate and guide action. The second problem is that flexible theories allow for a troubling kind of (moral) domination: the duties an agent has depend on other agents' willingness to comply. Finally, (...) flexible theories introduce indeterminacy: it is sometimes impossible to determine which moral rules apply. When agents stand at the threshold—i.e., when a different rule would apply if a single additional act of noncompliance took place—it is impossible to determine which rule should apply. (shrink)

This article draws on Foucault's concept of governmentality to explore how recent political moves to legalise ‘flexibility’ mobilises education authorities to make ‘community’ a technical means of achieving the political objective of schooling the child. I argue that ‘flexibility’ in this sense is a neo‐liberal strategy that shifts relations between the governed and the State. In this way, it transforms the idea of schooling from a State run institution for the purpose of ‘community building’ to a community run institution for (...) the purpose of making parents governable by both instrumentalising and institutionalising individualism through the force of community membership. Rather than a form of liberation from bureaucratic rule, the paper exposes how ‘flexibility’ acts as a normalising strategy that works with difference to entangle parents as community members in the process of schooling the child through the moral obligation of the contract. (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might plausibly (...) get selected in the challenge cases. (shrink)