Since their introduction by Partee and Rooth (1983) into linguistic theory, type shifting principles have been extensively employed in various linguistic domains, including nominal predicates (Partee 1987), kind denoting NPs (Chierchia 1998), interrogatives (Groenendijk and Stokhof 1989), scrambled definites (De Hoop and Van der Does 1998) and plurals (Winter 2001,2002). Most of the accounts that use type shifting principles employ them as ``last resort'' mechanisms, which apply only when other compositional mechanisms fail. This failure is often (...) sloppily referred to as type mismatch . The motivation for introducing type mismatch into the compositional mechanism is twofold: on the one hand it allows lexical items to be assigned the minimal types that are needed for describing their denotation; on the other hand, it has been argued that the ``last resort'' strategy of type shifting prevents derivation of undesired meanings. The first goal of this paper is to define a simple notion of type mismatch, which will rather closely follow Partee and Rooth's original proposal but will be expressed within more familiar terms of categorial semantics. After introducing this implementation of traditional type mismatch, it will be argued that in fact, it covers only one possible kind of trigger for type shifting principles. Partee and Rooth's notion of mismatch is ``external'' in that the type of an expression is changed only when it combines with another type to which it cannot compose using the ``normal'' compositional mechanism. It will be argued that, within an appropriate type system, another notion of mismatch is also useful. This is the kind of mismatch in which the semantic type of an expression does not match its syntactic category. Two such cases will be explored: mismatch between morpho-syntactic number (singular or plural) and semantic number (a denotation ranging over atoms or sets), and mismatch between syntactic category (noun, DP, adjective etc.) and semantic role (predicate, quantifier, predicate modifier etc.).. (shrink)

One of the central problems arising from just the descriptive aspect of Kuhn's theory of scientific development by revolutions concerns the problem of generality. Is Kuhn's theory general enough to encompass the development of all the sciences, including both the natural sciences and the social sciences? The answer to this question is no. It is argued that this negative answer is due not to the nature of the sciences themselves but to the nature of Kuhn's theory and, in particular, its (...) local and reductionistic perspective. First steps toward the construction of a more global and more pluralistic descriptive theory of scientific development are taken. The development of significant episodes in the history of sciences other than physics and chemistry are considered. The immediate goals are to correct the narrow base from which Kuhn starts, to show how some of his basic ideas might be preserved, and to indicate how a theory of types would proceed. (shrink)

Dual-process models of cognition suggest that there are two types of thought: autonomous Type 1 processes and working memory dependent Type 2 processes that support hypothetical thinking. Models of creative thinking also distinguish between two sets of thinking processes: those involved in the generation of ideas and those involved with their refinement, evaluation, and/or selection. Here we review dual-process models in both these literatures and delineate the similarities and differences. Both generative creative processing and evaluative creative processing involve (...) elements that have been attributed to each of the dual processes of cognition. We explore the notion that creative thinking may rest upon the nature of a shifting process between Type 1 and Type 2 dual processes. We suggest that a synthesis of the evidence bases on dual-process models of cognition and of creative thinking, together with developing time-based approaches to explore the shifting process, could better inform the development of i.. (shrink)

In this paper I present a linguistic investigation of the literary style known as free indirect discourse within the framework of formal semantics. I will argue that a semantics for free indirect discourse involves more than a mechanism for the independent context shifting of pronouns and other deictic elements. My argumentation is fueled by literary examples of free indirect discourse involving what I call language shifts: -/- Most of the great flame-throwers were there and naturally, handling Big John de (...) Conquer and his works. How he had done everything big on earth, then went up tuh heben without dying atall. Went up there picking a guitar and got all de angels doing the ring-shout round and round de throne...that brought them back to Tea Cake. How come he couldn’t hit that box a lick or two? (Hurston 1937, Their Eyes Were Watching God) -/- Free indirect discourse combines elements of both, but it seems decidedly closer to direct discourse. I examine the reigning semantic analysis of free indirect discourse, a variant of the demonstrative account of direct discourse featuring “double context dependence” (Banfield 1982,Schlenker 2004). After showing that this type of account has fundamental difficulties with language shift data like (1), I close with a brief sketch of an alternative analysis based on “mixed quotation.”. (shrink)

