A notion of complexity for an arbitrary structure was defined in the book of Poizat Les petits cailloux (1995): we can define P and NP problems over a differential field K. Using the Witness Theorem of Blum et al., we prove the P-stability of the theory of differential fields: a P problem over a differential field K is still P when restricts to a sub-differential field k of K. As a consequence, if P = NP over some differentially closed field (...) K, then P = NP over any differentially closed field and over any algebraically closed field. (shrink)

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

Let T be a complete O-minimal theory in a language L. We first give an elementary proof of the result (due to Marker and Steinhorn) that all types over Dedekind complete models of T are definable. Let L * be L together with a unary predicate P. Let T * be the L * -theory of all pairs (N, M), where M is a Dedekind complete model of T and N is an |M| + -saturated elementary extension of N (...) (and M is the interpretation of P). Using the definability of types result, we show that T * is complete and we give a simple set of axioms for T * . We also show that for every L * -formula φ(x) there is an L-formula ψ(x) such that $T^\ast \models (\forall \mathbf{x})(P(\mathbf{x}) \rightarrow (\phi(\mathbf{x}) \mapsto \psi (\mathbf{x}))$ . This yields the following result: Let M be a Dedekind complete model of T. Let φ(x, y) be an L-formula where l(y) = k. Let $\mathbf{X} = \{X \subset M^k$ : for some a in an elementary extension N of M, X = φ (a,y N ∩ M k }. Then there is a formula ψ(y, z) of L such that X = {ψ (y, b) M : b in M}. (shrink)

We introduce a certain extension of -calculus, and show that it has the Church-Rosser property. The associated open-term extensional combinatory algebra is used as a basis to construct models for theories of Explict Mathematics (formulated in the language of "types and names") with positive stratified comprehension. In such models, types are interpreted as collections of solutions (of terms) w.r. to a set of numerals. Exploiting extensionality, we prove some consistency results for special ontological axioms which are refutable under (...) elementary comprehension. (shrink)

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to well-known properties in model theory. We recall that stable theories and weakly o-minimal theories have UDTFS and UDTFS implies dependence. We then show that all dp-minimal theories have UDTFS.

This paper studies unbounded pseudo-algebraically closed fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.

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)

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if κ≤λ, then sup ‖M‖=λ|Sκ|=|)κ. We show that this holds for any abstract elementary class with λ-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.

_Psychological Types_ is one of Jung's most important and most famous works. First published by Routledge in the early 1920s it appeared after Jung's so-called fallow period, during which he published little, and it is perhaps the first significant book to appear after his own confrontation with the unconscious. It is the book that introduced the world to the terms 'extravert' and 'introvert'. Though very much associated with the unconscious, in _Psychological Types_ Jung shows himself to be a supreme theorist (...) of the conscious. In putting forward his system of psychological types Jung provides a means for understanding ourselves and the world around us: our different patterns of behaviour, our relationships, marriage, national and international conflict, organizational functioning. Appearing in paperback for the first time this central volume from Jung's Collected Works will be essential to anyone requiring a proper understanding of Jung's psychology. (shrink)

In clinical lectures given between 1850 and 1852, William Pultney Alison, a senior Edinburgh physician, reflected on whether therapeutic bloodletting could be useful in some cases of pneumonia but harmful in others. If so, Alison reasoned, a change in the form of the disease—a change of type—could explain why therapeutic bloodletting had been nearly abandoned in treating a disease for which, only a few years earlier, it had been the standard therapy. In response, a young pathologist, John Hughes Bennett, denied (...) that anything like a change of type had occurred and insisted that bloodletting had never been an effective therapy. Over the next two decades, more than forty physicians debated the usefulness of bloodletting and the reasons for its decline. This debate, known as the Edinburgh Bloodletting Controversy, has attracted the attention of contemporary historians. Those who have discussed the debate side with Bennett and give Alison little serious attention. I argue that by examining the texts to determine what the issues really were, we can see that Alison may actually have been right. Moreover, this examination illuminates the practice of bloodletting and reveals one hitherto unrecognized factor that contributed to its decline. (shrink)

