In this paper, a solution to the problem of analyzing burden of proof in argumentation is developed by building on the pioneering work of Erik C. W. Krabbe on metadialogues. Three classic cases of burden of proof disputes are analyzed, showing how metadialogue theory can solve the problems they pose. The solution is based on five dialectical requirements: (1) global burden of proof needs to be set at the confrontation stage of a dialogue, (2) there need to be special mechanisms (...) for resolving disputes about burden of proof at all four stages of the dialogue, (3) they are especially significant during the argumentation stage, where burden of proof often shifts back and forth at each move, (4) such local shifts need to be partly regulated by the global burden of proof already set, and (5) the connection between burden of proof and the speech act of making a presumption in a dialogue needs to be clarified. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Ethics and Economies of Inquiry: Certeau, Theory, and the Art of PracticeTony Schirato (bio) and Jen Webb (bio)In this paper we will look at what Certeau, in The Practice of Everyday Life, calls “Theories of the Art of Practice.” Certeau is perhaps best known as a theorist of the ways in which everyday practices inhabit the institutions and sites of power and official culture, while not being in (...) any sense recuperable or explicable to these “proper places.” In “Theories of the Art of Practice” he concerns himself not with cultural practices themselves but, rather, with the specific relationship between theoretical discourse and the object of that discourse. In order to do this he takes as examples certain cultural theorists—most obviously Foucault and Bourdieu—whose work is strongly underpinned by an emphasis on the relation between discourse and practice. He offers a detailed consideration and critique of their theories of practice and the tactics those theorists use to escape the theory/practice dichotomy.In the first two paragraphs of “Theories of the Art of Practice,” Certeau identifies the two points which, taken together, constitute the broad narrative of this section of Practice. The first relates to the theoretical basis from which we can approach practice. “Everyday practices,” he writes:depend on a vast ensemble which is difficult to delimit but which we may provisionally designate as an ensemble of procedures. The latter are schemas of operations and of technical manipulations. On the basis of some recent and fundamental analyses (those of Foucault, Bourdieu, Vernant and Détienne, and others) it is possible, if not to define them, at least to clarify their functioning relative to discourse (or to “ideology,” as Foucault puts it), to the acquired (Bourdieu’s habitus), and to the form of time we call an occasion (the kairos discussed by Vernant and Détienne). These are different ways of locating a technicity of a certain type and at the same time situating the study of this technicity with respect to current trends in research.[43]An important issue here is Certeau’s critique of the extent to which each theorist applies a specific technicity (Foucault’s disciplinary procedures, Bourdieu’s habitus) in an attempt to delimit the field, to reduce the multiplicity of practice—or the theorizing of practice—to a singularity. As he points out in his essay on Nicholas of Cusa [“The Gaze” 6], such “ways of proceeding are subject to a common problematics,” because they inscribe a particular way of thinking and seeing and, in that process, risk excluding other ways of understanding. However, Cusa’s praxis: [End Page 86]does not presuppose a language proper to theory, an autonomous metalanguage that would provide a distinct linguistic space for speculation.... A task related to each singularity liberates, as it were, and develops... the “impulsion” which is integral to each and which is revealed to be infinite by the very impossibility of finding a hierarchical unity among singularities.[“The Gaze” 7]What Certeau looks for in the work of Bourdieu and Foucault is the moment, or the “impulsion,” which allows a theoretical engagement with practice. If practice can’t be called up, defined, or finally explicated, what can be done is to plot the relationships between power and its structures, logics, places, and discourse and the objects of power (practices) it seeks to identify and regulate. This allows us to identify both how power seeks to exclude the heterogeneity that is practice and the ways in which practice, despite these acts of exclusion and regulation, leaves its mark on official places (discourses, institutions, the objective structures of cultural fields). What Certeau does is to explore how others (Foucault and Bourdieu in particular, Vernant and Détienne) have explored this terrain.The second move Certeau makes is to contextualize those theories of practice, not so much as metadiscourses or generalized maps but as practices themselves, specific to a time and place and informed both by their theoretical antecedents and by the politics, logics, and discourses of the field(s) within which they operate. This allows Certeau to exemplify both how bodies of theory (as well as intellectual fields) come about and develop and... (shrink)