Eight structural criteria are developed as part of a dialogical method by testing them against seven examples of arguments from negative consequences. The aim is to provide a method for evaluating the arguments in the examples as fallacious or not. It is shown that any method that can be satisfactorily used to evaluate such examples needs to be based on two techniques. The first is careful application of argumentation underlying shifts from one type of dialog to another schemes. The (...) second is consideration of contextual factors concerning. (shrink)

In this paper we explore shifts in how the law and ethics allow European law enforcement officers to use forensic genetic technologies. We do so by reviewing three technologies, ‘traditional’ (STR-based) forensic DNA profiling, forensic DNA phenotyping and the searching of genetic genealogy databases. In particular, we discuss changes in how ethical boundaries have been placed around what is seen as an appropriate use of genetic technologies in European criminal justice systems. While the ‘type’ of DNA that law enforcement (...) officers are permitted to analyse offers a useful ethical reference point, for newer forensic genomic technologies, ethical scrutiny, we argue, would also look at the specific purpose or use of the technology. (shrink)

This paper investigates force shift, a phenomenon in which the canonical discourse conventions, or force, associated with a clause type can be overridden to yield polar questions with the help of additional force-indicating devices. Previous studies attribute force shift to the presence of a complex question force component operating on semantic content. Based on utterance particles and particle clusters in Cantonese, we analyze force shift as resulting from compositional operations on force-bearing expressions. We propose that a simplex force, such (...) as assertion or question, denotes unanchored sentence acts, while a force-shifting particle like Cantonese _ho2_ is an anchoring function anchoring a sentence act to the speaker while querying whether or not the addressee can perform the sentence act. The proposed semantics makes predictions about _ho2_’s interactions with addressee-changing operations and imperatives, as well as about a larger family of force shift phenomena. (shrink)

The text is concerned with a class of two-sided stochastic processes of the form. Here is a two-sided Brownian motion with random initial data at time zero and is a function of. Elements of the related stochastic calculus are introduced. In particular, the calculus is adjusted to the case when is a jump process. Absolute continuity of under time shift of trajectories is investigated. For example under various conditions on the initial density with respect to the Lebesgue measure,, and on (...) with we verify i.e. where the product is taken over all coordinates. Here is the divergence of with respect to the initial position. Crucial for this is the temporal homogeneity of in the sense that,, where is the trajectory taking the constant value. By means of such a density, partial integration relative to a generator type operator of the process is established. Relative compactness of sequences of such processes is established. (shrink)

This paper introduces some of the main components of a novel type theoretical semantics for quantifi- cation with plural noun phrases. This theory, unlike previous ones, sticks to the standard generalized quantifier treatment of singular noun phrases and uses only one lifting operator per semantic category (predicate, quantifier and determiner) for quantification with plurals. Following Bennett (1974), plural individuals are treated as functions of type ¢¡ . Plural nouns and other plural predicates accordingly denote £ ¢¡¥¤¦¡ functions. Such (...) predicates do not match the standard £ ¢¡¥¤ £§£ ¢¡¨¤©¡¥¤ type of determiners. Following Partee and Rooth (1983), type mismatches are resolved using type shifting operators. These operators derive collectivity with plurals, keeping the analysis of singular noun phrases, where no type mismatch arises, as in Barwise and Cooper (1981). A single type shifting operator for determiners combines into one reading the existential shift and the counting (neutral) shift of Scha (1981) and Van der Does (1993). This operator combines the conservativity principle of generalized quantifier theory with Szabolcsi’s (1997) existential quantification over witness sets. The unified lift prevents unmotivated ambiguity as well as the monotonicity ill of existential lifts pointed out by Van Benthem.. (shrink)

Using tools like argument diagrams and profiles of dialogue, this paper studies a number of examples of everyday conversational argumentation where determination of relevance and irrelevance can be assisted by means of adopting a new dialectical approach. According to the new dialectical theory, dialogue types are normative frameworks with specific goals and rules that can be applied to conversational argumentation. In this paper is shown how such dialectical models of reasonable argumentation can be applied to a determination of whether an (...) argument in a specific case is relevant are not in these examples. The approach is based on a linguistic account of dialogue and text from congruity theory, and on the notion of a dialectical shift. Such a shift occurs where an argument starts out as fitting into one type of dialogue, but then it only continues to makes sense as a coherent argument if it is taken to be a part of a different type of dialogue. (shrink)

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F-sharp in its fourth measure” by adopting an (...) untenable semantic claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt. (shrink)