Some are attracted to the view that repeatable artworks, such as films, novels, plays, symphonies, photographs, and the like, are a particular kind of abstracta—namely, types. This view, however, is not unproblematic. One of the most serious problems it faces is the so-called "creation problem." The core idea behind this problem is that, on the one hand, it seems reasonable to accept the claims that (1) repeatable artworks are types, (2) types cannot be created, and (3) repeatable (...) artworks are created, but, on the other hand, these claims form an inconsistent triad. A popular solution to the creation problem is that (2) can be rejected because the justification for (2) is based on a false assumption—that no type can stand in causal relations. Although this solution looks promising, it can be accepted only if its proponent can refute what might be called the "paraphrasability argument." On this argument, types are not to be regarded as capable of standing in causal relations because any discourse implying the causality of types should be paraphrased into discourse that does not imply this. My aim in this essay is to show that there is good reason to consider the paraphrasability argument sound and, hence, that the foregoing solution to the creation problem fails. (shrink)

Xuanzang (602–664) is famous for his legendary life, his important translation works, and also his Discourse on the Realisation of Consciousness-Only (Vijñapti-mātratā-siddhi, 成唯識論). This text, which is considered as a synthesis of Yogācāra thought, has been diversely interpreted by modern scholars and is still discussed, in particular about the status of external things. Nevertheless, this issue seems to be of little interest for Yogācāra thinkers compared to other topics such as the Noble Path, or else the three types of (...) wisdom (trividhā prajñā, 三慧): learning (śruta, 聞), reasoning (cintā, 思), and cultivating (bhāvanā, 修). As emphasized in recent research, this topic represents a major issue for Buddhist practitioners. In an attempt to analyse it in Xuanzang’s Discourse, and more generally in Yogācāra thought, this paper will first discuss Asaṅga’s and Vasubandhu’s thought on the three types of wisdom. Secondly, since it is important to replace the three types of wisdom in the general argumentation of Xuanzang’s Discourse, we will present the structure of his text which is modelled on a “path” leading progressively to Supreme Awakening. Then, we will present the main elements of the Noble Path and situate the three types of wisdom into it. Finally, we will explain that Xuanzang follows Asaṅga’s and Vasubandhu’s conceptions and eventually confirm the importance of the three types of wisdom in Yogācāra thought. (shrink)

This is a book about sensory states and their apparent characteristics. It confronts a whole series of metaphysical and epistemological questions and presents an argument for type materialism: the view that sensory states are identical with the neural states with which they are correlated. According to type materialism, sensations are only possessed by human beings and members of related biological species; silicon-based androids cannot have sensations. The author rebuts several other rival theories, and explores a number of important issues: the (...) forms and limits of introspective awareness of sensations, the semantic properties of sensory concepts, knowledge of other minds, and unity of consciousness. The book is a significant contribution to the philosophy of mind, and has much to say to psychologists and cognitive scientists. (shrink)

Multiple different understandings and uses exist of what granularity is and how to implement it, where the former influences success of the latter with regards to storing granular data and using granularity for reasoning over the data or information. We propose a taxonomy of types of granularity and discuss for each leaf type how the entities or instances relate within its granular level. Such unambiguous distinctions can guide a conceptual modeler to better distinguish between the types of granularity (...) and the software developer to improve on implementations of granularity. (shrink)

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be accepted. Against Smith, this paper (...) adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

Violations of research ethics including a varieties of plagiarism by students in Iran is a concern which has lately called promising levels of attention as rules are updated and better enforced and more awareness is being raised. As to deal with any problem, a full understanding of its nature is necessary, the current study focused on how a sample of Iranian students construe this phenomenon. To collect the necessary data, an original questionnaire with 34 closed-ended items included the most common (...) instances of violations of research ethics was designed. The items included were mainly varieties of plagiarism identified in the literature. The items were narrowed down with reference to the qualitative data from focus group interviews with a purposive sample of Iranian graduate students. In the main phase of the study, using the questionnaire, quantitative data were obtained from the responses of 274 graduate students of translation studying in various Iranian universities. The findings revealed the participants did not have a fully accurate perception and appreciation of research ethics violation as they failed to distinguish ethically acceptable from unethical conducts. The contributing sample showed indifference to most ethical issues in scholarly publication. Translating a text and presenting it as one’s own in addition to text recycling were identified as the most severe instances perceived. The types, fraudulence, unacknowledged use, duplicate publication, misreferencing, excessive overuse were perceived the most severe to the least severe according to the sample. The typology and the findings on the severity of the types and instances were recommended to be used as an empirically supported guideline for curriculum design of academic writing courses in graduate programs in Iranian universities or similar contexts. (shrink)

Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that (...) this under-appreciated distinction matters for the debate surrounding the plausibility of EI. Specifically, whether we interpret EI as norm-EI or as source-EI matters for the widely discussed universality or categoricity objection to EI, and for two important motivations for adopting EI, namely naturalism and the practical utility of epistemic norms. I will then conclude by drawing some lessons for epistemic instrumentalism going forward. (shrink)

