We investigate a theory of Frege structures extended by the Myhill-Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.

Four criteria are discussed as important conditions of successful applications in Computer Supported Co-operative Work (CSCW). They are equality, mutual influence, new competence, and double-level language. The criteria originate in the experience of the International Co-operative Movement. They are examined and illustrated withreference to eight contemporary CSCW applications: meeting scheduling and support; bargaining; co-authoring; co-ordination; planning; design support and collaborative design.

The paper provides an analysis of the relationship between the concepts of justice and solidarity. The point of departure of the analysis is Ruud ter Meulen’s claim that these concepts are different but mutually complementary, i.e. are two sides of the same coin. In the paper two alternative accounts of the relationship are proposed. According to the first one, solidarity can be defined in terms of justice, i.e. is a special variety of liberal justice, viz. social liberal justice, which, apart (...) from the value of liberty, also stresses the importance of the value of equality. An example of such a theory is Rawls’s theory of justice, within which the value of equality is ‘encoded’ in the principle of fair equality of opportunity and in the difference principle. According to the second account, solidarity is an expression of a special type of social relationships – the so-called ‘thick relationships’, which are non-superficial, positive, their paradigmatic examples being family and friendship; in other words, the rules of solidarity are rules that are built into ‘thick relationships’. On the first account, justice and solidarity are not different, while on the second account they are different but mutually exclusive rather than mutually complementary. In the last part of the paper some remarks on the social causes of solidarity are made. (shrink)

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

Natural selection of asymmetric traits operates at multiple levels. Some asymmetric traits (like having a dominant eye) are tied to more universal aspects of the environment and are coded genetically, while others (like pedestrian turning biases) are tied to more ephemeral patterns and are largely learned. Species-wide trends of asymmetry can be better modeled when different levels of natural selection are specified.

Conflicts have arisen between communities and operators of confined animal feeding as farms have become bigger in order to maintain their competitiveness. These conflicts have been difficult to resolve because measuring and allocating the benefits and costs of livestock production is difficult. This papers demonstrates a policy tool for promoting compromise whereby the community gets reduced negative impacts from livestock while at the same time continues to benefit from livestock jobs, taxes, and related economic activity. Public economic benefits and public (...) economic costs of confined animal feeding operations are estimated for every farm and affected house in Craven County, North Carolina. The results show public economic benefits of $5.7 million and public economic costs of $2.2 million, but that the ratio of benefits to costs for individual farm-house pairs varies in important ways across the 26 hog farms in Craven County. (shrink)