BackgroundSome persons conceived with donor gametes react negatively when they found their birth via donor conception. They request access to information about and seek to communicate with the donor. However, some countries mandate donor anonymity. Other countries allow donor-conceived persons to access donor information, but they can only use this access if their parents have disclosed donor conception to them. We investigated a thorny issue of donor conception: whether donor conception should be shifted from an anonymous basis to a non-anonymous (...) basis.MethodsWe review the issues and concerns regarding donor conception. We then consider the impact of direct-to-consumer genetic testing on donor conception, as well as the influence of donor conception on offspring’s identity and the potential of different types of donors. To discuss the future policy of donor conception, the policies on the anonymity of gamete donors were investigated using publicly-available documents in 15 countries.ResultsThe aim of mandating donor anonymity is to protect the privacy of the donor and intended parents. However, the diffusion of direct-to-consumer genetic testing may make it impossible to maintain anonymity. Birth via donor conception shapes the offspring’s identity, and the donor may further influence the development of offspring’s identity through communications. It remains important to disclose donor conception to donor-conceived offspring and to provide them with donor information. However, that information might be insufficient for some donor-conceived persons. Here are benefits to having open-identity donors and known donors. Such donors can make an agreement with the parents regarding future communication with the offspring, although both sides should respect privacy. Subsequent counseling for all parties involved can result in better tripartite communication agreements.ConclusionsIn sum, ethical and practical issues that complicate donor anonymity are driving a shift to non-anonymous donor conception, in which all parties come to a communication agreement. To pave the way for such a donor conception system, transitional measures can be put into place. For countries that already adopted non-anonymous donor conception, ensuring the communication agreements is important to protect the rights of parents, donor, and offspring. (shrink)

This paper examines a little studied type of perspective shift that I call protagonist projection, following Holton :625–628, 1997). PP is a way of describing the mental state of a protagonist that conveys, to some extent, her perspective. Similarly to its better known cousin free indirect discourse, the shift in perspective is achieved without an overt operator. Unlike FID, PP is not based on a presumed speech-act of a protagonist. Rather, it gives a linguistic form to pre-verbal perceptual content, (...) sensations, feelings or implicit beliefs. I propose to analyse PP in a bi-contextual framework, extending Eckardt’s approach to FID. Under the resulting analysis, FID and PP are two instances of a more general category of perspective shift. (shrink)

Much attention has been paid to ‘deictic shifts’ in Ancient Greek literary texts. In this article I show that similar phenomena can be found in documentary texts. Contracts in particular display unexpected shifts from the first to the third person or vice versa. Rather than constituting a narrative technique, I argue that such shifts should be related to the existence of two major types of stylization, called the ‘objective’ and the ‘subjective’ style. In objectively styled contracts, subjective intrusions may occur (...) as a result of the scribe temporarily assuming himself to be the deictic center, whereas in subjectively styled contracts objective intrusions may occur as a result of the contracting parties dictating to the scribe, and the scribe not modifying the personal references. There are also a couple of texts which display more extensive deictic alter­nations, which suggests that generic confusion between the two major types of stylization may have played a role. (shrink)

The study of reputation has often focused on the creation of good reputations rather than on the varied means by which reputations are modified, or shifted, and the factors affecting such shifts. This paper develops a theory of reputation shifting and identifies five basic reputational actions, the types of strategic responses that can be taken to manage reputations.

This article examines the emergence of the Nyāya distinction between vāda and jalpa as didactic-scientific and agonistic-sophistical forms of debate, respectively. Looking at the relevant sutras in Gautama’s Nyāya-sūtra (NS 1.2.1-3) in light of the earlier discussion of the types of debate in Caraka Saṃhitā 8, the article argues that certain ambiguities and obscurities in the former text can be explained on the hypothesis that the early Nyāya presupposed an agonistic understanding of vāda similar to what we find in Caraka.

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift in contemporary English (...) and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)