The author considers following question: is a consistent semantically closed language possible? The negative answer is the orthodox answer in the logic of the 20th century. It was presented in Russell's theory of types and Tarski's semantic theory of metalanguages. Nevertheless, contemporary logicians and philosophers of language return to this problem time and again, pointing to its relevance in various aspects. In particular, it is asserted that semantically closed language is a very important tool for expressing logical and philosophical (...) ideas. In logic of the 20th century, the problem of semantically closed language was discussed in connection with the problem of logical paradoxes. Russell and Tarski saw a fundamental cause of paradoxes in the phenomenon of self-reference that arises in semantically closed language. Accordingly, a solution for paradoxes was seen in eliminating the cause, that is, in prohibiting semantically closed language by means of a hierarchy of logical types of classes (Russell) or a hierarchy of metalanguages (Tarski). However, some contemporary logicians criticize the hierarchical approach, whose main argument consists in asserting that the approach was wrong in its diagnosis of the cause of paradoxes. This author does not try to correct the diagnostics of the hierarchical approach by identifying another cause of paradoxes. Instead, the author recognizes that a general solution of the problem of paradoxes cannot be given, a priori, by eliminating what fundamentally generates them. In this article, a new “ad hoc solution" of the problem is offered that rests upon an empirical method of identifying and eliminating paradoxes. A specific characteristic of the method is admitting the existence of consistent semantically closed language. (shrink)

In this article, I develop a novel version of the multiverse theory of sets called hierarchical pluralism by introducing the notion of “degrees of intentionality” of theories. The presented view is articulated for the purpose of reconciling epistemological realism and the multiverse theory of sets so as to preserve a considerable amount of epistemic objectivity when working with the multiverse theory. I give some arguments in favor of a hierarchical picture of the multiverse in which theories or models (...) are thought to be ordered with respect to their plausibility as a manifestation of endorsing the idea that some set theories are more plausible than others. The proposed multiverse account settles the pluralist’s dilemma, the dichotomy that there is a trade-off between the richness of mathematical ontology and the objectivity of mathematical truth. The view also extends and serves as an alternative position to Balaguer’s intention-based Platonism, from which he claims that a certain version of mathematical pluralism follows. (shrink)

What distinguishes theology from the other uses of language? Is theology a specific language, or is it a specific situation of language, a specific way to consider language? I start with the issue of language’s inadequacy before divine revelation. By analyzing the variety of answers to this inopia verborum, I show that the theological inadequacy of language is not conceptual, but formal: it concerns the metalinguistic definition of inadequacy. Then, I formalize the relationship between metalanguage and object language, and I (...) argue that theology applies precisely to this formal relationship. From this, I deduce that the function of theology is to question the need for metalinguistic foundation and validation—given that this need characterizes human language, that is, what is not divine revelation. I end with two applications: on one hand, to the axiomatization of theology; on the other hand, to the methodology for inter-religious dialogue. (shrink)

Philosophical ability, so that the principles chosen for formalization are not trivial or absurd.

Spoken language consists of a linear sequence of units, from which the existence of particular underlying hierarchical processing mechanisms is inferred. Uddén et al. use graph theory to provide a framework for describing the possible structural relationships that may underlie a linear output sequence. Being more explicit in defining different structures can help identifying and testing for such structures in AGL experiments, as well as help showing how behavioral and neuroimaging data reveals signatures of hierarchical processing in humans.

Spoken language consists of a linear sequence of units, from which the existence of particular underlying hierarchical processing mechanisms is inferred. Uddén et al. use graph theory to provide a framework for describing the possible structural relationships that may underlie a linear output sequence. Being more explicit in defining different structures can help identifying and testing for such structures in AGL experiments, as well as help showing how behavioral and neuroimaging data reveals signatures of hierarchical processing in humans.

Recent research in cognitive and computational neuroscience portrays the neocortex as a hierarchically structured prediction machine. Several theorists have drawn on this research to challenge the traditional distinction between perception and cognition – specifically, to challenge the very idea that perception and cognition constitute useful kinds from the perspective of cognitive neuroscience. In place of this traditional taxonomy, such theorists advocate a unified inferential hierarchy subject to substantial bi-directional message passing. I outline the nature of this challenge and then raise (...) two objections to the cognitive architecture it proposes as a replacement: first, standard ways of characterising this inferential hierarchy are in tension with the representational reach of conceptual thought; second, there is compelling evidence that commonsense reasoning is structured around highly domain-specific intuitive theories that are difficult to situate within a single hierarchy. (shrink)

