The generative grammar approach to language seeks a fully explicit account of the modular systems of knowledge (competence) that underlies the human language capacity. Similarly, the relevance-theoretic approach to pragmatics attempts an explicit characterisation of the sub-personal systems involved in utterance interpretation. As an on-line performance system, however, it is subject to certain additional constraints; this is demonstrated by the way in which matters of computational (processing effort) economy are currently employed in the two types of theory. (...) A sub-module of “discourse competence” is shown to be compatible with and complementary to the wider system of pragmatic processes. (shrink)

This paper reviews the fate of the central ideas behind the complementary learning systems (CLS) framework as originally articulated in McClelland, McNaughton, and O’Reilly (1995). This framework explains why the brain requires two differentially specialized learning and memory systems, and it nicely specifies their central properties (i.e., the hippocampus as a sparse, pattern-separated system for rapidly learning episodic memories, and the neocortex as a distributed, overlapping system for gradually integrating across episodes to extract latent semantic structure). We (...) review the application of the CLS framework to a range of important topics, including the following: the basic neural processes of hippocampal memory encoding and recall, conjunctive encoding, human recognition memory, consolidation of initial hippocampal learning in cortex, dynamic modulation of encoding versus recall, and the synergistic interactions between hippocampus and neocortex. Overall, the CLS framework remains a vital theoretical force in the field, with the empirical data over the past 15 years generally confirming its key principles. (shrink)

Number morphology (e.g., singular vs. plural) is a part of the grammar that captures numerical information. Some languages have morphological Number values, which express few (paucal), two (dual), three (trial) and sometimes (possibly) four (quadral). Interestingly, the limit of the attested morphological Number values matches the limit of non‐verbal numerical cognition. The latter is based on two systems, one estimating approximate numerosities and the other computing exact numerosities up to three or four. We compared the literature on non‐verbal (...) number systems with data on Number morphology from 218 languages. Our observations suggest that non‐verbal numerical cognition is reflected as a core part of language. (shrink)

Frequency selective surface -based intelligent spatial filters are capturing the eyes of the researchers by offering a dynamic behavior when exposed to the electromagnetic radiations. In this manuscript, a concept of creating complementary structures which stems from Babinet’s principle is illustrated. A hybrid complementary pair of FSS comprising double square loop FSS and double square slot FSS on either side of the dielectric substrate is proposed. DSLFSS offers band-pass behavior and can be placed as a superstrate, whereas DSSFSS (...) behaves as a band-stop intelligent spatial filter that blocks the radiations falling on it, thus making them applicable for use as a substrate. The technique utilized for analyzing DSLFSS and DSSFSS structures is based on the equivalent circuit modeling and transmission line methodology. The CPFSS structure offers the design simplicity, hence, suitable for placing them with the printed patch antenna radiators in wireless networking devices operating in sub-6 GHz 5G spectrum. DSLFSS offers band-pass behavior ranging from 2.99 to 5.56 GHz, whereas DSSFSS offers band-stop behavior ranging from 2.85 to 5.42 GHz covering all n77, n78, and n79 bands of FR1 spectrum of sub-6 GHz 5G range. The passband and the stopband offered by the two structures of CPFSS geometry are stable to oblique angles of incidence and the proposed design also offers polarization-independent behavior. The thickness of the dielectric region existing within the pair of designed structures is critical for the location of the passbands and the stopbands. The impact of the overall thickness of the dielectric substrate on the passbands and stopbands is also reported in this article. (shrink)

Shanker & King (S&K) trumpet the adoption of a “new paradigm” in communication studies, exemplified by ape language research. Though cautiously sympathetic, I maintain that their argument relies on a false dichotomy between “information” and “dynamical systems” theory, and that the resulting confusion prevents them from recognizing the main chance their line of thinking suggests.

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of (...) an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

Relational Grammar (RG) was introduced in the 1970s as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. Furthermore, the idea behind RG was that transformations as originally designed in generative grammar were unable to capture the common kernel of, e.g., passivization across languages. The researchconducted within RG has uncovered a wealth of phenomena for which it could produce a satisfactory analysis. Although the theory of Government and Binding has answered some of (...) the complaints, still it left many phenomena unaccounted for. Referent Systems (RSs) have been introduced by Vermeulen (1995) to overcome certain weaknesses of Dynamic Semantics. Their usefulness has not yet been realized in semantical theory. We shall show here that their significance cannot be overestimated. Namely, we will show in this paper that there exists a fundamental affinity to RG. Both handle the relation between an argument and a functor by means of a shared relational sign, which is unique for each argument. This assignment can be changed. What is interesting is that the notion of a chômeur, which is central to RG, finds a natural treatment in RSs. This coincidence is in our view not accidental but reveals some fundamental properties of the human language faculty. (shrink)