I distinguish, and discuss the relations between, five types of context-shift involving indexicals. For 'intentional' indexicals - indexicals whose value depends upon the speaker's intention - we can shift the context more or less 'at will', by manifesting one's intention to do so. For other indexicals we can shift the context through pretense. Following a number of authors, I distinguish two types of context-shifting pretense, corresponding to two sets of linguistic phenomena. The fourth type of case is that (...) of expressions which are not really indexical, but perspectival, and for which we do not need to appeal to the notion of context-shift in order to account for their shifty behaviour. The fifth category I introduce and discuss is that of 'shiftable indexicals'. Do we need it, given that we already have the other four categories? My answer is a qualified 'yes'. (shrink)

Fieldworkers (FWs) are community members employed by research teams to support access to participants, address language barriers, and advise on culturally appropriate research conduct. The critical role that FWs play in studies, and the range of practical and ethical dilemmas associated with their involvement, is increasingly recognised. In this paper, we draw on qualitative observation and interview data collected alongside a six month basic science study which involved a team of FWs regularly visiting 47 participating households in their homes. The (...) qualitative study documented how relationships between field workers and research participants were initiated, developed and evolved over the course of the study, the shifting dilemmas FWs faced and how they handled them. Even in this one case study, we see how the complex and evolving relationships between fieldworkers and study participants had important implications for consent processes, access to benefits and mutual understanding and trust. While the precise issues that FWs face are likely to depend on the type of research and the context in which that research is being conducted, we argue that appropriate support for field workers is a key requirement to strengthen ethical research practice and for the long term sustainability of research programmes. (shrink)

This paper, based on research in a forthcoming monograph, Commitment in Dialogue, undertaken jointly with Erik Krabbe, explains several informal fallacies as shifts from one type of dialogue to another. The normative framework is that of a dialogue where two parties reason together, incurring and retracting commitments to various propositions as the dialogue continues. The fallacies studied include the ad hominem, the slippery slope, and many questions.

Converging Technologies, Shifting Boundaries Content Type Journal Article Pages 213-216 DOI 10.1007/s11569-009-0075-x Authors Tsjalling Swierstra, University of Twente Enschede Netherlands Marianne Boenink, University of Twente Enschede Netherlands B. Walhout, Rathenau Institute The Hague Netherlands R. Van Est, Rathenau Institute The Hague Netherlands Journal NanoEthics Online ISSN 1871-4765 Print ISSN 1871-4757 Journal Volume Volume 3 Journal Issue Volume 3, Number 3.

A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the presence of a perfectly reliable indicator (or prior sign ) of what an agent will freely do if left to act on his own, are guilty of begging the question against incompatibilists, since such indicators seem to presuppose a deterministic relation between an agent’s free action and its causal antecedents. (...) Objections of this sort have given rise to considerable efforts to construct alternative Frankfurt-type counterexamples that do not rely on prior signs of this kind and so do not presuppose determinism in a way that incompatibilists should find objectionable. One consequence of this shift in the way Frankfurt-type counterexamples are formulated is that it provides an opportunity for the forceful resurgence of certain versions of the so-called flicker defense of PAP. In this paper I develop two versions of the flicker defense, indicate their advantages over other versions of this strategy, and defend them against objections. Insofar as either of these is successful, it will show not only that PAP has yet to be falsified by any of the modified Frankfurt-type counterexamples currently on offer but that cases of this sort are in principle incapable of falsifying PAP. (shrink)

According to Character Shifting Theory, the rules determining indexical reference vary according to the communication technology used. These rules are established by conventions arising as solutions to coordination problems. I present two objections against Character Shifting Theory. First, I show that individuating context-types according to technologies makes incorrect truth-value predictions. Secondly, such individuation is not possible, as there are no coordination problems that occur when speakers communicate over these technologies. I then consider four ways by which one can (...) respond against my objections and show that none of them succeed. The failure of Character Shifting Theory has implications on the larger debate about whether a fixed-rule intention-insensitive account of indexical reference can be successful. (shrink)