According to structuralism, all natural properties are individuated by their roles in causal/nomological structures. According to quidditism, at least some natural properties are individuated in some other way. Because these theses deal with the identities of natural properties, this distinction cuts to the core of a serious metaphysical dispute: Are the intrinsic natures of all natural properties essentially causal/nomological in character? I'll argue that the answer is ‘no’, or at least that this answer is more plausible than many critics of (...) quidditism have recognized. In section 1, I distinguish between two versions of quidditism. Bare quidditism holds that worlds with distinct properties and isomorphic structures must be qualitatively identical in the following sense: inhabiting one world would be indistinguishable from inhabiting the other. In contrast, qualitative quidditism allows such worlds to have qualitative differences. In section 2, I discuss an epistemological position that allows us to bett... (shrink)

In this paper I discuss a certain kind of 'type confusion' which involves use of expressions of the wrong grammatical category, as in the string 'runs eats'. It is (nearly) universally accepted that such strings are meaningless. My purpose in this paper is to question this widespread assumption (or as I call it, 'the last dogma'). I discuss a range of putative reasons for accepting the last dogma: in §II, semantic and metaphysical reasons; in §III, logical reasons; and in §IV, (...) syntactic reasons. I argue that none of these reasons is conclusive, and that consequently we should be willing to question this last dogma of type confusions. (shrink)

The existence of different types of semiosis has been recognized, so far, in two ways. It has been pointed out that different semiotic features exist in different taxa and this has led to the distinction between zoosemiosis, phytosemiosis, mycosemiosis, bacterial semiosis and the like. Another type of diversity is due to the existence of different types of signs and has led to the distinction between iconic, indexical and symbolic semiosis. In all these cases, however, semiosis has been defined (...) by the Peirce model, i.e., by the idea that the basic structure is a triad of ‘sign, object and interpretant’, and that interpretation is an essential component of semiosis. This model is undoubtedly applicable to animals, since it was precisely the discovery that animals are capable of interpretation that allowed Thomas Sebeok to conclude that they are also capable of semiosis. Unfortunately, however, it is not clear how far the Peirce model can be extended beyond the animal kingdom, and we already know that we cannot apply it to the cell. The rules of the genetic code have been virtually the same in all living systems and in all environments ever since the origin of life, which clearly shows that they do not depend on interpretation. Luckily, it has been pointed out that semiosis is not necessarily based on interpretation and can be defined exclusively in terms of coding. According to the ‘code model’, a semiotic system is made of signs, meanings and coding rules, all produced by the same codemaker, and in this form it is immediately applicable to the cell. The code model, furthermore, allows us to recognize the existence of many organic codes in living systems, and to divide them into two main types that here are referred to as manufacturing semiosis and signalling semiosis. The genetic code and the splicing codes, for example, take part in processes that actually manufacture biological objects, whereas signal transduction codes and compartment codes organize existing objects into functioning supramolecular structures. The organic codes of single cells appeared in the first three billion years of the history of life and were involved either in manufacturing semiosis or in signalling semiosis. With the origin of animals, however, a third type of semiosis came into being, a type that can be referred to as interpretive semiosis because it became closely involved with interpretation. We realize in this way that the contribution of semiosis to life was far greater than that predicted by the Peirce model, where semiosis is always a means of interpreting the world. Life is essentially about three things: (1) it is about manufacturing objects, (2) it is about organizing objects into functioning systems, and (3) it is about interpreting the world. The idea that these are all semiotic processes, tells us that life depends on semiosis much more deeply and extensively than we thought. We realize in this way that there are three distinct types of semiosis in Nature, and that they gave very different contributions to the origin and the evolution of life. (shrink)