Taking as its starting point significant similarities between a formal language model—Grammar Systems—and a grammatical theory—Autolexical Syntax—in this paper we suggest the application of the former to the topic of the latter. To show the applicability of Grammar Systems Theory to grammatical description, we introduce a formal-language-theoretic framework for the architecture of natural language grammar: Linguistic Grammar Systems. We prove the adequacy of this model by highlighting its features (modularity, parallelism, interaction) and by (...) showing the similarity between this framework and accepted and well-known grammatical models (e.g. Autolexical Syntax). (shrink)

A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$\textsf{CPN}$$ CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$\textsf{CPN}$$ CPN enjoys strong (...) normalization along with strong confluence (and, hence, uniqueness of normal forms). (shrink)

In this chapter we consider computer tools for architectural design based on shape grammar design systems, and evaluate the advantages and disadvantage of handing over these tools to inhabitants for the design of their apartments. This evaluation is qualitative by considering the values of inhabitants, architects, and cities that are affected by this hand-over. Shape grammar design systems when applied to architecture enable computer tools to generate new designs and adjustments of existing designs of apartments on (...) the basis of design rules. First, focussing on individual housing, it is argued in this chapter that the use of shape grammar design systems by inhabitants for designing their apartment realises the values of customisation and inhabitant autonomy without compromising design quality and structural safety. Second, focussing on cities, it is argued that a wide-spread use of these grammar design systems creates for cities a bottom-up inhabitant-led renewal of neighbourhoods and urban structures that maintains the social fabric in neighbourhoods and the architectural identity of cities. Values that are less realised by the hand-over are financial feasibility and ecological sustainability. Third, shifting to philosophy of technology, we present shape grammar design systems as a technology for design for values in architecture that allows for flexibility in the values designed for over the longer time periods characteristic to architecture. These systems are a technology that enables the incorporation of values of inhabitants, architects, and cities by the designs of apartments, and they are a technology that enables inhabitants to adjust their apartments through time to their developing needs and wishes. (shrink)

Harmonic Grammar (HG) is a model of linguistic constraint interaction in which well-formedness is calculated as the sum of weighted constraint violations. We show how linear programming algorithms can be used to determine whether there is a weighting for a set of constraints that fits a set of linguistic data. The associated software package OT-Help provides a practical tool for studying large and complex linguistic systems in the HG framework and comparing the results with those of OT. We (...) describe the translation from Harmonic Grammars to systems solvable by linear programming, and we illustrate the usefulness of OT-Help with a set of studies of the predictions HG makes for phonological typology. (shrink)

In this paper I argue that evidence based medicine (EBM) offers a more transparent system of knowledge and medical care than complementary medicine (CM). While an individual’s choice to use CM should be respected, users of this form of medicine, nevertheless, risk loss of autonomy. This loss of autonomy is an outcome of CM’s offering fewer transparent possibilities for informed patient consent In both EBM and CM patients risk physical harm(s) but science gives EBM patients the benefit of being (...) able to factor known side effects into their health care decisions. (shrink)

This well-illustrated book outlines a framework for the analysis of syntactic structure from a perspective of a systematic functional grammar.

While the PREDICATE(x) structure requires close coordination of subject and predicate, both represented in consciousness, the cognitive (ventral), and sensorimotor (dorsal) pathways operate in parallel. Sensorimotor information is unconscious and can contradict cognitive spatial information. A more likely origin of linguistic grammar lies in the mammalian action planning process. Neurological machinery evolved for planning of action sequences becomes applied to planning communicatory sequences.

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

This article discusses some aspects of the practice of complementary and traditional medicine in urban Mexico through a transcultural paradigm, hence it focuses on how medical knowledge(s) are commodified as well as how a `travelling' medical knowledge acquires agency in a transculturation process. This study, while analysing different practices of Chinese and Japanese medicine, argues that oriental medicine is translated in at least two ways - a popular and a cosmopolitan form - that shape particular expressions of citizenship. The (...) popular form is carried out in low-income neighbourhoods and it focuses around a `Mexicanization' of oriental medicine and the reaffirmation of the popular as part of the national. Cosmopolitan medicine, on the other hand, is particularly practised in exclusive health spas and seeks to purge the popular out of the national and to incorporate `traditional' medicine as one of the multiple components of cosmopolitan consumption. The article argues that both popular and cosmopolitan expressions are important to understanding how complementary and oriental medicine have become not only part of a global market, but also part of a particular history of national and popular medical systems. (shrink)