We define the paraconsistent supra-logic Pσ by a type-shift from the booleans o of propositional logic Po to the supra-booleans σ of the propositional type logic P obtained as the propositional fragment of the transfinite type theory Q defined by Peter Andrews (North-Holland Studies in Logic 1965) as a classical foundation of mathematics. The supra-logic is in a sense a propositional logic only, but since there is an infinite number of supra-booleans and arithmetical operations are available for (...) this and other types, virtually anything can be specified. The supra-logic is a generalization of Lukasiewicz's three-valued logic, with the intermediate value duplicated many times and ordered such that none of the copies of this value imply other ones, but it differs from Lukasiewicz's many-valued logics as well as from logics based on bilattices. There are several automated theorem provers for classical higher order logic (finite type theory) and it should be possible to modify these to our needs. (shrink)

Many have contended that non-classical logicians have failed at providing evidence of paraconsistent logics being applicable in cases of inconsistency toleration in the sciences. With this in mind, my main concern here is methodological. I aim at addressing the question of how should we study and explain cases of inconsistent science, using paraconsistent tools, without ruining into the most common methodological mistakes. My response is divided into two main parts: first, I provide some methodological guidance on how to approach cases (...) of inconsistent science; and second, I focus on a peculiar type of formal methodologies for the scrutiny of inconsistent reasoning, the _Paraconsistent Alternative Approach_ (henceforth, PAA) and argue that PAA can enhance a more accurate understanding of sensible reasoning in inconsistent contexts. (shrink)

This article explores the correlations between linguistic figurative features and their corresponding conceptual representations, by considering their respective continuities and discontinuities in language shift. I compare the figurative encoding of emotions in Kriol, a creole of northern Australia, with those of Dalabon, one of the languages replaced by this creole, with a particular focus on evidence from metaphorical gestures. The conclusions are three-fold. Firstly, the prominent figurative association between the body and the emotions observed in Dalabon is, overall, not matched (...) in Kriol. Secondly, although this association is not prominent in Kriol, it is not entirely absent. It surfaces where speakers are less constrained by linguistic conventions: in non-conventionalized tropes, and gestures in particular. Indeed, some of the verbal emotion metaphors that have disappeared with language shift are preserved as gestural metaphors. Thus, Kriol speakers endorse the conceptual association between emotions and the body, in spite of the lower linguistic incidence of this association. The third conclusion is that therefore, in language shift, conceptual figurative representations and linguistic figurative representations are independent of each other. The former can persist when the latter largely disappear. Conversely, the fact that speakers endorse a certain type of conceptual representation does not entail that they will use corresponding linguistic forms in the new language. The transfer of linguistic figurative representations seems to depend, instead, upon purely linguistic parameters. (shrink)

The notion of a rigid designator was originally introduced with respect to a modal semantics in which only one world, the world of evaluation, is shifted. Several philosophical applications employ a modal semantics which shifts not just the world of evaluation, but also the world considered as actual. How should the notion of a rigid designator be generalized in this setting? In this note, I show that there are two options and argue that, for the currently most popular application of (...) two-dimensional modal semantics, proper names ought to be treated as rigid relative to the world considered as actual. (shrink)

This research presents a computer model called EUREKA that begins with novice‐like strategies and knowledge organizations for solving physics word problems and acquires features of knowledge organizations and basic approaches that characterize experts in this domain. EUREKA learns a highly interrelated network of problem‐type schemas with associated solution methodologies. Initially, superficial features of the problem statement form the basis for both the problem‐type schemas and the discriminating features that organize them in the P‐MOP (Problem Memory Organization Packet) network. (...) As EUREKA solves more problems, the content of the schemas and the discriminating features change to reflect more fundamental physics principles. This changing network allows EUREKA to shift from a novicelike means‐ends strategy to a more expertlike “knowledge development” strategy in which the presence of abstract concepts are triggered by problem features. In this model, the strategy shift emerges as a natural consequence of the evolving expertlike organization of problem‐type schemos. EUREKA captures many of the descriptive models of novice expert differences, and also suggests a number of empirically testable assumptions regarding problem‐solving strategies and the representation of problem‐solving knowledge. (shrink)