We consider human performance on an optimal stopping problem where people are presented with a list of numbers independently chosen from a uniform distribution. People are told how many numbers are in the list, and how they were chosen. People are then shown the numbers one at a time, and are instructed to choose the maximum, subject to the constraint that they must choose a number at the time it is presented, and any choice below the maximum is incorrect. We (...) present empirical evidence that suggests people use threshold-based models to make decisions, choosing the first currently maximal number that exceeds a fixed threshold for that position in the list. We then develop a hierarchical generative account of this model family, and use Bayesian methods to learn about the parameters of the generative process, making inferences about the threshold decision models people use. We discuss the interesting aspects of human performance on the task, including the lack of learning, and the presence of large individual differences, and consider the possibility of extending the modeling framework to account for individual differences. We also use the modeling results to discuss the merits of hierarchical, generative and Bayesian models of cognitive processes more generally. (shrink)

There is extensive evidence that adults, children, and some non-human species, represent routine events in the form of hierarchically structured 'action scripts,' and show superior recall and imitation of information at relatively high-levels of this hierarchy. Here we investigate the hypothesis that a 'hierarchical bias' operates in human cultural transmission, acting to impose a hierarchical structure onto descriptions of everyday events, and to increasingly describe those events in terms of higher hierarchical levels. Descriptions of three everyday events (...) expressed entirely in terms of basic low-level actions were transmitted along ten chains each containing four adult human participants. It was found that the proportion of low-level information showed a significant linear decrease with transmission generation, while the proportions of medium- and high-level information showed significant linear increases, consistent with the operation of a hierarchical bias. The findings additionally provide support for script theory in general, and are discussed in relation to hierarchical imitation in non-human primates. (shrink)

Leader-managers face a myriad of competing values when they engage in ethical decision-making. Few studies help us understand why certain reasons for action are justified, taking precedence over others when people choose to respond to an ethical dilemma. To help address this matter we began with a qualitative approach to disclose leader-managers' moral motives when they decide to address a work-related ethical dilemma. One hundred and nine military officers were asked to provide their reasons for taking action, justifications of their (...) reasons, and to explain these justifications. We used network analysis techniques to identify a hierarchical motive structure. The motive structure is a cognitive map that identifies ethical motives and perceptions of how these ethical motives relate to each other. The motives identified represent classic conceptualizations of moral behavior; namely, virtue theories, consequentialism, and deontological theories, along with another category that expressed the emotional significance of the moral judgment, which we refer to as emotional empiricism. (shrink)

There is a fundamental tension in business ethics between the apparent need to ensure ethical conduct through hierarchical control, and the encouragement of individuals' potential for autonomous moral judgement. In philosophical terms, these positions are consequentialist and Kantian, respectively. This paper assumes the former to be the dominant position in practice, and probably in theory also, but regards it as a misplaced extension of the more general managerial tendency to seek and maintain control over employees. While the functions of (...) such control are recognized, the arguments in favour of individuals' moral autonomy are pursued from both a Kantian and a social–theoretic perspective. Reference is made to Kohlberg's research on moral development that provides an insight into how individuals, through participation in debate with colleagues, might become more effective moral agents within organizational settings. This is contrasted with a managerial perspective, which pays lip service to individuals' right to such genuine involvement. The paper considers psychological manipulation and the legitimacy of managerial authority on matters of ethics, as opposed to in the purely technical context. The wider societal significance of such hierarchical power in organizations constitutes an important background to the paper. It is concluded that genuine, non‐manipulative, participation by employees is the way forward for the ethical management of business ethics. (shrink)

Every theory of pure quotation embraces in some form or another the intuitively obvious thesis that pure quotations refer to their quoted expressions. However, they all remain vague about the nature of these latter. This paper proposes to take seriously the fact that quoted items are semantic, not syntactic objects, and to develop therefrom a semantics for pure quotation that retains the basic intuitions and at the same time circumvents standard problems.

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide (...) a new hierarchical account that solves the problem. (shrink)

This article considers categorical perception (CP) as a crucial process involved in all sort of communication throughout the biological hierarchy, i.e. in all of biosemiosis. Until now, there has been consideration of CP exclusively within the functional cycle of perception–cognition–action and it has not been considered the possibility to extend this kind of phenomena to the mere physiological level. To generalise the notion of CP in this sense, I have proposed to distinguish between categorical perception (CP) and categorical sensing (CS) (...) in order to extend the CP framework to all communication processes in living systems, including intracellular, intercellular, metabolic, physiological, cognitive and ecological levels. The main idea is to provide an account that considers the heterarchical embeddedness of many instances of CP and CS. This will take me to relate the hierarchical nature of categorical sensing and perception with the equally hierarchical issues of the “binding problem”, “triadic causality”, the “emergent interpretant” and the increasing semiotic freedom observed in biological and cognitive systems. (shrink)