It is doubtful that any feature of the American health care system in the last several decades has had as profound an effect on the way Americans pursue their perceived health needs as complementary and alternative medicine. Almost half of all Americans take care of some of their health care needs outside of contemporary scientific medicine. The number of visits to CAM practitioners was estimated 6 years ago to be 629 million a year, with expenditures of $27 billion a (...) year. The use of CAM has been expanding rapidly despite little objective evidence of its safety or effectiveness. Little more than a decade ago CAM was viewed by the traditional medical community as a nuisance that offered unproven treatments at best and as outright quackery at worst. In any case, alternative medicine, as it was known at that time, seemed unworthy of serious attention. (shrink)

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

Traditional modes of system representation as dynamical systems, involving fixed sets of states together with imposed dynamical laws, pertain only to a meagre subclass of natural systems. This reductionistic paradigm leaves no room for final causes; constrained thus are the simple systems. Members of their complementary collection, natural systems having mathematical models that are not dynamical systems, are the complex systems. Complex systems, containing hierarchical cycles in their entailment networks, can only be (...) approximated and simulated, locally and temporarily, by simple ones. Anticipatory systems are, in this specific sense, complex, hence this introductory chapter on Complex Systems in the Handbook of Anticipation. (shrink)

A wide array of syntactic phenomena can be categorized as being either direction-sensitive (e.g. coordination) or direction-insensitive (quantification and medial extraction). In the realm of categorial grammar, many frameworks are engineered to handle one class of phenomena at the expense of the other. In particular, Lambek-inspired frameworks handle direction-sensitivity elegantly but struggle with cases of direction-insensitivity, whereas in linear grammars, the situation is just the opposite. One reasonably successful attempt to unify the insights of both types of grammar (...) and allow for the analysis of direction-sensitive as well as direction-insensitive phenomena is hybrid type-logical categorial grammar (HTLCG), which augments the set of syntactic categories of an ordinary linear grammar with the directional slashes of a Lambek grammar. In this paper, the complementary nature of Lambek and linear grammars, with respect to direction-sensitive and direction-insensitive phenomena, is expounded on, as is the nature of how HTLCG attempts to reconcile the two systems. The paper further discusses an alternative to HTLCG—a linear grammar which adds Lambek-like capabilities by augmenting the string-combining (phenogrammatic) mechanism instead of the definition of syntactic categories (the tectogrammar). In particular, LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi$$\end{document} (linear categorial grammar with phenominators) adds a form of subtyping based on phenominators—a class of linear functions which specify various modes of (phenogrammatic) combination. Most importantly, an algorithm is provided for embedding HTLCG into LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi$$\end{document}, thereby demonstrating that LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi$$\end{document} can handle direction-(in)sensitivity at least as well as HTLCG. (shrink)

We present an implementation of a discourse parsing system for alexicalized Tree-Adjoining Grammar for discourse, specifying the integrationof sentence and discourse level processing. Our system is based on theassumption that the compositional aspects of semantics at thediscourse level parallel those at the sentence level. This coupling isachieved by factoring away inferential semantics and anaphoric features ofdiscourse connectives. Computationally, this parallelism is achievedbecause both the sentence and discourse grammar are LTAG-based and the sameparser works at both levels. The approach (...) to an LTAG for discourse has beendeveloped by Webber and colleagues in some recent papers. Our system takes a discourseas input, parses the sentences individually, extracts the basic discourseconstituent units from the sentence derivations, and reparses the discoursewith reference to the discourse grammar while using the same parser usedat the sentence level. (shrink)

The spin-j Einstein–Podolsky–Rosen–Bohm experiment is examined in the context of how the quantum theoretic probability distributions for the spin measurement outcomes are to be coarse-grained in order to yield classical behavior in the $$j \rightarrow \infty$$ limit. A coarse-graining protocol is found that can be viewed as imperfection either in the detection process or in state preparation process, and is in both viewpoints minimal in the sense that it is no more than what is needed to wash out the (...) execess quantum correlations. In the first point of view the coarse-grained distribution can be written in terms of a Bell-type factorizable hidden variable model wherein the conditional distributions for the spin measurement outcome of each particle is not just nonnegative but actually attains the value zero for some choice of measurement axis. In the second point of view the coarse-grained distribution arises from a spin state whose Wigner function is not just nonnegative but actually attains the value zero for some spin orientations. That such a remarkable dual interpretation should be possible suggests that this type of complementary coarse graining is an intrinsic aspect of how classicality is obtained in the large j limit, but this conclusion remains speculative. (shrink)