Focused on the material practices of making insect specimens, I explore how shifting concepts of potential are intricately crafted on the lab bench. Different types of time—from personal histories to imagined futures—are created and entangled as butterflies are made into specimens. Transforming a butterfly into a scientific tool does not merely transform the butterfly, I suggest, but also reciprocally folds back to transform the scientist who makes it. Based on ethnographic fieldwork with scientists in the labs and workrooms at (...) the Smithsonian National Museum of Natural History in Washington, DC and the California Academy of Sciences in San Francisco, California, I follow butterflies and moths (Lepidoptera) as they are collected, euthanized, pinned, genetically sampled for rewilding projects, such as reviving a Californian sand dune ecology, and frozen in biobanks for as-yet-unknown future uses. Through a comparative study of practices at these two sites, I examine how a butterfly can contain multiple types of potential: manifesting its inherent potential as it transforms from caterpillar to butterfly, the plasticity of the butterfly body as it is crafted into a scientific specimen, and the potential of that specimen to be used as a site for extracting genomic data. Perceptions of time, salvation, loss, and care emerge as specimens are prepared, sampled, and reimagined as solutions for recreating lost ecologies. (shrink)

Background: The prevalence of sedentary behavior in adolescents has aroused social attention. The association between sedentary behavior and cognitive flexibility remains unclear, and it may vary depending on the type of sedentary behavior. This study aimed to investigate the associations between specific-type sedentary behaviors and cognitive flexibility in adolescents.Method: A total of 700 Chinese adolescents aged 10–15 years were recruited. The self-report questionnaire was used to assess total sedentary time, recreational screen-based sedentary time, and educational sedentary time. The (...) More-odd shifting task was used to assess cognitive flexibility.Results: The correlation analysis showed that recreational screen-based sedentary time was negatively correlated with cognitive flexibility, whereas educational sedentary time was positively correlated with cognitive flexibility. The regression analysis also further revealed that a significantly negative association between recreational screen-based sedentary time and cognitive flexibility, while a significantly positive association existed between educational sedentary time and cognitive flexibility.Conclusion: The findings shown that the association between recreational screen-based sedentary behavior and cognitive flexibility differs from educational sedentary behavior in adolescents, providing new ideas for a more comprehensive understanding of the association between sedentary behavior and cognitive flexibility in adolescents. (shrink)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style ofPrincipia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the (...) semantics of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

Background: Positive effects of acute exercise on cognitive performances in general inspired research that investigated the effects of acute exercise on specific cognitive subdomains. Many existing studies examined beneficial effects of acute exercise on subsequent set shifting performance in healthy adults. Set shifting, a subdomain of executive function, is the ability to switch between different cognitive sets. The results of existing studies are inconsistent. Therefore, a meta-analysis was conducted that pooled available effect sizes. Additionally, moderator analyses were carried (...) out to identify covariates that determine the magnitude of exercise-induced set shifting benefits.Methods: Medline, PsycINFO, and SPORTDiscus were searched for eligible studies. Hedges' g corrected standardized mean difference values were used for analyses. Random-effects weights were applied to pool effects. Potential moderation of the effect of acute exercise on subsequent set shifting performance by exercise intensity, type of exercise, participants' age, and type of control group were examined.Results: Twenty-two studies were included into analysis. All aggregated effect sizes ranged from small to moderate. Overall, a small significant beneficial effect was revealed. Heterogeneity of included effect sizes was moderate and significant. Moderator analyses revealed a larger average effect in older adults than for studies examining younger adults. Light exercise led to larger effects than moderate or vigorous exercise. Studies testing acute exercise against active control groups showed a noticeably smaller average effect than studies that used passive or cognitive engaging control groups. Interestingly, application of resistance or aerobic exercise led to no different average effect sizes. However, none of the tested covariates reached statistical significance.Conclusion: Acute exercise improves subsequent set shifting performance. However, effect sizes are small, making the relevance for everyday life questionable. The results indicate that older adults benefit more from acute exercise than younger adults do. Light intensity exercise seems most effective while the type of exercise does not seem to influence the magnitude of effects. Research designs with active control groups show the smallest average effect, raising concerns about placebo effects.PROSPERO registration number: CRD42019138799. (shrink)