The aim of this research is to find the operating level manager’s interpersonal competence. The total subjects of this research are 139 operating level managers. The subjects of this research are divided by the big-five personality trait, such as openness to experience, conscientiousness, extraversion, agreeableness, and neuroticism. Researcher used questionnaire which is based on Likert scale to collect the data of this research. The data was analyzed by descriptive statistics with SPSS program 12 th version. The result of (...) this research shows that openness to experience and neuroticism tipe of personality has higher interpersonal competence score than the other personality tipes.  . (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result (...) is in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

Conflicts have arisen between communities and operators of confined animal feeding as farms have become bigger in order to maintain their competitiveness. These conflicts have been difficult to resolve because measuring and allocating the benefits and costs of livestock production is difficult. This papers demonstrates a policy tool for promoting compromise whereby the community gets reduced negative impacts from livestock while at the same time continues to benefit from livestock jobs, taxes, and related economic activity. Public economic benefits and public (...) economic costs of confined animal feeding operations are estimated for every farm and affected house in Craven County, North Carolina. The results show public economic benefits of $5.7 million and public economic costs of $2.2 million, but that the ratio of benefits to costs for individual farm-house pairs varies in important ways across the 26 hog farms in Craven County. (shrink)

Mohandas Karamchand “Mahatma” Gandhi discussed corporate responsibility and business ethics over several decades of the twentieth century. His views are still influential in modern India. In this paper, we highlight Gandhi’s cross-level CR framework, which operates at institutional, organizational, and individual levels. We also outline how the Tata Group, one of India’s largest conglomerates, has historically applied and continues to utilize Gandhi’s concept of trusteeship. We then compare Gandhi’s framework to modern notions of stakeholder and stewardship management. We conclude (...) that trusteeship has strong potential to help firms and their stakeholders achieve shared value by considering the interactions between individual, organizational, and institutional factors, and paying attention to a range of multi-level stakeholder obligations. (shrink)

The sum, difference, product and quotient of two functions with different domains are usually defined only on their common domain. This paper extends these definitions so that the sum and other operations are essentially defined anywhere that at least one of the components is defined. This idea is applied to propositions and events, expressed as indicator functions, to define conditional propositions and conditional events as three-valued indicator functions that are undefined when their condition is false. Extended operations of "and", "or", (...) "not" and "conditioning" are then defined on these conditional events with variable conditions. The probabilities of the disjunction and of the conjunction of two conditionals are expressed in terms of the conditional probabilities of the component conditionals. In a special case, these are shown to be weighted averages of the component conditional probabilities where the weights are the relative probabilities of the various conditions. Next, conditional random variables are defined to be random variables X whose domain has been restricted by a condition on a second random variable Y. The extended sum, difference, product and conditioning operations on functions are then applied to these conditional random variables. The expectation of a random variable and the conditional expectation of a conditional random variable are recounted. Theorem 1 generalizes the standard result that the conditional expectation of the sum of two conditional random variables with disjoint and exhaustive conditions is a weighted sum of the conditional expectations of the component conditional random variables. Because of the extended operations, the theorem is true for arbitrary conditions. Theorem 2 gives a formula for the expectation of the product of two conditional random variables. After the definition of independence of two random variables is extended to accommodate the extended operations, it is applied to the formula of Theorem 2 to simplify the expectation of a product of conditional random variables. Two examples end the paper. The first concerns a work force of n workers of different output levels and work shifts. The second example involves two radars with overlapping surveillance regions and different detection error rates. One radar's error rate is assumed to be sensitive to fog and the other radar's error rate is assumed to be sensitive to air traffic density. The combined error rate over the combined surveillance region given heavy fog and moderate air traffic is computed. (shrink)

The understanding of the interrelationship between brain and mind remains far from clear. It is well established that the brain's capacity to integrate information from numerous sources forms the basis for cognitive abilities. However, the core unresolved question is how information about the "objective" physical entities of the external world can be integrated, and how unifiedand coherent mental states (or Gestalts) can be established in the internal entities of distributed neuronal systems. The present paper offers a unified methodological and conceptual (...) basis for a possible mechanism of how the transient synchronization of brain operations may construct the unified and relatively stable neural states, which underlie mental states. It was shown that the sequence of metastable spatial EEG mosaics does exist and probably reflects the rapid stabilization periods of the interrelation of large neuron systems. At the EEG level this is reflected in the stabilization of quasi-stationary segments on corresponding channels. Within the introduced framework, physical brain processes and psychological processes are considered as two basic aspects of a single whole informational brain state. The relations between operational process of the brain, mental states and consciousness are discussed. (shrink)

The framework of elementary probabilistic operations (EPO) explains the structure of elementary probabilistic reasoning tasks as well as people’s performance on these tasks. The framework comprises three components: (a) Three types of probabilities: joint, marginal, and conditional probabilities; (b) three elementary probabilistic operations: combination, marginalization, and conditioning, and (c) quantitative inference schemas implementing the EPO. The formal part of the EPO framework is a computational level theory that provides a problem space representation and a classification of elementary probabilistic problems (...) based on computational requirements for solving a problem. According to the EPO framework, current methods for improving probabilistic reasoning are of two kinds: First, reduction of Bayesian problems to a type of probabilistic problems requiring less conceptual and procedural competencies. Second, enhancing people’s utilization competence by fostering the application of quantitative inference schemas. The approach suggests new applications, including the teaching of probabilistic reasoning, using analogical problem solving in probabilistic reasoning, and new methods for analyzing errors in probabilistic problem solving. (shrink)

Neuroscience and cognitive science seek to explain behavioral regularities in terms of underlying mechanisms. An important element of a mechanistic explanation is a characterization of the operations of the parts of the mechanism. The challenge in characterizing such operations is illustrated by an example from the history of physiological chemistry in which some investigators tried to characterize the internal operations in the same terms as the overall physiological system while others appealed to elemental chemistry. In order for biochemistry to become (...) successful, researchers had to identify a new level of operations involving operations over molecular groups. Existing attempts at mechanistic explanation of behavior are in a situation comparable to earlier approaches to physiological chemistry, drawing their inspiration either from overall psychology activities or from low-level neural processes. Successful mechanistic explanations of behavior require the discovery of the appropriate component operations. Such discovery is a daunting challenge but one on which success will be beneficial to both behavioral scientists and cognitive and neuroscientists. (shrink)

We prove that various classical tree forcings—for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing—preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes are added to thin projective transitive relations by these forcings.

Loss aversion can occur in riskless and risky choices. We present novel evidence on both in a non-student sample (660 randomly selected customers of a car manufacturer). We measure loss aversion in riskless choice in endowment effect experiments within and between subjects and find similar levels of average loss aversion in both. The subjects of the within study also participate in a simple lottery choice task which arguably measures loss aversion in risky choices. We find substantial heterogeneity in both measures (...) of loss aversion. Loss aversion in riskless choice and loss aversion in risky choice are strongly positively correlated, but on average riskless loss aversion is higher than risky loss aversion. We find that in both choice tasks, loss aversion increases in age, income, and wealth, and decreases in education. Our results provide novel supportive input to the debate about the reality of loss aversion. (shrink)

This paper elaborates on the link between different types and degrees of experience that can be gone through within a form of life or collectivity—the so-called levels of immersion—and the development of distinct types of tacit knowledge and expertise. The framework is then probed empirically and theoretically. In the first case, its ‘predictions’ are compared with the accounts of novices who have gone through different ‘learning opportunities’ during a pre-operational training programme for running a huge nickel industrial plant in (...) Brazil. These are also analysed vis-à-vis the experience of an expert who has designed and experienced the outcomes of two pre-operational training sessions in the nickel industry before developing and managing the one discussed here. Theoretically, the framework is used to pinpoint exactly what interactional experts who have developed their expertise through linguistic socialisation alone are able to do as well as to analyse the case of technical connoisseurs. The results indicate that the proposed framework is useful. It supports the design and improvement of training programmes for the development of tacit knowledge while at the same time bringing about a refined analysis of claims concerning the abilities of types of experts and expertise. (shrink)

In this paper, we investigate the constitutive problems and other several aspects of what a research entitled 'formal epistemology' should be. The interest in this subject has to do with the possibility of reaching a privileged point of view or axis of research - i.e., the 'formal' one - that would allow, a better grasp of the richness and variety of the facts and problems tackled by precise (local) epistemology of theories (for example, in physics). This approach is likely to (...) enable one to hold the main structural lines that organize those theories according to a more com prehensive, unifying and synthetic intelligibilit. By the same token, it would eventually allow a better handling of the changes required in the organization of knowledge, putting emphasis on its main directions, drawing up a rational inventory of this knowledge, and perhaps anticipating others. At first, we deal with the `thought of changes' that no approach of the 'form' can afford to leave aside, since the meaning of this concept is inseparable from the contents that come with constructions and modifications. We examine then the notion of 'epistemic operation' as an instrument to create new forms on the theoretical as well as on the meta-theoretical levels. ln the wake of it, we analyze the characteristics of the form and of the formal, as well as their relationship with the contents of knowledge. We also take the notion of object into account, since it depends upon the decision of a subject and upon conventional choices. We finally inquire about the link between `epistemic operations' as specified above and algorithmic functions for knowledge statements, and emphasize the risk of reductionism that might follow from a naturalistic conception of representation. (shrink)

Despite its pervasiveness, the concept of ‘levels of organization’ has received relatively little attention in its own right. I propose here an emerging approach that posits ‘levels’ as a fragmentary concept situated within an interest-relative matrix of operational usage within scientific practice. To this end I propose one important component of meaning, namely the epistemic goal motivating the term’s usage, which recovers a remarkably conserved and sufficiently unifying significance attributable to ‘levels’ across different instances of usage. This epistemic goal, (...) to provide structure to scientific problems, delegates tasks whose execution generates the term’s expressed content in a given instance. This treatment of levels does not diminish the concept’s general importance to science, but rather allows for its use in, and usefulness for, scientific practice to be better contextualized to particular tasks encompassing varying breadths of activity. (shrink)

This paper defends the relevance of Taylor's (1964) critique of S-R behaviorism to Skinner's model of operant conditioning. In particular, it is argued against Ringen (1976) that the model of operant conditioning is a nonteleological variety of explanation. Operant conditioning is shown unable, on this account, to provide a parsimonious and predictive explanation of the behavior of higher level organisms. Finally, it is shown that the principle of operant conditioning implicitly assumes a teleological capacity, the admission of which renders (...) the principle of operant conditioning superfluous. (shrink)

The international debate on the ethics and legality of autonomous weapon systems (AWS), along with the call for a ban, primarily focus on the nebulous concept of fully autonomous AWS. These are AWS capable of target selection and engagement absent human supervision or control. This paper argues that such a conception of autonomy is divorced from both military planning and decision-making operations; it also ignores the design requirements that govern AWS engineering and the subsequent tracking and tracing of moral responsibility. (...) To show how military operations can be coupled with design ethics, this paper marries two different kinds of meaningful human control (MHC) termed levels of abstraction. Under this two-tiered understanding of MHC, the contentious notion of ‘full’ autonomy becomes unproblematic. (shrink)

We ponder about the kind of problems and perspectives of a “formalized epistemology”, by considering the advantages than one can get from a concern with the “formal”, with its structural orientation, that would favour comprehensive, unifying and synthetic, intelligibility. We confront this perspective with that of the changes in knowledge, considering the relation between form and meaning for knowledge contents, and examine the notion of “epistemic operation” as instrumental for creating new forms, at the theoretical and meta-theoretical levels. Actually, the (...) notions of form, of formal and of object are not independent of the problem of a subject that decides on conventions and choices. “Epistemic operations” might suggest a link with “algorithmic functions” for knowledge statements, that themselves entail the risk of reductionism in a naturalistic conception of representation. (shrink)

Political interaction among citizens who hold opposing moral views commonly requires reaching beyond toleration, toward actual co‐operation with policies one opposes. On the more personal level, however, regarding (e.g.) interactions between healthcare providers and patients, several authors emphasise the importance of preserving integrity. But those who oppose any ‘complicity in evil’ often wrongly conflate instances in which the other's position is (and should be) totally rejected with instances of legitimate, although deep, disagreement. Starting with a striking example from the (...) context of a particular tradition, I argue generally that in the latter sort of disagreements, talk of ‘complicity’ should be largely replaced with a more co‐operative moral stance, grounded in a pluralistic framework. Co‐operation Despite Disagreement (CDD) should be sought either for institutional reasons – akin to the political – or for relational reasons. CDD involves sharing another's perspective and sometimes calls for adopting another's moral judgements in preference to one's own. I seek to identify some of the conditions and circumstances that would justify such a shift, particularly in scenarios involving assistance, such as physician‐assisted suicide (PAS) or the role of an anaesthesiologist in abortion. This discussion is meant to provide examples of the kind of second‐order reasons appropriate for determining the terms for CDD – in distinction from first‐order considerations (e.g., the much‐contested ‘active/passive’ distinction) which are likely to be the subject of the initial disagreement and hence cannot serve to resolve it. (shrink)

This paper examines the effect of state-level culture in the US on the adoption of firms’ workplace diversity policies. Using firm-level panel data over the period 2011–2014, we document that firms in highly individualistic states are less likely to adopt workplace diversity policies, which in turn negatively affects firm performance. Our results are robust to alternative variables and econometric specifications. Our findings provide insights into the contemporary debate on the economic aspects of workplace diversity policies for firms operating (...) in different cultural backgrounds. (shrink)

We study the forcing operators on MTL-algebras, an algebraic notion inspired by the Kripke semantics of the monoidal t -norm based logic . At logical level, they provide the notion of the forcing value of an MTL-formula. We characterize the forcing operators in terms of some MTL-algebras morphisms. From this result we derive the equality of the forcing value and the truth value of an MTL-formula.

This chapter offers a review of standard views about the requirements for natural selection to shape evolution and for the sorts of ‘units’ on which selection might operate. It then summarizes traditional arguments for genic selectionism, i.e., the view that selection operates primarily on genes (e.g., those of G. C. Williams, Richard Dawkins, and David Hull) and traditional counterarguments (e.g., those of William Wimsatt, Richard Lewontin, and Elliott Sober, and a diffuse group based on life history strategies). It then offers (...) a series of responses to the arguments, based on more contemporary considerations from molecular genetics, offered by Carmen Sapienza. A key issue raised by Sapienza concerns the degree to which a small number of genes might be able to control much of the variation relevant to selection operating on such selectively critical organs as hearts. The response to these arguments suggests that selection acts on many levels at once and that sporadic selection, acting with strong effects, can act successively on different key traits (and genes) while maintaining a balance among many potentially conflicting demands faced by organisms within an evolving lineage. (shrink)

In this paper, we propose a new kind of nonprioritized operator which we call two level credibility-limited revision. When revising through a two level credibility-limited revision there are two levels of credibility and one of incredibility. When revising by a sentence at the highest level of credibility, the operator behaves as a standard revision, if the sentence is at the second level of credibility, then the outcome of the revision process coincides with a standard contraction by (...) the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this article, we axiomatically characterize several classes of two level credibility-limited revision operators. (shrink)

Escalation of commitment causes people to continue a failing course of action. We study the role of construal level in such escalation of commitment. Consistent with the widely held view of construal level as a primed effect, we employed a commonly used prime for manipulating this construct in a laboratory experiment. Our findings revealed that the prime failed to produce statistically significant differences in construal level, which was measured using the Behavior Identification Form. Furthermore, there was no (...) effect of the prime on escalation of commitment, or on constructs that have previously been linked to construal level such as the perceived importance of feasibility considerations relative to desirability considerations, and the number of pros and cons that subjects can think of.Interestingly, however, subjects’ actual construal level scores on the BIF were found to significantly affect escalation. Specifically, our findings show that people with a low construal level are less willing to continue a failing project. This relation is mediated by the perceived importance of the feasibility of the project relative to its desirability. For people with a low construal level, the perceived importance of feasibility relative to desirability is higher, which in turn makes escalation of commitment less likely.Our findings are consistent with prior research suggesting that priming construal level may not always be effective. Thus, while construal level has typically been regarded as a state-like variable that can be primed, in this study, we show that construal level may also be considered as a trait. (shrink)

Coffee producers in many parts of the world have the option of either becoming a member of and selling their coffee to a Fairtrade and organic co-operative, or selling it to a “coyote”, the Central American nickname for intermediary purchaser. This study investigates why different producers make different choices, looking at both material and immaterial costs and benefits of the two choices. A qualitative study from Chiapas finds that a main reason for not choosing the co-operatives is the production requirements (...) that follow organic certification. A survey on production costs confirms that members of an organic co-operative have more work hours than non-members in the same area. A probit analysis indicates that both coffee plot size and number of working household members influence the producers’ decision on sales channel. However, the study also finds that aspects not related to the organic production requirements can affect the choice, such as the level of trust in co-operative leadership, and the co-operatives’ payment systems. (shrink)

A well-ingrained and recommended engineering practice in safety-critical software systems is to separate safety concerns from other aspects of the system. Along these lines, there have been calls for operating systems that implement ethical controls in an ethical layer separate from, and not amenable to tampering by, developers and modules in higher-level intelligence or cognition layers. There have been no implementations that demonstrate such a marshalling of ethical principles into an ethical layer. To address this, we present three different (...) tracks for implementing such systems, and offer a prototype implementation of the third track. We end by addressing objections to our approach. (shrink)

In this paper, we investigate the constitutive problems and other several aspects of what a research entitled 'formal epistemology' should be. The interest in this subject has to do with the possibility of reaching a privileged point of view or axis of research – i.e., the 'formal' one – that would allow a better grasp of the richness and variety of the facts and problems tackled by precise (local) epistemology of theories (for example, in physics). This approach is likely to (...) enable one to hold the main structural lines that organize those theories according to a more comprehensive, unifying and synthetic intelligibility. By the same token, it would eventually allow a better handling of the changes required in the organization of knowledge, putting emphasis on its main directions, drawing up a rational inventory of this knowledge, and perhaps anticipating others. At first, we deal with the 'thought of changes' that no approach of the 'form' can afford to leave aside, since the meaning of this concept is inseparable from the contents that come with constructions and modifications. We examine then the notion of 'epistemic operation' as an instrument to create new forms on the theoretical as well as on the meta-theoretical levels. In the wake of it, we analyze the characteristics of the form and of the formal, as well as their relationship with the contents of knowledge. We also take the notion of object into account, since it depends upon the decision of a subject and upon conventional choices. We finally inquire about the link between 'epistemic operations' as specified above and algorithmic functions for knowledge statements, and emphasize the risk of reductionism that might follow from a naturalistic conception of representation. (shrink)

Multinational companies (MNCs) frequently adopt corporate social responsibility (CSR) activities that are aimed at providing ‘public goods’ and influencing the government in policymaking. Such political CSR (PCSR) activities have been determined to increase MNCs’ socio-political legitimacy and to be useful in building relationships with the state and other key external stakeholders. Although research on MNCs’ PCSR within the context of emerging economies is gaining momentum, only a limited number of studies have examined the firm-level variables that affect the extent (...) to which MNCs’ subsidiaries in emerging economies pursue PCSR. Using insights from resource dependence theory, institutional theory, and the social capital literature, we argue that MNCs’ subsidiaries that are critically dependent on local resources, have greater ties to managers of related businesses and to policymakers, and that those that are interdependent on the MNCs’ headquarters and other foreign subsidiaries, are more likely to be involved in PCSR. We obtain support for our hypotheses using a sample of 105 subsidiaries of foreign firms that operate in India. Our findings enhance our understanding of the factors that determine MNCs’ political CSR in emerging economies. (shrink)

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have a relational semantics provided by structures based on polarities. Such structures have associated complete lattices of stable subsets, and these have been used to construct canonical extensions of lattice-based algebras. We study classes of structures that are closed under ultraproducts and (...) whose stable set lattices have additional operators that are first-order definable in the underlying structure. We show that such classes generate varieties of algebras that are closed under canonical extensions. The proof makes use of a relationship between canonical extensions and MacNeille completions. (shrink)

Modern democratic polities regularly operate at several political levels. In the case of the EU at the level of the member-states and the EU itself, and in addition at federal, regional, and municipal levels. Is there any democratic rule to determine which level is more legitimate than the others? The article argues that from a majoritarian perspective there is none. Individual citizens may have quite different preferences with regard to the level that is of particular political importance (...) for them. The article critically analyses different concepts, from sovereignty to demos, subsidiarity, and the judicial review of competences, and tries to show that none of them can provide a solution to the dilemma. Instead, democratic theory has to assume that in the co-evolutionary process of institutions and societies at different political levels, the question of the final say has to be left open. (shrink)

The relation between mental states and brain states is important in computational neuroscience, and in psychiatry in which interventions with medication are made on brain states to alter mental states. The relation between the brain and the mind has puzzled philosophers for centuries. Here a neuroscience approach is proposed in which events at the sub-neuronal, neuronal, and neuronal network levels take place simultaneously to perform a computation that can be described at a high level as a mental state, with (...) content about the world. It is argued that as the processes at the different levels of explanation take place at the same time, they are linked by a non-causal supervenient relationship: causality can best be described in brains as operating within but not between levels. This allows the supervenient (e.g., mental) properties to be emergent, though once understood at the mechanistic levels they may seem less emergent, and expected. This mind-brain theory allows mental events to be different in kind from the mechanistic events that underlie them; but does not lead one to argue that mental events cause brain events, or vice versa: they are different levels of explanation of the operation of the computational system. This approach may provide a way of thinking about brains and minds that is different from dualism and from reductive physicalism, and which is rooted in the computational processes that are fundamental to understanding brain and mental events, and that mean that the mental and mechanistic levels are linked by the computational process being performed. Explanations at the different levels of operation may be useful in different ways. For example, if we wish to understand how arithmetic is performed in the brain, description at the mental level of the algorithm being computed will be useful. But if the brain operates to result in mental disorders, then understanding the mechanism at the neural processing level may be more useful, in for example, the treatment of psychiatric disorders. (shrink)

The relation between mental states and brain states is important in computational neuroscience, and in psychiatry in which interventions with medication are made on brain states to alter mental states. The relation between the brain and the mind has puzzled philosophers for centuries. Here a neuroscience approach is proposed in which events at the sub-neuronal, neuronal, and neuronal network levels take place simultaneously to perform a computation that can be described at a high level as a mental state, with (...) content about the world. It is argued that as the processes at the different levels of explanation take place at the same time, they are linked by a non-causal supervenient relationship: causality can best be described in brains as operating within but not between levels. This allows the supervenient properties to be emergent, though once understood at the mechanistic levels they may seem less emergent, and expected. This mind-brain theory allows mental events to be different in kind from the mechanistic events that underlie them; but does not lead one to argue that mental events cause brain events, or vice versa: they are different levels of explanation of the operation of the computational system. This approach may provide a way of thinking about brains and minds that is different from dualism and from reductive physicalism, and which is rooted in the computational processes that are fundamental to understanding brain and mental events, and that mean that the mental and mechanistic levels are linked by the computational process being performed. Explanations at the different levels of operation may be useful in different ways. For example, if we wish to understand how arithmetic is performed in the brain, description at the mental level of the algorithm being computed will be useful. But if the brain operates to result in mental disorders, then understanding the mechanism at the neural processing level may be more useful, in for example, the treatment of psychiatric disorders. (shrink)

The outcome set of a belief change operator is the set of outcomes that can be obtained with it. Axiomatic characterizations are reported for the outcome sets of the standard AGM contraction operators and eight types of base-generated contraction. These results throw new light on the properties of some of these operators.

The fundamental tenet of contemporary sociobiology, namely the assumption of a single process of evolution involving the selection of genes, is critically examined. An alternative multiple-level, multiple-process model of evolution is presented which posits that the primary process that operates via selection upon the genes cannot account for certain kinds of biological phenomena, especially complex, learned, social behaviours. The primary process has evolved subsidiary evolutionary levels and processes that act to bridge the gap between genes and these complex behaviours. (...) The subsidiary levels are development, individual animal learning, and socioculture itself. It is argued that individual learning is pivotal to the derivation and biological analysis of culture. The differences between cultural and noncultural societies are stressed. It is concluded that such a multiple-level model of evolution can form the basis for reconciling opposing sides in the sociobiology debate. (shrink)

This chapter compares simple predicates of personal taste (PPTs) such as tasty and beautiful with their complex counterparts (eg tastes good, looks beautiful). I argue that the former differ from the latter along two dimensions. Firstly, simple PPTs are individual-level predicates, whereas complex ones are stage-level. Secondly, covert Experiencer arguments of simple PPTs obligatorily receive a generic interpretation; by contrast, the covert Experiencer of a complex PPT can receive a generic, bound variable or referential interpretation. I provide an (...) analysis of these facts based on a novel proposal about the licensing of individual-level predicates (the ‘Licensing Condition on ILPs’). This condition states that all covert pronominal arguments of an individual-level predicate must be bound by the generic operator. Finally, I show that generic construal of the Experiencer is a necessary condition for faultless disagreement. This is evidence in favour of treatments of subjective meaning that appeal to genericity, and against relativism about PPTs. (shrink)