The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions in terms of ensembles of epistemic states (symbols) with corresponding classical observables, it is shown that such observables are complementary to each other with respect to particular partitions unless those partitions are generating. This explains why symbolic descriptions based on an ad hoc partition of an underlying phase (...) space description should generally be expected to be incompatible. Related approaches with different background and different objectives are discussed. (shrink)

Statistics is the science of collection, summarizing, presentation and interpretation of data. Moreover, it yields methods used in the verification of research hypotheses. The presence of a statistician in a research group remarkably improves both the quality of design and research and the optimization of financial resources. Moreover, the involvement of a statistician in a research team helps the physician to effectively utilize the time and energy spent on diagnosing, which is an important aspect in view of limited healthcare resources. (...) Precise, properly designed and implemented Computerized Clinical Decision Support Systems certainly lead to the improvement of healthcare and the quality of medical services, which increases patient satisfaction and reduces financial burdens on healthcare systems. (shrink)

Pozzi1 has thoroughly analysed testimonial injustices in the automated Prediction Drug Monitoring Programmes (PDMPs) case. Although Pozzi1 suggests that ‘the shift from an interpersonal to a structural dimension … bears a significant moral component’, her topical investigation does not further conceptualise the type of collective knowledge practices necessary to achieve epistemic justice. As Pozzi1 concludes: ‘this paper shows the limitations of systems such as automated PDMPs, it does not provide possible solutions’. In this commentary, we propose that an Ubuntu (...) perspective—which, so far, has received little attention in connection with epistemic injustice in medical machine learning (MML)—can fill this gap. This perspective can be used to mitigate some of the harmful effects of epistemic injustices by encouraging community involvement and forward-looking responsibility. It may be instructive to note first and foremost that the debate on epistemic justice and artificial intelligence in medicine has mostly been restricted to the Western World, that is, Europe and North America. There has been very little insight or accommodation of insights from the Global South. Ubuntu is a concept originating from Southern Africa that focuses on the close connections and mutual …. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

The system approach to the miracle is based on the conviction that the complex issues, requiring the interdisciplinary approach, should be captured in a system way. Thus, the problem of miracle, because of its interdisciplinary character, should be captured in a systemic way, because such approach enables the more adequate and comprehensive presentation of these issues. The system approach towards the epistemology of miracle is the attempt of the more adequate presentation of the relationship between the scientific-natural research and theological (...) stage of recognizing the miracle. Because of using systemic categories, it is possible to present the common foundations (environment) of the system of scientific-natural knowledge and the system of theological interpretation, which can be described as the rationality of knowledge. The result of adopting the systemic epistemology of miracle is noticing the relations between the scientific-natural research and theological interpretation in their system complexity. Determining these relations leads to the more general conclusion that the natural sciences and theology as separate and autonomous systems of gaining the knowledge of reality do not have to be treated as the competing but rather as the complementary ones, with their methodological diversity and limitations in mind. (shrink)

Despite the frequent use of the term systems by academicians and management practitioners, there is little agreement as to what the term really means. Experts in different fields talk about accounting systems, production systems, electronic data processing systems, market systems, financial systems, reward and motivation systems, and so on, but the student of management is confused by the nebulous and, at times, seemingly contradictory terms. This article uses the term Systems Approach as (...) a convenient handle to pull together a few basic ideas about the systems concept. Systems Approach organizes one's thinking to understand more clearly the complexity of a real world phenomenon. It consists of two main parts: (1) Systems Thinking (ST), and (2) Information Technology (IT). ST provides the knowledge for developing a Theory of Systems, such as General Systems Theory and Cybernetics, while IT supplies the tools for testing and improving this theory. The relationship between the two parts is a complementary one. Advances in theory lead to the development of better technology, while improvement in technology makes theory development easier and more reliable. (shrink)

Paradigms that combine synthetic (one-word) and periphrastic forms in complementary distribution have loomed large in discussions of morphological blocking (McCloskey and Hale 1983, Poser 1986, Andrews 1990). Such composite paradigms potentially challenge the lexicalist claim that words and sentences are organized by distinct subsystems of grammar. They are of course grist for the mill of Distributed Morphology, a theory which revels in every kind of interpenetration of morphology and syntax. But they have prompted even Paradigm Function Morphologists to (...) introduce syntactic constructions into their morphology. I shall argue, instead, for a lexicalist treatment, which is based on the idea that blocking is a filtering device that applies to the output of the generative system, rather than operating directly on its derivations (Wunderlich 1996). I present this approach to blocking in section 1, and show in section 2 how it deals with the intricate composite verb paradigm of Latin, where the periphrastic perfect passive supplies the missing pieces of an otherwise synthetic inflectional system. This part of Latin verb morphology has recently been treated from the perspective of Distributed Morphology and Paradigm Function Morphology. I compare my solution to these treatments and argue that it is superior in two respects: it predicts the complementarity of the synthetic and periphrastic formations and yet allows their respective morphological and syntactic properties to be captured, and it readily covers some basic data that the other analyses get wrong. (shrink)