In Knowledge and the Flow of Information, Fred Dretske explains representational content by appealing to natural indication: a mental representation has its content in virtue of being a reliable natural indicator of a particular type of state of the world. His account fails for several reasons, not the least of which is that it cannot account for misrepresentation. Recognizing this, Dretske adds a twist in his more recent work on representational content (sketched in 'Misrepresentation' and elaborated in Explaining Behavior): (...) a mental representation acquires its semantic content when the fact that it naturally indicates some type of state of the world acquires explanatory relevance. This shift in emphasis from natural indication to function (and, so, to behaviour) is intended to address the disjunction problem. Whether or not it succeeds (I argue that it does not), new problems emerge as a direct result of the shift to emphasis on behaviour. First, although Dretske appeals to appropriate response behaviours for particular types of representations, it is not at all clear that such behaviours exist. Second, Dretske's theory cannot account for representations that never figure in the behaviour of the organism of which they are a part. In response to these problems, I suggest two possible routes to recovery: one, an appeal to implicit beliefs (or dispositions); and, two, an appeal to compositionality. Although it seems clear that Dretske must enlist one of these options if he is to formulate a successful causal naturalist theory of representational content, given his theoretical commitments, neither option is readily available to him. (shrink)

The aim of this study is to use a commognitive responsibility framework to visualize responsibility shift in collaborative problem solving during computer-supported one-to-one tutoring. Commognitive responsibility shift means that individuals’ cognitive responsibility shift can be reflected by the discourse in communication. For our sample, we chose a 15-year-old Chinese boy and his mathematics teacher with 6 years of teaching experience, both of whom have experienced computer-supported learning and teaching mathematics, respectively. We collected four tutoring videos online, and a 45-min interview (...) video from the teacher. We found that the third type of commognitive responsibility shift in both the teacher’s and student’s CPS behavior online is not only teacher–student comparison but also alternating-led, which includes teacher–student-led and student–teacher-led. (shrink)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop (...) the semantics of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

‘Type’ in biology is a polysemous term. In a landmark article, Paul Farber (Journal of the History of Biology 9(1): 93–119, 1976) argued that this deceptively plain term had acquired three different meanings in early nineteenth century natural history alone. ‘Type’ was used in relation to three distinct type concepts, each of them associated with a different set of practices. Important as Farber’s analysis has been for the historiography of natural history, his account conceals an important dimension (...) of early nineteenth century ‘type talk.’ Farber’s taxonomy of type concepts passes over the fact that certain uses of ‘type’ began to take on a new meaning in this period. At the closing of the eighteenth century, terms like ‘type specimen,’ ‘type species,’ and ‘type genus’ were universally recognized as referring to typical, model members of their encompassing taxa. But in the course of the nineteenth century, the same terms were co-opted for a different purpose. As part of an effort to drive out nomenclatural synonymy – the confusing state of a taxon being known to different people by different names – these terms started to signify the fixed and potentially atypical name-bearing elements of taxa. A new type concept was born: the nomenclatural type. In this article, I retrace this perplexing nineteenth century shift in meaning of ‘type.’ I uncover the nomenclatural disorder that the new nomenclatural type concept dissolved, and expose the conceptual confusion it left in its tracks. What emerges is an account of how synonymy was suppressed through the coinage of a homonym. (shrink)

This thesis examines procedures for ascribing ambiguity to particular sentences and words of a language. My discussion focuses on theories advanced by Keith Donnellan, Saul Kripke and David Kaplan regarding the alleged referential/attributive ambiguity of definite descriptions, and on arguments offered by Paul Ziff, David Wiggins and Jerrold Katz concerning the ambiguity of the word 'good'. I distinguish two kinds of semantic ambiguity, which I call "strong" and "weak", and develop a theoretical model of the former. Using this model, I (...) devise and evaluate a number of theoretically related practical tests designed to detect the presence of ambiguity in concrete cases. I argue against direct appeals to our intuitions of meaning, to Occam's Razor, to grammatical analyses and to foreign languages in settling disputed ascriptions of ambiguity. I favor procedures which indirectly test our intuitions of meaning by isolating the linguistic effects of mixing and shifting senses. My tests rely on the assumption that the effects which accompany the use of truly ambiguous expressions are distinguishable from the mere pragmatic uncertainty which permeates general language use. Semantically ambiguous terms are viewed as awkward linguistic devices whose use, for example, will occasionally produce humor, as in the case of a pun, or deceptively bad reasoning. The account I develop rests heavily on the traditional theory of meaning , and to the extent that the standards I erect furnish better evidence for an ascription of semantic ambiguity, to that extent they ratify the classical analysis of meaning. (shrink)