We present a hierarchical integrated model of self-regulation in which executive function is the cognitive component of the model, together with emotional, behavioral, physiological, and genetic components. These five components in the model are reciprocally and recursively related. The model is supported by empirical evidence, primarily from a single longitudinal study with good measurement at each level of the model. We also find that the model is consistent with current thinking on related topics such as cybernetic theory, the theory (...) of allostasis and allostatic load, and the theory of skill development in harsh and unpredictable environments, referred to as “hidden talents.” Next, we present literature that the integrative processes are susceptible to environmental adversity, poverty-related risk in particular, while positive social interactions with caregivers would promote self-regulatory processes or mitigate the adverse effect of early risk on the processes. A hierarchical integrative model of self-regulation advances our understanding of self-regulatory processes. Future research may consider broader social contexts of the integrative self-regulation system, such as neighborhood/community contexts and structural racism. This can be an integral step to provide children with equitable opportunities to thrive, even among children living in socioeconomically and psychosocially disadvantaged environments. (shrink)

There is a fundamental tension in business ethics between the apparent need to ensure ethical conduct through hierarchical control, and the encouragement of individuals' potential for autonomous moral judgement. In philosophical terms, these positions are consequentialist and Kantian, respectively. This paper assumes the former to be the dominant position in practice, and probably in theory also, but regards it as a misplaced extension of the more general managerial tendency to seek and maintain control over employees. While the functions of (...) such control are recognized, the arguments in favour of individuals' moral autonomy are pursued from both a Kantian and a social–theoretic perspective. Reference is made to Kohlberg's research on moral development that provides an insight into how individuals, through participation in debate with colleagues, might become more effective moral agents within organizational settings. This is contrasted with a managerial perspective, which pays lip service to individuals' right to such genuine involvement. The paper considers psychological manipulation and the legitimacy of managerial authority on matters of ethics, as opposed to in the purely technical context. The wider societal significance of such hierarchical power in organizations constitutes an important background to the paper. It is concluded that genuine, non‐manipulative, participation by employees (and others) is the way forward for the ethical management of business ethics. (shrink)

Causal decision theory produces decision instability in cases such as Death in Damascus where a decision itself provides evidence concerning the utility of options. Several authors have proposed ways of handling this instability. William Harper (1985 and 1986) advances one of the most elegant proposals. He recommends maximizing causal expected utility among the options that are causally ratifiable. Unfortunately, Harper's proposal imposes certain restrictions; for instance, the restriction that mixed strategies are freely available. To obtain a completely general method of (...) handling decision instability, I step outside the confines of pure causal decision theory. I introduce a new kind of backtracking expected utility and propose maximizing it among the options that are causally ratifiable. In other words, I propose a hierarchical maximization of (1) conditional causal expected utility and (2) the new backtracking expected utility. I support this proposal with some intuitive considerations concerning the distinction between optimality and conditional optimality. And I prove that the proposal yields a solution in every finite decision problem. (shrink)

Hohwy et al.’s (2008) model of binocular rivalry (BR) is taken as a classic illustration of predictive coding’s explanatory power. I revisit the account and show that it cannot explain the role of reward in BR. I then consider a more recent version of Bayesian model averaging, which recasts the role of reward in (BR) in terms of optimism bias. If we accept this account, however, then we must reconsider our conception of perception. On this latter view, I argue, organisms (...) engage in what amounts to policy-driven, motivated perception. (shrink)

In this paper we shall introduce two types of contextual-hierarchical approaches to the strengthened liar problem. These approaches, which we call the ‘standard’ and the ‘alternative’ ch-reconstructions of the strengthened liar problem, differ in their philosophical view regarding the nature of truth and the relation between the truth predicates T r n and T r n+1 of different hierarchy-levels. The basic idea of the standard ch-reconstruction is that the T r n+1-schema should hold for all sentences of \. In (...) contrast, the alternative ch-reconstruction, for which we shall argue in section four, is motivated by the idea that T r n and T r n+1 are coherent in the sense that the same sentences of \ should be true according to T r n and T r n+1. We show that instances of the standard ch-reconstruction can be obtained by iterating Kripke’s strong Kleene jump operator. Furthermore, we will demonstrate how instances of the alternative ch-reconstruction can be obtained by a slight modification of the iterated axiom system KF and of the iterated strong Kleene jump operator. (shrink)