In classical physics, the world is considered as a matter-based reality, the arrangement of whose parts in time is uniquely determined by certain dynamic laws. By contrast, modern quantum physics reveals that matter is not composed of matter, but reality is merely potentiality. The world has a holistic structure, which is based on fundamental relations and not material objects, admitting more open, indeterministic developments. In this more flexible causal framework, inanimate and animate matter are not to be considered as fundamentally (...) different but as different order structures of the same immaterial entity. In a stable configuration, effectively all the uncertainties are statistically averaged out, thus the unique and deterministic behavior of ordinary inanimate matter is exhibited; whereas in the case of statically unstable but dynamically stable configurations, the “lively” features of the underlying quantum structure have a chance to surface to the mesocopic level and to be connected with what we observe as the phenomenon of life. This supposition can be more explicitly treated and clarified by identifying the electric dipole moment of biomolecules as the ordering parameter of the corresponding macroquantum system. This has important consequences for biology and medicine. In particular, it suggests the existence of a quantum-based “software,” essential perhaps for the logistics of biological processes, which are hidden behind the matter/energy-based “hardware” that alone is considered in the conventional approach. In medicine it opens an opportunity to build bridges between conventional medicine based essentially on the classical paradigm, and the various forms of complementary medicine, which have strong affinities with the new features of the modern holistic worldview. (shrink)

Digital technologies are radically transforming our work environments and demand for skills, with certain jobs being automated away and others demanding mastery of new digital techniques. This global challenge of rapidly changing skill requirements due to task automation overwhelms workers. The digital skill gap widens further as technological and social transformation outpaces national education systems and precise skill requirements for mastering emerging technologies, such as Artificial Intelligence, remain opaque. Online labour platforms could help us to understand this grand challenge (...) of reskilling en masse. Online labour platforms build a globally integrated market that mediates between millions of buyers and sellers of remotely deliverable cognitive work. This commentary argues that, over the last decade, online labour platforms have become the ‘laboratories’ of skill rebundling; the combination of skills from different occupational domains. Online labour platform data allows us to establish a new taxonomy on the individual complementarity of skills. For policy makers, education providers and recruiters, a continuous analysis of complementary reskilling trajectories enables automated, individual and far-sighted suggestions on the value of learning a new skill in a future of technological disruption. (shrink)

The disruption to the national GCSE (General Certificate of Secondary Education) examinations in England during the summer (June–August) exam period of 2020 due to the COVID-19 pandemic has been well documented; however, less attention has been paid to the challenges faced by complementary schools in preparing students for GCSEs in heritage languages. This paper addresses this lacuna in exploring the results of a small-scale study investigating the challenges faced by eight Polish school heads as they attempted to follow the (...) various guidelines for the 2020 GCSE exam period. Findings suggest that support from the mainstream sector was limited, and Polish complementary schools struggled with being seen as less legitimate sites of learning, as heads, teachers and students negotiated the changes made to the GCSE exam due to the pandemic. This paper highlights the negative positioning of Polish language exams within the English education system through the lens of a linguistic ideology which positions some languages as more worthy of study than others. It also argues that the pandemic highlighted how complementary schools and teachers working within them are frequently seen as less professionally competent than those in mainstream schools and calls for greater recognition for complementary schooling. (shrink)

The issue on the role of users in knowledge-based systems can be investigated from two aspects: the design aspect and the functionality aspect. Participatory design is an important approach for the first aspect while system adaptability supported by user modelling is crucial to the second aspect. In the article, we discuss the second aspect. We view a knowledge-based computer system as the partner of users' problem-solving process, and we argue that the system functionality can be enhanced by adapting the (...) behaviour of the system to fit the needs of users with different profiles. We emphasise that the notion of user modelling is crucial to realise such kind of flexibility. User modelling will be beneficial to the user, not only through adaptive interfaces, but also through the enhanced system adaptability. In a knowledge-based system, by incorporating user models, searching can be reduced to a smaller portion in the knowledge-base, thus enhancing system functionality. In other words, user modelling is incorporated to realise flexible inference control to achieve system adaptability. An example is provided, and a general conceptual model is sketched. We conclude this paper by emphasising that the design aspect and functionality aspect are complementary. Achieving enhanced functionality through joint efforts of computers and human users indicates a kind of participatory execution of computerised problem-solving or participatory problem-solving. (shrink)