A method is described for inducing a type-logical grammar from a sample of bare sentence trees which are annotated by lambda terms, called term-labelled trees . Any type logic from a permitted class of multimodal logics may be specified for use with the procedure, which induces the lexicon of the grammar including the grammatical categories. A first stage of semantic bootstrapping is performed, which induces a general form lexicon from the sample of term-labelled trees using Fulop’s (J Log Lang Inf (...) 14(1):49–86, 2005) procedure. Next we present a two-stage procedure for performing distributional learning by unifying the lexical types that are initially discovered. The first structural unification algorithm in essence unifies the initial family of sets of types so that the resulting grammar will generate all term-labelled trees that follow the usage patterns evident from the learning sample. Further altering the lexical categories to generate a recursively extended language can be accomplished by a second unification. The combined unification algorithm is shown to yield a new type-logical lexicon that extends the learning sample to a possibly infinite (and possibly context-sensitive) language in a principled fashion. Finally, the complete learning strategy is analyzed from the perspective of algorithmic learning theory; the range of the procedure is shown to be a class of term-labelled tree languages which is finitely learnable from good examples (Lange et al in Algorithmic learning theory, Vol 872 of lecture notes in artificial intelligence, Springer, Berlin, pp 423–437), and so is identifiable in the limit as a corollary. (shrink)

Background: The performance of nurses has become vital in hospitals. Some studies have suggested that nurses’ perceptions of the ethical climate in their hospitals are related to higher job satisfaction and organizational commitment and in turn lessen the issue of nursing shortage. Hypothesis: (1) The ethical climate types “caring,” “independent,” “law and code,” and “rules” have a significant positive impact on overall job satisfaction. (2) The ethical climate types and overall job satisfaction have significant positive influences on normative (...) and affective and significant negative influences on continuance commitment. Research design: The study uses path analysis to understand which types of ethical climate impact overall job satisfaction. It also tries to find the effect of different types of ethical climate and overall job satisfaction on the components of organizational commitment. The relationships between variables were evaluated using factor analysis, reliability, descriptive statistics, correlations, and regression in this study. Participants and research context: A total of 171 useful questionnaires were collected from nurses working in public and private hospitals in Bosnia and Herzegovina. Ethical considerations: Formal research approval was obtained from the administration of each study hospital. Questionnaires with a cover letter were mailed to the hospitals that agreed to participate in the study. In the cover letter, the researchers explained the study purpose, encouraged nurses’ voluntary participation, and guaranteed the anonymity of participants. Findings: In the first path analyses, “rules” and “caring” climates significantly and positively affected overall job satisfaction. In the second one, while overall job satisfaction and “rules” climate significantly influenced normative commitment, “caring” climate and overall job satisfaction significantly affected affective commitment. Discussion: The findings of the study have been convenient with the literature. Conclusion: Public and private hospitals can enhance overall job satisfaction and organizational commitment by altering the ethical climate of organizations. Hospital administrations should nurture caring and rule types of ethical climate which influence overall satisfaction. By this way, they could reduce nursing shortage. (shrink)

Given a model-complete theory of topological fields, we considered its generic differential expansions and under a certain hypothesis of largeness, we axiomatised the class of existentially closed ones. Here we show that a density result for definable types over definably closed subsets in such differential topological fields. Then we show two transfer results, one on the VC-density and the other one, on the combinatorial property NTP2.

We distinguish three qualitatively different types of uncertainty—ethical, option and state space uncertainty—that are distinct from state uncertainty, the empirical uncertainty that is typically measured by a probability function on states of the world. Ethical uncertainty arises if the agent cannot assign precise utilities to consequences. Option uncertainty arises when the agent does not know what precise consequence an act has at every state. Finally, state space uncertainty exists when the agent is unsure how to construct an exhaustive state (...) space. These types of uncertainty are characterised along three dimensions—nature, object and severity—and the relationship between them is examined. We conclude that these different forms of uncertainty cannot be reduced to empirical uncertainty about the state of the world without inducing an increase in its severity. (shrink)

We continue work of Shelah on the cardinality of families of pairwise incompatible types in simple theories obtaining characterizations of simple and supersimple theories. We develop a local analysis of the number of types in simple theories and we find a new example of a simple unstable theory.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

This paper develops a language for distinguishing more rigorously between various senses of the term ‘anthropocentrism.’ Specifically, it differentiates between:1. Perceptual anthropocentrism (which characterizes paradigms informed by sense-data from human sensory organs);2. Descriptive anthropocentrism (which characterizes paradigms that begin from, center upon, or are ordered around Homo sapiens / ‘the human’)3. Normative anthropocentrism (which characterizes paradigms that constrain inquiry in a way that somehow privileges Homo sapiens / ‘the human’ [passive normative anthropocentrism]; and which characterizes paradigms that make assumptions or (...) assertions about the superiority of Homo sapiens, its capacities, the primacy of its values, its position in the universe, and/or make prescriptions based on these assertions and assumptions [active normative anthropocentrism]). (shrink)