Building on the author's earlier work, this paper argues that language is a key issue in understanding human emotions and that treating English emotion terms as valid analytical tools continues to be a roadblock in the study of emotions. Further, it shows how the methodology developed by the author and colleagues, known as NSM (from Natural Semantic Metalanguage), allows us to break free of the “shackles” (Barrett, 2006) of English psychological terms and explore human emotions from a culture-independent perspective. The (...) use of NSM makes it possible to study human emotions from a genuinely cross-linguistic and cross-cultural, as well as a psychological, perspective and thus “opens up new possibilities for the scientific understanding of subjectivity and psychological experience” (Goddard, 2007). (shrink)

It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...) it is necessary and sufficient that the metalanguage be "essentially richer". Our contention, put bluntly, is that this claim deserves more scrutiny from philosophers than it usually gets and in fact is false unless "essentially richer" means nothing else than "sufficient to contain a truth definition for the object language.". (shrink)

The formation mechanism of innovation networks is one of the core issues in the current research of innovation networks, and proximity plays an important role in the formation and development of innovation networks; however, which proximity is more important and how different proximities interact remain to be further researched. This study conducts a social network analysis and adopts a spatial interaction model to examine innovation networks among 290 Chinese cities. The results reveal that, first, the hierarchical characteristics of Chinese (...) cities’ innovation networks reflect a core periphery structure and the spatial patterns of large dispersion and small agglomeration. Further, bound by the Hu line, the hierarchy is high in the east and low in the west. Second, geographical, institutional, and cognitive proximities positively affect Chinese cities’ innovation networking. Cognitive proximity, particularly, has the highest impact. Geographical proximity reinforces the effect of institutional proximity, and thus, their interactions are complementary. (shrink)

Metaphysicians, ethical theorists and philosophers of law squabble endlessly about what it is for a person to act — or perhaps even to ‘will’ — more or less freely. A vital issue in this controversy is how we should analyse two obvious but surprisingly problematical contrasts. The first antithesis is between things we do because we are forced, and deeds we perform because we want to — sometimes after having discovered preponderant reasons in their favour. The other polarity is more (...) general. In most situations, if I act on my desire, I act more freely than if I had not had the desire. But what if my attitude is the product of childhood conditioning — or later brainwashing, brain surgery, hypnosis, behaviour modification, alcoholisim, narcotics addiction, neurosis, psychosis or worse? Then isn't my autonomy diminished? What is it about these latter desires, or their origin, that differentiates them from their unthreatening congeners? (shrink)

Michael Friedman has recently argued that Carnap'sLogical Syntax of Language is fundamentally flawed in a way that reveals the ultimate failure of logical positivism. Friedman's argument depends crucially on two claims: (1) that Carnap was committed to the view that there is a universal metalanguage and (2) that given what Carnap wanted from a metalanguage, in particular given that he wanted a definition of analytic for an object language, he was in fact committed to a hierarchy of stronger and stronger (...) metalanguages. We argue that neither of these claims need be accepted. We show that there is no textual evidence for (1) and that if metalanguages are to be used for merely descriptive and not also justificatory purposes, Carnap does not need to define analyticity sufficiently for proving consistency, and so could have given a definition that does not entail a hierarchy of metalanguages. (shrink)

The paper considers a hierarchical theory that combines concern for two values: individual well-being – as a fundamental, first-order value – and (distributive) fairness – as a high-order value that its exclusive function is to complete the value of individual well-being by resolving internal clashes within it that occur in interpersonal conflicts. The argument for this unique conception of high-order fairness is that fairness is morally significant in itself only regarding what matters – individual well-being – and when it (...) matters – in interpersonal conflicts in which constitutive aspects of individual well-being clash. Consequently, the proposed theory is not exposed to claim that fairness comes at the expense of welfare. This theory is considered within a consequential framework, based on the standard version and, alternatively, on a novel interpretation of consequentialism. Thus, it refutes the claim that consequentialism does not take the distinction between persons seriously. (shrink)