Challenges for extending the mirror system hypothesis include mechanisms supporting planning, conversation, motivation, theory of mind, and prosody. Modeling remains relevant. Co-speech gestures show how manual gesture and speech intertwine, but more attention is needed to the auditory system and phonology. The holophrastic view of protolanguage is debated, along with semantics and the cultural basis of grammars. Anatomically separated regions may share an evolutionary history.

A rejection system, also referred to as a complementary calculus, is a proof system axiomatising the invalid formulas of a logic, in contrast to traditional calculi which axiomatise the valid ones. Rejection systems therefore introduce a purely syntactic way of determining non-validity without having to consider countermodels, which can be useful in procedures for automated deduction and proof search. Rejection calculi have first been formally introduced by Łukasiewicz in the context of Aristotelian syllogistic and subsequently rejection systems (...) for many well-known logics have been proposed. In this paper, we deal with rejection systems for so-called non-deterministic finite-valued logics, a special case of non-deterministic many-valued logics which were introduced by Avron and Lev as a generalisation of traditional many-valued logics. More specifically, we introduce a systematic method for constructing sequent-style rejection systems for any given non-deterministic finite-valued logic. Furthermore, as special instances of our method, we provide concrete calculi for specific paraconsistent logics which can be characterised in terms of non-deterministic two- and three-valued semantics, respectively. (shrink)

We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity—some of which new—in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position–momentum, position–energy, number–phase, as well as periodic observables relevant to spatial (...) interferometry. We close the paper with some considerations of complementarity in a noisy setting, focusing especially on the case of convolutions of position and momentum, which was a recurring topic in Paul’s work on operational formulation of quantum measurements and central to his philosophy of unsharp reality. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates (...) the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

RESUMEN La medicina tradicional herbolaria desde su evolución hasta la contemporaneidad ha sido objeto de uso para la medicina convencional. Por eso el objetivo del trabajo es describir el comportamiento de la medicina tradicional herbolaria en los sistemas de salud convencionales. Se realizó la búsqueda y análisis documental de numerosas fuentes sobre la temática pertenecientes a las bases de datos SciELO Cuba, SciELO Regional, Science Direct, Clinical Key, Cumed, Lilacslo. Se concluye que la actualidad social registra manifestaciones alentadoras en el (...) campo de la aceptación de la herbolaria como medicina complementaria por el equipo de salud y un renovado interés en el ámbito mundial por estudiar los efectos que tienen las plantas sobre la salud. ABSTRACT The traditional herbalist medicine from its evolution to the contemporaneity has been an object use for the conventional medicine. That's why the objective of the work is to describe the behavior of the traditional herbalist medicine in the conventional health systems. A search and documentary analysis of numerous sources on the subject-matter belonging to the databases SciELO Cuba, SciELO Regional, Science Direct, Clinical Key, Cumed, Lilacslo was carried out. It is concluded that the social actuality registers encouraging declarations in the field of the acceptance of the herbalist as complementary medicine for the team of health and a renewed interest in the world ambience to study the effects that have the plants on the health. (shrink)

Community-based food cultivation by and for rural Alaskans has never been stronger. Rural gardeners, many Indigenous, provide their families and communities with affordable access to high-quality fruits and vegetables and other locally grown foods. Despite these emerging trends, there is sparse examination of gardening as a complementary, diversification, or adaptation strategy in wild food-centered systems and the interchange of values and worldviews among practices. Findings from interviews and surveys in Dillingham, Alaska, and interviews with community-focused gardens throughout the (...) state, inform our research questions about the role of gardening in rural Alaska and the links between food cultivation practices and wild food traditions. In this study we find that home gardeners are essential pillars of food sovereignty and security in their communities, providing both gardened foods and high volumes and more diversity of wild foods. Gardening households increase the diversity of shared food resources in the community and serve as sinks of gardening knowledge and supplies for other community members. Traditional food practices and ethics are interwoven into gardening and have become part of annual food rounds and celebrations. Locally, cultivated foods are often described as a complement to age-old foodways that draw on histories and values connected to Indigenous agriculture and horticulture in the United States and Canada. Policies, practices, and programming of food and nutrition security and food sovereignty must consider the holistic food system and strategies that communities desire and invest in. (shrink)

The for addiction proposed by Redish and colleagues is only unified at a reductionist level of analysis, the biological one relating to decision-making. Theories of addiction may be complementary rather than mutually exclusive, suggesting that limitations of individual theories might be unified through the combination of ideas from different biopsychosocial systems perspectives.