We now fix A ⊆ Q. We study a fundamental class of digraphs associated with A, which we call the A-digraphs. An A,kdigraph is a digraph (Ak,E), where E is an order invariant subset of A2k in the following sense. For all x,y ∈ A2k, if x,y have the same order type then x ∈ E ↔ y ∈ E.

Textbooks have played the leading role in academic education for centuries and their form has evolved, adapting to the needs of students, teachers and technological possibilities. Advances in technology have caused educators to look for new sources of knowledge development, which students could use inside and outside the classroom. Today’s sophisticated learning tools range from virtual environments to interactive multimedia resources, which can be called e-textbooks. Different types of new educational materials that go beyond printed books are now used to (...) support the academic curriculum, with the most interesting ones exemplified in this article to show their value in medical and life sciences education. Certain interesting attempts by Polish publishers at applying technology to support both self-paced and tutor-paced student learning in the medical profession and related areas are presented. The data was collected through a review of literature, discussions with e-learning specialists and medical students, as well as an analysis of examples of good practices. The article also discusses the results of a countrywide survey on the use of e-textbooks to enhance medical education. The research investigates the targeted academic staff’s attitudes towards the use of e-textbooks, the limitations of their implementation, and the character of e-resources currently used by Polish higher education medical institutions. (shrink)

In a series of recent papers beginning with their “Splitting a difference of opinion: The shift to negotiation” Jan Albert van Laar and Erik Krabbe claim that it is sometimes reasonable to shift from a critical discussion to a negotiation in order to settle a difference of opinion. They argue that their proposal avoids the fallacies of bargaining and middle ground. Against this permissive policy for shifting to negotiation, we argue that the motivating reasons for such shifts typically fail, (...) and that the permissive policy avoids neither fallacy while structurally incentivizing two types of strategic maneuvering that constitute rational and argumentative hazards: argumentative overcharge and abandonment of discussion. (shrink)

Using Catford’s shifts (1965), this study is an attempt to investigate four English translations by Clarke (1879), Davie (1882), Edwards (1911) and Wickens (1984) of selected poems from the Bustan of Saadi, the eminent Persian poet and writer. Five poems were randomly selected from the Bustan. Every line of the selected poems was investigated by the raters and placed in the related shift type specified by Catford (1965), namely level shift and category shift which in turn includes class shift, (...) unit shift, structural shift, and intrasystem shift. Some lines were placed under more than one shift type as more than one change could be identified in them. The results revealed that the structural shift was the most frequently used shift by the four translators of the poems in the Bustan. Level shift followed by unit shift were the next most frequently used shifts. It was found that the four translators had a somewhat similar trend in terms of using shifts towards translating the selected poems of the Bustan of Saadi. Also, it can be concluded that structural and level shifts were inevitable in some places during the translation process. (shrink)

Since the publication of Nikolas Rose’s ‘The Politics of Life Itself’ there has been vivid discussion about how biopolitical governance has changed over the last decades. This article uses what Rose terms ‘molecular politics’, a new socio-technical grip on the human body, as a contrasting background to ask anew his question ‘What, then, of biopolitics today?’ – albeit focusing not on advances in genetics, microbiology, and pharmaceutics, as he does, but on the rapid proliferation of wearables and other sensor-software gadgets. (...) In both cases, new technologies providing information about the individual body are the common ground for governance and optimization, yet for the latter, the target is habits of moving, eating and drinking, sleeping, working and relaxing. The resulting profound differences are carved out along four lines: ‘somatic identities’ and a modified understanding of the body; the role of ‘expert knowledge’ compared to that of networks of peers and self-experimentation; the ‘types of intervention’ by which new technologies become effective in our everyday life; and the ‘post-discipline character’ of molecular biopolitics. It is argued that, taken together, these differences indicate a remarkable shift which could be termed aretaic: its focus is not ‘life itself’ but ‘life as it is lived’, and its modality are new everyday socio-technical entanglements and their more-than-human rationalities of governance. (shrink)