The article contributes to the debate on new materialism commenced by Sara Ahmed (2008). Taking up Lena Gunnarsson’s (2013) argument that erasing distinctions is no effective antidote to dualistic theorising, the article argues that Karen Barad’s (2003, 2007) theory is problematic on this count. Whereas Barad dilutes the theoretical distinction between mind and matter as well as that between the animate and the inanimate, the contention here is that it is ethically and politically vital to hold on to a notion (...) of subjectivity understood in terms of the capacity for experience, on account of which sentient being is exposed to suffering. This requires accentuating the passive dimension of subjectivity rather than merely the active dimension of matter. This article contests Barad’s reinscription of a masculinist devaluation of passivity on the grounds that only by moving beyond it can we overcome the hierarchical opposition of subject versus object and, in consequence, of mind versus matter. (shrink)

In their (2008) article Liar-Like Paradox and Object Language Features C.S. Jenkins and Daniel Nolan (henceforth, JN) argue that it is possible to construct Liar-like paradox in a metalanguage even though its object language is not semantically closed. I do not take issue with this claim. I find fault though with the following points contained in JN’s article: First, that it is possible to construct Liar-like paradox in a metalanguage, even though this metalanguage is not semantically closed. Second, that the (...) presented examples of Liar-like paradox are supposed to be counterexamples to Tarski’s diagnosis of the classic Liar paradox. Third, that JN fail to notice Tarski’s postulate. And finally, that JN fail to recognize that the world they are pondering is not among the possible worlds. (shrink)

In this article, we explore the extraction of recursive nested structure in the processing of binary sequences. Our aim was to determine whether humans learn the higher-order regularities of a highly simplified input where only sequential-order information marks the hierarchical structure. To this end, we implemented a sequence generated by the Fibonacci grammar in a serial reaction time task. This deterministic grammar generates aperiodic but self-similar sequences. The combination of these two properties allowed us to evaluate hierarchical learning (...) while controlling for the use of low-level strategies like detecting recurring patterns. The deterministic aspect of the grammar allowed us to predict precisely which points in the sequence should be subject to anticipation. Results showed that participants’ pattern of anticipation could not be accounted for by “flat” statistical learning processes and was consistent with them anticipating upcoming points based on hierarchical assumptions. We also found that participants were sensitive to the structure constituency, suggesting that they organized the signal into embedded constituents. We hypothesized that the participants built this structure by merging recursively deterministic transitions. (shrink)

Although much theoretical and empirical research has examined organizational power, virtually none has addressed the hierarchical abuse of power in organizations. Managers' incentives and discretion and subordinates' dependencies define the abuse of power as an important organizational issue. This paper offers a conceptualization and process model to help further theoretical and applied understanding, and it considers the ethical nature of power abuse. Two dimensions, disrespect for individual dignity and interference with job performance or deserved rewards, conceptualize the interpersonal abuse (...) of power. Behavioral examples of each dimension are provided.The process model delineates powerholders' motives to abuse power and indicates individual attributes that increase the probability of their pur-suing these motives. Organizational conditions that allow or encourage the abuse of power and managers' particular sources of power interact with these motives and attributes to define decisions about abusing power. Norms and considerations of risk influence these decisions. The decision to abuse power leads to the enactment of power strategies, and they generate intended and unintended outcomes. The process model presented here recognizes an emotional component of the hierarchical abuse of power. (shrink)

There has been a recent interest in hierarchical generalizations of classic incompleteness results. This paper provides evidence that such generalizations are readily obtainable from suitably formulated hierarchical versions of the principles used in the original proofs. By collecting such principles, we prove hierarchical versions of Mostowski’s theorem on independent formulae, Kripke’s theorem on flexible formulae, Woodin’s theorem on the universal algorithm, and a few related results. As a corollary, we obtain the expected result that the formula expressing (...) “$\mathrm {T}$is$\Sigma _n$-ill” is a canonical example of a$\Sigma _{n+1}$formula that is$\Pi _{n+1}$-conservative over$\mathrm {T}$. (shrink)

This is a comprehensive discussion of complexity as it arises in physical, chemical, and biological systems, as well as in mathematical models of nature. Common features of these apparently unrelated fields are emphasised and incorporated into a uniform mathematical description, with the support of a large number of detailed examples and illustrations. The quantitative study of complexity is a rapidly developing subject with special impact in the fields of physics, mathematics, information science, and biology. Because of the variety of the (...) approaches, no comprehensive discussion has previously been attempted. This book will be of interest to graduate students and researchers in physics (nonlinear dynamics, fluid dynamics, solid-state, cellular automata, stochastic processes, statistical mechanics and thermodynamics), mathematics (dynamical systems, ergodic and probability theory), information and computer science (coding, information theory and algorithmic complexity), electrical engineering and theoretical biology. (shrink)