Indigenous knowledge is often dismissed as ‘traditional and outdated’, and hence irrelevant to modern ecological assessment. This theoretical paper critically examines the arguments advanced to elevate modern western ecological knowledge over indigenous ecological knowledge, as well as the sources and uses of indigenous ecological knowledge. The central argument of the paper is that although the two systems are conceptually different, it would be fallacious to regard one as superior to the other merely because they are premised on different worldviews.

Logic is traditionally considered to be a purely syntactic discipline, at least in principle. However, prof. David Isles has shown that this ideal is not yet met in traditional logic. Semantic residue is present in the assumption that the domain of a variable should be fixed in advance of a derivation, and also in the notion that a numerical notation must refer to a number rather than be considered a mathematical object in and of itself. Based on his work, the (...) central question of this thesis is what kind of logic, if any, results from removing this semantic residue from traditional logic.We differ from traditional logic in two significant ways. The first is that the assumption that a numerical notation must refer to a number is denied. Numerical notations are considered as mathematical objects in their own right, related to each other by means of rewrite rules. The traditional notion of reference is then replaced by the notion of reduction (by means of the rewrite rules) to a normal form. Two numerical notations that reduce to the same normal form would traditionally be considered identical, as they would refer to the same number, and hence they would be interchangeable salva veritate. In the new system, called Buridan-Volpin (BV), the numerical notations themselves are the elements of the domains of variables, and two numerical notations that reduce to the same normal form need not be interchangeable salva veritate, except when they are syntactically identical (i.e., have the same Gödel number).The second is that we do away with the assumption that the domains of variables need to be fixed in advance of a derivation. Instead we focus on what is needed to guarantee preservation of truth in every step of a derivation. These conditions on the domains of the variables, accumulated in the course of a derivation, are combined in a reference grammar. Whereas traditionally a derivation is considered valid when the conclusion follows from the premisses by way of the derivation rules (and possibly axioms), in the BV system a derivation must meet the extra condition that no inconsistency occurs within the reference grammar. For if the reference grammar were to give rise to inconsistency (i.e., it would be impossible to assign domains to all the variables without breaking at least one of the conditions placed on them in the reference grammar), there is no longer a guarantee that truth has been preserved in every step of the derivation, and hence the truth of the conclusion is not guaranteed by the derivation.In Chapter 2 the BV system is introduced in some formal detail. Chapter 3 gives some examples of derivations, notably totality of addition, multiplication and exponentiation, as well as a lemma needed for the proof of Euclid’s Theorem. These examples, taken from prof. Isles’ First-Order Reasoning and Primitive Recursive Natural Number Notations, show that there is a real proof-theoretical difference between traditional logic and the BV system. Here we also find the first major point of departure between myself and prof. Isles, centered on the notion of inheritance of conditions in the reference grammar by way of lemmata. These different points of view are best illustrated in the sections on the totality of exponentiation and on Euclid’s Lemma: prof. Isles maintains that the proof of totality of exponentiation is not BV valid, while I maintain that it is. But I do agree with him that the traditional proof of Euclid’s Lemma is not BV valid. Chapter 6 also expands the arguments for my choice in this matter.Now that it has been shown that there is a difference between traditional logic and BV, the properties of BV need to be examined. In Chapter 4 we give a proof of Cut-elimination for BV minus induction and the subformula property for BV, which allows us to prove the consistency of BV minus induction. We also expand on the reasons for excluding induction. In Chapter 5 we consider in detail the proof of a finite analog to the Löwenheim–Skolem theorem given by prof. Isles in his article with the same title. He proves that under certain conditions it is always possible, given the existence of a (possibly uncountable) model for a derivation, to give a finite model for this derivation. The system he considers deviates from BV as considered in this thesis in two significant ways: it does not contain the induction rule and the domains contain numbers instead of numerical notations. We then go on to show that it is possible to extend the result to include induction, in the sense that the existence of a possibly uncountable model for a derivation guarantees the existence of a model that is at most countable. We also consider the complications that arise from taking numerical expressions instead of numbers as the elements of domains.Finally, in Chapter 6 we consider the philosophical consequences of the BV system, informed by the formal results from the previous chapters. In particular we discuss the relation between reduction and reference, the status of reference grammars, the notion of induction and its function within BV, and some brief considerations on the consequences of the BV system for the discussion regarding nominalism and realism with regard to mathematical objects. The object of the chapter is twofold. On the one hand applying the formal results to philosophical questions, on the other hand arguing that BV is not just a theoretically acceptable alternative to traditional logic, but is in fact deserving of further development and research into its properties. The latter will probably appeal most to those of a nominalist and/or finitist bent.Abstract prepared by Harrie de Swart and Sven Storms.E-mail:sven.storms@tilburguniversity.eduURL:https://research.tilburguniversity.edu/files/6170 1294/Storms_The_Buridan_Volpin_04_05_2022.pdf. (shrink)