This paper discusses some of the ways in which Martin-Löf type theory differs from set theory. The discussion concentrates on conceptual, rather than technical, differences. It revolves around four topics: sets versus types; syntax; functions; and identity. The difference between sets and types is spelt out as the difference between unified pluralities and kinds, or sorts. A detailed comparison is then offered of the syntax of the two languages. Emphasis is put on the distinction between proposition and judgement, (...) drawn by type theory, but not by set theory. Unlike set theory, type theory treats the notion of function as primitive. It is shown that certain inconveniences pertaining to function application that afflicts the set-theoretical account of functions are thus avoided. Finally, the distinction, drawn in type theory, between judgemental and propositional identity is discussed. It is argued that the criterion of identity for a domain cannot be formulated in terms of propositional identity. It follows that the axiom of extensionality cannot be taken as a statement of the criterion of identity for sets. (shrink)

Two notions from philosophical logic and linguistics are brought together and applied to the psychological study of defeasible conditional reasoning. The distinction between disabling conditions and alternative causes is shown to be a special case of Pollock's (1987) distinction between ‘rebutting' and ‘undercutting' defeaters. ‘Inferential' conditionals are shown to come in two types, one that is sensitive to rebutters, the other to undercutters. It is thus predicted and demonstrated in two experiments that the type of inferential conditional used as (...) the major premise of conditional arguments can reverse the heretofore classic, distinctive effects of defeaters. (shrink)

The replication crisis has caused researchers to distinguish between exact replications, which duplicate all aspects of a study that could potentially affect the results, and direct replications, which duplicate only those aspects of the study that are thought to be theoretically essential to reproduce the original effect. The replication crisis has also prompted researchers to think more carefully about the possibility of making Type I errors when rejecting null hypotheses. In this context, the present article considers the utility of two (...) types of Type I error probability: the Neyman–Pearson long run Type I error rate and the Fisherian sample-specific Type I error probability. It is argued that the Neyman–Pearson Type I error rate is inapplicable in social science because it refers to a long run of exact replications, and social science deals with irreversible units that make exact replications impossible. Instead, the Fisherian sample-specific Type I error probability is recommended as a more meaningful way to conceptualize false positive results in social science because it can be applied to each sample-specific decision about rejecting the same substantive null hypothesis in a series of direct replications. It is concluded that the replication crisis may be partly due to researchers’ unrealistic expectations about replicability based on their consideration of the Neyman–Pearson Type I error rate across a long run of exact replications. (shrink)

The author has previously shown that for a certain class of structures $\mathcal {I}$, $\mathcal {I}$-indexed indiscernible sets have the modeling property just in case the age of $\mathcal {I}$ is a Ramsey class. We expand this known class of structures from ordered structures in a finite relational language to ordered, locally finite structures which isolate quantifier-free types by way of quantifier-free formulas. This result is applied to give new proofs that certain classes of trees are Ramsey. To aid (...) this project we develop the logic of EM-types. (shrink)

Sometimes we must choose between competing claims to aid or assistance, and sometimes those competing claims differ in strength and quantity. In such cases, we must decide whether the claims on each opposing side can be aggregated. Relevance views argue that a set of claims can be aggregated only if they are sufficiently strong (compared to the claims with which they compete) to be morally relevant to the decision. Relevance views come in two flavours: Local Relevance and Global Relevance. This (...) paper presents a trilemma for both. Namely, that neither view can capture our intuition in tie-break cases, without forfeiting our intuitions in other important cases. The paper then presents a way to salvage relevance views and capture all our intuitions using a Hybrid view. By distinguishing between two types of relevance we can combine the strengths of Local and Global Relevance views such that we can hold all our intuitions, consistently and in a non-ad-hoc manner. Building on this, the paper demonstrates how we might amend the strongest formulation of a Relevance view, into a Hybrid account. The main focus of this paper is to develop a relevance view that can capture all the intuitions we have; however deeper justifications will still be needed for a full account of any relevance view. Thus, the end of the paper briefly considers what deeper justification might support the Hybrid view, indicating the direction such literature might go. Lastly, the paper considers the advantages of this view over a rival Hybrid view. (shrink)