Antony Duff’s The Realm of Criminal Law offers an appealing moral reconstruction of the criminal law. I agree that the criminal law should be understood to predicate punishment upon sufficient proof that the defendant has committed a public wrong for which she is being held to account and censured. But the criminal law is not only about censoring people for public wrongs; it must serve other purposes as well, such as preventing people from committing serious crimes and more generally from (...) violating reasonable regulations. These purposes, and perhaps retributive justice, require the criminal law also to mete out harsh treatment, but only insofar as such treatments are proportional to the culpable wrong committed. The problem for the criminal law is that many mala prohibita crimes consist of a minor wrong but also call for a relatively severe punishment. To accommodate that mismatch, it is necessary to complement the criminal law, as Duff and I conceive of it, with what I call “penal law.” Penal law relies on forfeiture to explain why hard treatment is permissible. The forfeiture must be fair, and it comes with its own proportionality limits. But those limits are not as strict as the limits implicit in the criminal law. It allows for penalties that are harsher than the punishments that could justifiably be meted out for many mala prohibita offenses. One and the same act can count as a crime and a penal infraction, and one and the same criminal justice system can and should handle both crimes and the penal infractions. It is, I think, only in that way that we can accommodate both the need to prevent public wrongdoing and the distinct importance of holding people accountable for the commission of public wrongs. (shrink)

Richard Levins’ distinction between aggregate, composed and evolved systems acquires new significance as we recognize the importance of mechanistic explanation. Criteria for aggregativity provide limiting cases for absence of organization, so through their failure, can provide rich detectors for organizational properties. I explore the use of failures of aggregativity for the analysis of mechanistic systems in diverse contexts. Aggregativity appears theoretically desireable, but we are easily fooled. It may be exaggerated through approximation, conditions of derivation, and extrapolating from (...) some conditions of decomposition illegtimately to others. Evolved systems particularly may require analyses under alternative complementary decompositions. Exploring these conditions helps us to better understand the strengths and limits of reductionistic methods. (shrink)

Background:Stress can frequently occur in the driving context. Its cognitive effects can be deleterious and lead to uncomfortable or risky situations. While stress detection in this context is well developed, regulation using dedicated advanced driver-assistance systems (ADAS) is still emergent.Objectives:This systematic review focuses on stress regulation strategies that can be qualified as “subtle” or “mindless”: the technology employed to perform regulation does not interfere with an ongoing task. The review goal is 2-fold: establishing the state of the art on (...) such technological implementation in the driving context and identifying complementary technologies relying on subtle regulation that could be applied in driving.Methods:A systematic review was conducted using search operators previously identified through a concept analysis. The patents and scientific studies selected provide an overview of actual and potential mindless technology implementations. These are then analyzed from a scientific perspective. A classification of results was performed according to the different stages of emotion regulation proposed by the Gross model.Results:A total of 47 publications were retrieved, including 21 patents and 26 studies. Six of the studies investigated mindless stress regulation in the driving context. Patents implemented strategies mostly linked to attentional deployment, while studies tended to investigate response modulation strategies.Conclusions:This review allowed us to identify several ADAS relying on mindless computing technologies to reduce stress and better understand the underlying mechanisms allowing stress reduction. Further studies are necessary to better grasp the effect of mindless technologies on driving safety. However, we have established the feasibility of their implementation as ADAS and proposed directions for future research in this field. (shrink)

Dynamicism has provided cognitive science with important tools to understand some aspects of “how cognitive agents work” but the issue of “what makes something cognitive” has not been sufficiently addressed yet, and, we argue, the former will never be complete without the later. Behavioristic characterizations of cognitive properties are criticized in favor of an organizational approach focused on the internal dynamic relationships that constitute cognitive systems. A definition of cognition as adaptive-autonomy in the embodied and situated neurodynamic domain is (...) provided: the compensatory regulation of a web of stability dependencies between sensorimotor structures, is created and preserved during a historical/developmental process. We highlight the functional role of emotional embodiment: internal bioregulatory processes coupled to the formation and adaptive regulation of neurodynamic autonomy. Finally, we discuss a “minimally cognitive behavior program” in evolutionary simulation modelling suggesting that much is to be learned from a complementary “minimally cognitive organization program”. (shrink)